Skip to Main content Skip to Navigation

Contribution à la synthèse des contrôleurs des systèmes à événements discrets partiellement observables

Abstract : In this work, we present control synthesis approaches for discrete events systems with partial observation. According to the used model, we propose two types of contributions. A first contribution is an extension of the supervisory control based on the Petri net (PN) models and the theory regions by integrating the observation constraint of the events. The second interesting contribution relates to the development of a formal method of control synthesis starting from a Grafcet control plant while being based on a new interpretation of the theory of regions. For the plant modelled with Petri nets, we propose two approaches of control synthesis. These approaches solve the forbidden states problem characterised by a set of General Mutual Exclusion Constraints (GMEC) by exploiting the structural properties of the marked graphs. Structural properties are proposed to perform the worst-case analysis for each GMEC specification with any given initial marking when uncontrollable and/or unobservable transitions are allowed. Efficient solutions are proposed for the determination of the maximal uncontrollably reachable marking of any critical place. Second approach resolves the forbidden state-transition problems (FSTP). The developed synthesis approach integrates the concept of liveness with uncontrollable / unobservable transitions. The suggested approach determines the maximum permissive PN controller, when it exists. The necessary conditions for the existence of the PN controller for the partially observable DES are established. The second contribution of this work relates to the use of the theory of regions to synthesis a supervisor from a Grafcet control plant model for forbidden state specifications and integrating the reversibility aspect of the plant. For this, a new interpretation of the theory of regions was developed to formally determine a set of control variables to integrate into the initial Grafcet control model which constitutes the supervisor.
Document type :
Complete list of metadata

Cited literature [47 references]  Display  Hide  Download
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:47:16 PM
Last modification on : Tuesday, April 10, 2018 - 1:28:00 AM


Files produced by the author(s)


  • HAL Id : tel-01752429, version 1



Zied Achour. Contribution à la synthèse des contrôleurs des systèmes à événements discrets partiellement observables. Autre. Université Paul Verlaine - Metz, 2005. Français. ⟨NNT : 2005METZ003S⟩. ⟨tel-01752429⟩



Record views


Files downloads