Hybrid approximations for continuous systems

Journal Europeen des Systemes Automatises

Volumn 36, Issue 7, 2002, Pages 959-971

  Lefebvre, Marie Anne ^a   Guéguen, Hervé ^a   Buisson, Jean ^a  

^a SUPELEC Campus de Rennes   (France)

Author keywords

Abstraction; Hybrid systems; Structuring

Indexed keywords

ABSTRACTION; HYBRID SYSTEMS; LINEAR AUTOMATON; STATE VARIABLES;

FORMAL METHODS; LINEAR SYSTEMS; NUMERICAL METHODS; VERIFICATION;

APPROXIMATION THEORY;

EID: 3042604775     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (6)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X., Olivero A., Sifakis J., Yovine S., "The algorithmic analysis of hybrid systems", Theoritical Computer Science, no 138, 1995, p. 3-34.
2. Guéguen H., Zaytoon J., "Vérification des systèmes hybrides", Systèmes Dynamiques Hybrides, Coord J. Zaytoon, traité IC2, Hermès Sciences, 2001
3. Henzinger T.A., Kopke P.W., Puri A., Varaiya P., "What's decidable about hybrid automata ? The algorithmic analysis of hybrid systems", Proceedings of 27th. annual ACM Symposium on Theory of Computing, 1995, p. 373-382.
4. Henzinger T.A., Ho P.H., Wong-Toi H., "A user guide to HYTECH", Tools and Algorithms for the Construction and Analysis of Systems, LNCS-1019, 1995, p. 41-71.
5. Henzinger T.A., Ho P.H., Wong-Toi H., "Algorithmic analysis of non-linear hybrid systems", IEEE Transactions on Automatic Control, vol. 43, no 4, 1998, p. 540-554.
6. Silva I., Krogh B., "Modelling and verification of sampled-data hybrid systems", proc. of ADPM 2000, 18-19 septembre 2000, Dortmund (Allemagne), p. 237-242.