Visible to the public Biblio

Filters: First Letter Of Last Name is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2015.  Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
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.
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.
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..  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.

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.
Clinton Young, Joseph Zambreno, Gedare Bloom.  2016.  Towards a Fail-Operational Intrusion Detection System for In-Vehicle Networks. Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS).

The landscape of automotive in-vehicle networks is changing driven by the vast options for infotainment features and progress toward fully-autonomous vehicles. However, the security of automotive networks is lagging behind feature-driven technologies, and new vulnerabilities are constantly being discovered. In this paper, we introduce a road map towards a security solution for in-vehicle networks that can detect anomalous and failed states of the network and adaptively respond in real-time to maintain a fail-operational system.

Clark, Meghan, Dutta, Prabal.  2015.  The Haunted House: Networking Smart Homes to Enable Casual Long-distance Social Interactions. Proceedings of the 2015 International Workshop on Internet of Things towards Applications. :23–28.