Approximations of Stochastic Hybrid Systems: A Compositional Approach
From MaRDI portal
Publication:5352632
DOI10.1109/TAC.2016.2619419zbMath1369.60045arXiv1508.06496OpenAlexW2963001040MaRDI QIDQ5352632
Peyman Mohajerin Esfahani, Matthias Rungger, Majid Zamani
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1508.06496
Applications of stochastic analysis (to PDEs, etc.) (60H30) Stochastic systems in control theory (general) (93E03)
Related Items
Compositional abstraction-based synthesis for networks of stochastic switched systems, Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach, Towards scalable synthesis of stochastic control systems, Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach, Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems, Compositional construction of infinite abstractions for networks of stochastic control systems, Automated verification and synthesis of stochastic hybrid systems: a survey