Open Access
Translator Disclaimer
2013 Automata-Based Analysis of Stage Suspended Boom Systems
Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
J. Appl. Math. 2013(SI10): 1-7 (2013). DOI: 10.1155/2013/739253

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.

Citation

Download Citation

Anping He. Jinzhao Wu. Shihan Yang. Yongquan Zhou. Juan Wang. "Automata-Based Analysis of Stage Suspended Boom Systems." J. Appl. Math. 2013 (SI10) 1 - 7, 2013. https://doi.org/10.1155/2013/739253

Information

Published: 2013
First available in Project Euclid: 9 May 2014

zbMATH: 1267.68134
Digital Object Identifier: 10.1155/2013/739253

Rights: Copyright © 2013 Hindawi

JOURNAL ARTICLE
7 PAGES


SHARE
Vol.2013 • No. SI10 • 2013
Back to Top