Na Chen, Shengling Geng, Lin Li. Modeling and verification of CPS based on uncertain hybrid timed automaton. In 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, Canada, October 25-28, 2021. pages 971-978, IEEE, 2021. [doi]
Abstract is missing.