Automata-based analysis of stage suspended boom systems

DOI10.1155/2013/739253MaRDI QIDQ2375655zbMATH OpenOpenAlexWikidataFDO

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

Publication date 14 June 2013

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2013/739253

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)

Review text

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

Recommendations

• Mathematical analysis of stage-based programmable logic controller
• The automata-theoretic approach to verification of reactive systems
• scientific article; zbMATH DE number 1836374
• PLC-automata: A new class of implementable real-time automata
• Verification of programmable logic controller code using model checking and static analysis

Cites work

• Algorithmic analysis of nonlinear hybrid systems
• Foundations of Software Science and Computation Structures
• Hybrid Systems: Computation and Control
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?

Cited in

(1)

• Mathematical analysis of stage-based programmable logic controller

This page was built for publication: Automata-based analysis of stage suspended boom systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2375655)