Stochastic reachability analysis of hybrid systems.
From MaRDI portal
(Redirected from Publication:663166)
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)
Recommendations
Cited in
(33)- Reachability for partially observable discrete time stochastic hybrid systems
- Hybrid Systems: Computation and Control
- Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
- scientific article; zbMATH DE number 7455746 (Why is no real title available?)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Decisiveness of stochastic systems and its application to hybrid models
- Stability analysis for stochastic hybrid systems: a survey
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Hybrid Systems: Computation and Control
- Measurability and safety verification for stochastic hybrid systems
- Hybrid Systems: Computation and Control
- A stochastic approximation method for reachability computations
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- State constrained reachability for stochastic hybrid systems
- Modeling stochastic hybrid systems
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- The border collision normal form with stochastic switching surface
- Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 7318980 (Why is no real title available?)
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Safety of stochastic systems: an analytic and computational approach
- Incremental stability analysis of stochastic hybrid systems
- Discussion on: ``Safety verification for probabilistic hybrid systems
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
- On the Reachability Problem for Uncertain Hybrid Systems
- Online model learning of buildings using stochastic hybrid systems based on Gaussian processes
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
- Stochastic hybrid systems. Theory and safety critical applications.
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)
