![](/images/graphics-bg.png)
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
Joint Authors
Machado, José
Valente, Eduardo
Avram, Camelia
Astilean, Adina
Source
Journal of Advanced Transportation
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-09-18
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Valente, Eduardo& Avram, Camelia& Machado, José& Astilean, Adina. 2018. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Journal of Advanced Transportation،Vol. 2018, no. 2018, pp.1-15.
https://search.emarefa.net/detail/BIM-1181508
Modern Language Association (MLA)
Valente, Eduardo…[et al.]. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Journal of Advanced Transportation No. 2018 (2018), pp.1-15.
https://search.emarefa.net/detail/BIM-1181508
American Medical Association (AMA)
Valente, Eduardo& Avram, Camelia& Machado, José& Astilean, Adina. An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods. Journal of Advanced Transportation. 2018. Vol. 2018, no. 2018, pp.1-15.
https://search.emarefa.net/detail/BIM-1181508
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1181508