Home | deutsch  | Impressum | Data Protection | Sitemap | KIT

Guarantees by Design

Guarantees by Design

Challenges and Goals

Engineers face the challenge to consider all possible uncertainties during the development of a technical product. This is a crucial point in every development process and needs special attention for safety critical systems. Therefore, guaranteed statements about the behavior of technical systems are particularly important.

 

The goal is to tackle complex as well as distributed parameter systems for a great variety of upcoming challenges.

Autonomous Driving Energy Supply Industry 4.0

To accomplish such challenges, innovative descriptions of these systems are required. The research group Guarantees by Design investigates methods to design specifications and develops systems which create (estimation) or satisfy (control) guaranteed boundaries.

In an estimation setting, these guarantees are interpreted as certain intervals enclosing the states while in the control setting, the guarantees are interpreted as operational limits which are given by the application.

Particularly methods weakening requirements, reducing or simplifying assumptions bear the potential to save time and costs. Furthermore, formalized methods are less error prone and are thus leading to more reliable results.

 

 

Staff

Christoph Schnurr

Research Associate

Research Interest:
Model predictive control of synchronous machines

Florian Siebenrock

Research Associate

Research Interest:
Verified trajectory planning for mobile robots

Manuel Schwartz

Research Associate

Research Interest:
Control allocation of 4WS4WD electric vehicles

   

 

Student Assistents

Bachelor- and Master Students

Open Theses

Open Theses Guarantees by Design
Title Type Supervisor
Bachelor Thesis
Bachelor Thesis
Bachelor Thesis
Master Thesis
Master Thesis


Publications


2019
2018
2017
2016
2015
2014
2013