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