Stormed hybrid games

Vladimeros Vladimerou; Pavithra Prabhakar; Mahesh Viswanathan; Geir Dullerud

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

Stormed hybrid games

Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir Dullerud

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Hybrid Systems
Subtitle of host publication	Computation and Control - 12th International Conference, HSCC 2009, Proceedings
Pages	480-484
Number of pages	5
DOIs	https://doi.org/10.1007/978-3-642-00602-9_39
State	Published - 2009
Event	12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 - San Francisco, CA, United States Duration: Apr 13 2009 → Apr 15 2009

Publication series

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

Other

Other	12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Country/Territory	United States
City	San Francisco, CA
Period	4/13/09 → 4/15/09

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

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

Library availability

Discover UIUC Full Text

Cite this

Vladimerou, V., Prabhakar, P., Viswanathan, M., & Dullerud, G. (2009). Stormed hybrid games. In Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, Proceedings (pp. 480-484). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5469). https://doi.org/10.1007/978-3-642-00602-9_39

Stormed hybrid games. / Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh et al.
Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, Proceedings. 2009. p. 480-484 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5469).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Vladimerou, V, Prabhakar, P, Viswanathan, M & Dullerud, G 2009, Stormed hybrid games. in Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5469, pp. 480-484, 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, San Francisco, CA, United States, 4/13/09. https://doi.org/10.1007/978-3-642-00602-9_39

@inproceedings{b38c66e167ea45a98d5061d84a89335c,

title = "Stormed hybrid games",

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.",

author = "Vladimeros Vladimerou and Pavithra Prabhakar and Mahesh Viswanathan and Geir Dullerud",

year = "2009",

doi = "10.1007/978-3-642-00602-9_39",

language = "English (US)",

isbn = "9783642006012",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "480--484",

booktitle = "Hybrid Systems",

note = "12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 ; Conference date: 13-04-2009 Through 15-04-2009",

}

TY - GEN

T1 - Stormed hybrid games

AU - Vladimerou, Vladimeros

AU - Prabhakar, Pavithra

AU - Viswanathan, Mahesh

AU - Dullerud, Geir

PY - 2009

Y1 - 2009

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 -

Stormed hybrid games

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this