Hyejin Han

According to our database, Hyejin Han authored at least 7 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Certifying the LTL Formula p Until q in Hybrid Systems.

Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice

IEEE Trans. Autom. Control., July, 2023

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

2020

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems.

Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2018

A Hybrid Control Algorithm for Object Grasping Using Multiple Agents.

Hyejin Han, Ricardo G. Sanfelice

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.

Hyejin Han, Ricardo G. Sanfelice

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2015

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

Proceedings of the 36th Annual Conference of the European Association for Computer Graphics, 2015

2014

Real-time optimization for the high-fidelity of human motion imitation.

Hyejin Han, Jounghuem R. Kwon, Ji-Yong Lee, Romain Destenay, Bum-Jae You

Proceedings of the 11th International Conference on Ubiquitous Robots and Ambient Intelligence, 2014