FACTS Lab

Formal Methods and Autonomous Control of Transportation Systems

Publications

Preprints of Accepted and Submitted Articles

  1. S. Coogan, “A contractive approach to separable Lyapunov functions for monotone systems,” arXiv, in submission. (pdf)

Articles in Journals or Magazines

  1. P.-J. Meyer, S. Coogan, M. Arcak, “Sampled-data reachability analysis using sensitivity and mixed-monotonicity,” IEEE Control Systems Letters, 2018. (pdf)
  2. S. Coogan, M. Margaliot, “Approximating the steady-state periodic solutions of contractive systems,” IEEE Transactions on Automatic Control, 2018. (pdf)
  3. 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)
  4. 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)
  5. 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. (pdf)
  6. 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)
  7. 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)
  8. 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. (pdf)
  9. S. Coogan, M. Arcak, “Stability of traffic flow networks with a polytree topology,” Automatica, vol. 66, pp. 246–253, April 2016. (pdf)
  10. 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)
  11. 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)
  12. S. Coogan, M. Arcak, “A computational approach to synthesizing guards for hybrid systems,” Systems & Control Letters, vol. 73, pp. 25–32, Nov. 2014. (pdf)
  13. S. Coogan, M. Arcak, “Scaling the size of a formation using relative position feedback,” Automatica, pp. 2677–2685, Oct. 2012. (pdf)

Articles in Conference Proceedings

  1. Z. Amini, S. Coogan, C. Flores, A. Skabardonis, P. Varaiya, “Optimizing offsets in signalized traffic networks: a case study,” IEEE Conference on Control Technology and Applications, pp. 614–619, 2018. Best Student Paper Award. (pdf)
  2. P. Pandit, S. Coogan, “Discount-based pricing and capacity planning for EV charging under stochastic demand,” American Control Conference, pp. 6273–6278, 2018. (pdf)
  3. D. Lazar, S. Coogan, R. Pedarsani, “The price of anarchy for transportation networks with mixed autonomy,” American Control Conference, pp. 6359–6365, 2018. (pdf)
  4. M. Dutreix, S. Coogan, “Efficient verification for stochastic mixed monotone systems,” International Conference on Cyber-Physical Systems (ICCPS), pp. 150–161, 2018. (pdf)
  5. M. Dutreix, S. Coogan, “Quantile forecasts for traffic predictive control,” IEEE Conference on Decision and Control, pp. 5666–5671, 2017. (pdf)
  6. 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)
  7. M. Margaliot, S. Coogan, “Approximating periodic trajectories of contractive systems,” IEEE Conference on Decision and Control, pp. 583–588, 2017. (pdf)
  8. S. Coogan, “Separability of Lyapunov functions for contractive monotone systems,” IEEE Conference on Decision and Control, pp. 2184–2189, 2016. (pdf)
  9. 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)
  10. 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)
  11. S. Coogan, M. Arcak, C. Belta, “Finite state abstraction and formal methods for traffic flow networks,” American Control Conference, pp. 864–879, 2016. (pdf)
  12. S. Coogan, C. Flores, P. Varaiya, “Automatic generation of timing plans with high-resolution data,” ITS America, 2016. (pdf)
  13. 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)
  14. 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)
  15. 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)
  16. 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)
  17. 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)
  18. 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)
  19. 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)
  20. 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)
  21. 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)
  22. 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)
  23. 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)
  24. 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)
  25. 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)

Technical Notes

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