Login / Signup
Hyejin Han
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 8
Top Topics
Temporal Logic
Dynamical Systems
Exponential Stability
Partially Observable
Top Venues
CoRR
IEEE Control. Syst. Lett.
HSCC
ADHS
</>
Publications
</>
Mohamed Maghenem
,
Hyejin Han
,
Ricardo G. Sanfelice
Characterization of eventual conditional invariance for hybrid dynamical systems.
Autom.
167 (2024)
Hyejin Han
,
Mohamed Maghenem
,
Ricardo G. Sanfelice
Certifying the LTL Formula p Until q in Hybrid Systems.
IEEE Trans. Autom. Control.
68 (7) (2023)
Hyejin Han
,
Ricardo G. Sanfelice
Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems.
IEEE Control. Syst. Lett.
7 (2023)
Hyejin Han
,
Mohamed Maghenem
,
Ricardo G. Sanfelice
Certifying the LTL Formula p Until q in Hybrid Systems.
CoRR
(2021)
Hyejin Han
,
Mohamed Maghenem
,
Ricardo G. Sanfelice
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems.
HSCC
(2020)
Hyejin Han
,
Ricardo G. Sanfelice
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.
CoRR
(2018)
Hyejin Han
,
Ricardo G. Sanfelice
A Hybrid Control Algorithm for Object Grasping Using Multiple Agents.
CCTA
(2018)
Hyejin Han
,
Ricardo G. Sanfelice
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.
ADHS
(2018)
Ki-Won Yeom
,
Hyejin Han
,
Yoonsik Oh
,
Jeunghum Kwon
,
Bum-Jae You
SpatialWhiteboard: A New Wearable Air-Writing Interaction with Kinect Sensor and Vibrating Ring Interface.
Eurographics (Posters)
(2015)
Hyejin Han
,
Jounghuem R. Kwon
,
Ji-Yong Lee
,
Romain Destenay
,
Bum-Jae You
Real-time optimization for the high-fidelity of human motion imitation.
URAI
(2014)