TY - GEN
T1 - Toward the design of robotic software with verifiable safety
AU - Cheng, Chih Hong
AU - Rickert, Markus
AU - Buckly, Christian
AU - Leez, Edward A.
AU - Knoll, Alois
PY - 2009
Y1 - 2009
N2 - 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 (fig. 1-a), 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.
AB - 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 (fig. 1-a), 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.
UR - http://www.scopus.com/inward/record.url?scp=70449623239&partnerID=8YFLogxK
U2 - 10.1109/COMPSAC.2009.89
DO - 10.1109/COMPSAC.2009.89
M3 - Conference contribution
AN - SCOPUS:70449623239
SN - 9780769537269
T3 - Proceedings - International Computer Software and Applications Conference
SP - 622
EP - 623
BT - Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
T2 - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Y2 - 20 July 2009 through 24 July 2009
ER -