A provably correct MPC approach to safety control of urban traffic networks.

Sadra Sadraddini Calin Belta

Published in: ACC (2016)

Keyphrases

urban traffic
provably correct
traffic control
traffic signal
control system
autonomous vehicles
optimal control
traffic flow
traffic congestion
formal methods
traffic light
puts forward
process control
control policy
computer networks
network structure
artificial intelligence