Algebraic synthesis of logical controllers with optimization criteria

Abstract : Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This communication presents a formal synthesis method whose goal is to obtain the control laws of a logic system from specifications given in natural language. The formal framework underlying the method is the Boolean algebra of n-variable switching functions. The operations and relations of this algebra enable to represent controller specifications formally, to detect inconsistencies within specifications and to generate control laws with optimization criteria. The application of this formal design method to an example permits to illustrate its main advantages.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Jean-Marc Roussel <>
Submitted on : Monday, September 24, 2012 - 4:13:48 PM
Last modification on : Thursday, May 24, 2018 - 3:59:20 PM
Long-term archiving on : Friday, December 16, 2016 - 4:05:33 PM


Files produced by the author(s)


  • HAL Id : hal-00734840, version 1


Hélène Leroux, Jean-Marc Roussel. Algebraic synthesis of logical controllers with optimization criteria. 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012, Aug 2012, Paris, France. pp. 103-114. ⟨hal-00734840⟩



Record views


Files downloads