Research

My research focuses on real-time systems, cyber-physical systems and robotics. Specifically,

  • Real-Time/Embedded Systems
    • Real-time scheduling models and timing verification
    • Real-time operating systems (RTOS)
    • Real-time programming languages
    • Control and real-time scheduling co-design
  • Cyber-Physical Systems (CPS)
    • Model-based systems engineering (MBSE) in CPS
    • Model-based safety assurance of CPS
    • Industrial control and real-time communication
    • Autonomous driving / intelligent transportation
  • Robotics
    • Vision-based localization and tracking
    • Deep Reinforcement Learning (DRL) and Transfer Learning (TL)
    • Simultaneous localization and mapping (SLAM)

Research Projects

Below is a list of projects I am/was involved:

(2017 - 2019) DEIS: Dependability Engineering Innovation for CPS

EU-funded Horizon 2020 project, 4.9M€, [Project homepage]

Cyber-Physical-Systems (CPS) provide the potential for vast economic and societal impact in domains such as automotive, health care and home automation. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge by developing technologies that enable a science of dependable system integration. Such technologies facilitate the efficient synthesis of components and systems based on their dependability information. The key innovation in the approach of the DEIS project is the concept of Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS component. DDIs are used for the integration of components into systems during development as well as for the dynamic integration of systems into systems of systems in the field.

(2015 - 2018) ATAS: Adaptive Task Scheduling Framework for CPS

PhD research project, University of York