FAS-CPS: Flexible and Adaptive Scheduling for Cyber-Physical Systems lab


  • Nan Chen (2023-), Research Fellows, Digital Twin for Adaptive Scheduling in Avionics (on SCHEME project)


  • Zou Jie (2019-2023), Safety-Driven Timing-Predictable and Resource-Efficient Scheduling for Autonomous Systems, co-supervised with Prof. FREng. John McDermid | Research Fellow, University of York

MSc/MEng students:

  • Zirui Yuan (2023), “Discrete Simulation of Routerless NoCs”
  • Zhijian Wang (2021), Priority Assignment Algorithms in Multiprocessor Real-Time Systems with Shared Resources | Research Scientist, Tesla
  • Zixun Yu (2021), Smart Intersection Control with Back-Pressure Algorithms, co-supervised | Research Scientist in Smart Transportation

UG students:

  • Dipken Fung (2023), Dean Kenny (2021), Jay Brooks (2021)

Information for prospective PhD students:

Note that a PhD programme is a commitment of 3-4 years of hard work, and you should have the expectation that this is a hard path to go, and not everyone can finish it. If you are (still) interested in applying for a PhD, please continue to read —

I am happy to supervise the following research directions with some example topics:

  • (R.1) Scheduling and allocation of real-time systems
    • Novel scheduling and allocation methods for real-time systems
    • Interference and contention modelling and analysis on multi- and many-cores
    • Scheduling on complex architectures, including many-cores and CPU-GPU heterogeneous platforms
  • (R.2) Addressing timing problems in Robotics and AI
    • Timing assurance of robotic and autonomous systems using, for example, probabilistic models and formal methods
    • Multi-robot systems scheduling, management and coordination
    • Timing analysis of ROS 2 executors
  • (R.3) Design and verification of Long-lived Cyber-Physical Systems
    • Using digital twin to develop and improve CPS
    • Formal verification of CPS
  • (R.4) Hardware for real-time systems and internet-of-things
    • Efficient, safe, secure hardware for RTS and IoT applications.
    • Instruction set architecture (ISA) for real-time systems.

Please drop me an email (xiaotian.dai (at) if you want to discuss this further. I am happy to discuss immature ideas and would appreciate it if a more detailed proposal (details are here) could be provided to ease the discussion. The entry date for PhDs is normally in October, but other starting dates can be settled.

The department is offering a limited number of studentships, details can be found here.

Current MSc/UG3 projects:

  • (UG3) Simulating and improving the scheduling in Time-Sensitive Networks
  • (UG3) Large-scale scheduling of Time-Sensitive Networks
  • (MSc) Traffic scheduling for smart transportation
  • (MSc) Discrete simulation of Routerless Network-on-Chips