Title :
Behavior based definition of dependability for autonomous mobile systems
Author :
Rudiger, Jan ; Wagner, Achim ; Badreddin, Essam
Author_Institution :
Univ. of Mannheim, Mannheim, Germany
Abstract :
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.
Keywords :
controllability; mobile robots; Willems framework; autonomous mobile system dependability; Availability; Controllability; Mobile communication; Safety; Trajectory;
Conference_Titel :
Control Conference (ECC), 2007 European
Conference_Location :
Kos
Print_ISBN :
978-3-9524173-8-6
