Login / Signup

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

Eric S. KimMurat ArcakSanjit 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