Visible to the public Biblio

Found 1750 results

Journal Article
A. Sturaro, S. Silvestri, M. Conti,, S. K. Das.  Submitted.  Characterizing Cascade Failures in Inter-Dependent Smart Grid Networks. IEEE Transactions on Smart Grid (Submitted in Oct 2017).
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska.  2017.  Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
Jeong, Seongwoon, Zhang, Yilan, HOU, RUI, Lynch, Jerome P, Sohn, Hoon, Law, Kincho H.  2016.  A cloud based information repository for bridge monitoring applications. SPIE Smart Structures and Materials+ Nondestructive Evaluation and Health Monitoring. :980313.
Cem Aksoylar, Jing Qian, Venkatesh Saligrama.  2017.  Clustering and Community Detection With Imbalanced Clusters. {IEEE} Trans. Signal and Information Processing over Networks. 3:61–76.
F. Miao, Q. Zhu, M. Pajic, G. J. Pappas.  2017.  Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
Zhang, Yihang, Ioannou, Petros A.  2017.  Combined variable speed limit and lane change control for highway traffic. IEEE Transactions on Intelligent Transportation Systems. 18:1812–1823.
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.