.png){kind=icon}
.png){kind=icon}
Return
Designing dependable logic controllers using algebraic specifications
.png){kind=icon}
OA
AI
DOI：10.1016/j.conengprac.2006.02.002.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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 article presents a formal synthesis method that is aimed at obtaining the control laws of a logic system from specifications given in natural language. The formal framework that underlies the method is a Boolean algebra for logic discrete event systems. The operations and relations of this algebra enable to represent controller specifications formally, to detect inconsistencies within specifications and to generate control laws from a consistent specifications set. The scalability of this method is clearly demonstrated with the help of the case study of an experimental manufacturing line. (c) 2006 Elsevier Ltd. All rights reserved.
Keywords:
discrete event systems
formal methods
dependability
logic controllers
algebraic approach
Boolean algebra
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.6
Papers:
5.7K
Citations:
1.1W
Organization
No organization information available