Advanced

Specifications for decidable hybrid games

Vladimerou, Vladimeros LU ; Prabhakar, Pavithra; Viswanathan, Mahesh and Dullerud, Geir (2011) In Theoretical Computer Science 412(48). p.6770-6785
Abstract
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)161. We also solve the optimal-cost reachability problem for Weighted SHG and prove decidability of WCTL for Weighted STORMED hybrid systems. (C) 2011 Elsevier B.V. All rights reserved.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Hybrid systems, Hybrid games, Weighted CTL, Control, Verification
in
Theoretical Computer Science
volume
412
issue
48
pages
6770 - 6785
publisher
Elsevier
external identifiers
  • wos:000296987400012
  • scopus:80053949731
ISSN
0304-3975
DOI
10.1016/j.tcs.2011.08.036
language
English
LU publication?
yes
id
6cd7c20f-a29c-47b2-92e9-ff829fdb1258 (old id 2243215)
date added to LUP
2011-12-22 12:31:10
date last changed
2017-08-27 04:41:35
@article{6cd7c20f-a29c-47b2-92e9-ff829fdb1258,
  abstract     = {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)161. We also solve the optimal-cost reachability problem for Weighted SHG and prove decidability of WCTL for Weighted STORMED hybrid systems. (C) 2011 Elsevier B.V. All rights reserved.},
  author       = {Vladimerou, Vladimeros and Prabhakar, Pavithra and Viswanathan, Mahesh and Dullerud, Geir},
  issn         = {0304-3975},
  keyword      = {Hybrid systems,Hybrid games,Weighted CTL,Control,Verification},
  language     = {eng},
  number       = {48},
  pages        = {6770--6785},
  publisher    = {Elsevier},
  series       = {Theoretical Computer Science},
  title        = {Specifications for decidable hybrid games},
  url          = {http://dx.doi.org/10.1016/j.tcs.2011.08.036},
  volume       = {412},
  year         = {2011},
}