Synthesis of controllers for symmetric systems |
| |
Authors: | Chiheb Ameur Abid Belhassen Zouari |
| |
Affiliation: | 1. LIP2 Lab , University of Tunis El Manar, Campus Universitaire – 2092 Manar II , Tunis, Tunisia chiheb.abid@gmail.com;3. LIP2 Lab , University of Tunis El Manar, Campus Universitaire – 2092 Manar II , Tunis, Tunisia |
| |
Abstract: | This article deals with supervisory control problem for coloured Petri (CP) nets. Considering a CP-net, we build a condensed version of the ordinary state-space, namely the symbolic reachability graph (SRG). This latter graph allows to cope with state-space explosion problem for symmetric systems. The control specification can be expressed in terms of either forbidden states or forbidden sequences of transitions. According to these specifications, we derive the controller by applying the theory of regions on the basis of the SRG. Thanks to expressiveness power of CP-nets, the obtained controller to be connected to the plant model is reduced to one single place. |
| |
Keywords: | coloured Petri net supervisory control theory discrete event system theory of regions symbolic reachability graph |
|
|