Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
From MaRDI portal
Publication:2377974
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
Cites work
- scientific article; zbMATH DE number 1577097 (Why is no real title available?)
- scientific article; zbMATH DE number 425394 (Why is no real title available?)
- scientific article; zbMATH DE number 4160608 (Why is no real title available?)
- scientific article; zbMATH DE number 1956649 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 1444340 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- scientific article; zbMATH DE number 1444360 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A stochastic approximation method for reachability computations
- Approximate simulation relations for hybrid systems
- Control synthesis for practical stabilization of quantized linear systems
- Controllers for reachability specifications for hybrid systems
- Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
- Ergodic Control of Switching Diffusions
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- 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
- On Reachability Under Uncertainty
- On reachability and minimum cost optimal control
- Optimal control of diffusion processes with reflection
Cited in
(83)- Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
- A compositional modelling and verification framework for stochastic hybrid systems
- Data-driven abstraction-based control synthesis
- 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
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Formal abstraction and synthesis of parametric stochastic processes
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- 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
- Model checking for performability
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Decisiveness of stochastic systems and its application to hybrid models
- Stochastic differential dynamic logic for stochastic hybrid programs
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- 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
- Probabilistic reach-avoid for Bayesian neural networks
- 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
- Safety verification for regime-switching jump diffusions via barrier certificates
- Maximizing the probability of attaining a target prior to extinction
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- scientific article; zbMATH DE number 2084902 (Why is no real title available?)
- A compositional modelling and analysis framework for stochastic hybrid systems
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles
- Discrete-time hybrid control processes with unbounded costs
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Stochastic reachability of a target tube: theory and computation
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Measurability and safety verification for stochastic hybrid systems
- 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
- Probabilistic safety and optimal control for survival analysis of bacillus subtilis
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- Similarity quantification for linear stochastic systems: a coupling compensator approach
- Stochastic hybrid systems. Theory and safety critical applications.
- Research on probabilistic methods for control system design
- 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
- 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
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Hybrid Systems: Computation and Control
- A Lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Robust global recurrence for a class of stochastic hybrid systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems
- scientific article; zbMATH DE number 7455746 (Why is no real title available?)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Local lipschitzness of reachability maps for hybrid systems with applications to safety
- Quantitative model-checking of controlled discrete-time Markov processes
- The computation of the viability kernel for switched systems
- Certified reinforcement learning with logic guidance
- Characterization and computation of infinite-horizon specifications over Markov processes
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Adaptive control and signal processing literature survey (No. 7)
- 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
- Comparing two approaches to include stochasticity in hybrid automata
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Dynamic Bayesian networks for formal verification of structured stochastic processes
- Safety verification for probabilistic hybrid systems
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)
