Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

access icon free Using CSTPNs to model traffic control CPS

  • Author(s): Hongzhuan Zhao 1, 2 ; Dihua Sun 2 ; Hang Yue 3 ; Min Zhao 2 ; Senlin Cheng 2
    • View affiliations
    • Affiliations: 1: School Architecture and Transportation Engineering, Guilin University of Electronic Technology, Guilin, Guangxi, People's Republic of China ;
      2: Key Laboratory of Cyber Physical Social Dependable Service Computation, Chongqing University, Chongqing, People's Republic of China ;
      3: Johns Hopkins Healthcare LLC, Glen Burnie, MD, USA
  • Source: Volume 11, Issue 3, June 2017, p. 116 – 125
    DOI:  10.1049/iet-sen.2016.0119 , Print ISSN 1751-8806, Online ISSN 1751-8814
© The Institution of Engineering and Technology
Received 30/05/2016, Accepted 22/03/2017, Revised 19/02/2017, Published 28/03/2017

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.

Inspec keywords: graph colouring; traffic control; cyber-physical systems; Petri nets; discrete systems; continuous systems

Other keywords: hybrid T-CPS; coloured spatiotemporal Petri nets; CSTPN theory creation; state space explosion; spatiotemporal discrete-continuous characteristics; transportation cyber-physical system; spatiotemporal discrete-continuous hybrid system; traffic intersection coordination control system; traffic control CPS; traffic simulation analysis; spatiotemporal characteristics

Subjects: Road-traffic system control; Combinatorial mathematics; Discrete control systems

References

    1. 1)
      • 17. Shao, Z., Liu, J.: ‘Spatio-temporal hybrid automata for cyber-physical systems’, In: Liu, Z., Woodcock, J., Zhu, H. (eds): ‘International colloquium on theoretical aspects of computing (ICTAC)’, (Springer, Berlin Heidelberg), 2013, pp. 337–354.
    2. 2)
      • 32. Jianjun, S., Xu, W., Jizhen, G., et al: ‘The analysis of traffic control cyber-physical systems’, Procedia, Soc. Behav. Sci., 2013, 96, pp. 2487–2496.
    3. 3)
      • 4. Peterson, J.L.: ‘Petri net theory and the modeling of systems’, 1981.
    4. 4)
      • 13. Wu, H., Chen, Y., Zhang, M.: ‘On denotational semantics of spatial-temporal consistency language – SteC’. 2013 Int. Symp. on Theoretical Aspects of Software Engineering (TASE), 2013.
    5. 5)
      • 12. Haghighi, I., Jones, A., Kong, Z., , et al: ‘SpaTeL: a novel spatial–temporal logic and its applications to networked systems’. Proc. of the 18th Int. Conf. on Hybrid Systems, Computation and Control, 2015, pp. 189–198.
    6. 6)
      • 18. Thong, W.J., Ameedeen, M.A.: ‘A survey of Petri net tools’, inSulaiman, H.A., Othman, M.A., Othman, M.F.I, Pee, N.C., Rahim, Y.A., Pee, N.C. (EDs.): ‘Advanced Computer and Communication Engineering Technology’ (Springer International Publishing, 2015), pp. 537–551.
    7. 7)
      • 35. Yue, H., Rilett, L.R., Revesz, P.Z.: ‘Spatio-temporal traffic video data archiving and retrieval system’, GeoInformatica, 2016, 20, (1), pp. 59–94.
    8. 8)
      • 25. Dotoli, M., Fanti, M.P., Iacobellis, G.: ‘An urban traffic network model by first order hybrid Petri nets’. IEEE Int. Conf. on Systems, Man and Cybernetics, SMC 2008, 2008, pp. 1929–1934.
    9. 9)
      • 33. Liu, C., Sharma, A., Smaglik, E., et al: ‘TraSER: a traffic signal event-based recorder’, Softwarex, 2016, 5, pp. 156–162.
    10. 10)
      • 5. Murata, T.: ‘Petri nets: properties, analysis and applications’, Proc. IEEE, 1989, 77, (4), pp. 541–580.
    11. 11)
      • 11. Febbraro, A.D., Giglio, D., Sacco, N.: ‘On applying Petri nets to determine optimal offsets for coordinated traffic light timings’. Proc. The IEEE Int. Conf. on Intelligent Transportation Systems, 2002, 2002.
    12. 12)
      • 14. Mu, Y., Wu, J., Jenkins, N., et al: ‘A spatial–temporal model for grid impact analysis of plug-in electric vehicles’, Appl. Energy, 2014, 114, pp. 456–465.
    13. 13)
      • 15. Chi, M., Yubin, H., Yongyong, Z., et al: ‘Spatial–temporal indexing research based on road network: improved-MON-tree’, Int. J. Hybrid Inf. Technol., 2014, 7, (4), pp. 407–416.
    14. 14)
      • 31. Azimi, R., Bhatia, G., Rajkumar, R., et al: ‘Intersection management using vehicular networks’, SAE Technical Paper, 2012.
    15. 15)
      • 9. Júlvez, J., Boel, R.K.: ‘A continuous Petri net approach for model predictive control of traffic systems’, IEEE Trans. Syst. Man Cybern. A, Syst. Hum., 2010, 40, (4), pp. 686–697.
    16. 16)
      • 27. Dotoli, M., Fanti, M.P.: ‘An urban traffic network model via coloured timed Petri nets’, Control Eng. Pract., 2006, 14, (10), pp. 1213–1229.
    17. 17)
      • 6. Girault, C., Valk, R.: ‘Petri nets for systems engineering: a guide to modeling, verification, and applications’ (Springer Science and Business Media, Berlin, 2003).
    18. 18)
      • 29. Di Febbraro, A., Sacco, N.: ‘On modelling urban transportation networks via hybrid Petri nets’, Control Eng. Pract., 2004, 12, (10), pp. 1225–1239.
    19. 19)
      • 30. Perronnet, F., Abbas-Turki, A., El Moudni, A.: ‘Vehicle routing through deadlock-free policy for cooperative traffic control in a network of intersections: reservation and congestion’. 2014 IEEE 17th Int. Conf. on. Intelligent Transportation Systems (ITSC), 2014, pp. 2233–2238.
    20. 20)
      • 16. Kloog, I., Chudnovsky, A.A., Just, A.C., et al: ‘A new hybrid spatio-temporal model for estimating daily multi-year PM 2.5 concentrations across northeastern USA using high resolution aerosol optical depth data’, Atmos. Environ., 2014, 95, pp. 581–590.
    21. 21)
      • 3. Yue, H., Revesz, P.Z.: ‘TVICS: an efficient traffic video information converting system’, 19th Int. Symp. on Temporal Representation and Reasoning (TIME), (Prentice Hall inc, NJ, 2012), pp. 141–148.
    22. 22)
      • 22. List, G.F., Cetin, M.: ‘Modeling traffic signal control using Petri nets’, IEEE Trans. Intell. Transp. Syst., 2004, 5, (3), pp. 177–187.
    23. 23)
      • 26. J, űlvez, J.J., Boel, R.K.: ‘A continuous Petri net approach for model predictive control of traffic systems’, IEEE Trans. Syst. Hum. Syst. Man Cybern. A, 2010, 40, (4), pp. 686–697.
    24. 24)
      • 21. Huang, Y.S., Chung, T.H.: ‘Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets’, Trans. Inst. Meas. Control, 2011, 33, (1), pp. 30–49.
    25. 25)
      • 28. Ma, N.: ‘Influence factors of coordination control system in signalized intersections’, Harbin Gongye Daxue Xuebao (J. Harbin Inst. Technol.), 2011, 43, (6), pp. 112–117.
    26. 26)
      • 19. Zhang, G., Zhang, M., Yan, R., et al: ‘Modeling and analysis for CPS physical entities based on spatio-temporal Petri net’, J. Comput., 2014, 9, (2), pp. 499–505.
    27. 27)
      • 23. Cheng, Y.H., Yang, L.A.: ‘A fuzzy Petri nets approach for railway traffic control in case of abnormality: evidence from Taiwan railway system’, Expert Syst. Appl., 2009, 36, (4), pp. 8040–8048.
    28. 28)
      • 34. Yue, H., Jones, E.G., Revesz, P.: ‘Local polynomial regression models for average traffic speed estimation and forecasting in linear constraint databases’. 2010 17th Int. Symp. on Temporal Representation and Reasoning (TIME), 2010, pp. 154–161.
    29. 29)
      • 20. Aized, T.: ‘Modelling and performance maximization of an integrated automated guided vehicle system using coloured Petri net and response surface methods’, Computers & Industrial Engineering, 2009, 57, (3), pp. 822–831.
    30. 30)
      • 2. Sun, D.H., Li, Y.H., Liu, W.N., et al: ‘Research summary on transportation cyber physical systems and the challenging technologies’, Zhongguo Gonglu Xuebao (China J. Highway Transp.), 2013, 26, (1), pp. 144–154.
    31. 31)
      • 10. Ng, K.M., Reaz, M.B.I., Ali, M.A.M.: ‘A review on the applications of Petri nets in modeling, analysis, and control of urban traffic’, IEEE Trans. Intell. Transp. Syst., 2013, 14, (2), pp. 858–870.
    32. 32)
      • 7. Huang, H., Kirchner, H.: ‘Policy composition based on Petri nets’. 33rd Annual IEEE Int. Computer Software and Applications Conf., COMPSAC'09, 2009.
    33. 33)
      • 24. Silva, M., Recalde, L.: ‘On fluidification of Petri nets: from discrete to hybrid and continuous models’, Annu. Rev. Control, 2004, 28, (2), pp. 253–266.
    34. 34)
      • 1. Yue, H., Yang, R.J.: ‘Development of intelligent transportation systems and plan of integrated information system’, J. Wuhan Univ. Technol., 2005, 109, (1), pp. 57–70.
    35. 35)
      • 8. Febbraro, A.D., Sacco, N.: ‘On modelling urban transportation networks via hybrid Petri nets’, Control Eng. Pract., 2004, 12, (10), pp. 1225–1239.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2016.0119
Loading

Related content

content/journals/10.1049/iet-sen.2016.0119
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address