Specification and Verification of Complex Robotics Tasks

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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.
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
Pages79-90
Publication statusPublished - 1998
Externally publishedYes

Keywords

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

Fingerprint

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

Cite this