Stormed hybrid games

Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir Dullerud

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 12th International Conference, HSCC 2009, Proceedings
Pages480-484
Number of pages5
DOIs
StatePublished - Jul 15 2009
Event12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 - San Francisco, CA, United States
Duration: Apr 13 2009Apr 15 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5469
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Country/TerritoryUnited States
CitySan Francisco, CA
Period4/13/094/15/09

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

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

Cite this