A stochastic games framework for verification and control of discrete time stochastic hybrid systems

DOI10.1016/J.AUTOMATICA.2013.05.025zbMath1364.93857OpenAlexW2154136656MaRDI QIDQ2628473

Alessandro Abate, John Lygeros, Claire J. Tomlin, Maryam Kamgarpour, Sean Summers, Jerry Ding

Publication date: 2 June 2017

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

hybrid systemsreachabilitydynamic gamesstochastic systemscontroller synthesis

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Optimal stochastic control (93E20) Stochastic games, stochastic differential games (91A15) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Optimality conditions for problems involving randomness (49K45)

Related Items (9)

Stochastic reachability of a target tube: theory and computation ⋮ Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations ⋮ Reachability for partially observable discrete time stochastic hybrid systems ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ 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 ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Approximate model checking of stochastic hybrid systems
• Universally measurable strategies in zero-sum stochastic games
• Sequential Stackelberg equilibria in two-person games
• Stochastic optimal control. The discrete time case
• Controllers for reachability specifications for hybrid systems
• A logic for reasoning about time and reliability
• Stochastic hybrid control
• Finitely additive stochastic games with Borel measurable payoffs
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• On stochastic games
• Measurable selections of extrema
• Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
• A stochastic reach-avoid problem with random obstacles
• Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
• Safe and Secure Networked Control Systems under Denial-of-Service Attacks
• Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
• Prototype Conflict Alerting System for Free Flight
• Conflict Probability Estimation for Free Flight
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Minimax Control of Discrete-Time Stochastic Systems
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Stochastic Games
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: A stochastic games framework for verification and control of discrete time stochastic hybrid systems