![](/images/graphics-bg.png)
Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations
Joint Authors
Lesage, Jean-Jacques
Roussel, Jean-Marc
Source
Mathematical Problems in Engineering
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-05-27
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Abstract EN
Formal methods can strongly contribute to improve dependability of controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations.
This paper presents a synthesis method dedicated to logic controllers.
Its goal is to obtain the control laws from specifications given in natural language by symbolic computation.
The formal framework that underlies this method is the Boolean algebra of n-variable switching functions.
In this algebra, thanks to relations and theorems presented in this paper, it is possible to formally express logical controllers specifications, to automatically detect inconsistencies in specifications, and to obtain automatically the set of solutions or to choose an optimal solution according to given optimization criteria.
The application of this synthesis method to an example allows illustrating its main advantages.
American Psychological Association (APA)
Roussel, Jean-Marc& Lesage, Jean-Jacques. 2014. Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations. Mathematical Problems in Engineering،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-493737
Modern Language Association (MLA)
Roussel, Jean-Marc& Lesage, Jean-Jacques. Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations. Mathematical Problems in Engineering No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-493737
American Medical Association (AMA)
Roussel, Jean-Marc& Lesage, Jean-Jacques. Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations. Mathematical Problems in Engineering. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-493737
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-493737