Biblio
Filters: First Letter Of Last Name is W [Clear All Filters]
.
2015. Early Detection of Critical Pulmonary Shunts in Infants. Proceedings of the 6th International Conference on Cyber-Physical Systems. :110-119.
.
2015. An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.
.
2014. Design Pillars for Medical Cyber-Physical System Middleware. Proceedings of the 5th Workshop on Medical Cyber-Physical Systems (MCPS 2014). :124–132.
.
2012. Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
.
2012. Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.
.
2010. GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.
.
2017. A top-down approach to achieving performance predictability in database systems. Proceedings of the ACM International Conference on Management of Data. :745–758.
.
2017. Physical Watermarking for Securing Cyber Physical Systems via Packet Drop Injections. 8th IEEE International Conference on Smart Grid Communications.
.
2017. A Bernoulli-Gaussian Physical Watermark for Detecting Integrity Attacks in Control Systems. 55th Annual Allerton Conference on Communication, Control, and Computing.
.
2016. A moving target approach for identifying malicious sensors in control systems. 54th Annual Allerton Conference on Communication, Control, and Computing. :1149–1156.
.
Submitted. Active Detection for Exposing Intelligent Attacks in Control Systems. 1st IEEE Conference on Control Technology and Applications.
.
2017. Robust Structural Analysis and Design of Distributed Control Systems to Prevent Zero Dynamics Attacks. 56th IEEE Conference on Decision and Control (CDC).
.
2016. Information Flow for Security in Control Systems. 55th IEEE Conference on Decision and Control (CDC). :5065-5072.
.
2016. Stabilizing traffic with a single autonomous vehicle: WiP abstract. Proceedings of the 7th International Conference on Cyber-Physical Systems. :9.
.
2018. Measuring trajectories and fuel consumption in oscillatory traffic: experimental results. Transportation Research Board 96th Annual Meeting, under review.
.
2018. Reducing Emissions Resulting from Stop-and-Go TrafficWaves with Automated Vehicles. Transportation Research Board 97th Annual Meeting, under review.
.
2017. Tracking vehicle trajectories and fuel rates in oscillatory traffic. Transportation Research Part C: Emerging Technologies, under review.
.
2017. Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments. Under review.
.
2015. Quality assurance in additive manufacturing through mobile computing. Mobile Computing, Applications, and Services: 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12–13, 2015, Revised Selected Papers. :203-220.
.
2017. Offset optimization of signalized intersections via the Burer-Monteiro method. Proceedings of the 2017 American Control Conference. :3554-3559.
.
2017. Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Transactions on Cyber-Physical Systems. 1:15:1–15:23.
.
2015. Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
.
2017. Taxonomies for Reasoning About Cyber-physical Attacks in IoT-based Manufacturing Systems.. International Journal of Interactive Multimedia & Artificial Intelligence. 4