Algebraic synthesis of dependable logic controllers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Algebraic synthesis of dependable logic controllers

Résumé

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.
Fichier principal
Vignette du fichier
2008_ifac_YH_JMR_JJL.pdf (178.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00350494 , version 1 (06-01-2009)

Identifiants

  • HAL Id : hal-00350494 , version 1

Citer

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⟩
155 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More