Eric S. Kim, Murat Arcak, Sanjit A. Seshia. Assume-guarantee contracts and controller synthesis for vehicular traffic networks. In 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016. pages 882, IEEE, 2016. [doi]
Abstract is missing.