کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
715501 892204 2014 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
چکیده انگلیسی

This paper presents a novel approach to adapt a behavioral model in order to satisfy a requirement in Hennessy-Milner Logic, including an additional box modality operator, expressing an invariant formula. Control system synthesis, as defined in this way, retains all non-invalidating behavior, and thereby guarantees maximal permissiveness for supervisory control. This research extends earlier work by embracing a broader synthesized logic, enabling synthesis with respect to invariant formulas for non-deterministic behavioral models. All definitions and proofs in this paper have been computer verified using the Coq proof assistant.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 47, Issue 2, 2014, Pages 278-285