Abstract | ||
---|---|---|
This paper outlines an abstraction process in which a particular class of hybrid automata with continuous dynamics that have parameterized positive limit sets, are being abstracted into finite transition systems. The limit sets with their corresponding attraction regions define pre- and post-conditions for the continuous dynamics, and determine the transitions in the discrete abstraction. An observable (weak) bisimulation equivalence is established between the two models. The abstraction process described can find application in verification, as well as in planning and symbolic control. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/s10626-011-0119-6 | Discrete Event Dynamic Systems |
Keywords | Field | DocType |
Abstraction,Hybrid systems,Symbolic control | Discrete mathematics,Parameterized complexity,Observable,Abstraction,Automaton,Theoretical computer science,Hybrid system,Bisimulation equivalence,Mathematics | Journal |
Volume | Issue | ISSN |
22 | 1 | 0924-6703 |
Citations | PageRank | References |
4 | 0.48 | 20 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Herbert Tanner | 1 | 921 | 91.72 |
Jie Fu | 2 | 22 | 2.59 |
Chetan Rawal | 3 | 15 | 1.60 |
Jorge Piovesan | 4 | 10 | 2.36 |
Chaouki T. Abdallah | 5 | 209 | 34.98 |