HYBRID SYSTEM ANALYSIS USING A PARAMETERISED EVOLUTION GRAPH

Hybrid systems are modelled in this article by the Petri-Net-StateModel, a combination of Petri nets and extended state space models with appropriate interfaces between them. For system analysis the evolution graph is used, describing hybrid reachability. The analysis results can be used for graph based procedures, e. g. to correct a chosen controller. Since system parameters have often to be considered as variable, the parameterised evolution graph is presented as an extension to the common evolution graph, allowing insertion of additional information into the evolution graph without losing applicability of other algorithms. The procedure is illustrated by an example of two production lines in conflict.