Automata-Based Analysis of Stage Suspended Boom Systems | Zendy

Anping He | Zendy; Jinzhao Wu | Zendy; Shihan Yang | Zendy; Yongquan Zhou | Zendy; Juan Wang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Automata-Based Analysis of Stage Suspended Boom Systems

Author(s) -

Anping He,

Jinzhao Wu,

Shihan Yang,

Yongquan Zhou,

Juan Wang

Publication year - 2013

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2013/739253

Subject(s) - boom , reachability , automaton , computer science , hybrid automaton , programmable logic controller , controller (irrigation) , model checking , stage (stratigraphy) , fault (geology) , hybrid system , algorithm , theoretical computer science , operating system , engineering , paleontology , agronomy , machine learning , environmental engineering , seismology , biology , geology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research