Title :
Cloud-driven traffic control: Formal modeling and technical realization
Author :
Hahanov, Vladimir ; Gharibi, Wajeb ; Zhalilo, Aleksey ; Litvinova, Eugenia
Author_Institution :
Comput. Eng. Fac., Nat. Univ. of Radioelectron., Kharkov, Ukraine
Abstract :
The main innovative idea of the proposed cyber physical system is step-by-step transfer of traffic lights from the ground to a virtual cloud space for vehicle management, equipped with a mobile gadget or computer, which displays on the screen map, route, coordinates of the road user and real traffic signals. The aim of this paper is to propose and discuss the formal modeling and technical realization of such cyber-physical system. A set of innovative technologies to address the social, humanitarian, economic, energy, insurance, crime and environmental problems through the creation and application of cloud-based digital traffic monitoring and management is developed. All these technologies and functional components are integrated into the system automaton model of cyber physical system for interaction between an infrastructure cloud of exact monitoring and digital control and vehicle gadget or computer.
Keywords :
cloud computing; control engineering computing; road traffic control; traffic engineering computing; cloud infrastructure; cloud-based digital traffic management; cloud-based digital traffic monitoring; cloud-driven traffic control; computer; cyber physical system; digital control; formal modeling; functional components; mobile gadget; system automaton model; traffic lights; traffic signals; vehicle management; virtual cloud space; Clouds; Computers; Mobile communication; Monitoring; Roads; Traffic control; Vehicles; cyber physical system; mobile gadget; vehicle management; virtual traffic lights;
Conference_Titel :
Embedded Computing (MECO), 2015 4th Mediterranean Conference on
Conference_Location :
Budva
Print_ISBN :
978-1-4799-8999-7
DOI :
10.1109/MECO.2015.7181896
