Modeling and verification of CPS based on uncertain hybrid timed automaton
Na Chen, Shengling Geng, Lin Li · 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) · 2021
A cyber-physical system (CPS) is composed of computing devices that communicate with each other and integrates the human-computer interaction realized by physical and computing processes. It is appealing for the development of an extended classic hybrid automaton model because there exist many uncertain factors in the real world and the classic hybrid automaton cannot express and process uncertain information. In this work, first, we propose an uncertain hybrid timed automaton CPS modeling approach, which takes the complexity of real life and the uncertain factors existing in the time domain into consideration. We adopt an intelligent thermostat system to verify the effectiveness of our approach, which combines a cold and hot hybrid constant temperature system with a time-based model and a state machine model. Second, the activity and safety are verified by the fuzzy linear time attribute, which shows that the method is effective. Finally, we conduct a simulation experiment by using Ptolemy II. The results of the experiments show that our methods contribute to the design of the uncertain CPS.