PhD. defense at the Department of Computer Science, Aalborg University

#computer-science
Share

This thesis studies how to analyze and evaluate complex cyber-physical systems, which are systems observing the real world via sensors and affecting it through actuators. Examples of such systems include automated robots in warehouses, battery packs, and scheduling software for avionics. All these domains are distinct problems, but can all be modeled by related formalisms of extensions of Timed Automata. Common to all those formalisms, we have tools enabling efficient analysis of these models. Thus, the tools help us learn the paths the warehouse robots should follow, obtain control programs for managing the battery pack, and determine whether the scheduling policy for the avionics system is safe.


  Date and Time

  Location

  Hosts

  Registration


  • Add_To_Calendar_icon Add Event to Calendar
  • Selma Lagerløfs Vej 300
  • Aalborg East, Nordjyllands Amt
  • Denmark 9220
  • Building: Department of Computer Science
  • Room Number: 0.2.13
  • Click here for Map
  • Contact Event Host
  • Co-sponsored by Sean Bin Yang

  Speakers

Martin of Aalborg University

Topic:

The Power of Tools: Modeling and Analysis of Cyber-Physical Systems Via Timed Automata Extensions

 

Martin Kristjansen will defend his thesis, “The Power of Tools: Modeling and Analysis of Cyber-Physical Systems Via Timed Automata Extensions,” on Friday, 14 August 2026 at 13:00 in room 0.2.13, Selma Lagerlöfs Vej 300.

The thesis explores how complex cyber-physical systems, such as warehouse robots, battery packs, and avionics scheduling software, can be modeled and analyzed using extensions of Timed Automata. It highlights how specialized tools can support efficient analysis, helping to design robot paths, manage battery control programs, and verify the safety of scheduling policies.

Biography:

Martin Kristjansen is a Postdoctoral Researcher in the Department of Computer Science at Aalborg University, affiliated with the Technical Faculty of IT and Design. His research focuses on cyber-physical systems, automated system verification, probabilistic and symbolic AI, and distributed embedded intelligent systems.

His work includes topics such as timed automata, reinforcement learning, mobile robots, schedulability analysis, avionics, predictive models, and multicore systems. Through his research, he contributes to the modeling, analysis, and verification of complex systems where software interacts closely with the physical world.

Email:

Address:Selma Lagerløfs Vej 300, , Aalborg East, Denmark, 9220