@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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},
}