Abstract | ||
---|---|---|
In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation problem to a safety game. We show how timed alternating simulation can be used to control efficiently a partially observable system. This method is illustrated by a generic case study. |
Year | DOI | Venue |
---|---|---|
2009 | 10.3182/20090916-3-ES-3003.00042 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
Timed automata,timed games,simulation,Uppaal,formal verification tool | Observable,Controllability,Computer science,Automaton,Preorder,Theoretical computer science,Timed automaton,Timed game automata,Distributed computing | Conference |
Volume | Issue | ISSN |
42 | 17 | 1474-6670 |
Citations | PageRank | References |
9 | 0.65 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Chatain | 1 | 16 | 1.46 |
Alexandre David | 2 | 1667 | 76.52 |
Kim G. Larsen | 3 | 3922 | 254.03 |