Biblio
.
2016. HTA-based Tracking of Pilot Actions in the Cockpit. Applied Human Factors Expo.
.
2016. Nonlinear Driver Parameter Estimation and Driver Steering Behavior Analysis for ADAS using Field Test Data. IEEE Transactions on Human-Machine Systems.
(in review)
.
2016. Driver Parameter Estimation Using Joint E-/UKF and Dual E-/UKF Under Nonlinear State Inequality Constraints. IEEE Conference on Systems, Man and Cybernetics.
.
2017. Vehicle Modeling and Parameter Estimation Using Adaptive Limited Memory Joint-State UKF. American Control Conference.
.
2016. Optimal Two-Point Visual Driver Model and Controller Development for Driver-Assist Systems for Semi-Autonomous Vehicles. American Control Conference. :5976–5981.
.
2016. A New Hybrid Sensorimotor Driver Model with Model Predictive Control. IEEE Conference on Systems, Man and Cybernetics.
.
2017. Evolving Side-Channel Resistant Reconfigurable Hardware for Elliptic Curve Cryptography. Proc. of IEEE Congress on Evolutionary Computation (CEC).
.
2016. Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.
.
2015. Towards Verification of Hybrid Systems in a Foundational Proof Assistant. Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign. :248–257.
.
2017. Radio Receiver Design for Unmanned Aerial Wildlife Tracking. ICNC Workshop: The National Workshop for REU Research in Networking and Systems.
.
2016. Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.
.
2017. Performance of Linear Networked Dynamical Systems over Strongly Connected Digraphs. 56th IEEE Conference on Decision and Control (to appear).
.
2017. Decentralized robust inverter-based control in power systems. Proc. of IFAC World Congres. :5713–5718.
.
2016. iDroop: A Dynamic Droop controller to decouple power grid's steady-state and dynamic performance. 2016 IEEE 55th Conference on Decision and Control (CDC). :4957-4964.
.
2017. Optimal Load-side Control for Frequency Regulation in Smart Grids. IEEE Trans. on Automatic Control (published online).
Early Access DOI: 10.1109/TAC.2017.2713529
.
2017. Performance tradeoffs of dynamically controlled grid-connected inverters in low inertia power systems. 56th IEEE Conference on Decision and Control (to appear).
.
2017. Crowd-sourced storage-assisted demand response in microgrids. Proceedings of the Eighth International Conference on Future Energy Systems, ser. e-Energy '17. :91–100.
.
2017. Determining Collision Potential as a Measure of Robustness in Vehicular Networks. Proc. of the American Control Conf.. :3992–3998.
.
2016. Effective Resistance Based Performance Measures for Networked Oscillators. IEEE Trans. on Network Control Systems (published online).
Early Access DOI: 10.1109/TCNS.2016.2619900
.
2017. High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms. IEEE Control Systems Letters. 1:322-327.
.
2016. The role of strong convexity-concavity in the convergence and robustness of the saddle-point dynamics. 54th Annual Allerton Conf. on Communication, Control, and Computing (Allerton). :504-510.
.
2017. Distributed optimization decomposition for joint economic dispatch and frequency regulation. IEEE Trans. on Power Systems (published online).
Early Access DOI: 10.1109/TPWRS.2017.2682235
.
2016. Air Traffic Management. AIAA Roadmap for Intelligent Sysems in Aerospace.
.
2015. Securing Transportation Cyber-Physical Systems. Securing Cyber-Physical Systems. :163–196.
.
2017. A Layered and Aggregated Queuing Network Simulator for Detection of Abnormalities. Winter simulation Conference.