Login / Signup
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