Modelling and implementing adequate controllers for urban road traffic control constitute a huge challenge nowadays because of the complexity of systems, as well as possible scenarios and configurations, in each road in a city. A series of issues related to modelling these behaviours are common to arise when using formalisms, tools, and computation machines to perform complex calculations and limitations. This paper presents a formal, flexible, and adaptable approach, with no limitations, from the scientific point of view. For this purpose, modelling formalisms (cellular automata and timed automata) and analysis techniques (simulation and formal verification) are proposed to reach the main goals of modelling complex and adaptable behaviours in urban road traffic with multiple over time changeable configurations. A case study is presented, in order to illustrate the approach and demonstrate in detail the unlimited application of the presented approach.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods


    Beteiligte:
    Eduardo Valente (Autor:in) / Camelia Avram (Autor:in) / José Machado (Autor:in) / Adina Astilean (Autor:in)


    Erscheinungsdatum :

    2018




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    Methods for Modeling Urban Road Traffic Using Timed Automata

    Avram, Camelia / Machado, Jose / Astilean, Adina | TIBKAT | 2020


    Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

    Alves, Gleifer Vaz / Schwammberger, Maike / Luckcuck, Matt et al. | DataCite | 2022

    Freier Zugriff

    Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

    Alves, Gleifer Vaz / Schwammberger, Maike | ArXiv | 2022

    Freier Zugriff

    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Freier Zugriff

    Macro modelling of traffic flow using continuous timed Petri nets

    Ferreira, Cláudia / Neves, Luís Canhoto | Taylor & Francis Verlag | 2021