Automata‐Based Analysis of Stage Suspended Boom Systems

Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou and Juan Wang

Journal of Applied Mathematics, 2013, vol. 2013, issue 1

Abstract: 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.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1155/2013/739253

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:jnljam:v:2013:y:2013:i:1:n:739253

Access Statistics for this article

More articles in Journal of Applied Mathematics from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().