@article {292, title = {Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems}, journal = {IEEE Control Systems Letters}, volume = {7}, year = {2023}, month = {June}, pages = {2809-2814}, author = {H. Han and R. G. Sanfelice} } @article {273, title = {Certifying the LTL Formula p Until q in Hybrid Systems}, journal = {IEEE Transactions on Automatic Control}, volume = {68}, number = {7}, year = {2022}, month = {September}, pages = {4451-4458}, keywords = {Automata, Control systems, Convergence, Dynamical systems, safety, Stability analysis, Time-domain analysis}, author = {H. Han and M. Maghenem and R. G. Sanfelice} } @article {218, title = {Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions}, journal = {Nonlinear Analysis: Hybrid Systems}, volume = {36}, year = {2020}, month = {May}, author = {H. Han and R. G. Sanfelice} } @conference {215, title = {Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems}, booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control}, number = {8}, year = {2020}, month = {April}, pages = {1-10}, author = {H. Han and M. Maghenem and R. G. Sanfelice} } @conference {186, title = {A Hybrid Control Algorithm for Object Grasping Using Multiple Agents}, booktitle = {Proceedings of the Conference on Control Technology and Applications}, series = {NULL}, year = {2018}, month = {August}, pages = {652-657}, author = {H. Han and R. G. Sanfelice} } @conference {176, title = {Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems}, booktitle = {Proceedings of the 6th Analysis and Design of Hybrid Systems}, volume = {51}, year = {2018}, month = {July}, pages = {97-102}, author = {H. Han and R. G. Sanfelice} }