Specifications for decidable hybrid games

Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir Dullerud

Research output: Contribution to journalArticlepeer-review


We introduce STORMED hybrid games (SHG), a generalization of STORMED hybrid systems, Vladimerou et al. (2008) [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games, Bouyer et al. (2006) [6]. We also solve the optimal-cost reachability problem for Weighted SHG and prove decidability of WCTL for Weighted STORMED hybrid systems.

Original languageEnglish (US)
Pages (from-to)6770-6785
Number of pages16
JournalTheoretical Computer Science
Issue number48
StatePublished - Nov 11 2011


  • Control
  • Hybrid games
  • Hybrid systems
  • Verification
  • Weighted CTL

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Specifications for decidable hybrid games'. Together they form a unique fingerprint.

Cite this