Using CSTPNs to model traffic control CPS. Issue 3 (1st June 2017)

• Record Type: Journal Article
• Authors: Zhao, Hongzhuan; Sun, Dihua; Yue, Hang; Zhao, Min; Cheng, Senlin
• Is Part Of: IET software. Volume 11:Issue 3(2017)
• Page Start: 116
• Page End: 125
• Publication Date: 2017-06-01
• Subjects: traffic control -- discrete systems -- continuous systems -- cyber-physical systems -- Petri nets -- graph colouring; traffic control CPS -- transportation cyber-physical system -- spatiotemporal discrete-continuous hybrid system -- hybrid T-CPS -- spatiotemporal characteristics -- state space explosion -- coloured spatiotemporal Petri nets -- CSTPN theory creation -- traffic intersection coordination control system -- traffic simulation analysis -- spatiotemporal discrete-continuous characteristics; Computer software -- Periodicals; Software engineering -- Periodicals; 005.1
• DOI: 10.1049/iet-sen.2016.0119
• Languages: English
• ISSNs: 1751-8806

Abstract

Abstract : Transportation cyber‐physical system (T‐CPS) is a spatiotemporal discrete‐continuous hybrid system. However, the hybrid T‐CPSs have some analysis and modelling problems, especially the problems related to the spatiotemporal characteristics. Existing coloured Petri net approaches of traffic control cannot effectively analyse dynamic changes of cyber systems and physical entities in space and time. Moreover, some problems, related to the state space explosion and the large complex T‐CPSs, have not been well solved. This study develops the innovative methods for T‐CPS design and modelling via the development and application of coloured spatiotemporal Petri nets (CSTPNs). The proposed research ideas involve the CSTPN theory creation, the development of traffic intersection coordination control system using CSTPNs, the traffic simulation analysis and the implementation of T‐CPS‐based CSTPNs. The experimental results show that the new spatiotemporal theories and approaches of the traffic coordination control based on CSTPNs have excellent potentials to address the issues related to the spatiotemporal discrete‐continuous characteristics of T‐CPS. Moreover, these innovative methods with a good validity can be easily applied into practise for the development of T‐CPS.