Stochastic reachability analysis of hybrid systems.
zbMATH Open1245.93002MaRDI QIDQ663166FDOQ663166
Authors: Luminita Manuela Bujorianu 
Publication date: 14 February 2012
Published in: Communications and Control Engineering (Search for Journal in Brave)
Recommendations
Applications of stochastic analysis (to PDEs, etc.) (60H30) Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Martingales and classical analysis (60G46) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Stochastic processes (60Gxx)
Cited In (27)
- Stability analysis for stochastic hybrid systems: a survey
- The border collision normal form with stochastic switching surface
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Decisiveness of stochastic systems and its application to hybrid models
- Hybrid Systems: Computation and Control
- Modeling stochastic hybrid systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Measurability and safety verification for stochastic hybrid systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reachability for partially observable discrete time stochastic hybrid systems
- State constrained reachability for stochastic hybrid systems
- Online model learning of buildings using stochastic hybrid systems based on Gaussian processes
- A stochastic approximation method for reachability computations
- Stochastic hybrid systems. Theory and safety critical applications.
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Hybrid Systems: Computation and Control
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems
- Safety of stochastic systems: an analytic and computational approach
- On the Reachability Problem for Uncertain Hybrid Systems
- Hybrid Systems: Computation and Control
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Title not available (Why is that?)
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
- Incremental stability analysis of stochastic hybrid systems
- Discussion on: ``Safety verification for probabilistic hybrid systems
This page was built for publication: Stochastic reachability analysis of hybrid systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q663166)
