Biblio
.
2016. 3D dynamic walking with underactuated humanoid robots: A direct collocation framework for optimizing hybrid zero dynamics. Robotics and Automation (ICRA), 2016 IEEE International Conference on. :1447–1454.
.
2016. Work those arms: Toward dynamic and stable humanoid walking that optimizes full-body motion. Robotics and Automation (ICRA), 2016 IEEE International Conference on. :1552–1559.
.
2016. Establishing trust in remotely reprogrammable systems. Proceedings of the International Conference on Human-Computer Interaction in Aerospace. :19.
.
2016. Towards real-time parameter optimization for feasible nonlinear control with applications to robot locomotion. American Control Conference (ACC), 2016. :3922–3927.
.
2016. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. arXiv preprint arXiv:1609.06807.
.
2016. Parameter to state stability of control Lyapunov functions for hybrid system models of robots. Nonlinear Analysis: Hybrid Systems.
.
2016. Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Transactions on Automatic Control.
.
2017. First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.
.
2017. Safety Barrier Certificates for Collisions-Free Multirobot Systems. IEEE Transactions on Robotics.
.
2016. Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2017. Cyber Threat Analysis Framework for the Wind Energy Based Power System. ACM Workshop on Cyber-Physical Systems Security and Privacy (CPS-SPC) in conjunction with the 24th ACM CCS.
.
2017. Location-Aware Smart Campus Security Application. IEEE IEEE Smart City Innovation (SCI).
.
2017. Smart Robotic Assistant for Visually Impaired. IEEE IEEE Smart City Innovation (SCI).
.
2017. Multi-Tenant Network Acceleration Scheme for OpenStack. IEEE IEEE Smart City Innovation (SCI).
.
2017. Edge Computing Embedded Platform with Container Migration. IEEE IEEE Smart City Innovation (SCI).
.
2017. Edge Computing Framework for Distributed Smart Applications. IEEE Smart World Congress (SWC).
.
2016. Enhancing smartphone indoor localization via opportunistic sensing. Sensing, Communication, and Networking (SECON), 2016 13th Annual IEEE International Conference on. :1–9.
.
2016. Towards a Heterogeneous Internet-of-Things Testbed via Mesh inside a Mesh. Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM. :368–369.
.
2016. Telepresence Robot with Autonomous Navigation and Virtual Reality: Demo Abstract. Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM. :316–317.
.
2017. Machine-learning based Threat-aware System in Software Defined Networks. IEEE International Conference on Computer Communication and Networks (ICCCN 2017).
.
2017. Crowdsourced Testing Services for Mobile Apps. Service-Oriented System Engineering (SOSE), 2017 IEEE Symposium on. :75–80.
.
2017. On building a cloud-based mobile testing infrastructure service system. Journal of Systems and Software. 124:39–55.
.
2016. Building a Model-Based GUI Test Automation System for Mobile Applications. International Journal of Software Engineering and Knowledge Engineering. 26:1605–1615.
.
2016. Development of Cloud-Based UAV Monitoring and Management System. Sensors. 16:1913.
.
2017. Online Decision Making for Stream-based Robotic Sampling via Submodular Optimization. Conference on Multi Sensor Fusion and Integration for Intelligence Systems. :none.