Functional Safety Control

Guarantees by Design

Mission

As automated systems grow more complex and expand to operate autonomously in open environments, ensuring safe operation solely through testing-based system verification becomes increasingly impractical. The Functional Safety Control research group therefore aims to redefine how the functional safety of automation systems is assured: our goal is to reduce the testing effort required for system verification by formally ensuring safety-related specifications in the design process without imposing overly conservative system behavior.

Approach

We pursue this mission by developing safe-by-design methods that make functional safety a formally verifiable property of the system design, rather than a conclusion drawn from testing. Our work spans three tightly connected layers: formal controller synthesis methods that provide robust safety guarantees, safe motion planning algorithms that maintain these guarantees under real-world uncertainty, and compositional verification approaches that establish system-level functional safety through the formal verification of individual automation components and their interfaces. 

What sets our work apart from established robust control and formal verification approaches is the integration of all three layers within a unified control-theoretic framework, grounded in reachability analysis and differential game theory. This enables scalable, formally verified safety across complete automation architectures, aligned with regulatory certification standards such as ISO 26262 and IEC 61508. 

Working with industry partners in the automotive, robotics, and manufacturing sectors, we develop and validate our methods on application domains where ensuring functional safety without imposing overly conservative system behavior is particularly demanding: autonomous vehicles, mobile robots, industrial robots, and nanopositioning actuators.

Staff

  

Christopher Bohn

Head of Research Group

Research Interest:
Adaptive Robust Motion Generation through Differential Games

   

Ben-Micha Piscol

Research Associate

Research Interest:
AI-based vehicle control

Andreas Zürcher

Research Associate

Research Interest:
Control of overactuated nano positioning systems

Manuel Hess

Research Associate

Research Interest:
Trajectory planning with consideration of motion sickness

Lorenz Fehn

Research Associate

Research Interest:
Trajectory planning under uncertainty

Jan Riffel

Research Associate

Research Interest:
 

   

 

Publications


2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013