Hyejin Han
Orcid: 0000-0002-1669-3177
According to our database1,
Hyejin Han
authored at least 8 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Autom., 2024
2023
IEEE Trans. Autom. Control., July, 2023
Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems.
IEEE Control. Syst. Lett., 2023
2020
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
2018
Proceedings of the IEEE Conference on Control Technology and Applications, 2018
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.
Proceedings of the 36th Annual Conference of the European Association for Computer Graphics, 2015
2014
Proceedings of the 11th International Conference on Ubiquitous Robots and Ambient Intelligence, 2014