Toward the design of robotic software with verifiable safety

Chih Hong Cheng, Markus Rickert, Christian Buckly, Edward A. Leez, Alois Knoll

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

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 (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.

OriginalspracheEnglisch
TitelProceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Seiten622-623
Seitenumfang2
DOIs
PublikationsstatusVeröffentlicht - 2009
Veranstaltung2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009 - Seattle, WA, USA/Vereinigte Staaten
Dauer: 20 Juli 200924 Juli 2009

Publikationsreihe

NameProceedings - International Computer Software and Applications Conference
Band1
ISSN (Print)0730-3157

Konferenz

Konferenz2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Land/GebietUSA/Vereinigte Staaten
OrtSeattle, WA
Zeitraum20/07/0924/07/09

Fingerprint

Untersuchen Sie die Forschungsthemen von „Toward the design of robotic software with verifiable safety“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren