Analysis of hybrid systems based on hybrid net condition/event system model

Discrete Event Dynamic Systems: Theory and Applications

Volumn 11, Issue 1-2, 2001, Pages 163-185

  Chen, Haoxun ^a   Hanisch, Hans Michael ^b  

^a UNIVERSITY OF CONNECTICUT   (United States)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONSTRAINT THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PETRI NETS;

HYBRID PETRI NETS; STATE REACHABILITY ANALYSIS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035132384     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008395301582     Document Type: Article

References (12)

1. Alur, R., Courcoubetis, C., Henzinger, T.A. and Ho, P.-H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman et al. (eds.), Hybrid Systems, LNCS 736, Springer Verlag, pp. 209-229.
2. Alur, R., Courcoubetis, C., Halbwachs, N. and Henzinger, et al. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3-34.
3. Antsaklis, P., et al. (Eds.). 1995. Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, Springer.
4. Champagnat, R., et al. 1998. Modeling and simulation of a hybrid system through PR/TR PN-DAE model. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France, pp. 131-7.
5. Chen, H. and Hanisch, H.-M. 1998. Hybrid net condition/event systems for modeling and analysis of batch processes. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France.
6. David, R. and Alla H. 1992. Petri Nets and Grafcet. Prentice Hall Int.
7. Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France, pp. 316-23.
8. Krogh, B. H. 1993. Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems. Proc. 8th Int. Symposium on Intelligent Control Systems, pp. 180-185.
9. Labinaz, G., et al. 1996. Modeling and control of hybrid systems: A survey. Proc. of 13th IFAC World Congress. San Francisco, USA, pp. 293-304.
10. Pettersson, S., et al. 1995. Hybrid modeling focused on hybrid Petri nets. Control Eng. Lab, Chalmers University of Technology, Göteborg, Sweden, Technical Report CTH/RT/I-95/009.
11. Rausch, M. and Hanisch, H.-M. 1995. Net condition/event systems with multiple condition outputs. Proc. of the ETFA 95 Conference. Paris, Vol. 1, pp. 592-600.
12. Valentin-Roubinet, C. 1998. Modeling of hybrid systems: DAE supervised by Petri nets: The example of a gas storage. Proc. of 3rd Int. Conf. on Automation of Mixed Processes. Reims, France, pp. 142.