Publications

Export 5 results:
Author Keyword Type [ Year(Desc)]
Filters: Author is H. Han  [Clear All Filters]
2018
[186] H. Han, and R. G. Sanfelice "A Hybrid Control Algorithm for Object Grasping Using Multiple Agents", Proceedings of the Conference on Control Technology and Applications, pp. 652-657, August, 2018. PDF icon 186.pdf (470.08 KB)
[176] H. Han, and R. G. Sanfelice "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. PDF icon 176.pdf (297.32 KB)
2020
[218] H. Han, and R. G. Sanfelice "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions", Nonlinear Analysis: Hybrid Systems, vol. 36, 05/2020. PDF icon 218.pdf (218.45 KB)
[215] H. Han, M. Maghenem, and R. G. Sanfelice "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", Proceedings of the Conference on Hybrid Systems: Computation and Control, April, 2020. PDF icon 215.pdf (720.78 KB)
2022
[273] H. Han, M. Maghenem, and R. G. Sanfelice "Certifying the LTL Formula p Until q in Hybrid Systems", To appear in IEEE Transactions on Automatic Control, September, 2022. PDF icon 273.pdf (290.84 KB)