Biblio
Filters: First Letter Of Title is H [Clear All Filters]
How well-posedness of hybrid systems can extend beyond Zeno times. Proceedings of the IEEE Conference on Decision and Control. :598–603.
.
2016.
A Hybrid Predictive Control Algorithm for Tracking in a Single-Phase DC/AC Inverter. To appear in Proceedings of the IEEE Conference on Control Technology and Applications.
.
2017.
Hybrid Feedback for Global Asymptotic Stabilization on a Compact Manifold. To appear in Proceedings of the IEEE Conference on Decision and Control.
.
2017.
Hybrid Robust Minimum-time Control for a Class of Non-Exponentially Unstable Planar Systems. To appear in Proceedings of the IEEE Conference on Decision and Control.
.
2017.
Hybrid Stabilization of Linear Systems with Reverse Polytopic Input Constraints. To appear in IEEE Transactions on Automatic Control.
.
2017.
A Hybrid Control Strategy for Waypoint Transitioning and Loitering of Unmanned Aerial Vehicles. Nonlinear Analysis: Hybrid Systems. 26:115–136.
.
2017.
.
2017.
A Hybrid Cloud-based Distributed Data Management Infrastructure for Bridge Monitoring. World Congress on Advances in Structural Engineering and Mechanics (ASEM17).
.
2017.
Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. {IEEE Transactions on Robotics}.
.
2017. To appear
Heterogeneity and Diversity for Resilience in Multi-Robot Systems. Workshop on Heterogeneity and Diversity for Resilience in Multi- Robot Systems.
.
2017.
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. 8855
.
2014.
A hybrid scheduling protocol to improve quality of service in networked control systems. Communication, Control, and Computing (Allerton), 2012 50th Annual Allerton Conference on. :98–105.
.
2012.
High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
.
2016.
High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
.
2015.
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :173–178.
.
2017.
Heterogeneous Model Integration for Multi-source Infrastructure Data. IEEE Transactions on Cyber-Physical Systems.
.
2016.