Cloud-driven traffic control: Formal modeling and technical realization

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.