Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
From MaRDI portal
Publication:624936
DOI10.1016/j.automatica.2010.08.006zbMath1371.93220OpenAlexW2084772009MaRDI QIDQ624936
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
Decision theory (91B06) Discrete-time control/observation systems (93C55) Dynamic programming (90C39) Optimal stochastic control (93E20)
Related Items
State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ 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 ⋮ On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs ⋮ Stochastic reachability of a target tube: theory and computation ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Characterization and computation of infinite-horizon specifications over Markov processes ⋮ Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods ⋮ Reachability for partially observable discrete time stochastic hybrid systems ⋮ Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach ⋮ 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 ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ State constrained reachability for stochastic hybrid systems ⋮ 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 ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Safety of stochastic systems: an analytic and computational approach ⋮ 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 ⋮ Robustly complete finite-state abstractions for verification of stochastic systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The flexible, extensible and efficient toolbox of level set methods
- Control of ruin probabilities by discrete-time investments
- Ruin problems for a discrete time risk model with random interest rate
- Optimal harvesting of stochastic spatial resources
- Ruin models with investment income
- Ruin theory with compounding assets -- a survey
- Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure.
- On the ruin probabilities in a general economic environment
- On reachability and minimum cost optimal control
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Ruin probabilities for discrete time risk models with stochastic rates of interest
- Ruin probabilities with a Markov chain interest model
- Fishery management under multiple uncertainty
- Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks.
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Ergodic Control of Switching Diffusions
- DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST
- Stochastic Target Hitting Time and the Problem of Early Retirement
- On the Reachability Problem for Uncertain Hybrid Systems
- Hybrid Systems: Computation and Control
- Viability theory
