Specification and Verification of Complex Robotics Tasks

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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.
Original languageEnglish
Title of host publicationProceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems
Number of pages13
Publication date1998
Publication statusPublished - 1998
Externally publishedYes


  • Duration Calculus
  • Robotics
  • Mechanical Design
  • Specification and Verification
  • Assumption Commitment Style


Dive into the research topics of 'Specification and Verification of Complex Robotics Tasks'. Together they form a unique fingerprint.

Cite this