Real-time optimization for the high-fidelity of human motion imitation. - Hyejin Han; Jounghuem R. Kwon; Ji-Yong Lee; Romain Destenay; Bum-Jae You (URAI, 2014)

SpatialWhiteboard: A New Wearable Air-Writing Interaction with Kinect Sensor and Vibrating Ring Interface. - Ki-Won Yeom; Hyejin Han; Yoonsik Oh; Jeunghum Kwon; Bum-Jae You (Eurographics (Posters), 2015)

Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems. - Hyejin Han; Ricardo G. Sanfelice (ADHS, 2018)

A Hybrid Control Algorithm for Object Grasping Using Multiple Agents. - Hyejin Han; Ricardo G. Sanfelice (CCTA, 2018)

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. - Hyejin Han; Mohamed Maghenem; Ricardo G. Sanfelice (HSCC, 2020)

Temporal logic specifications for hybrid dynamical systems - Hyejin Han (2021)

Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems. - Hyejin Han; Ricardo G. Sanfelice (IEEE Control. Syst. Lett., 2023)

Certifying the LTL Formula p Until q in Hybrid Systems. - Hyejin Han; Mohamed Maghenem; Ricardo G. Sanfelice (IEEE Trans. Autom. Control., 2023)

Characterization of eventual conditional invariance for hybrid dynamical systems. - Mohamed Maghenem; Hyejin Han; Ricardo G. Sanfelice (Autom., 2024)