Compositional controller synthesis for vehicular traffic networks
Title | Compositional controller synthesis for vehicular traffic networks |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Kim, E., Arcak, M., Seshia, S. |
Conference Name | Proceedings of the 54th IEEE Conference on Decision and Control |
Date Published | December |
Conference Location | Osaka, Japan |
Keywords | 1446145 |
Citation Key | KimArcSes15 |