[세미나] [전기정보세미나3] Safety Verification and Control of Intelligent Dynamical Systems
연사 :
일시 : 2022-03-24 ~
장소 :
951. Safety Verification and Control of Intelligent Dynamical Systems
연사: 안 희 진
일시: 2022년 3월 24일 (목), 17:00 ~ 18:00
장소: 화상강의: https://snu-ac-kr.zoom.us/j/94738006225
Abstract:
Intelligent dynamical systems, such as autonomous vehicles, are making huge impacts on the economy and environment. However, failures of these systems are still common, often leading to catastrophic consequences. In this talk, I will focus on the design of control that guarantees the safety of autonomous vehicles. The first topic is the design of a decision-maker that enables an autonomous vehicle to drive in urban traffic. Based on reachability analysis, the decision-maker ensures that the vehicle safely reaches a destination. The second topic is the design of a central agent that coordinates multiple vehicles at road intersections. The coordinator detects upcoming collisions based on scheduling, and overrides the vehicles to prevent such collisions. The last work is the design of stochastic control against uncertainties in neural networks. I use a sampling-based, scenario approach to guarantee the safety of the overall system in an autonomous driving example.
Biography:
l 학력
|
2012 (학사) |
서울대학교 기계항공공학부 |
|
|
2014 (석사) |
Massachusetts Institute of Technology, Mechanical Engineering |
|
|
2018 (박사) |
Massachusetts Institute of Technology, Mechanical Engineering |
|
|
|
|
|
l 경력
|
2022~현재 |
서울대학교 전기정보공학부 조교수 |
|
2020~2022 |
캐나다 The University of British Columbia 박사후연구원 |
|
2018~2019 |
미국 Mitsubishi Electric Research Laboratories 연구원 |
|
|
