A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks.

Sadra Sadraddini Calin Belta

Published in: CoRR (2016)

Keyphrases

urban traffic
provably correct
traffic control
traffic signal
autonomous vehicles
traffic flow
formal methods
control system
situation calculus
traffic congestion
optimal control
software engineering
dynamic environments
anomaly detection
traffic light
intelligent transportation systems