Biblio
Filters: First Letter Of Title is H [Clear All Filters]
.
2011. Human Factors and Safety Challenges in Transitioning to an Automated Electric Transportation System. 18th ITS World CongressTransCoreITS AmericaERTICO-ITS EuropeITS Asia-Pacific.
.
Submitted. A Harmonic Mean Comparison Approach for Defense Against Data falsification in IoT Networks. IEEE Transactions on Dependable and Secure Computing.
.
2016. HTA-based Tracking of Pilot Actions in the Cockpit. Applied Human Factors Expo.
.
2017. High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms. IEEE Control Systems Letters. 1:322-327.
.
2017. How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles. IEEE Symposium on Security and Privacy (S&P). :231-250}month={May.
.
2014. Human-inspired walking via unified pd and impedance control. Robotics and Automation (ICRA), 2014 IEEE International Conference on. :5088–5094.
.
2014. Human-inspired multi-contact locomotion with AMBER2. ICCPS'14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014). :199–210.
.
2014. Highly robust running of articulated bipeds in unobserved terrain. Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. :2558–2565.
.
2017. How Much Urban Traffic is Searching for Parking? arXiv preprint arXiv:1702.06156.
.
2017. A Hierarchical Co-Simulation Optimization Control System for Multimodal Freight Routing. 20th International Conference on Intelligent Transportation Systems, 2017 IEEE.
(Accepted)
.
2016. HIDE: AP-Assisted Broadcast Traffic Management to Save Smartphone Energy. 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). :509-518.
.
2015. A host takeover game model for competing malware. 54th IEEE Conference on Decision and Control (CDC). :4523–4530.
.
2015. Hierarchical multi-formalism proofs of cyber-physical systems. 13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015. :90–95.
.
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).
.
2016. Hierarchical reasoning game theory based approach for evaluation and testing of autonomous vehicle control systems. Proceedings of 55th IEEE Conference on Decision and Control. :727–733.
.
2016. How to Build Static Checking Systems Using Orders of Magnitude Less Code. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems. :143–157.
.
2015. The Haunted House: Networking Smart Homes to Enable Casual Long-distance Social Interactions. Proceedings of the 2015 International Workshop on Internet of Things towards Applications. :23–28.
.
2016. Harmonium: Asymmetric, Bandstitched UWB for Fast, Accurate, and Robust Indoor Localization. Proceedings of the 15th International Conference on Information Processing in Sensor Networks.
.
2017. Hierarchical Location Identification of Destabilizing Faults and Attacks in Power Systems: A Frequency-Domain Approach. {IEEE} Transactions on Smart Grid.
Submitted
.
2015. Homeland Security Today: Transforming On-Demand Emergency Communications with Drones: The Needs, Analyses and Solutions. Homeland Security Today Magazine. :32–35.
.
2015. Hybrid Feedback Control Methods for Robust and Global Power Conversion. Proceedings of the 5th Analysis and Design of Hybrid Systems. :298-303.
.
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.