Reachability games for linear hybrid systems

DOI10.1145/2185632.2185645MaRDI QIDQ2986753zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

controller synthesisformal methodshybrid automata

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Tracking smooth trajectories in linear hybrid systems
• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• scientific article; zbMATH DE number 1444367 (Why is no real title available?)
• Towards efficient exact synthesis for linear hybrid systems

Describes a project that uses

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)