Discussion on: ``Safety verification for probabilistic hybrid systems

DOI10.1016/S0947-3580(12)71160-3zbMath1291.93292MaRDI QIDQ389836

Xenofon D. Koutsoukos

Publication date: 21 January 2014

Published in: European Journal of Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• PRISM

Cites Work

• Safety verification for probabilistic hybrid systems
• Stochastic reachability analysis of hybrid systems.
• A probabilistic PDL
• Rare-event verification for stochastic hybrid systems