Yulong Gao, PhD
Lecturer (= Assistant Professor), Control and Power Group
Department of Electrical and Electronic Engineering
Imperial College London
Email: yulong.gao[at]imperial.ac.uk
Address: South Kensington Campus London SW7 2AZ, UK
Links: Google Scholar, ORCID
I am looking for Ph.D students. The applicants should have a Distinction/First class grade Master’s degree in electrical engineering, computer science or a related field, and strong knowledge in optimization, programming, and mathematics.
Research Interests
Modeling, analysis, and control of safety-critical systems, including but not limited to
model predictive control
formal verification and control
reachability and invariance
human-in-the-loop systems
News
04/2024 One paper on learning-based rigid tube MPC is to appear in L4DC
01/2024 One paper on CTL model checking over distributional space is to appear in HSCC 2024.
11/2023 One paper on distributional reachability is to appear in IEEE TAC.
10/2023 One paper on tube-based temporal logic trees is to appear in IJRR.
07/2023 I am excited to announce that I will be joining the Control and Power Group at the Department of Electrical and Electronic Engineering at the Imperial College London as a Lecturer (= Assistant Professor) in January 2024.
04/2023 One paper on policy evaluation in distributional LQR is to appear in L4DC
07/2022 One paper on risk-aware MPC is to appear in 61st IEEE CDC.
09/2021 One paper on temporal logic trees is to appear in IEEE TAC.
08/2021 One paper on risk-aware optimal control for automated overtaking is to appear in IEEE TCST.
01/2021 One paper on invariant cover is to appear in Automatica.
12/2020: I successfully defended my PhD thesis!
12/2020: Our paper "Human-centered design for safe teleoperation of connected vehicles" was awarded to be the CPHS 2020 Best Student Paper.
11/2020: Please find my PhD thesis: Safe autonomy under uncertainty: computation, control and application.
10/2020 One paper on human-centered design for safe teleoperation is to appear in CPHS2020
09/2020 One paper on adaptive interpolating control is to appear in IJRNC
08/2020 One paper on probabilistic controlled invariant set is to appear in IEEE TAC
07/2020 One paper on safe LTL-specified vehicle parking control is to appear in 59th IEEE CDC
07/2020 Check our recent work on temporal logic trees for model checking and control synthesis
05/2020 One paper on probabilistic characterization of target set and region of atraction is to appear in 16th IEEE ICCA
05/2020 I was awarded a travel scholarship from Styffe Foundation in KTH