Probabilistic invariance of mixed deterministic-stochastic dynamical systems

DOI10.1145/2185632.2185664MaRDI QIDQ2986768zbMATH OpenOpenAlexFDO

Authors 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

invariancestochastic hybrid systemschemical reaction networksfinite approximationssafetyabstractionsmixed deterministic-stochastic dynamics

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Hybrid Systems: Computation and Control
• Safety verification of piecewise-deterministic Markov processes
• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

Cited in

(4)

• Estimating invariant probability densities for dynamical systems
• A probabilistic foundation for dynamical systems: theoretical background and mathematical formulation
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Invariant probabilities for systems in a random environment - with applications to the Brusselator

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986768)