Behavior based definition of dependability for autonomous mobile systems

In this paper a formal definition for dependability of autonomous mobile systems is proposed. The presented concept is based on the framework of Willems. The definition for dependability aims at providing the system designer/architect with a method for analysing the dependability of autonomous mobil...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Rüdiger, Jan (VerfasserIn) , Wagner, Achim (VerfasserIn) , Badreddin, Essameddin (VerfasserIn)
Dokumenttyp: Kapitel/Artikel Konferenzschrift
Sprache:Englisch
Veröffentlicht: 2007
In: Control Conference (ECC), 2007 European
Year: 2007, Pages: 4146-4151
DOI:10.23919/ECC.2007.7068685
Online-Zugang:Verlag, Volltext: https://ieeexplore.ieee.org/document/7068685
Verlag, Volltext: https://doi.org/10.23919/ECC.2007.7068685
Volltext
Verfasserangaben:Jan Rüdiger, Achim Wagner and Essam Badreddin
Beschreibung
Zusammenfassung:In this paper a formal definition for dependability of autonomous mobile systems is proposed. The presented concept is based on the framework of Willems. The definition for dependability aims at providing the system designer/architect with a method for analysing the dependability of autonomous mobile systems.
Beschreibung:Gesehen am 18.06.2019
Beschreibung:Online Resource
ISBN:3952417386
9783952417386
DOI:10.23919/ECC.2007.7068685