Model predictive control of urban traffic networks with temporal logic constraints.

Sadra Sadraddini Calin Belta

Published in: ACC (2016)

Keyphrases

temporal logic
urban traffic
model predictive control
model checking
automata theoretic
dynamic constraints
control system
traffic control
predictive control
traffic flow
belief revision
traffic congestion
artificial intelligence
intelligent transportation systems
traffic signal
path planning
fuzzy logic