Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model |
| |
Authors: | Haoxun Chen Hans-Michael Hanisch |
| |
Affiliation: | (1) Department of Electrical and Systems Engineering, University of Connecticut, CT 06269, USA;(2) Department of Engineering Science, Martin-Luther-University Halle-Wittenberg, Halle, D-06099, Germany |
| |
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. |
| |
Keywords: | hybrid systems condition /event systems Petri nets modular modeling state reachability analysis |
本文献已被 SpringerLink 等数据库收录! |
|