Text

Workshop on Trustworthy AI-enabled Cyber-Physical Systems

About

Trust CPS-AI is a workshop on Trustworthy AI-enabled Cyber-Physical Systems, addressing the challenges of integrating AI into CPS in a dependable, explainable, and certifiable manner. It provides a platform for discussing formal methods, runtime assurance, regulation-aware design, and the engineering of trustworthy AI components in domains like automotive, avionics, and industrial automation.

The workshop features invited talks by Edward A. Lee (UC Berkeley) on the trade-off between certainty and intelligence; Pierluigi Nuzzo (UC Berkeley) on assume-guarantee contracts for autonomy; Hazem Torfah (Chalmers) on learning and monitoring operational design domains; Shiva Sander Tavallaey (ABB/KTH) on balancing innovation and reliability in industrial AI systems; Claire Pagetti (ONERA) on certifiable ML in airborne systems; Matthias Wagner (Lund) on the impact of the EU AI Act; and Marjan Sirjani (MDU) on runtime guardrails for AI-based CPS.

For online participation, a Zoom link will be provided.

  • Date: May 21 (Wednesday), 2025
  • Time: 09:00 – 17:00
  • Location: Room Omega, Mälardalen University, Västerås
  • Contact: marjan.sirjani@mdu.se

Register here

Invited Speakers

Edward A. Lee, UC Berkeley, USA

Hazem Torfah, Chalmers University of Technology, Sweden

Marjan Sirjani, Mälardalen University, SwedenMatthias Wagner, Lund University, Sweden

Shiva Sander Tavallaey, ABB and KTH, Sweden

Claire Pagetti, ONERA, France

Pierluigi Nuzzo, UC Berkeley, USA

Schedule

09:00 - 10:00 Edward Lee: Certainty or Intelligence: Pick One!

10:00 - 10:15 Break

10:15 - 11:00 Hazem Torfah: Learning and Monitoring the Operational Design Domain for AI-Based Autonomy

11:00 - 12:00 Marjan Sirjani and the team: Guardians of the AI-enabled Cyber-Physical Systems

12:00 - 13:00 Lunch Break*

13:00 - 13:40 Matthias Wagner: The EU AI Act in Light of CPS: Assessing the Challenges and Impact of the Act’s Requirements on Industry

13:40 - 14:10 Shiva Sander Tavallaey: Trustworthy AI in Industrial Contexts: Balancing Innovation and Reliability

14:10 - 15:00 Panel

15:00 - 15:15 Break

15:15 - 16:00 Claire Pagetti (Online): Certification of Machine Learning Based System - Contribution of Formal Verification

16:00 - 17:00 Pierluigi Nuzzo (Online): Assume-Guarantee Contracts for Trustworthy Autonomous Cyber-Physical Systems

  • Lunch will not be provided by the workshop, we will have lunch at the Rosenhill restaurant at MDU. Welcome to join and pay yourself.