Biblio
Filters: First Letter Of Last Name is A [Clear All Filters]
.
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. Smart alarms: multivariate medical alarm integration for post CABG surgery patients. {IHI}. :533-542.
.
2012. A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
.
2012. Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.
.
2012. The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :667–672.
.
2012. Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the {IEEE} (special issue on Cyber-Physical Systems). 100:75–90.
.
2011. Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
.
2011. Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.
.
2011. Biomedical devices and systems security. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :2376–2379.
.
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 Stability Region Criterion for Flat-footed BipedalWalking on Deformable Granular Terrain. Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference on.
.
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. Manipulation of grain-scale mechanics improves robot jumping performance. Annual Meeting of the Society for Integrative and Comparative Biology.
.
2016. Tractable terrain-aware motion planning on granular media: An impulsive jumping study. Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. :3887–3892.
.
2017. Optimal bipedal interactions with dynamic terrain: synthesis and analysis via nonlinear programming. Bulletin of the American Physical Society.
.
2017. Learning to jump in granular media: Unifying optimal control synthesis with Gaussian process-based regression. Robotics and Automation (ICRA), 2017 IEEE International Conference on. :2154–2160.
.
2017. Shaping velocity coordinates for generating low-thrust trajectories. Proceedings of 27th AAS/AIAA Space Flight Mechanics Meeting. :701–711.
.
2017. On the Non-Existence of Unbiased Estimators in Constrained Estimation Problems. IEEE Transactions on Information Theory. PP:1-1.
.
2017. Corrections to #x201C;On Decentralized Estimation With Active Queries #x201D; [May 15 2610-2622]. IEEE Transactions on Signal Processing. 65:4971-4972.
.
2017. Taxonomies for reasoning about cyber-physical attacks in IoT-based manufacturing systems. International Journal of Interactive Multimedia and Artificial Intelligence. 4:45-54.
.
2017. An approach to cyber-physical vulnerability assessment for intelligent manufacturing systems. Journal of Manufacturing Systems. 43, Part 2:339-351.
.
2016. Cyber-physical vulnerability assessment in manufacturing systems. 44th North American Manufacturing Research Conference, NAMRC 44, June 27-July 1, 2016, Blacksburg, Virginia, United States. 5:1060-1074.
.
Submitted. Online Learning for Markov Decision Processes Applied to Multi-Agent Systems. Conference on Decision and Control (CDC).
.
Submitted. Markov Decision Processes with Sequentially-Observed Transitions. Automatica.