Using CSTPNs to model traffic control CPS

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.

Evaluating the Impact of Highway-Railway Grade Crossings on Travel Time Reliability on a Highway Network Level

“…Future research topics include: 1) studying the impact of travel time reliability on the route choice behavior of drivers, which in turn affects the parameters of traffic information and management systems ( 26–29 ), 2) evaluating the impact of different train preemption logics on reliability based on high-resolution traffic event data ( 30, 31 ), and 3) applying the proposed methodology on real-time probe vehicle travel-time data provided by cost-effective technologies such as the GPS and Bluetooth ( 32, 33 ).…”

A study of structural differences between TBM patients' and non-TBM persons' CSF using UV–Vis absorption spectroscopy

“…Then secondary derivative spectrum was calculated (Savitzky-Golay, 9 points) (Fig.4). From the secondary derivative spectrum, the following peaks were observed at 255nm (phenylalanine residues), 260nm (nucleic acids), 273nm (tyrosine residues) and 281nm (tryptophan residues) [23], which indicated the peak in UV absorption spectrum received contributions from proteins and nucleic acids.…”

Towards a Semantically Enriched Local Dynamic Map

“…Colored spatio-temporal Petri nets as introduced by Zhao et al [47] are intended to model traffic control cyber-physical systems. We believe that these nets are an orthogonal approach, but could be extended to streamify the LDM.…”