Automated verification and synthesis of stochastic hybrid systems: A survey
Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …
framework describing many systems, from engineering to the life sciences: they enable the …
[图书][B] Stochastic hybrid systems
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 …
(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 …
Assessment Skip to main content SpringerLink Account Menu Find a journal Publish with us …
Approximate model checking of stochastic hybrid systems
A method for approximate model checking of stochastic hybrid systems with provable
approximation guarantees is proposed. We focus on the probabilistic invariance problem for …
approximation guarantees is proposed. We focus on the probabilistic invariance problem for …
A compositional modelling and analysis framework for stochastic hybrid systems
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 …
consisting of continuous behaviour and discrete control. In practice, the behaviour of such …
Applying complexity science to air traffic management
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 …
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 …
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
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 …
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 …
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 …
different driver assistance systems in critical driving situations. Cooperative adaptive cruise …