Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

DOI10.1007/978-3-540-78929-1_46MaRDI QIDQ3523143zbMATH OpenOpenAlexFDO

Authors Manuela L. Bujorianu, John Lygeros, R. Langerak

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78929-1_46

zbMATH Keywords

Markov processesoptimal stoppingreachability problemstochastic hybrid systems

Mathematics Subject Classification ID

Stopping times; optimal stopping problems; gambling theory (60G40) Attainable sets, reachability (93B03) Stochastic systems in control theory (general) (93E03)

Recommendations

• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Stochastic reachability analysis of hybrid systems.
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• State constrained reachability for stochastic hybrid systems

Cited in

(24)

• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Stochastic reachability of a target tube: theory and computation
• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
• Safety verification for probabilistic hybrid systems
• Reachability for partially observable discrete time stochastic hybrid systems
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms
• Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
• On the Reachability Problem for Uncertain Hybrid Systems
• Hybrid Systems: Computation and Control
• State constrained reachability for stochastic hybrid systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Reachability analysis of stochastic hybrid systems: a biodiesel production system
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
• Stochastic reachability analysis of hybrid systems.
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction

This page was built for publication: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523143)