Teaching
Instructor:
Mathematics for AI (AIAA 2711), Hong Kong University of Science and Technology (Guangzhou),China, since Feb. 2025
AI Security and Privacy(AIAA 5033), Hong Kong University of Science and Technology (Guangzhou),China, since Feb. 2025
General Physics I(UFUG-1501), Hong Kong University of Science and Technology (Guangzhou),China, since Feb. 2025
Simplex: Fault-Tolerant Control Strategy for Real-Time Cyber-Physical Systems - Laboratory (MW2491), Technical University of Munich, Germany, from Summer Semester 2019 (new course) to Summer Semester 2022
Tutorial Concepts and Software Design for Cyber-Physical Systems (MW2411), Technical University of Munich, Germany, from Summer Semester 2022 to Summer Semester 2023
Teaching assistant:
Advanced Seminar on Safe Cyber-Physical Systems (MW2400), Technical University of Munich, Germany, since Summer Semester 2019
Development of Intelligent Distributed Embedded Systems in Mechatronics - Laboratory (MW1982), Technical University of Munich, Germany, from Winter Semester 2017/2018 to Winter Semester 2018/2019
Supervision of Master Thesis:
Jun You: Environmental-aware Control Architecture for Safety-critical Cyber-physical Systems - A Case Study for Quadrotor via Digital Twin, Summer Semester 2023
Jiaqi Cao: Learning from Demonstrations Using Signal Temporal Logics with Quantitative Interval Semantics, Summer Semester 2022
Richard Nai: State Feedback Control of Fixed Wing Unmanned Aerial Vehicles using Mixing Controller Models with Safety Guarantees, Winter Semester 2021/2022
Xingcheng Chen: Real-time Computation of Safety Envelope for Linear Parameter Varying Systems, Winter Semester 2020/2021
Supervision of Bachelor Thesis, Semester Thesis, and Interdisciplinary Project:
Hanyu Wu: Rapid Prototyping and Digital Twin of Unmanned Aerial Vehicles: A Case Study for Quadrotor Helicopters, Summer Semester 2022
Yanpeng Li: Simulation and Reinforcement Learning in Autonomous Vehicles: A Case Study of Platoon, Winter Semester 2021/2022
Richard Nai: Applying the Simplex Architecture to the uavAP Autopilot, Summer Semester 2021
Jiaqi Cao: RoMoTeS: A Toolbox for Robust Monitoring of Temporal Specifications in Cyber-Physical Systems, Winter Semester 2020/2021
Xingcheng Chen: Simplex Architecture for Cyber-physical Systems with Imprecise Model,Summer Semester 2019