Biblio
.
2015. High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
.
2016. Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology. Journal of Agricultural, Biological, and Environmental Statistics. :1–16.
.
2017. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
.
2017. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.
.
2017. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
.
2017. Modeling bipolar stimulation of cardiac tissue. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093920.
.
2017. Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos. Physical Review Letters. 118:168101.
.
2017. Effective Uncertainty Evaluation in Large-Scale Systems (book chapter). Principles of Cyber-Physical Systems.
.
2018. Analysis of Random Mobility Model with Sense and Avoid Protocols for UAV Traffic Management. to appear in Proceedings of AIAA SciTech Conference.
.
2017. Analysis of the Random Direction Random Mobility Model with A Sense-and-Avoid Protocol. Proceedings of Wi-UAV Workshop, Globecom.
.
2017. Strategic Air Traffic Management under Uncertainties using Scalable Sampling-based dynamic Programming and Q-learning Approaches. Proceedings of Asian Control Conference.
.
2017. RSSI-based heading control for robust long-range aerial networking using directional antennas. Proceedings of the American Control Conference.
.
2017. Design and implementation of a remote UAV-based mobile health monitoring system. Proceedings of SPIE - The International Society for Optical Engineering. 10169
.
2016. Formation control of Teleoperating Cyber-Physical System subject to time delay and actuator saturation constraints. 2016 IEEE 55th Conference on Decision and Control, CDC 2016.
.
2016. UAV-carried long distance Wi-Fi communication infrastructure. AIAA Infotech @ Aerospace Conference.
.
2015. Scalable Multidimensional Uncertainty Evaluation Approach to Strategic Air Traffic Flow Management. AIAA Modeling and Simulation Technologies Conference.
.
2015. Energy conservative distributed average consensus through connected dominating set. 2015 IEEE Wireless Communications and Networking Conference, WCNC 2015.
.
2015. Airborne WiFi networks through directional antennae: An experimental study. 2015 IEEE Wireless Communications and Networking Conference, WCNC 2015.
.
2015. Estimating modes of a complex dynamical network from impulse response data: Structural and graph-theoretic characterizations. International Journal of Robust and Nonlinear Control. 25:1428-1453.
.
2016. Consensus estimation-based target localization in underwater acoustic sensor networks. International Journal of Robust and Nonlinear Control. 27:1607–1627.
.
2017. Formation Control of Teleoperating Cyber-Physical Syste With Time Delay and Actuator Saturation. IEEE Transactions on Control Systems Technology. :1–10.
.
2017. A Scalable Sampling Method to High-Dimensional Uncertainties for Optimal and Reinforcement Learning-Based Controls. IEEE Control Systems Letters. 1:98–103.
.
Submitted. Received signal strength indicator-based decentralised control for robust long-range aerial networking using directional antennas. IET Control Theory and Applications. 11:1838-1847}year={2017.
.
2017. Long-Range and Broadband Aerial Communication using Directional Antennas (ACDA): Design and Implementation. IEEE Transactions on Vehicular Technology.
.
2016. Limiting the impact of stealthy attacks on industrial control systems. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. :1092–1105.