Automated verification and synthesis of stochastic hybrid systems: A survey

A Lavaei, S Soudjani, A Abate, M Zamani - Automatica, 2022 - Elsevier
Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

[图书][B] Stochastic hybrid systems

JP Hespanha, CG Cassandras, HAP Blom, J Lygeros… - 2018 - taylorfrancis.com
Because they incorporate both time-and event-driven dynamics, stochastic hybrid systems
(SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological …

Dynamic games in the economics and management of pollution

S Jørgensen, G Martín-Herrán, G Zaccour - Environmental Modeling & …, 2010 - Springer
Dynamic Games in the Economics and Management of Pollution | Environmental Modeling &
Assessment Skip to main content SpringerLink Account Menu Find a journal Publish with us …

Approximate model checking of stochastic hybrid systems

A Abate, JP Katoen, J Lygeros, M Prandini - European Journal of Control, 2010 - Elsevier
A method for approximate model checking of stochastic hybrid systems with provable
approximation guarantees is proposed. We focus on the probabilistic invariance problem for …

A compositional modelling and analysis framework for stochastic hybrid systems

EM Hahn, A Hartmanns, H Hermanns… - Formal Methods in System …, 2013 - Springer
The theory of hybrid systems is well-established as a model for real-world systems
consisting of continuous behaviour and discrete control. In practice, the behaviour of such …

Applying complexity science to air traffic management

A Cook, HAP Blom, F Lillo, RN Mantegna… - Journal of Air Transport …, 2015 - Elsevier
Complexity science is the multidisciplinary study of complex systems. Its marked network
orientation lends itself well to transport contexts. Key features of complexity science are …

Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

S Esmaeil Zadeh Soudjani, A Abate - SIAM Journal on Applied Dynamical …, 2013 - SIAM
This work is concerned with the generation of finite abstractions of general state-space
processes to be employed in the formal verification of probabilistic properties by means of …

From dissipativity theory to compositional synthesis of large-scale stochastic switched systems

A Lavaei, M Zamani - IEEE Transactions on Automatic Control, 2022 - ieeexplore.ieee.org
This work is concerned with a compositional technique for the construction of finite
abstractions (aka, finite Markov decision processes (MDPs)) for networks of discrete-time …

Safety verification of hybrid systems by constraint propagation-based abstraction refinement

S Ratschan, Z She - ACM Transactions on Embedded Computing …, 2007 - dl.acm.org
This paper deals with the problem of safety verification of nonlinear hybrid systems. We start
from a classical method that uses interval arithmetic to check whether trajectories can move …

A learning-based stochastic MPC design for cooperative adaptive cruise control to handle interfering vehicles

H Kazemi, HN Mahjoub… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
Vehicle-to-vehicle communication has a great potential to improve reaction accuracy of
different driver assistance systems in critical driving situations. Cooperative adaptive cruise …