Skip to Main content Skip to Navigation

Synthèse de contrôleurs discrets par simplification de contraintes et de conditions

Abstract : In this work, we propose a systematic method for controller synthesis in discrete events systems. We model the process and the specification by safe Petri Nets (PN). Two distinct ideas are used: 1) adding the control places to prevent the reachability of forbidden states, and 2) adding conditions with the controllable transitions. The uncontrollability asks the problem of optimatlity and the large number of control places the problem of complexity.
In the first idea, we use the theorem introduced by Guia, which makes it possible to pass from the set of forbidden states to the set of linear constraints. We propose original methods of simplification of the constraints. It is then possible to reduce the number and the bound of the constraints and thus to build a simple controller model. The methods of simplification presented are applicable on safe PN. We determine the necessary and sufficient conditions to have a maximal permissive controller. The principal advantage of these methods is that the controlled PN model is very close to the PN initial model.
The second idea for controller synthesis is the using of conditions for controllable transitions. The methods which use this technique generally need a long calculation in real time. While applying our method of simplification, we arrive to a simple controller.
Document type :
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download
Contributor : Abbas Dideban <>
Submitted on : Thursday, June 7, 2007 - 10:18:38 AM
Last modification on : Thursday, November 19, 2020 - 12:59:39 PM
Long-term archiving on: : Thursday, April 8, 2010 - 7:09:23 PM


  • HAL Id : tel-00152553, version 1



Abbas Dideban. Synthèse de contrôleurs discrets par simplification de contraintes et de conditions. Automatique / Robotique. Université Joseph-Fourier - Grenoble I, 2007. Français. ⟨tel-00152553⟩



Record views


Files downloads