A Case Study on Formal Analysis of an Automated Guided Vehicle System
Joint Authors
Li, Xiaojuan
Hung, William N. N.
Tan, Jindong
Zhang, Jie
Peng, Yuntao
Shi, Zhiping
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-05-04
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-463844