Synthèse d'une commande supervisée à base de contraintes booléennes

Abdelouahed Tajer (1) , Pascale Marangé (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

Une étape essentielle pour formaliser une méthode de synthèse de commande est la modélisation de la partie opérative (PO) et des contraintes. Cependant, cette étape reste une tâche très complexe. Pour pallier cette difficulté et dans le but d'aider le concepteur, nous proposons dans cet article une méthodologie de modélisation de la partie opérative sous forme de règles et une modélisation conviviale des contraintes par équations logiques dans l'algèbre de Boole classique. Pour la partie opérative, le résultat conduit à des modèles automates à états booléens et à des implications logiques pour les contraintes. Nous proposons ensuite un algorithme de synthèse en accord avec cette nouvelle modélisation. Un exemple de tri illustre ce papier.

Mots clés: Automates booléens; modèle de partie opérative; modèle de contraintes; théorie de supervision; algèbre booléenne.; algèbre booléenne

Domaines: Automatique / Robotique

Abdelouahed Tajer, Pascale Marangé, François Gellot, Véronique Carré-Ménétrier. Synthèse d'une commande supervisée à base de contraintes booléennes. e-STA Sciences et Technologies de l’Automatique, 2007, pp.0. ⟨hal-00385485⟩