Specification and Verification of Complex Robotics Tasks

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstract

This paper applies duration calculus to the specification and verification of a complex robotics task: Fingers grasping an object. We present a model of the relevant features of the mechanical design and provide a specification for sensors, actuators and a controller. Requirements are then specified in an assumption commitment style, and it is checked through calculation that the design satisfies the requirements.
OriginalsprogEngelsk
TitelProceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems
Antal sider13
Publikationsdato1998
Sider79-90
StatusUdgivet - 1998
Udgivet eksterntJa

Fingeraftryk

Dyk ned i forskningsemnerne om 'Specification and Verification of Complex Robotics Tasks'. Sammen danner de et unikt fingeraftryk.

Citationsformater