A formal analysis of stage stunt system with hybrid automata
Anping He, Juan Wang · Lanzhou University Institutional Repository · 2012
Stage stunt system is an automatic steeve system orchestrated by PLC. Security and fault-recover are two important properties of the system. In this paper, we analyze and verify the stage stunt system formally. We adopt hybrid automata to model the system. The forward reachability is used to verify the properties on the reachable states. We present a case study to illustrate the feasibility of the proposed verification.