Grafcet: Behavioural Issues and Control Synthesis

This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider t...

Full description

Saved in:
Bibliographic Details
Published inEuropean journal of control Vol. 8; no. 4; pp. 375 - 401
Main Authors Carré-Ménétriér, V., Zaytoon, J.
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 2002
Elsevier
Subjects
Automata
Automatic
Behaviour
Control synthesis
Engineering Sciences
Grafcet
Intersection
Supervisory control theory
Intersection
Control synthesis
Supervisory control theory
Grafcet
Behaviour
Automata
Online AccessGet full text
ISSN0947-3580
1435-5671
DOI10.3166/ejc.8.375-401

Cover

More Information
Summary:This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider the constraints induced by the behaviour of the controlled plant so as to identify the required correct behaviour of Grafcet during control execution. The resulting control execution is deadlock-free, and represents the minimal possible restriction of the behaviour of a given Grafcet, subject to a number of specified constraints.
ISSN:0947-3580
1435-5671
DOI:10.3166/ejc.8.375-401