Skip to Main content Skip to Navigation

Synthèse structurelle d'un contrôleur basée sur le Grafcet

Abstract : In this thesis, we have presented two contributions for the problem of synthesis of a discrete event systems
controller using the Grafcet Model.
The supervisory control theory of discrete event systems (DES) introduced by Ramadge and Wonham, is not
directly implemented under the form of an operational control. We can find in the literature various extensions
of the approach RW in which the supervisor can force events, among those there exist the supervised control
suggested by François Charbonnier in his thesis (1996). We have made an extension of this approach, in the
case where the language of the specifications is not controllable compared to the language of the extended
process. To implement the supervisor's automat obtained, we have proposed a systematic method of passage of
the automaton of the supervisor to the Grafcet of the supervisor in a structural way. However in this approach,
the final Grafcet of the supervisor obtained contains a significant number of steps that is identical to the
synthesized automat. Thus the complexity of the supervisors always remains prohibitive. This is why we have
proposed an approach of structural synthesis, in which the size of Grafcet obtained is reduced and directly
implemented in the PLC. This method is based on the place invariants which allow determining a certain
number of steps to be added to the initial model to make respect the specifications of control. We have
established general properties that made it possible to find the set of the linear constraints starting from the set
of the forbidden states. The solution obtained gives an optimal controller. This optimality comes from the
equivalence between the set of authorized states and the set of linear constraints. It was proven thanks to the
Boolean character of the marking of Grafcet.
Document type :
Complete list of metadata

Cited literature [45 references]  Display  Hide  Download
Contributor : Patricia Reynier <>
Submitted on : Wednesday, September 5, 2007 - 4:20:54 PM
Last modification on : Friday, November 6, 2020 - 3:49:48 AM
Long-term archiving on: : Thursday, April 8, 2010 - 9:41:58 PM


  • HAL Id : tel-00169964, version 1



Bassam Kattan. Synthèse structurelle d'un contrôleur basée sur le Grafcet. Automatique / Robotique. Université Joseph-Fourier - Grenoble I, 2004. Français. ⟨tel-00169964⟩



Record views


Files downloads