Home
Pian Yu
Postdoctoral Research Associate
Department of Computer Science, University of Oxford
Supervisor: Prof. Marta Kwiatkowska
Email: pian.yu@cs.ox.ac.uk
Address: Wolfson Building, Parks Road, Oxford, OX1 3QD
Links: Google Scholar, ORCID
You can find my CV here.
Recent News
12/2023: My paper entitled "Continuous-time control synthesis under nested signal temporal logic specifications" is accepted for publication in IEEE Transactions on Robotics (T-RO).
10/2023: I was selected as a DAAD AInet fellow.
10/2023: My ppaer entitled "Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications" is accepted for publication in the International Journal of Robotics Research (IJRR).
08/2023: I am selected as future digileaders by Digital Futures.
08/2022: I am employed as a Postdoctoral Research Associate at University of Oxford, and supervised by Prof. Marta Kwiatkowska.
05/2021: I gave a talk at UCLouvain , hosted by Prof. Raphael Jungers.
04/2021: I am employed as a postdoctoral researcher at Division of DCS, KTH, and supervised by Prof. Dimos V. Dimarogonas.
02/2021: I successfully defended my PhD.
02/2021: My PhD defense is scheduled on the 11th February, 2021. The opponent will be Christos G. Cassandras and the committee members will be Ming Cao, Jie Fu and Karl-Erik Årzén.
07/2020: I was a Best Student Paper Award finalist of ACC 2020.
01/2020: Our paper A fully distributed motion coordination strategy for multi-robot systems with local information has been accepted for presentation and publication at the ACC 2020 to be held in Denver.
12/2019 I presented our paper Approximately symbolic models for a class of continuous-time nonlinear systems at CDC 19 in Nice, France.
10/2019: I gave a talk at University of Oxford , hosted by Prof. Alessandro Abate.
Brief Biography
I am a Postdoctoral Research Associate at Department of Computer Science, University of Oxford. Prior to this position, I was a Postdoctoral Researcher at KTH Royal Institute of Technology within the Division of Decision and Control Systems supervised by Prof. Dimos V. Dimarogonas. I received my PhD in Electrical Engineering from KTH Royal Institute of Technology in Feb. 2021, my M.Sc. degree in Control Theory and Control Engineering and B.Sc. degree in Automation from Wuhan University (China) in 2016 and 2013, respectively. In November 2016, I was selected for KTH's Program of Excellence. I was a Student Best Paper Award finalist at the 2020 American Control Conference in Denver.
Research Interests
I am interested in general the planning and control of multi-agent systems, human-agent systems, with applications to intelligent robots. My research aims at developing scalable and provably safe control algorithms that enable robots and/or humans to complete high-level tasks in complex and probably time-varying environments. My research area includes but not limited to:
verification and synthesis for uncertain systems
human-robot collaboration
motion planning and control synthesis for multi-agent/robot systems
formal methods
event-based scheduling and control
reachability analysis