STORMED Hybrid Games

Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan and Geir E. Dullerud

We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems, 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) and prove decidability of WCTL for Weighted STORMED hybrid systems.

Hybrid Systems: Computation and Control, 12th International Conference (HSCC), 2009
Download: BIB PS PDF