Probabilistic invariance of mixed deterministic-stochastic dynamical systems

DOI10.1145/2185632.2185664zbMath1362.93141OpenAlexW2133193618MaRDI QIDQ2986768

Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2185632.2185664

zbMATH Keywords

invariancesafetystochastic hybrid systemschemical reaction networksfinite approximationsabstractionsmixed deterministic-stochastic dynamics

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

Related Items (1)

Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Probabilistic invariance of mixed deterministic-stochastic dynamical systems