The Library
Average-price and reachability-price games on hybrid automata with strong resets
Tools
Bouyer, Patricia, Brihaye, Thomas, Jurdzinski, Marcin, Lazic, Ranko and Rutkowski, Michał, Ph.D. (2008) Average-price and reachability-price games on hybrid automata with strong resets. In: 6th International Conference on Formal Modeling and Analysis of Timed Systems, St Malo, France, 15-17 September, 2008. Published in: Lecture Notes in Computer Science, 5215 pp. 63-77. ISBN 9783540857778. doi:10.1007/978-3-540-85778-5_6 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-540-85778-5_6
Abstract
We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuous dynamics. A number of analysis problems, such as reachability testing and controller synthesis, are decidable for classes of o-minimal hybrid automata. We generalize existing decidability results for controller synthesis on hybrid automata and we establish new ones by proving that average-price and reachability-price games on hybrid systems with strong resets are decidable, provided that the structure on which the hybrid automaton is defined has a decidable first-order theory. Our proof techniques include a novel characterization of values in games on hybrid systems by optimality equations, and a definition of a new finitary equivalence relation on the states of a hybrid system which enables a reduction of games on hybrid systems to games on finite graphs.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Lecture Notes in Computer Science | ||||
Publisher: | Springer | ||||
ISBN: | 9783540857778 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Formal Modeling and Analysis of Timed Systems | ||||
Official Date: | September 2008 | ||||
Dates: |
|
||||
Volume: | 5215 | ||||
Page Range: | pp. 63-77 | ||||
DOI: | 10.1007/978-3-540-85778-5_6 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 6th International Conference on Formal Modeling and Analysis of Timed Systems | ||||
Type of Event: | Conference | ||||
Location of Event: | St Malo, France | ||||
Date(s) of Event: | 15-17 September, 2008 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |