Structural analysis of hybrid systems modelled by hybrid flow nets

ECC 1997 - European Control Conference

Volumn , Issue , 1997, Pages 249-254

  Flaus, Jean Marie ^a   Alla, Hassane ^a  

^a GIPSA LAB   (France)

Author keywords

Analysis; Hybrid systems; Modelling

Indexed keywords

MODELS; STRUCTURAL ANALYSIS;

ANALYSIS; BATCH PLANTS; DISCRETE FLOW; HYBRID FLOW; MODELLING METHODOLOGY;

HYBRID SYSTEMS;

EID: 84983182103     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.1997.7082101     Document Type: Conference Paper

References (8)

1. R. Alur, C. Courcoubetisa, N. Halwachs, T. A. Henziger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoritical computer science, 138:3-34, 1995.
2. M. Branicky, Studies in hybrid systems: modeling, analysis and control, Doctor of Science Thesis, MIT, June 1995
3. David R., H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Events Systems, Prentice Hall, London
4. David R., H. Alla, Petri Nets for Modeling of dynamic Systems - A survey, Automatica, Vol 30, No 2, pp 175-202.
5. Flaus J. M., Hybrid Flow nets for batch process modelling, CESA IEEE SMC 96, Lille, France, 1996
6. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid systems. Lecture Notes in Computer Science, Springer Verlag, 1993
7. Stiver J. A. and P. J. Antsaklis, Modeling and analysis of hybrid control systems, Proc of the 31st CDC, pp 3748-3751, Tucson, Arizona, 92
8. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. Lecture Notes in Computer Science, Springer Verlag, 1995.