For the most recent entries see the Petri Nets Newsletter.

Synthesis of a Discrete Control for Hybrid Systems by Means of a Petri-Net-State-Model.

Müller, Christian; Orth, Philipp; Abel, Dirk; Rake,; Heinrich,

In: Lecture Notes in Control and Information Science (LNCIS) Vol. 279, pages 1-295pp. Springer Verlag, July 2002.

Abstract: The design of discrete control systems for technical processes leads to hybrid systems. These can be modelled by a combination of several Petri Nets and extended state space models with appropriate interfaces between them. For the analysis of the whole system, the introduced evolution graph is used to describe hybrid reachability, including generally infinite converging cycles by a covered graph. The analysis results are utilised to synthesise minimal extensions to the control system to assure desired system behaviour like liveness or reversibility. The procedure is illustrated by a small example.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography