3 papers
eess.SY2025
Invariance Guarantees using Continuously Parametrized Control Barrier Functions
Inkyu Jang, H. Jin Kim
Constructing a control invariant set with an appropriate shape that fits within a given state constraint is a fundamental problem in safety-critical control but is known to be diff…
cs.RO2025
Enhancing Feature Tracking Reliability for Visual Navigation using Real-Time Safety Filter
Dabin Kim, Inkyu Jang, Youngsoo Han +2
Vision sensors are extensively used for localizing a robot's pose, particularly in environments where global localization tools such as GPS or motion capture systems are unavailabl…
eess.SY2024
Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function
Dabin Kim, H. Jin Kim
Constraint admissible positively invariant (CAPI) sets play a pivotal role in ensuring safety in control and planning applications, such as the recursive feasibility guarantee of e…