Language: English  |  中文 

广西民族大学机构知识库 > → 广西民族大学 > → 信息科学与工程学院 > → 期刊论文 >

Please use this identifier to cite or link to this item: http://ir.calis.edu.cn/hdl/530500/4650

Title: Automata-Based Analysis of Stage Suspended Boom Systems
Authors: Guangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China
School of Information Science and Engineering, Lanzhou University, Lanzhou 730000, China
School of Civil Engineering and Mechanics, Lanzhou University, Lanzhou 730000, China
Anping He
Shihan Yang
Yongquan Zhou
Keywords: Automata-Based Analysis
Stage Suspended Boom Systems
Issue Date: 2013
Publisher: Journal of Applied Mathematics
Citation: Journal of Applied Mathematics,Volume 2013 (2013)
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
URI: http://ir.calis.edu.cn/hdl/530500/4650
Appears in Collections:期刊论文

Files in This Item:

File Description SizeFormat
Automata-Based Analysis of Stage Suspended Boom Systems.pdf2.79 MBAdobe PDFView/Open
Recommend this item     Add this item as favorite
View Statistics

License: See CALIS IR operational policies.

Number of Online Users: 177     Total of Site Visit: 3676594