05549960

a

05549960 Vladimerou, Vladimeros Prabhakar, Pavithra Viswanathan, Mahesh Dullerud, Geir STORMED hybrid games. Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13--15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 480-484 (2009). 2009 Berlin: Springer EN Zbl 1155.68421

doi:10.1007/978-3-642-00602-9_39

Summary: We introduce stormed hybrid games (SHG), a generalization of stormed hybrid systems [{\it V. Vladimerou} et al., Lect. Notes Comput. Sci. 5126, 136--147 (2008; Zbl 1155.68421)], which have natural specifications, allow rich continuous dynamics and admit various properties to be decidable. We solve the control problem for SHG using a reduction to bisimulation on game graphs. This reduction generalizes to a greater family of games, which includes o-minimal hybrid games. We also solve the optimal-cost reachability problem for weighted SHG.