- P.-J. Meyer, S. Coogan, M. Arcak, "Sampled-data reachability analysis using sensitivity and mixed-monotonicity,"
*arXiv*, in submission. (pdf) - S. Coogan, "A contractive approach to separable Lyapunov functions for monotone systems,"
*arXiv*, in submission. (pdf) - M. Margaliot, S. Coogan, "Approximating the frequency response of contractive systems,"
*arXiv*, in submission. (pdf)

- S. Coogan, M. Arcak, C. Belta, "Formal methods for control of traffic flow: Automated control synthesis from finite state transition models,"
*IEEE Control Systems Magazine*, vol. 37, pp. 109–128, Apr 2017. (pdf) - S. Coogan, E. Kim, G. Gomes, M. Arcak, P. Varaiya, "Offset optimization in signalized traffic networks via semidefinite relaxation,"
*Transportation Research Part B: Methodological*, vol. 100, pp. 82–92, June 2017. (pdf) - S. Coogan, C. Flores, P. Varaiya, "Traffic predictive control from low-rank structure,"
*Transportation Research Part B: Methodological*, vol. 97, pp. 1–22, Mar. 2017. - S. Coogan, M. Arcak, "Finite abstraction of mixed monotone systems with discrete and continuous inputs,"
*Nonlinear Analysis: Hybrid Systems*, vol. 23, pp. 254–271, Feb. 2017. (pdf) - S. Coogan, E. Gol, M. Arcak, C. Belta, "Traffic network control from temporal logic specifications,"
*IEEE Transactions on Control of Network Systems*, vol. 3, pp. 162–172, June 2016.**Outstanding Paper Award**. (pdf) - A. Muralidharan, S. Coogan, C. Flores, P. Varaiya, "Management of intersections with multi-modal high-resolution data,"
*Transportation Research Part C: Emerging Technologies*, vol. 68, pp. 101–112, July 2016. - S. Coogan, M. Arcak, "Stability of traffic flow networks with a polytree topology,"
*Automatica*, vol. 66, pp. 246–253, April 2016. (pdf) - S. Coogan, M. Arcak, "A compartmental model for traffic networks and its dynamical behavior,"
*IEEE Transactions on Automatic Control*, vol. 60, pp. 2698–2703, Oct. 2015. (pdf, extended arXiv) - S. Coogan, M. Arcak, "A dissipativity approach to safety verification for interconnected systems,"
*IEEE Transactions on Automatic Control*, vol. 60, pp. 1722–1727, June 2015. (pdf) - S. Coogan, M. Arcak, "A computational approach to synthesizing guards for hybrid systems,"
*Systems & Control Letters*, vol. 73, pp. 25–32, Nov. 2014. (pdf) - S. Coogan, M. Arcak, "Scaling the size of a formation using relative position feedback,"
*Automatica*, pp. 2677–2685, Oct. 2012. (pdf)

- M. Dutreix, S. Coogan, "Efficient verification for stochastic mixed monotone systems,"
*International Conference on Cyber-Physical Systems (ICCPS)*, pp. 150–161, 2018. (pdf) - M. Dutreix, S. Coogan, "Quantile forecasts for traffic predictive control,"
*IEEE Conference on Decision and Control*, pp. 5666–5671, 2017. (pdf) - D. Lazar, S. Coogan, R. Pedarsani, "Capacity modeling and routing for traffic networks with mixed autonomy,"
*IEEE Conference on Decision and Control*, pp. 5678–5683, 2017. (pdf) - M. Margaliot, S. Coogan, "Approximating periodic trajectories of contractive systems,"
*IEEE Conference on Decision and Control*, pp. 583–588, 2017. (pdf) - S. Coogan, "Separability of Lyapunov functions for contractive monotone systems,"
*IEEE Conference on Decision and Control*, pp. 2184–2189, 2016. (pdf) - S. Coogan, A. Kurzhanskiy, M. Arcak, "Mixed monotonicity of partial first-in-first-out traffic flow models,"
*IEEE Conference on Decision and Control*, pp. 7611–7616, 2016. (pdf) - S. Coogan, M. Arcak, "Symmetric monotone embedding of traffic flow networks with first-in-first-out dynamics,"
*Proceedings of the 10th IFAC Symposium on Nonlinear Control Systems (NOLCOS)*, pp. 654–659, 2016. (pdf) - S. Coogan, M. Arcak, C. Belta, "Finite state abstraction and formal methods for traffic flow networks,"
*American Control Conference*, pp. 864–879, 2016. (pdf) - S. Coogan, C. Flores, P. Varaiya, "Automatic generation of timing plans with high-resolution data,"
*ITS America*, 2016. (pdf) - S. Coogan, G. Gomes, E. Kim, M. Arcak, P. Varaiya, "Offset optimization for a network of signalized intersections via semidefinite relaxation,"
*IEEE Conference on Decision and Control*, pp. 2187–2192, 2015. (pdf) - S. Coogan, E. Aydin, M. Arcak, C. Belta, "Controlling a network of signalized intersections from temporal logical specifications,"
*Proceedings of the 2015 American Control Conference*, pp. 3919–3924, 2015. (pdf) - S. Coogan, M. Arcak, "Efficient finite abstraction of mixed monotone systems,"
*Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control*, pp. 58–67, 2015.**Best Student Paper Award**. (pdf) - D. Sadigh, E. Kim, S. Coogan, S. Sastry, S. Seshia, "A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications,"
*IEEE Conference on Decision and Control*, pp. 1091–1096, 2014. (pdf) - S. Coogan, M. Arcak, "Freeway traffic control from linear temporal logic specifications,"
*Proceedings of the 5th ACM/IEEE International Conference on Cyber-Physical Systems*, pp. 36–47, 2014. (pdf) - S. Coogan, M. Arcak, "Dynamical properties of a compartmental model for traffic networks,"
*Proceedings of the 2014 American Control Conference*, pp. 2511–2516, 2014. (pdf) - S. Coogan, M. Arcak, "Verifying safety of interconnected passive systems using SOS programming,"
*Proceedings of the 52nd IEEE Conference on Decision and Control*, pp. 5951–5956, 2013. (pdf) - S. Coogan, L. Ratliff, D. Calderone, C. Tomlin, S. Sastry, "Energy management via pricing in LQ dynamic games,"
*Proceedings of the 2013 American Control Conference*, pp. 443–448, 2013. (pdf) - S. Coogan, M. Arcak, "Guard synthesis for safety of hybrid systems using sum of squares programming,"
*Proceedings of the 51st IEEE Conference on Decision and Control*, pp. 6138–6143, 2012. (pdf) - L. Ratliff, S. Coogan, D. Calderone, S. Sastry, "Pricing in linear-quadratic dynamic games,"
*Fiftieth Annual Allerton Conference on Communication, Control, and Computing*, pp. 1798–1805, 2012. (pdf) - S. Coogan, M. Arcak, "Formation control with size scaling using relative displacement feedback,"
*Proceedings of the 2012 American Control Conference*, pp. 3877–3882, 2012. (pdf) - B. Bole, S. Coogan, C. Cubero-Ponce, D. Edwards, R. Melsert, D. Taylor, "Energy management control of a hybrid electric vehicle with two-mode electrically variable transmission,"
*EVS26 International Battery, Hybrid and Fuel Cell Electric Vehicle Symposium*, 2012. (pdf) - S. Coogan, M. Arcak, M. Egerstedt, "Scaling the size of a multiagent formation via distributed feedback,"
*Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference*, pp. 994–999, 2011. (pdf)

- S. Coogan, M. Arcak, "Contraction-based observers using non-Euclidean norms with an application to traffic networks," 2017. (pdf)
- S. Coogan, M. Arcak, A. Kurzhanskiy, "On the mixed monotonicity of FIFO traffic flow models," 2015. (pdf)
- S. Coogan, M. Arcak, "A note on norm-based Lyapunov functions via contraction analysis," 2013. (pdf)