HAL : hal-00350494, version 1
 17th IFAC World Congress, Seoul : Corée, République De (2008)
 Algebraic synthesis of dependable logic controllers
 Yann Hietter 1, Jean-Marc Roussel ( ) 1
 (07/2008)
 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.
 1 : Laboratoire Universitaire de Recherche en Production Automatisée (LURPA) École normale supérieure de Cachan - ENS Cachan – Université Paris XI - Paris Sud
 Domaine : Sciences de l'ingénieur/Automatique / Robotique
 Mots Clés : Dependable system – Controller synthesis – Algebraic approaches – Boolean algebra – logic controllers
Liste des fichiers attachés à ce document :
 PDF
 2008_ifac_YH_JMR_JJL.pdf(205.9 KB)
 hal-00350494, version 1 http://hal.archives-ouvertes.fr/hal-00350494 oai:hal.archives-ouvertes.fr:hal-00350494 Contributeur : Jean-Marc Roussel <> Soumis le : Mardi 6 Janvier 2009, 20:48:25 Dernière modification le : Mercredi 7 Janvier 2009, 21:07:13