Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
From MaRDI portal
(Redirected from Publication:624936)
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
Cites work
- scientific article; zbMATH DE number 425394 (Why is no real title available?)
- scientific article; zbMATH DE number 47134 (Why is no real title available?)
- scientific article; zbMATH DE number 53999 (Why is no real title available?)
- scientific article; zbMATH DE number 1022658 (Why is no real title available?)
- scientific article; zbMATH DE number 1956626 (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?)
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Control of ruin probabilities by discrete-time investments
- DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST
- Ergodic Control of Switching Diffusions
- Fishery management under multiple uncertainty
- Hybrid Systems: Computation and Control
- On reachability and minimum cost optimal control
- On the Reachability Problem for Uncertain Hybrid Systems
- On the ruin probabilities in a general economic environment
- Optimal harvesting of stochastic spatial resources
- Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks.
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Ruin models with investment income
- Ruin probabilities for discrete time risk models with stochastic rates of interest
- Ruin probabilities with a Markov chain interest model
- Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure.
- Ruin problems for a discrete time risk model with random interest rate
- Ruin theory with compounding assets -- a survey
- Stochastic Target Hitting Time and the Problem of Early Retirement
- The flexible, extensible and efficient toolbox of level set methods
- Viability theory
Cited in
(30)- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Robustly complete finite-state abstractions for verification of stochastic systems
- Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- 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
- On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs
- Design of smooth hybrid controllers for a class of non-linear systems
- 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
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- The linear programming approach to reach-avoid problems for Markov decision processes
- 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
- Characterization and computation of infinite-horizon specifications over Markov processes
- SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
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)
