Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem

DOI10.1016/J.AUTOMATICA.2010.08.006zbMATH Open1371.93220OpenAlexW2084772009MaRDI QIDQ624936FDOQ624936

Authors: Sean Summers, John Lygeros 

Publication date: 11 February 2011

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2010.08.006

Recommendations

• A stochastic reach-avoid problem with random obstacles
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Hybrid Systems: Computation and Control
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

zbMATH Keywords

dynamic programminghybrid systemsoptimal controlreachabilitystochastic systemssafetytarget hitting

Mathematics Subject Classification ID

Decision theory (91B06) Dynamic programming (90C39) Discrete-time control/observation systems (93C55) Optimal stochastic control (93E20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On reachability and minimum cost optimal control
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Title not available (Why is that?)
• Viability theory
• Ergodic Control of Switching Diffusions
• Title not available (Why is that?)
• Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks.
• Title not available (Why is that?)
• On the ruin probabilities in a general economic environment
• Ruin models with investment income
• Ruin probabilities for discrete time risk models with stochastic rates of interest
• Ruin problems for a discrete time risk model with random interest rate
• The flexible, extensible and efficient toolbox of level set methods
• Stochastic Target Hitting Time and the Problem of Early Retirement
• DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST
• Title not available (Why is that?)
• Control of ruin probabilities by discrete-time investments
• Fishery management under multiple uncertainty
• Ruin probabilities with a Markov chain interest model
• Optimal harvesting of stochastic spatial resources
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure.
• On the Reachability Problem for Uncertain Hybrid Systems
• Ruin theory with compounding assets -- a survey

Cited In (30)

• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement
• Robustly complete finite-state abstractions for verification of stochastic systems
• 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
• 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
• Scalable underapproximative verification of stochastic LTI systems using convexity and compactness
• Lagrangian approximations for stochastic reachability of a target tube
• Applications of stochastic modeling in air traffic management: methods, challenges and opportunities for solving air traffic problems under uncertainty
• Discrete-time hybrid control processes with unbounded costs
• Design of smooth hybrid controllers for a class of non-linear systems
• On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Stochastic reachability of a target tube: theory and computation
• Reachability for partially observable discrete time stochastic hybrid systems
• State constrained reachability for stochastic hybrid systems
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
• Safety of stochastic systems: an analytic and computational approach
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
• The linear programming approach to reach-avoid problems for Markov decision processes
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• A stochastic reach-avoid problem with random obstacles
• Quantitative model-checking of controlled discrete-time Markov processes
• SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
• Characterization and computation of infinite-horizon specifications over Markov processes

Uses Software

• ToolboxLS

This page was built for publication: Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem

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