Controller synthesis with highly simplified linear constraints

Abbas Dideban (1) , M. Zareiee (1) , Hassane Alla (2)

1 Laboratoire Semnan University
2 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering these states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. So, a large number of control places must be added to the model of the system which in turn causes a complicated model. Some methods have been proposed to reduce the number of constraints. But they don't always give the best results. In this paper two ideas are offered to reduce the number of these constraints giving a more simplified controller.

Mots clés: Discrete event system (DES); Petri net; supervisory control; controller synthesis; forbidden state

Domaines: Automatique / Robotique

Abbas Dideban, M. Zareiee, Hassane Alla. Controller synthesis with highly simplified linear constraints. Asian Journal of Control, 2013, 15 (1), pp.80-94. ⟨10.1002/asjc.528⟩. ⟨hal-00784734⟩