.png){kind=icon}
.png){kind=icon}
返回
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}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
discrete event systems
formal methods
dependability
logic controllers
algebraic approach
Boolean algebra
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。