Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
From MaRDI portal
Publication:2377974
DOI10.1016/J.AUTOMATICA.2008.03.027zbMATH Open1152.93051OpenAlexW2080813827MaRDI QIDQ2377974FDOQ2377974
Authors: Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry 
Publication date: 20 January 2009
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2008.03.027
Recommendations
- Hybrid Systems: Computation and Control
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Stochastic reachability analysis of hybrid systems.
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
Dynamic programming in optimal control and differential games (49L20) Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03)
Cites Work
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Title not available (Why is that?)
- On reachability and minimum cost optimal control
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Ergodic Control of Switching Diffusions
- On Reachability Under Uncertainty
- Title not available (Why is that?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- A stochastic approximation method for reachability computations
- Controllers for reachability specifications for hybrid systems
- Optimal control of diffusion processes with reflection
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Infinite time reachability of state-space regions by using feedback control
- Title not available (Why is that?)
- Title not available (Why is that?)
- Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
- Hybrid Systems: Computation and Control
- Control synthesis for practical stabilization of quantized linear systems
- Approximate simulation relations for hybrid systems
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
Cited In (83)
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
- A compositional modelling and verification framework for stochastic hybrid systems
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Formal abstraction and synthesis of parametric stochastic processes
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Robustly complete finite-state abstractions for verification of stochastic systems
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- Decisiveness of stochastic systems and its application to hybrid models
- Recursively feasible stochastic model predictive control using indirect feedback
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- Discrete-time hybrid control in Borel spaces
- Stochastic system controller synthesis for reachability specifications encoded by random sets
- Lagrangian approximations for stochastic reachability of a target tube
- A probabilistic calculus of cyber-physical systems
- Maximizing the probability of attaining a target prior to extinction
- Title not available (Why is that?)
- A compositional modelling and analysis framework for stochastic hybrid systems
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Stochastic reachability of a target tube: theory and computation
- Measurability and safety verification for stochastic hybrid systems
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Optimal control of stochastic hybrid system with jumps: a numerical approximation
- Reachability for partially observable discrete time stochastic hybrid systems
- A convex optimization approach to dynamic programming in continuous state and action spaces
- State constrained reachability for stochastic hybrid systems
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- Probabilistic safety and optimal control for survival analysis of bacillus subtilis
- Stochastic hybrid systems. Theory and safety critical applications.
- Research on probabilistic methods for control system design
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Safety of stochastic systems: an analytic and computational approach
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Hybrid Systems: Computation and Control
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- A Lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Robust global recurrence for a class of stochastic hybrid systems
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Title not available (Why is that?)
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Certified reinforcement learning with logic guidance
- The computation of the viability kernel for switched systems
- Quantitative model-checking of controlled discrete-time Markov processes
- Adaptive control and signal processing literature survey (No. 7)
- Characterization and computation of infinite-horizon specifications over Markov processes
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
- Dynamic Bayesian networks for formal verification of structured stochastic processes
- Safety verification for probabilistic hybrid systems
- Data-driven abstraction-based control synthesis
- Model checking for performability
- Stochastic differential dynamic logic for stochastic hybrid programs
- Probabilistic reach-avoid for Bayesian neural networks
- Safety verification for regime-switching jump diffusions via barrier certificates
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- Discrete-time hybrid control processes with unbounded costs
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Similarity quantification for linear stochastic systems: a coupling compensator approach
- Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Local lipschitzness of reachability maps for hybrid systems with applications to safety
- k-Inductive Barrier Certificates for Stochastic Systems
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
- SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Comparing two approaches to include stochasticity in hybrid automata
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
Uses Software
This page was built for publication: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377974)
