Assume-guarantee contracts and controller synthesis for vehicular traffic networks.

Eric S. Kim Murat Arcak Sanjit A. Seshia

Published in: ACC (2016)

Keyphrases

vehicular traffic
controller synthesis
autonomic computing systems
social networks
traffic monitoring
traffic patterns
network structure
traffic jams
supply chain
intrusion detection system
closed loop