Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
From MaRDI portal
Publication:2377974
DOI10.1016/j.automatica.2008.03.027zbMath1152.93051OpenAlexW2080813827MaRDI QIDQ2377974
Alessandro Abate, Maria Prandini, John Lygeros, Shankar S. 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
Dynamic programming in optimal control and differential games (49L20) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)
Related Items (66)
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey ⋮ State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A convex optimization approach to dynamic programming in continuous state and action spaces ⋮ Formal abstraction and synthesis of parametric stochastic processes ⋮ A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Stochastic system controller synthesis for reachability specifications encoded by random sets ⋮ Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles ⋮ Similarity quantification for linear stochastic systems: a coupling compensator approach ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Robust global recurrence for a class of stochastic hybrid systems ⋮ Stochastic reachability of a target tube: theory and computation ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Characterization and computation of infinite-horizon specifications over Markov processes ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Safety verification for probabilistic hybrid systems ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Interacting particle system based estimation of reach probability of general stochastic hybrid systems ⋮ A Lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ k-Inductive Barrier Certificates for Stochastic Systems ⋮ SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods ⋮ Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Certified reinforcement learning with logic guidance ⋮ Recursively feasible stochastic model predictive control using indirect feedback ⋮ Markov Set-Chains as Abstractions of Stochastic Hybrid Systems ⋮ The computation of the viability kernel for switched systems ⋮ Unnamed Item ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Reachability for partially observable discrete time stochastic hybrid systems ⋮ Stochastic hybrid automata with delayed transitions to model biochemical systems with delays ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Discrete-time hybrid control in Borel spaces ⋮ Discrete-time hybrid control in Borel spaces: average cost optimality criterion ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Probabilistic safety and optimal control for survival analysis of bacillus subtilis ⋮ Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ⋮ Maximizing the probability of attaining a target prior to extinction ⋮ Lagrangian approximations for stochastic reachability of a target tube ⋮ Research on probabilistic methods for control system design ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ A probabilistic calculus of cyber-physical systems ⋮ Adaptive control and signal processing literature survey (No. 7) ⋮ Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations ⋮ Safety of stochastic systems: an analytic and computational approach ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ Model checking for performability ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Optimal control of stochastic hybrid system with jumps: a numerical approximation ⋮ Robustly complete finite-state abstractions for verification of stochastic systems ⋮ Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximate simulation relations for hybrid systems
- Optimal control of diffusion processes with reflection
- Controllers for reachability specifications for hybrid systems
- On reachability and minimum cost optimal control
- Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
- Ergodic Control of Switching Diffusions
- On Reachability Under Uncertainty
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Infinite time reachability of state-space regions by using feedback control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
