Biblio
Filters: First Letter Of Last Name is H [Clear All Filters]
.
2014. A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
.
2013. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. :81–90.
.
2013. Model-based development of the Generic PCA infusion pump user interface within PVS. Proceedings of the 32$^{nd}$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13).
.
2016. GNSS Spoofing and Detection. Proceedings of the IEEE. 104:1258–1270.
.
2017. Robotic Jumping on Granular Media. 10th Southeast Meeting on Soft Materials.
.
2017. Optimizing Robotic Jumping on Granular Media. 15th Annual Northeastern Granular Materials Workshop.
.
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. Iterative model and trajectory refinement for orbital trajectory optimization. Optimal Control Applications and Methods.
.
2017. A top-down approach to achieving performance predictability in database systems. Proceedings of the ACM International Conference on Management of Data. :745–758.
.
2017. Cyber-physical manufacturing cloud: Architecture, virtualization, communication, and testbed. Journal of Manufacturing Systems. 43:352–364.
.
2016. Implementation of MTConnect for Open Source 3D Printers in Cyber Physical Manufacturing Cloud. Proc. of the ASME 2016 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. :V01AT02A019–V01AT02A019.
.
2016. Design and Implementation of Cyber-Physical Manufacturing Cloud Using MTConnect. Proc. of the ASME 2016 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. :V01BT02A019–V01BT02A019.
.
2015. Optimal multi-vehicle adaptive search with entropy objectives. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :780-785.
.
2015. Optimal solutions for classes of adaptive search problems. 2015 54th IEEE Conference on Decision and Control (CDC). :5749-5754.
.
2015. Multi-object two-agent coordinated search. 2015 International Conference on Complex Systems Engineering (ICCSE). :1-6.
.
2016. Fast algorithms for UAV tasking and routing. 2016 IEEE Conference on Control Applications (CCA). :368-373.
.
2016. A multi-resolution approach for discovery and 3-D modeling of archaeological sites using satellite imagery and a UAV-borne camera. 2016 American Control Conference (ACC). :1359-1365.
.
2017. Multi-agent discrete search with limited visibility. 2017 Conference on Decision and Control).
.
2018. Measuring trajectories and fuel consumption in oscillatory traffic: experimental results. Transportation Research Board 96th Annual Meeting, under review.