DocumentCode
501652
Title
Toward the Design of Robotic Software with Verifiable Safety
Author
Cheng, Chih-Hong ; Rickert, Markus ; Buckl, Christian ; Lee, Edward A. ; Knoll, Alois
Author_Institution
Dept. of Inf., Tech. Univ. Munich, Munich, Germany
Volume
1
fYear
2009
fDate
20-24 July 2009
Firstpage
622
Lastpage
623
Abstract
In this abstract, we mention some challenges and preliminary solutions toward designing robotic software with verifiable safety. We use a 2D planar robot as example, which has an arm with fixed or moving base. Also, computational stereo for precise (or imprecise) location of the object or obstacle is assumed. Our simple scenario is to perform object retrieval, but safety requirements should be assured, for example, to avoid moving obstacles.
Keywords
collision avoidance; control engineering computing; manipulators; mobile robots; 2D planar robot; computational stereo; moving obstacle avoidance; object retrieval; robotic software design; verifiable safety; Algorithm design and analysis; Application software; Computer applications; Informatics; Motion control; Robot sensing systems; Smoothing methods; Software design; Software safety; USA Councils; robotics; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International
Conference_Location
Seattle, WA
ISSN
0730-3157
Print_ISBN
978-0-7695-3726-9
Type
conf
DOI
10.1109/COMPSAC.2009.89
Filename
5254205
Link To Document