한수진 교수
Soojean Han
KAIST 반도체시스템공학과 · 컴퓨터과학
연구실 소개
한수진 교수의 연구실은 실시간 안정성 보장과 효율성 확보를 동시에 달성하는 지능형 시스템 설계를 핵심으로 하며, 특히 실시간 경로 계획, 대규모 분산 제어, 정보 갱신성, 비선형 확률적 시스템의 안정성, 그리고 다중 에이전트 환경에서의 지속 가능한 강화학습 메모리 아키텍처 등에 초점을 맞추고 있습니다. 복잡한 시스템의 안정성과 효율성을 동시에 확보하기 위한 수학적 프레임워크와 최적화 기반 제어 설계 기법을 개발하고 있으며, IoT, 자율주행, 스마트 교통 등 실생활 응용 분야에 기여하고자 합니다. 특히, 실시간성과 안전성을 동시에 확보하는 FaSTrack 프레임워크, 시스템 수준 합성(SLS) 기반의 스케일러블 제어 설계, 그리고 에피소딕 메모리 기반의 효율적 강화학습 아키텍처 등 혁신적인 기술적 접근을 선도하고 있습니다.
연구 현황
연구 성과 추이
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
주요 논문
15Real-time, guaranteed safe trajectory planning is vital for navigation in unknown environments. However, real-time navigation algorithms typically sacrifice robustness for computation speed. Alternatively, provably safe trajectory planning tends to be too computationally intensive for real-time replanning. We propose FaSTrack, Fast and Safe Tracking, a framework that achieves both real-time replanning and guaranteed safety. In this framework, real-time computation is achieved by allowing any tra
System Level Synthesis (SLS) parametrization facilitates controller synthesis for large, complex, and distributed systems by incorporating system level constraints (SLCs) into a convex SLS problem and mapping its solution to stable controller design. Solving the SLS problem at scale efficiently is challenging, and current attempts take advantage of special system or controller structures to speed up the computation in parallel. However, those methods do not generalize as they rely on the specifi
Abstract We present a theoretical framework for characterizing incremental stability of nonlinear stochastic systems perturbed by either compound Poisson shot noise or finite‐measure Lévy noise. For each noise type, we compare trajectories of the perturbed system with distinct noise sample paths against trajectories of the nominal, unperturbed system. We show that for a finite number of jumps arising from the noise process, the mean‐squared error between the trajectories exponentially converge t
With the advent of the Internet of Things (IoT), applications are becoming increasingly dependent on networks to not only transmit content at high throughput but also deliver it when it is fresh , i.e., synchronized between source and destination. Existing studies have proposed the metric age of information (AoI) to quantify freshness and have system designs that achieve low AoI. However, despite active research in this area, existing results are not applicable to general wired networks for two
Episodic control, inspired by the role of episodic memory in the human brain, has been shown to improve the sample inefficiency of model-free reinforcement learning by reusing high-return past experiences. However, the memory growth of episodic control is undesirable in large-scale multi-agent problems such as vehicle traffic management. This paper proposes a novel replay memory architecture called Dual-Memory Integrated Learning, to augment to multi-agent reinforcement learning methods for cong
We propose a unified framework for robustly and adaptively stabilizing large-scale networked uncertain Markovian jump linear systems (MJLS) under external disturbances and mode switches that can change the network's topology. Adaptation is achieved by using minimal information on the disturbance to identify modes that are consistent with observable data. Robust control is achieved by extending the system level synthesis (SLS) approach, which allows us to pose the problem of simultaneously stabil
We are motivated by the lack of discussion surrounding methodological control design procedures for nonlinear shot and Lévy noise stochastic systems to propose a hierarchical controller synthesis method with two parts. The first part is a primitive pattern-learning component which recognizes specific state sequences and stores in memory the corresponding control action that needs to be taken when the sequence has occurred. The second part is a modulation control component which computes the opti
Incorporating pattern-learning for prediction (PLP) in many discrete-time or discrete-event systems allows for computation-efficient controller design by memorizing patterns to schedule control policies based on their future occurrences. In this paper, we demonstrate the effect of PLP by designing a controller architecture for a class of linear Markovian jump systems (MJS) where the aforementioned ``patterns'' correspond to finite-length sequences of modes. In our analysis of recurrent patterns,
대표 연구 분야
한수진 교수의 연구를 Nubint에서 더 깊이 살펴보세요
이 연구실의 논문을 앱에서 열어 AI와 함께 읽고, 핵심을 요약하고, 내 글에 인용하세요.