Taewan Kim

Papers

Total Citations

H-Index

About

Taewan Kim is an emerging researcher specializing in control theory, nonlinear systems, and formal methods for safety-critical autonomous systems. His work focuses on the intersection of trajectory optimization and robust control, with particular emphasis on developing computational frameworks that guarantee safety and stability in real-world applications. Kim's most notable contribution to date is his 2024 paper introducing a joint synthesis algorithm for trajectories and controlled invariant funnels (CIF) in discrete-time systems with locally Lipschitz nonlinearities. This work addresses a fundamental challenge in robust control: simultaneously computing safe invariant sets and corresponding feedback policies for nonlinear systems subject to bounded disturbances — a problem with direct implications for autonomous vehicles, robotics, and aerospace systems. By unifying trajectory and funnel synthesis into a single computational procedure, Kim's approach offers a more efficient and practically viable path to verified motion planning under uncertainty. With 7 citations in its debut year, this paper has already attracted meaningful attention from the controls and verification communities, signaling strong early impact. Kim represents a promising voice in the growing field of safe autonomy, where rigorous mathematical guarantees are increasingly essential as autonomous systems move into high-stakes environments.