Automata-Based Analysis of Stage Suspended Boom Systems
Joint Authors
Yang, Shihan
He, Anping
Wu, Jinzhao
Zhou, Yongquan
Wang, Juan
Source
Journal of Applied Mathematics
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-7, 7 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-03-31
Country of Publication
Egypt
No. of Pages
7
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-494837