Automata-Based Analysis of Stage Suspended Boom Systems
المؤلفون المشاركون
Yang, Shihan
He, Anping
Wu, Jinzhao
Zhou, Yongquan
Wang, Juan
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-7، 7ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-03-31
دولة النشر
مصر
عدد الصفحات
7
التخصصات الرئيسية
الملخص EN
A stage suspended boom system is an automatic steeve system orchestrated by the PLC (programmable logic controller).
Security and fault-recovering are two important properties.
In this paper, we analyze and verify the boom system formally.
We adopt the hybrid automaton to model the boom system.
The forward reachability is used to verify the properties with the reachable states.
We also present a case study to illustrate the feasibility of the proposed verification.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
He, Anping& Wu, Jinzhao& Yang, Shihan& Zhou, Yongquan& Wang, Juan. 2013. Automata-Based Analysis of Stage Suspended Boom Systems. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-7.
https://search.emarefa.net/detail/BIM-494837
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
He, Anping…[et al.]. Automata-Based Analysis of Stage Suspended Boom Systems. Journal of Applied Mathematics No. 2013 (2013), pp.1-7.
https://search.emarefa.net/detail/BIM-494837
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
He, Anping& Wu, Jinzhao& Yang, Shihan& Zhou, Yongquan& Wang, Juan. Automata-Based Analysis of Stage Suspended Boom Systems. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-7.
https://search.emarefa.net/detail/BIM-494837
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-494837
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر