Quantitative automata model checking of autonomous stochastic hybrid systems

2011 ◽  
Author(s):  
Alessandro Abate ◽  
Joost-Pieter Katoen ◽  
Alexandru Mereacre
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Stochastic Hybrid Systems

A two-step scheme for approximate model checking of stochastic hybrid systems

2011 ◽  
Vol 44 (1) ◽  
pp. 4519-4524 ◽  
Author(s):  
A. Abate ◽  
J.P. Katoen ◽  
J. Lygeros ◽  
M. Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

Approximate Model Checking of Stochastic Hybrid Systems

2010 ◽  
Vol 16 (6) ◽  
pp. 624-641 ◽  
Author(s):  
Alessandro Abate ◽  
Joost-Pieter Katoen ◽  
John Lygeros ◽  
Maria Prandini
Keyword(s):  
Model Checking ◽  
Hybrid Systems ◽  
Approximate Model ◽  
Stochastic Hybrid Systems

scholarly journals Statistical Model Checking for Stochastic Hybrid Systems

2012 ◽  
Vol 92 ◽  
pp. 122-136 ◽  
Author(s):  
Alexandre David ◽  
Dehui Du ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Marius Mikučionis ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Hybrid Systems ◽  
Stochastic Hybrid Systems ◽  
Statistical Model Checking

Robust Variance-constrained Control of a Class of Stochastic Hybrid Systems

2010 ◽  
Vol 36 (2) ◽  
pp. 337-343
Author(s):  
You-Li WU ◽  
Yang-Wang FANG ◽  
Hong-Qiang WANG ◽  
Wen-Jie LIU
Keyword(s):  
Hybrid Systems ◽  
Constrained Control ◽  
Stochastic Hybrid Systems ◽  
Robust Variance

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

2003 ◽  
Author(s):  
Edmund Clarke ◽  
Ansgar Fehnker ◽  
Zhi Han ◽  
Bruce Krogh ◽  
Joel Ouaknine ◽  
...  
Keyword(s):  
Model Checking ◽  
Hybrid Systems

scholarly journals Modeling protein concentrations in cycling cells using stochastic hybrid systems

2021 ◽  
Vol 54 (9) ◽  
pp. 521-526
Author(s):  
Zahra Vahdat ◽  
Zikai Xu ◽  
Abhyudai Singh
Keyword(s):  
Hybrid Systems ◽  
Stochastic Hybrid Systems

Approximate Abstractions of Stochastic Hybrid Systems

2011 ◽  
Vol 56 (11) ◽  
pp. 2688-2694 ◽  
Author(s):  
Alessandro Abate ◽  
Alessandro D'Innocenzo ◽  
Maria D. Di Benedetto
Keyword(s):  
Hybrid Systems ◽  
Stochastic Hybrid Systems
Sign in / Sign up

Export Citation Format

Share Document