Automata-Based Analysis of Stage Suspended Boom Systems

Bibliographic Details
Title:	Automata-Based Analysis of Stage Suspended Boom Systems
Authors:	Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang
Source:	Journal of Applied Mathematics, Vol 2013 (2013)
Publisher Information:	Wiley, 2013.
Publication Year:	2013
Collection:	LCC:Mathematics
Subject Terms:	Mathematics, QA1-939
More Details:	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.
Document Type:	article
File Description:	electronic resource
Language:	English
ISSN:	1110-757X 1687-0042
Relation:	https://doaj.org/toc/1110-757X; https://doaj.org/toc/1687-0042
DOI:	10.1155/2013/739253
Access URL:	https://doaj.org/article/7aa0e987724c400d8dffe7f1a9276e8b
Accession Number:	edsdoj.7aa0e987724c400d8dffe7f1a9276e8b
Database:	Directory of Open Access Journals

More Details
ISSN:	1110757X 16870042
DOI:	10.1155/2013/739253
Published in:	Journal of Applied Mathematics
Language:	English