커뮤니티 | Community

세미나

[세미나] [전기정보세미나3] Safety Verification and Control of Intelligent Dynamical Systems

2022-03-22l 조회수 990





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 연구원



담당교수: 전기·정보공학부 박세웅 / 문의: 박준하(jhpark@netlab.snu.ac.kr)

 

RELATED LINKS



학부연구실+ more  


TOP