SYNTHESIS OF SUPERVISED CONTROLLER BASED ON BOOLEAN CONSTRAINTS AND BOOLEAN AUTOMATA

Pascale Marangé (1) , Abdelouahed Tajer (1) , François Gellot (1) , Véronique Carré-Ménétrier (1)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

In order to establish a method to synthesis controllers, an essential step is the modelling of both plant and constraints. However, this step remains a very complex task. To mitigate this difficulty and facilitate modelling, we present a methodology for plant modelling based on rules; as well as a user friendly methodology for constraints modelling based on logical equations in the traditional Boolean algebra. Then, we present an adaptation of the Kumar algorithm synthesis adequated to these new modelling. To conclude, we show that our synthesis approach can constitute a help in controller development and to be diverted from its first function to be used in controller validation.

Mots clés: controller development; Boolean Automata; plant model; constraint model; supervisory control theory; Boolean algebra; validation; controller development.

Domaines: Automatique / Robotique

Pascale Marangé, Abdelouahed Tajer, François Gellot, Véronique Carré-Ménétrier. SYNTHESIS OF SUPERVISED CONTROLLER BASED ON BOOLEAN CONSTRAINTS AND BOOLEAN AUTOMATA. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006), May 2006, France. pp.CD. ⟨hal-00385519⟩