Skip to main content
SpringerLink
Log in

Hybrid Petri Nets and Hybrid Automata for Modeling and Control of Two Adjacent Oversaturated Intersections

  • Published:
Journal of Control, Automation and Electrical Systems Aims and scope Submit manuscript

Abstract

The problem of avoiding oversaturated phenomena between two adjacent intersections by intelligent traffic control strategy is addressed in this paper. The complex traffic behavior in this urban area is viewed as a dynamical hybrid system that can be modeled by hybrid Petri nets (HPNs). The property analysis of HPN model that gives an evaluation of the system performance is very limited. The translation of this model into hybrid automata (HA) can avoid this drawback. The interest of this translation is to profit from the both models advantages while avoiding their disadvantages that associate the modeling power of HPN with the analysis capacities of HA. The resulting model can capture an important aspect of the traffic flow dynamics where the oversaturated traffic conditions are presented by forbidden locations. A reachability analysis is performed to check this model. An optimal supervised controller synthesis algorithm is elaborated to get an optimal plan with coordinated traffic signals that satisfy the imposed constraints where the forbidden locations are suppressed. The experiment results show that the coordination traffic signal obtained by the proposed control approach outperforms those obtained using the widely used signal timing optimization software SYNCHRO under various demand scenarios from unsaturated to oversaturated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  • Aboudolas, K., Papageorgiou, M., & Kosmatopoulos, E. (2009). Store-and-forward based methods for the signal control problem in large-scale congested urban road networks. Transportation Research Part C: Emerging Technologies, 17(2), 163–174.

    Article  Google Scholar 

  • Alla, H., & David, R. (1998a). A modelling and analysis tool for discrete events systems: continuous Petri net. Performance Evaluation, 33, 175–199.

    Article  Google Scholar 

  • Alla, H., & David, R. (1998b). Continuous and hybrid Petri nets. Journal of Circuits, Systems and Computers, 8(1), 159–188.

    Article  MathSciNet  Google Scholar 

  • Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P.-H., Nicollin, X., et al. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1), 3–34.

    Article  MathSciNet  MATH  Google Scholar 

  • Badamchizadeh, M. A, & Joroughi, M. (2010). Deterministic and stochastic Petri Net for urban traffic systems. In 2010 The 2nd international conference on computer and automation engineering (ICCAE) (Vol. 5, pp. 364–368).

  • Branislav Hrúz, M. Z. (2007). Modeling and control of discrete-event dynamic systems. (A. T. in C. and S. Processing, Ed.). Advanced textbooks in control and signal processing.

  • Chang, T. H., & Sun, G. Y. (2004). Modeling and optimization of an oversaturated signalized network. Transportation Research Part B: Methodological, 38(8), 687–707.

    Article  Google Scholar 

  • Chen, Y., Li, W., Guo, Y., & Wu, Y. (2015). Dynamic graph hybrid automata: A modeling method for traffic network. In 2015 IEEE 18th international conference on intelligent transportation systems (pp. 1396–1401).

  • Chen, F., Wang, L., Jiang, B., & Wen, C. (2014). A novel hybrid petri net model for urban intersection and its application in signal control strategy. Journal of the Franklin Institute, 351(8), 4357–4380.

    Article  MathSciNet  MATH  Google Scholar 

  • Daganzo, C. F. (1995). The cell transmission model, part II: Network traffic. Transportation Research Part B: Methodological, 29(2), 79–93.

    Article  Google Scholar 

  • David, R., & Alla, H. (2004). Discrete, continuous, and hybrid Petri nets (2nd ed.). Berlin: Springer.

    MATH  Google Scholar 

  • Di Febbraro, A., Giglio, D., & Sacco, N. (2016). A deterministic and Stochastic Petri net model for traffic-responsive signaling control in urban areas. IEEE Transactions on Intelligent Transportation Systems, 17(2), 510–524.

    Article  Google Scholar 

  • Di Febbraro, A., & Sacco, N. (2004). On modelling urban transportation networks via hybrid Petri nets. Control Engineering Practice, 12(10), 1225–1239.

    Article  Google Scholar 

  • Frehse, G. (2006). PHAVer: Algorithmic verification of hybrid systems past HyTech, no. Hscc, 2005 (pp. 258–273).

  • Gazis, D. C. (1964). Optimum control of a system of oversaturated intersections. Operations Research, 12(6), 815–831.

    Article  MATH  Google Scholar 

  • Ghomri, L., Alla, H., & Zaki, S. (2005). Structural and hierarchical translation of hybrid Petri nets in hybrid automata. In Proceedings of IMACS 2005, Paris.

  • Ghomri, L., & Alla, H. (2007). Modeling and analysis using hybrid Petri nets. Nonlinear Analysis: Hybrid Systems, 1(2), 141–153.

    MathSciNet  MATH  Google Scholar 

  • Ghomri, L., & Alla, H. (2013). Continuous flow systems and control methodology using hybrid Petri nets. Journal of Control Engineering and Applied Informatics, 15(4), 106–116.

    Google Scholar 

  • Grandinetti, P., de Wit, C., & Garin. F. (2015b). An efficient one-step-ahead optimal control for urban signalized traffic networks based on an averaged celltransmission model. In European Control Conference (ECC) (pp. 3478–3483).

  • Grandinetti, P., Garin, F., Canudas de Wit, C. (2015a). Towards scalable optimal traffic control. In 54th IEEE conference on decision and control, 2015, Osaka.

  • Hajbabaie, A., & Benekohal, R. F. (2015). A program for simultaneous network signal timing optimization and traffic assignment. IEEE Transactions on Intelligent Transportation Systemsntelligent Transportation Systems, 16(5), 2573–2586.

    Article  Google Scholar 

  • Henzinger, T. A., Kopke, P. W., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences, 57(1), 94–124. doi:10.1006/jcss.1998.1581.

    Article  MathSciNet  MATH  Google Scholar 

  • Huang, Y., Weng, S., & Zhou, M. (2014). Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Transactions on Intelligent Transportation Systems, 15(2), 530–539.

    Article  Google Scholar 

  • Jbira, M. K., & Ahmed, M. (2011). Computer simulation: A hybrid model for traffic signal optimisation. Journal of Information Processing Systems, 7(1), 1–16.

    Article  Google Scholar 

  • Júlvez, J., & Boel, R. (2005). Modelling and controlling traffic behaviour with continuous Petri nets. In Proceedings of the 16th IFAC world congress, 2005 (Vol. 16).

  • Júlvez, J., & Boel, R. (2010). A continuous Petri net approach for model predictive control of traffic systems. IEEE Transactions on Systems, Man, and Cybernetics, 40(4), 686–697.

    Article  Google Scholar 

  • Jang, K., Kim, H., & Jang, I. G. (2015). Traffic signal optimization for oversaturated urban networks: Queue growth equalization. IEEE Transactions on Intelligent Transportation Systems, 16(4), 2121–2128.

  • List, G. F., & Cetin, M. (2004). Modeling traffic signal control using Petri nets. IEEE Transactions on Intelligent Transportation Systems, 5(3), 177–187.

    Article  Google Scholar 

  • Little, J. D. C. (1966). The synchronization of traffic signals by mixed-integer linear programming. Operations Research, 14(4), 568–594.

    Article  MATH  Google Scholar 

  • Michalopoulos, P. G., & Stephanopoulos, G. (1977). Oversaturated signal systems with queue length constraints–I. Transportation Research, 11(6), 413–421.

    Article  Google Scholar 

  • Ng, K. M., Bin, M., Reaz, I., Alauddin, M., & Ali, M. (2013). A review on the applications of Petri nets in modeling, analysis, and control of urban traffic. IEEE Transactions on Intelligent Transportation Systems, 14(2), 858–870.

    Article  Google Scholar 

  • Robertson, D. I. (1969). TRANSYT: A traffic network study tool. RRL Report LR 253, Road Research Laboratory, England.

  • Transportation Research Board. (2010). Highway capacity manual (5th ed.). Washington: National Academy of Sciences.

  • Wang, P., Jones, L. S., & Yang, Q. (2012). A novel conditional cell transmission model for oversaturated arterials. Journal of Central South University, 19(5), 1466–1474.

    Article  Google Scholar 

  • Webster, F. (1958). Traffic signal settings, Road resea. H.M. Stationery Office: Richmond.

    Google Scholar 

  • Zhang, M., Jia, L., & Zhu, W. (2012). A cell-based robust optimal coordinated control on urban arterial road. Journal of Control Theory and Applications, 10(4), 543–548.

    Article  MathSciNet  Google Scholar 

  • Zhao, X., & Chen, Y. (2003). Traffic light control method for a single intersection based on hybrid systems. In Proceedings of the 2003 IEEE international conference on intelligent transportation systems (Vol. 2, pp. 1105–1109).

Download references

Acknowledgments

This work was performed as part of a Tassili project in cooperation between Gipsa-Lab Grenoble, France, and LAIG laboratory, Guelma, Algeria. This research work is funded by LAIG laboratory. The authors would like to thank Dr. Nadir Farhi of IFSTTAR for their support and guidance in this paper, and we thank Pr H. Alla and Pr H. Tebbikh for their valuables advice and their assistance.

Author information

Authors and Affiliations

  1. LAIG, 8 Mai 1945 University of Guelma, BP401, Guelma, Algeria

    Fares Bouriachi & Sihem Kechida

Authors
  1. Fares Bouriachi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sihem Kechida
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fares Bouriachi.

Appendix 1: Control Algorithm Synthesis

Appendix 1: Control Algorithm Synthesis

The control algorithm synthesis of this work presented in Sect. 3.2.1 is detailed in the following algorithm:

figure a

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bouriachi, F., Kechida, S. Hybrid Petri Nets and Hybrid Automata for Modeling and Control of Two Adjacent Oversaturated Intersections. J Control Autom Electr Syst 27, 646–657 (2016). https://doi.org/10.1007/s40313-016-0275-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40313-016-0275-x

Keywords

Search

Navigation