User: Guest  Login
Less Searchfields
Simple search
Original title:
Modeling and Identification for Formally Safe Human-Robot Interaction
Translated title:
Modellierung und Identifikation für formal sichere Mensch-Roboter Interaktion
Author:
Liu, Boson Stefan
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
Advisor:
Althoff, Matthias (Prof. Dr.)
Referee:
Althoff, Matthias (Prof. Dr.); Platzer, André (Prof. Dr.)
Language:
en
Subject group:
TEC Technik, Ingenieurwissenschaften (allgemein)
TUM classification:
DAT 260; DAT 815
Abstract:
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...     »
Translated abstract:
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...     »
WWW:
https://mediatum.ub.tum.de/?id=1728583
Date of submission:
11.12.2023
Oral examination:
24.07.2024
File size:
19989294 bytes
Pages:
103
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240724-1728583-1-4
Last change:
27.09.2024
 BibTeX