Abstract
In thispaper, hybrid net condition /event systems are introducedas a model for hybrid systems. The model consists of a discretetimed Petri net and a continuous Petri net which interact eachother through condition and event signals. By introducing timeddiscrete places in the model, timing constraints in hybrid systemscan be easily described. For a class of hybrid systems that canbe described as linear hybrid net condition /eventsystems whose continuous part is a constant continuous Petrinet, two methods are developed for their state reachability analysis.One is the predicate-transformation method, which is an extensionof a state reachability analysis method for linear hybrid automata.The other is the path-based method, which enumerates all possiblefiring seqenences of discrete transitions and verifies if a givenset of states can be reached from another set by firing a sequenceof discrete transitions. The verification is performed by solvinga constraint satisfaction problem. A technique that adds additionalconstraints to the problem when a discrete state is revisitedalong the sequence is developed and used to prevent the methodfrom infinite enumeration. These methods provide a basis foralgorithmic analysis of this class of hybrid systems.
Similar content being viewed by others
References
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.
Alur, R., Courcoubetis, C., Halbwachs, N. and Henzinger, et al. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3–34.
Antsaklis, P., et al. (Eds.). 1995. Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, Springer.
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.
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.
David, R. and Alla H. 1992. Petri Nets and Grafcet. Prentice Hall Int.
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chen, H., Hanisch, HM. Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. Discrete Event Dynamic Systems 11, 163–185 (2001). https://doi.org/10.1023/A:1008395301582
Issue Date:
DOI: https://doi.org/10.1023/A:1008395301582