The stochastic automata model is obtained by adding sensor information and the occurrence probability of event to the logical model.

• 将传感器信息和事件发生的可能性信息加入逻辑模型，得到系统的随机自动机模型。