×

Reachability games for linear hybrid systems. (English) Zbl 1361.68116

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 65-74 (2012).

MSC:

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

Software:

PHAVer
PDFBibTeX XMLCite
Full Text: DOI