Visible to the public Biblio

Filters: Author is Arcak, M.  [Clear All Filters]
2018-05-17
Coogan, S., Arcak, M..  2015.  Efficient finite abstraction of mixed monotone systems. 18th ACM International Conference on Hybrid Systems: Computation and Control. :58-67.
Coogan, S., Aydin Gol, E., Arcak, M., Belta, C..  2015.  Controlling a network of signalized intersections from temporal logic specifications. Proceedings of the 2015 American Control Conference. :3919-3924.
Coogan, S., Gomes, G., Kim, E., Arcak, M., Varaiya, P..  2015.  Offset optimization for a network of signalized intersections via semidefinite relaxation. Proceedings of the 54th IEEE Conference on Decision and Control. :2187-2192.
Kim, E., Arcak, M., Seshia, S..  2015.  Compositional controller synthesis for vehicular traffic networks. Proceedings of the 54th IEEE Conference on Decision and Control. :6165-6171.
Kim, E., Arcak, M., Seshia, S..  2016.  Directed specifications and assumption mining for monotone dynamical systems. 19th ACM International Conference on Hybrid Systems: Computation and Control. :21-30.
Coogan, S., Arcak, M., Belta, C..  2016.  Finite state abstraction and formal methods for traffic flow networks. Proceedings of the 2016 American Control Conference. :864-879.
Coogan, S., Arcak, M..  2016.  Symmetric monotone embedding of traffic flow networks with first-in-first-out dynamics. Proceedings of the 10th IFAC Symposium on Nonlinear Control Systems. :640-645.
Coogan, S., Arcak, M., Kurzhanskiy, A..  2016.  Mixed monotonicity of partial first-in-first-out traffic flow models. Proceedings of the 55th IEEE Conference on Decision and Control. :7611-7616.
Kim, E., Wu, C.-J., Horowitz, R., Arcak, M..  2017.  Offset optimization of signalized intersections via the Burer-Monteiro method. Proceedings of the 2017 American Control Conference. :3554-3559.
Coogan, S., Arcak, M..  2015.  A Compartmental Model for Traffic Networks and Its Dynamical Behavior. Automatic Control, IEEE Transactions on. 60:2698-2703.

We propose a macroscopic traffic network flow model suitable for analysis as a dynamical system, and we qualitatively analyze equilibrium flows as well as convergence. Flows at a junction are determined by downstream supply of capacity as well as upstream demand of traffic wishing to flow through the junction. This approach is rooted in the celebrated Cell Transmission Model for freeway traffic flow. Unlike related results which rely on certain system cooperativity properties, our model generally does not possess these properties. We show that the lack of cooperativity is in fact a useful feature that allows traffic control methods, such as ramp metering, to be effective. Finally, we leverage the results of the technical note to develop a linear program for optimal ramp metering.