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