TY - GEN
T1 - Stormed hybrid games
AU - Vladimerou, Vladimeros
AU - Prabhakar, Pavithra
AU - Viswanathan, Mahesh
AU - Dullerud, Geir
PY - 2009/7/15
Y1 - 2009/7/15
N2 - We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [15], 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 [5]. We also solve the optimal-cost reachability problem for Weighted SHG.
AB - We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [15], 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 [5]. We also solve the optimal-cost reachability problem for Weighted SHG.
UR - http://www.scopus.com/inward/record.url?scp=67650119075&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67650119075&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-00602-9_39
DO - 10.1007/978-3-642-00602-9_39
M3 - Conference contribution
AN - SCOPUS:67650119075
SN - 9783642006012
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 480
EP - 484
BT - Hybrid Systems
T2 - 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Y2 - 13 April 2009 through 15 April 2009
ER -