Reachability games for linear hybrid systems

DOI10.1145/2185632.2185645zbMATH Open1361.68116OpenAlexW2052111815MaRDI QIDQ2986753FDOQ2986753

Authors: Massimo Benerecetti, Marco Faella, Stefano Minopoli 

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2185632.2185645

Recommendations

• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Polytopic approximation of reachable sets applied to linear dynamic games and a class of nonlinear systems
• Reachability games on extended vector addition systems with states
• scientific article; zbMATH DE number 5181383
• Equilibria in quantitative reachability games
• O-minimal hybrid reachability games
• Stabilizability of Game-Based Control Systems
• A Hybrid Algorithm for LTL Games
• Continuous-time stochastic games with time-bounded reachability
• Continuous-time stochastic games with time-bounded reachability

zbMATH Keywords

hybrid automataformal methodscontroller synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Ordinary differential inclusions (34A60) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited In (2)

• Tracking smooth trajectories in linear hybrid systems
• Towards efficient exact synthesis for linear hybrid systems

Uses Software

• PHAVer

This page was built for publication: Reachability games for linear hybrid systems

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