Algebraic synthesis of dependable logic controllers

Abstract : This paper presents an algebraic method to synthesize control laws for logical system controllers. The starting point is a set of functional and dependable requirements expressed with algebraic relations or state models. We propose to synthesize control laws by solving a Boolean equation which represents all the requirements. The mathematical results that we have obtained allow to establish the exact form of the solutions if this equation has solutions. The first step of this method is the formalization of each requirement with Boolean relations between Boolean functions. Under this formulation, the requirements can be assembled and their coherence can be analyzed. This step consists in verifying if the Boolean equation, which represents all the requirements, has solutions. The third step is the synthesis of the control laws by solving this equation. At the end of this step, a parametric formulation of all the possible solutions is given. The fourth step of the method is the choice of a particular solution. This choice is made by the designer from heuristics. This method is illustrated with an example.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
Contributeur : Jean-Marc Roussel <>
Soumis le : mardi 6 janvier 2009 - 20:48:25
Dernière modification le : jeudi 9 février 2017 - 15:56:34
Document(s) archivé(s) le : mardi 8 juin 2010 - 17:08:15


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00350494, version 1



Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic synthesis of dependable logic controllers. 17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp. 4132-4137. ⟨hal-00350494⟩



Consultations de la notice


Téléchargements de fichiers