Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Originaltitel:
Modeling and Identification for Formally Safe Human-Robot Interaction
Übersetzter Titel:
Modellierung und Identifikation für formal sichere Mensch-Roboter Interaktion
Autor:
Liu, Boson Stefan
Jahr:
2024
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
Betreuer:
Althoff, Matthias (Prof. Dr.)
Gutachter:
Althoff, Matthias (Prof. Dr.); Platzer, André (Prof. Dr.)
Sprache:
en
Fachgebiet:
TEC Technik, Ingenieurwissenschaften (allgemein)
TU-Systematik:
DAT 260; DAT 815
Kurzfassung:
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...     »
Übersetzte Kurzfassung:
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
Eingereicht am:
11.12.2023
Mündliche Prüfung:
24.07.2024
Dateigröße:
19989294 bytes
Seiten:
103
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240724-1728583-1-4
Letzte Änderung:
27.09.2024
 BibTeX