Export 4 results:Author Keyword Type [ Year]
Filters: First Letter Of Last Name is H and Author is H. Han [Clear All Filters]
 "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions", Nonlinear Analysis: Hybrid Systems, vol. 36, 05/2020.
 "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", Proceedings of the Conference on Hybrid Systems: Computation and Control, April, 2020.
 "A Hybrid Control Algorithm for Object Grasping Using Multiple Agents", Proceedings of the Conference on Control Technology and Applications, pp. 652-657, August, 2018.
 "Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems", Proceedings of the 6th Analysis and Design of Hybrid Systems, vol. Volume 51, pp. 97-102, 07/2018.