@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{kim-cdc15,
  author    = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia},
  title     = {Compositional Controller Synthesis for Vehicular Traffic Networks},
  booktitle = {Proceedings of the 54th IEEE Conference on Decision and Control (CDC)},
  Year = {2015},
  Month = {December},
  pages = "6165--6171",
  abstract = {We tackle the issue of scalability when synthesizing 
controllers for large signalized vehicular traffic networks 
with linear temporal logic specifications. Traffic networks lend 
themselves to a compositional synthesis approach because they 
are naturally decomposed into sub-networks. However, naively 
synthesizing controllers for individual sub-networks and interconnecting 
them can violate the specifications on the monolithic 
network. By exploiting notions of supply and demand in our 
system dynamics, we construct contracts between sub-networks 
that guarantee the soundness of the overall synthesized controller. 
The resulting decentralized control architecture consists 
of controllers that rely only on local state information},
}