Synthèse d'une commande supervisée à base de contraintes booléennes
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...