Stochastic reachability analysis of hybrid systems.

zbMath1245.93002MaRDI QIDQ663166

Luminita Manuela Bujorianu

Publication date: 14 February 2012

Published in: Communications and Control Engineering (Search for Journal in Brave)

zbMATH Keywords

hybrid systemsembedded systemsstochastic reachability

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Applications of stochastic analysis (to PDEs, etc.) (60H30) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Martingales and classical analysis (60G46) Stochastic processes (60Gxx)

Related Items (9)

Discussion on: ``Safety verification for probabilistic hybrid systems ⋮ Interacting particle system based estimation of reach probability of general stochastic hybrid systems ⋮ Unnamed Item ⋮ Stability analysis for stochastic hybrid systems: a survey ⋮ Online model learning of buildings using stochastic hybrid systems based on Gaussian processes ⋮ Safety of stochastic systems: an analytic and computational approach ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ The Border Collision Normal Form with Stochastic Switching Surface

This page was built for publication: Stochastic reachability analysis of hybrid systems.