Download:
by Thomas Brihaye, Christian Michaux, Cédric Rivière
Lecture Notes in Computer Science
http://www.ulb.ac.be/di/ssd/cfv/TechReps/TechRep_CFV_2003_19.pdf
Add To MetaCart
Abstract:
Abstract. This paper is driven by a general motto: bisimulate an hybrid system by a finite symbolic dynamical system. In the case of ominimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a finite symbolic dynamical system for the continuous dynamics of each location. We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures. In particular, we recover the main result of a paper by Lafferriere G., Pappas G.J. and Sastry S. on o-minimal hybrid systems. Mathematics Subject Classification: 68Q60, 03C64. 1
Citations
|
1393
|
A theory of timed automata
– Alur, Dill
- 1994
|
|
449
|
The algorithmic analysis of hybrid systems
– Alur, Courcoubetis, et al.
- 1995
|
|
307
|
A Shorter Model Theory
– Hodges
- 1997
|
|
265
|
The theory of hybrid automata
– Henzinger
- 1996
|
|
211
|
What’s decidable about hybrid automata
– Henzinger, Kopke, et al.
- 1998
|
|
108
|
Conflict resolution for air traffic management: a study in multiagent hybrid systems
– Tomlin, Pappas, et al.
- 1998
|
|
101
|
Discrete abstractions of hybrid systems
– Alur, Henzinger, et al.
- 2000
|
|
65
|
Minimal model generation
– Bouajjani, Fernandez, et al.
|
|
49
|
Hybrid automata with finite bisim-ulations
– Henzinger
- 1995
|
|
37
|
Sastry S., Verified hybrid controllers for automated vehicles
– Lygeros, Godbole
- 1998
|
|
25
|
On the decidability of the reachability problem for planar differential inclusions
– Asarin, Schneider, et al.
- 2001
|
|
24
|
Keisler: Model theory, third edition
– Chang, J
- 1990
|
|
15
|
Tame Topology and O-minimal Structures
– Dries
- 1998
|
|
13
|
Bisimulation of context-free grammars and of pushdown automata
– Caucal
- 1995
|
|
7
|
Infinite permutation groups ii. subgroups of small index
– Truss
- 1989
|
|
4
|
Sastry S., O-Minimal Hybrid Systems, Mathematics of control, signals and systems
– Lafferriere, Pappas
|
|
3
|
o-Minimal Structures
– Dries
- 1996
|
