On O-minimal hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 219-233

  Brihaye, Thomas ^a   Michaux, Christian ^a   Rivière, Cédric ^a   Troestler, Christophe ^a  

^a UNIVERSITY OF MONS   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICAL SYSTEMS;

CONTINUOUS DYNAMICS; DISCRETE COMPONENTS; GENERAL CLASS; IN-BUILDINGS; O-MINIMAL STRUCTURE; SYMBOLIC DYNAMICAL SYSTEM;

HYBRID SYSTEMS;

EID: 35048897065     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_15     Document Type: Article

References (16)

1. [ACH+] Alur R., Courcoubetis G., Halbwachs N., Henzinger T. A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S., The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138 (1995), pp. 3-34.
2. [AD] Alur R., Dill D. L., A theory of timed automata, Theoretical Computer Science, 126 (1994), pp. 183-235.
3. [AHLP] Alur R., Henzinger T. A., Lafferriere G., Pappas G. J., Discrete abstractions of hybrid systems, Proc. IEEE 88 (2000), pp. 971-984.
4. [ASY] Asarin E., Schneider G., Yovine S., On the Decidability of the Reachability Problem for Planar Differential Inclusions, In Di Benedetto and A. Sangiovanni-Vincentelli, editors, HSSC 01, LNCS 2034, Springer-Verlag (2001), pp. 89-104.
5. [BFH] Bouajjani A., Fernandez J.-C., and Halbwachs N., Minimal model generation, In R. P. Kurshan and E. M. Clarke, editors, CAV 90, LNCS 531, Springer-Verlag (1990), pp. 197-203.
6. [Cau] Caucal D., Bisimulation of context-free grammars and push-down automata, In Modal logic and process algebra, CSLI Lecture Notes, Stanford (1995), vol. 53, pp. 85-106.
7. [vdD96] van den Dries L., o-Minimal Structures, In Logic: from Foundations to Applications, European Logic Colloquium, Oxford University Press (1996) pp. 137-185.
8. [vdD98] van den Dries L., Tame Topology and O-minimal Structures, Cambridge University Press, Cambridge (1998).
9. [Hen95] Henzinger T. A., Hybrid automata with finite bisimulations, In ICALP'95, LNCS 944, Springer-Verlag (1995), pp. 324-335.
10. [Hen96] Henzinger T. A., The Theory of Hybrid Automata, Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press (1996), pp. 278-292.
11. [HKPV] Henzinger T. A., Kopke P. W., Puri A., and Varaiya P., What's decidable about hybrid automata?, Journal of Computer and System Sciences, 57 (1998), pp. 94-124.
12. [Ho] Hodges W., A Shorter Model Theory, Cambridge University Press, Cambridge (1997).
13. [LGS] Lygeros J., Godbole D. N., Sastry S., Verified hybrid controllers for automated vehicles, IEEE Transactions on Automatic Control, 43, 4 (1998), pp. 522-539.
14. [LPS] Lafferriere G., Pappas G. J., Sastry S., O-Minimal Hybrid Systems, Mathematics of control, signals and systems, 13 (2000), pp. 1-21.
15. [TPS] Tomlin C., Pappas G. J., and Sastry S., Conflict resolution for air traffic management : A study in multi-agent hybrid systems, IEEE Transactions on Automatic Control, 43, 4 (1998), pp. 509-521.
16. [Tr] Truss J., Infinite permutation groups II - subgroups of small index J. Algebra, 120 (1989), pp. 494-515.