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.
Highlights
The special effects in live performance make the audience astonishing through colorful background and a stage suspended boom system
The special effects for live performance are always implemented by suspending objects and/or human in midair from the boom system, such as “little girl flying a kite” in the Olympic Games in Beijing 2008
Some important properties were verified in terms of the reachable states
Summary
The special effects in live performance make the audience astonishing through colorful background and a stage suspended boom system. We focus on the formal aspect of analyzing and verifying stage suspended boom systems. The boom system exhibits a hybrid behavior; for example, the continuous behavior in a time period interacts with the discrete events. Similar to other types of automaton, the hybrid contains states and transitions, but it labels and groups relevant dense states as activities to express continuous behaviors, which are described by state functions. There are many prior works on the case study of hybrid systems with automata. To the best of our knowledge, no article studies the boom system formally in terms of hybrid automata.
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
