Lagrangian approximations for stochastic reachability of a target tube

DOI10.1016/j.automatica.2021.109546zbMath1461.93029arXiv1810.07118OpenAlexW3135991946WikidataQ114204909 ScholiaQ114204909MaRDI QIDQ2021292

Joseph D. Gleason, Meeko M. K. Oishi, A. P. Vinod

Publication date: 26 April 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.07118

zbMATH Keywords

support functionscontroller synthesisset-based controlstochastic reachability

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

Related Items (2)

State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• PRISM
• MPT
• HyLAA
• FAUST2
• SReachTools
• QSIMVN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On decompositional algorithms for uniform sampling from \(n\)-spheres and \(n\)-balls
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Reachability analysis of linear systems using support functions
• Stochastic optimal control. The discrete time case
• Theory and computation of disturbance invariant sets for discrete-time linear systems
• Adjustable robust solutions of uncertain linear programs
• Lagrangian methods for approximating the viability kernel in high-dimensional systems
• Variations and extension of the convex-concave procedure
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• On the minimax reachability of target sets and target tubes
• Stochastic reachability of a target tube: theory and computation
• Predictive Control for Linear and Hybrid Systems
• A stochastic reach-avoid problem with random obstacles
• A note on a method for generating points uniformly on n -dimensional spheres
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
• SReachTools
• Efficiency through uncertainty
• Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
• Hybrid Systems: Computation and Control
• Set-theoretic methods in control

This page was built for publication: Lagrangian approximations for stochastic reachability of a target tube