Formal methods use verification models to create safe-by-design robotic controllers and to mathematically prove safety. However, the challenge is bridging the gap between model and reality. This dissertation proposes a framework for identifying models for verifying safety. This is achieved by considering uncertainties in the model, measuring the real system, and adapting the uncertainties, such that a reachset conformance relation between the identified model and the real system is established.     «

Formal methods use verification models to create safe-by-design robotic controllers and to mathematically prove safety. However, the challenge is bridging the gap between model and reality. This dissertation proposes a framework for identifying models for verifying safety. This is achieved by considering uncertainties in the model, measuring the real system, and adapting the uncertainties, such that a reachset conformance relation between the identified model and the real system is establis...     »

Formale Methoden verwenden Verifikationsmodelle, um sichere Robotersteuerungen zu entwickeln. Die Herausforderung besteht jedoch darin, die Kluft zwischen Modell und Realität zu überbrücken. In dieser Dissertation werden Methoden vorgeschlagen zur Identifizierung von Modellen für die Verifikation von Sicherheit. Dies wird erreicht durch Berücksichtigung von Unsicherheiten im Modell, Messung des realen Systems und Anpassung der Unsicherheiten, so dass eine Reachset-Konformanz hergestellt wird.     «

Formale Methoden verwenden Verifikationsmodelle, um sichere Robotersteuerungen zu entwickeln. Die Herausforderung besteht jedoch darin, die Kluft zwischen Modell und Realität zu überbrücken. In dieser Dissertation werden Methoden vorgeschlagen zur Identifizierung von Modellen für die Verifikation von Sicherheit. Dies wird erreicht durch Berücksichtigung von Unsicherheiten im Modell, Messung des realen Systems und Anpassung der Unsicherheiten, so dass eine Reachset-Konformanz hergestellt wird...     »