A formal analysis of stage stunt system with hybrid automata
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.
Many data analysis problems involve an investigation of relationships between attributes in heterogeneous databases, where different prediction models can be more appropriate for different regions. We propose a technique of integrating global and local random subspace ensemble. We performed a comparison with other well known combining methods on standard benchmark datasets and the proposed technique gave better accuracy.