Publications

2016

Sadra Sadraddini, Calin Belta, Controlled Invariance for Uncertain Monotone Systems, 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, MN, USA, 2016

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, 2016 (in print) (pdf)

Sadra Sadraddini, Calin Belta, A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks, American Control Conference (ACC), Boston, MA, 2016 (pdf)

Samuel Coogan, Murat Arcak, Calin Belta, Finite State Abstraction and Formal Methods for Traffic Flow Networks, American Control Conference (ACC), Boston, MA, 2016 (pdf)

Eric S. Kim, Murat Arcak, Sanjit Seshia, Directed Specifications and Assumption Mining for Monotone Dynamical Systems, ACM Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016  [pdf].

2015

Eric S. Kim, Murat Arcak, Sanjit Seshia, Compositional Controller Synthesis for Vehicular Traffic Networks, IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015

Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015