Specification and Verification of Complex Robotics Tasks

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


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.
TitelProceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems
Antal sider13
StatusUdgivet - 1998
Udgivet eksterntJa


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