@inproceedings{08943d19a0a043c494600f7c9dd140d0,
title = "Modeling and verification of spatio-temporal intelligent transportation systems",
abstract = "Describing spatio-temporal behaviors of cyber-physical systems attracts more and more attention in the filed of intelligent transportation systems and biological systems. The major problem is expressiveness and verifiability for modeling and analysis of spatio-temporal behaviors. In order to verify spatial and spatio-temporal behaviors, in this paper, we propose a methodology to model the evolution of spatial scene snapshots and verify the spatio-temporal models. Firstly, we define a novel Topograph through inducing Bigraph in topological space to characterize cyber-physical systems and verify the model against patterns specified with S4u formulas. Secondly, for spatio-temporal verification, we extend Topograph in dense time, named Temporal Topograph, to describe the evolution of spatial objects, which are verified against spatio-temporal specification language. We evaluate the applicability of the approach on CBTC-based intelligent transportation systems.",
keywords = "Bigraph, Mobility Authority, S4, Spatio-Temporal Specification Language, Temporal Topograph",
author = "Tenzfei Li and Xiaohong Chen and Haiying Sun and Jing Liu and Jiajia Yang and Chenchen Yang and Junfeng Sun",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020 ; Conference date: 29-12-2020 Through 01-01-2021",
year = "2020",
month = dec,
doi = "10.1109/TrustCom50675.2020.00081",
language = "英语",
series = "Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "568--575",
editor = "Guojun Wang and Ryan Ko and Bhuiyan, \{Md Zakirul Alam\} and Yi Pan",
booktitle = "Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020",
address = "美国",
}