کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
700687 890911 2006 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Designing dependable logic controllers using algebraic specifications
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مهندسی هوافضا
پیش نمایش صفحه اول مقاله
Designing dependable logic controllers using algebraic specifications
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Control Engineering Practice - Volume 14, Issue 10, October 2006, Pages 1143–1155
نویسندگان
, ,