Verification of Opacity and Diagnosability for Pushdown Systems
المؤلفون المشاركون
Hiraishi, Kunihiko
Kobayashi, Koichi
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-05-22
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
In control theory of discrete event systems (DESs), one of the challenging topics is the extension of theory of finite-state DESs to that of infinite-state DESs.
In this paper, we discuss verification of opacity and diagnosability for infinite-state DESs modeled by pushdown automata (called here pushdown systems).
First, we discuss opacity of pushdown systems and prove that opacity of pushdown systems is in general undecidable.
In addition, a decidable class is clarified.
Next, in diagnosability, we prove that under a certain assumption, which is different from the assumption in the existing result, diagnosability of pushdown systems is decidable.
Furthermore, a necessary condition and a sufficient condition using finite-state approximations are derived.
Finally, as one of the applications, we consider data integration using XML (Extensible Markup Language).
The obtained result is useful for developing control theory of infinite-state DESs.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Kobayashi, Koichi& Hiraishi, Kunihiko. 2013. Verification of Opacity and Diagnosability for Pushdown Systems. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-488590
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification of Opacity and Diagnosability for Pushdown Systems. Journal of Applied Mathematics No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-488590
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification of Opacity and Diagnosability for Pushdown Systems. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-488590
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-488590
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر