Biblio
Filters: First Letter Of Last Name is F [Clear All Filters]
.
2015. A Hybrid Observer with a Continuous Intersample Injection in the Presence of Sporadic Measurements. Proceedings of the IEEE Conference on Decision and Control. :5654–5659.
.
2017. Hybrid Robust Minimum-time Control for a Class of Non-Exponentially Unstable Planar Systems. To appear in Proceedings of the IEEE Conference on Decision and Control.
.
2016. State Estimation of Linear Systems in the Presence of Sporadic Measurements. Automatica. 73:101–109.
.
2017. Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 02:242-247.
.
2015. Robust taxi dispatch under model uncertainties. 2015 54th IEEE Conference on Decision and Control (CDC). :2816-2821.
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear
.
2017. Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear
.
2017. Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region Partitions. 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). :261-272.
.
2016. Data-Driven Robust Taxi Dispatch Approaches. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-1.
.
2015. A Divide-and-Conquer Approach to Distributed Attack Identification. {IEEE} Conference on Decision and Control. :5801–5807.
.
2018. Grasp and Motion Planning for Prosthetic Robot Hand Using Deep Reinforcement Learning. IEEE International Conference on Robotics and Automation (ICRA) (submitted).
.
Submitted. Quality of Information in Mobile Crowdsensing: Survey and Research Challenges. ACM Transactions on Sensor Networks (Accepted to appear, 2017).
.
2016. Incentive mechanisms for participatory sensing: Survey and research challenges. ACM Transactions on Sensor Networks (TOSN). 12:13.
.
2015. Reliable energy-efficient uplink transmission for neighborhood area networks in smart grid. IEEE Transactions on Smart Grid. 6:2179–2188.
.
2016. Step revision in hybrid Co-simulation with FMI. 2016 {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20, 2016. :173–183.
.
2016. FIDE: an FMI integrated development environment. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1759–1766.
.
2016. Toward personalized and context-aware prompting for smartphone-based intervention. 38th Annual International Conference of Engineering in Medicine and Biology Society (EMBC).
.
2017. Bypassing holes in sensor networks: Load-balance vs. latency. Ad Hoc Networks. 61:16–32.
.
2017. Exploiting Synchrony in Replicated State Machines. Cloud Computing (CLOUD), 2017 IEEE 10th International Conference on. :155–162.
.
2016. OAEI 2016 results of AML. {ISWC International Workshop on Ontology Matching (OM)}. 1766:138–145.
.
2017. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
.
2016. Autonomous sampling of water columns using gliding robotic fish: Algorithms and harmful-algae-sampling experiments. IEEE Systems Journal. 10:1271-1281.
.
2017. Gliding robotic fish: An underwater sensing platform and its spiral-based tracking in 3D space. Marine Technology Society Journal.
accepted
.
2017. Adaptive Classification for Prediction Under a Budget. CoRR. abs/1705.10194