Biblio
Filters: First Letter Of Last Name is R [Clear All Filters]
.
2017. The Fog Makes Sense: Enabling Social Sensing Services with Limited Internet Connectivity. Proceedings of the 2Nd International Workshop on Social Sensing. :61–66.
.
2016. Incremental Deployment and Migration of Geo-distributed Situation Awareness Applications in the Fog. Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems. :258–269.
.
Submitted. Traffic regulation via controlled speed limit. SIAM Journal on Control and Optimization.
.
2017. Strategic siting and regional grid interconnections key to low-carbon futures in African countries. Proceedings of the National Academy of Sciences. :3004-3012.
.
2015. A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Proceedings of the 2015 International Conference on Healthcare Informatics. :213–222.
.
2016. Prediction of Critical Pulmonary Shunts in Infants. IEEE Transactions on Control Systems Technology. 24:1936-1952.
.
2015. Towards a Model-Based Meal Detector for Type I Diabetics. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
.
2015. Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
.
2015. Early Detection of Critical Pulmonary Shunts in Infants. Proceedings of the 6th International Conference on Cyber-Physical Systems. :110-119.
.
2013. Distributed Control for Cyber-Physical Systems. Journal of the Indian Institute of Science, Special Issue on Cyber-Physical Systems. 93
.
2013. Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
.
2014. Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2011. On Effective Testing of Health Care Simulation Software. Proceedings of the 3rd Workshop on Software Engineering in Health Care (SEHC '11). :40–47.
.
2012. Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
.
2011. Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).
.
2011. Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.
.
2011. Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. :263-266.
.
2016. Production as a Service Framework for Optimizing the Sourcing of Manufacturing Processes, and the Utilization of Unused Manufacturing Resources. Dynamic Systems and Control Conference.
.
2017. Overshoot intrusion forces promote robophysical bipedal walking on homogenous granular media. Bulletin of the American Physical Society. 62
.
2017. Paused intrusions improve robot jumping performance in granular media. Bulletin of the American Physical Society. 62
.
2017. SnappyData: A Unified Cluster for Streaming, Transactions and Interactice Analytics. Proceedings of Conference on Innovative Data Systems Research (CIDR).
.
2015. Cheap Bandits. Proceedings of the 32nd International Conference on Machine Learning. 37:2133–2142.
.
2017. Stabilizing Traffic Flow via a Single Autonomous Vehicle: Possibilities and Limitations. Proceedings of the {IEEE} Intelligent Vehicles Symposium.
.
2017. Cyber-physical vulnerabilities in additive manufacturing systems: A case study attack on the .STL file with human subjects. Journal of Manufacturing Systems. 44, Part 1:154-164.