Autonomous system

Trust, But Verify: Towards Self-Aware, Safe, Autonomous Self-Driving Systems

Prof. Fadi Kurdahi

Nov 27, 09:30 - 10:15

B2 5220

Autonomous system

Abstract Mobile autonomous devices use sophisticated algorithms to automatically navigate diverse physical environments in a safe manner. Guaranteeing system safety while optimizing resource-usage of an autonomous device’s computer is an outstanding challenge. Runtime verification helps provide robustness by monitoring application execution at runtime. These systems operate in dynamic environments, requiring self-aware runtime management to maximize lifetime while enforcing safe execution. Safe execution and lifetime management require consideration of performance and efficiency, two

Yi-Hsuan Chen

M.S. Student, Mechanical Engineering

Control Theory Autonomous system Flight Dynamics

Education 2020.08 - 2022.04 M.S. Student in Mechanical Engineering, KAUST, KSA " Control design and analysis for reduced-gravity atmospheric flights." 2015.09 - 2019.06 B.S. in Aeronautics and Astronautics, National Cheng Kung University, Taiwan Professional Profile 2019.09 - 2020.06 Teaching Assistant, Department of Aeronautics and Astronautics, National Cheng Kung University, Taiwan Honors and Awards 2019.06 Honorary Member of Phi Tau Phi Scholastic Honor Society 2018.05 Professor Li Ke-Rang Scholarship Selected Publications Lien, Y.-H.; Peng, C.-C.; Chen, Y.-H. "Adaptive Observer-Based