![](/images/graphics-bg.png)
A Case Study on Formal Analysis of an Automated Guided Vehicle System
المؤلفون المشاركون
Li, Xiaojuan
Hung, William N. N.
Tan, Jindong
Zhang, Jie
Peng, Yuntao
Shi, Zhiping
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-05-04
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system.
A set of key properties of an AGV system are characterized for the correctness of the system.
An abstract model is constructed from the hybrid automata model to simplify the proof of the constraints.
The two models are equivalent in terms of bisimulation relation.
We derive the constraints to ensure the correctness of the properties.
We validate the system by analyzing the parameters of the constraints of the AGV system.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhang, Jie& Peng, Yuntao& Hung, William N. N.& Li, Xiaojuan& Tan, Jindong& Shi, Zhiping. 2014. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-463844
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhang, Jie…[et al.]. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Journal of Applied Mathematics No. 2014 (2014), pp.1-10.
https://search.emarefa.net/detail/BIM-463844
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhang, Jie& Peng, Yuntao& Hung, William N. N.& Li, Xiaojuan& Tan, Jindong& Shi, Zhiping. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-10.
https://search.emarefa.net/detail/BIM-463844
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-463844
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)