search-head

Sie sind hier: Homepage >  Suche

    Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets

    Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets


    Timed Petri nets (TPNs) have been utilized as visual formalism for the modeling of complex discrete-event dynamic systems. They illuminate the features in describing the properties of causality and concurrency. Moreover, it is well known that a synchronized TPN (STPN) allows us to present all of the concurrent states in a complex TPN. In this paper, we propose a new methodology to design and analyze an urban traffic network control system by using the STPN. In addition, the applications of the STPN to eight-phase, six-phase, and two-phase traffic-light control systems are modularized. The advantage of the proposed approach is the clear presentation of the behaviors of traffic lights in terms of the conditions and events that cause phase alternations. Moreover, the size of the urban traffic network control system can be easily extended with our proposed modular technique. An analysis of the control models is performed via a reachability graph method to demonstrate how the models enforce the transitions of the traffic lights.

    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Exportieren, teilen und zitieren

    Dokumentinformationen

    Titel :

    Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets

    Beteiligte:
    Huang, Yi-Sheng (Autor:in) / Weng, Yi-Shun (Autor:in) / Zhou, MengChu (Autor:in)
    Erschienen in:

    IEEE Transactions on Intelligent Transportation Systems ; 15 , 2 ; 530-539

    Erscheinungsdatum :

    2014-04-01

    Format / Umfang :

    2310095 byte

    ISSN :

    1524-9050 , 1558-0016

    DOI :

    https://doi.org/10.1109/TITS.2013.2283034

    Medientyp :

    Aufsatz (Zeitschrift)

    Format :

    Elektronische Ressource

    Sprache :

    Englisch

    Ähnliche Titel

    Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets

    Huang, Y-S | Online Contents | 2014

    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archiv | 2006

    Modular Representation of Urban Traffic Systems Based on Hybrid Petri Nets

    Di Febbraro, A. / Giglio, D. / Sacco, N. et al. | British Library Conference Proceedings | 2001

    Modular representation of urban traffic systems based on hybrid Petri nets

    Di Febbraro, A. / Giglio, D. / Sacco, N. | IEEE | 2001

    Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets

    Yi-Sheng Huang | Online Contents | 2015

    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen

    Ähnliche Titel

    Exportieren, teilen und zitieren