Supervisor Control in a cyber-physical system for vehicle flow in the presence of actuators and sensors faults

In the present paper, the mathematical model of the car flow of the Algera bridge in the Netherlands will be presented. The bridge consists of four traffic lanes, two for vehicles, one for bicycles and one for pedestrians. The mathematical models of the actuators and sensors subsystems with and without the presence of faults will be presented. The overall system model will be developed. All operating and safety specifications will be presented. The specifications will be presented in the desired regular languages. The properties of the desired languages in terms of the overall automaton of the system will be investigated. The possibility of designing modular supervisory control architecture will be explored.