An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
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 a...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2018-01-01
|
| Series: | Journal of Advanced Transportation |
| Online Access: | http://dx.doi.org/10.1155/2018/6269526 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832545976580046848 |
|---|---|
| author | Eduardo Valente Camelia Avram José Machado Adina Astilean |
| author_facet | Eduardo Valente Camelia Avram José Machado Adina Astilean |
| author_sort | Eduardo Valente |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-2c3b12feea404c8ab2a7d102a820fe57 |
| institution | Kabale University |
| issn | 0197-6729 2042-3195 |
| language | English |
| publishDate | 2018-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Advanced Transportation |
| spelling | doaj-art-2c3b12feea404c8ab2a7d102a820fe572025-02-03T07:24:08ZengWileyJournal of Advanced Transportation0197-67292042-31952018-01-01201810.1155/2018/62695266269526An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal MethodsEduardo Valente0Camelia Avram1José Machado2Adina Astilean3Technical University of Cluj-Napoca, Faculty of Automation and Computer Science, Str. G. Baritiu, nr. 26-28, 400027 Cluj-Napoca, RomaniaTechnical University of Cluj-Napoca, Faculty of Automation and Computer Science, Str. G. Baritiu, nr. 26-28, 400027 Cluj-Napoca, RomaniaUniversity of Minho, MEtRICs Research Center, Campus of Azurém, 4800-058 Guimarães, PortugalTechnical University of Cluj-Napoca, Faculty of Automation and Computer Science, Str. G. Baritiu, nr. 26-28, 400027 Cluj-Napoca, RomaniaModelling 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.http://dx.doi.org/10.1155/2018/6269526 |
| spellingShingle | Eduardo Valente Camelia Avram José Machado Adina Astilean An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods Journal of Advanced Transportation |
| title | An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods |
| title_full | An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods |
| title_fullStr | An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods |
| title_full_unstemmed | An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods |
| title_short | An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods |
| title_sort | innovative approach for modelling urban road traffic using timed automata and formal methods |
| url | http://dx.doi.org/10.1155/2018/6269526 |
| work_keys_str_mv | AT eduardovalente aninnovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT cameliaavram aninnovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT josemachado aninnovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT adinaastilean aninnovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT eduardovalente innovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT cameliaavram innovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT josemachado innovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods AT adinaastilean innovativeapproachformodellingurbanroadtrafficusingtimedautomataandformalmethods |