Biblio
.
Submitted. Characterizing Cascade Failures in Inter-Dependent Smart Grid Networks. IEEE Transactions on Smart Grid (Submitted in Oct 2017).
.
2017. Chordal Conversion based Convex Iteration Algorithm for Three-phase Optimal Power Flow Problems. IEEE Transactions on Power Systems.
.
2013. Circumvention of Security: Good Users Do Bad Things.. IEEE Security & Privacy. 11:80–83.
.
2015. Classifying Unseen Instances by Learning Class-Independent Similarity Functions. CoRR. abs/1511.04512
.
2010. A closed-course feasibility analysis of temporary rumble strips for use in short-term work zones. Journal of Transportation Safety & Security. 2:299–311.
.
2010. Closed-course test and analysis of vibration and sound generated by temporary rumble strips for short-term work zones. Transportation Research Record: Journal of the Transportation Research Board. :21–30.
.
2017. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
.
2014. Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
.
2016. A cloud based information repository for bridge monitoring applications. SPIE Smart Structures and Materials+ Nondestructive Evaluation and Health Monitoring. :980313.
.
2017. Clustering and Community Detection With Imbalanced Clusters. {IEEE} Trans. Signal and Information Processing over Networks. 3:61–76.
.
2016. Clustering and Community Detection with Imbalanced Clusters. CoRR. abs/1608.07605
.
2017. CMOS Ultralow Power Brain Signal Acquisition Front-Ends: Design and Human Testing. IEEE Transactions on Biomedical Circuits and Systems.
.
2017. Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
.
2017. Collegial activity learning between heterogeneous sensors. Technology and Health Care.
.
2015. Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. IFAC-PapersOnLine. 48:224–229.
.
2017. Combined variable speed limit and lane change control for highway traffic. IEEE Transactions on Intelligent Transportation Systems. 18:1812–1823.
.
2017. Combining Visual Learning with a Generic Cognitive Model for Appliance Representation. Cognitive Robot Architectures. :54.
.
2017. Comments on the proof of adaptive submodular function minimization. CoRR. abs/1705.03771
.
2016. Communicating in Remote Areas or Disaster Situations Using Unmanned Aerial Vehicles | HDIAC.org. HDIAC Journal. 2:4–8.
.
2017. Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. arXiv preprint arXiv:1705.11085.
.
2016. Comparing Kalman filters and observers for dynamic state estimation with model uncertainty and malicious cyber attacks. arXiv preprint arXiv:1605.01030.
.
2017. Comparison of Fault-Tree Models for Fault Detection, Isolation, and Recovery Algorithms. Journal of Aerospace Information Systems.
.
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.