Skip to search box Skip to navigation Skip to main content

Specification and Verification of Complex Robotics Tasks

Rune Møller Jensen

Technical University of Denmark

Research Output:

Conference Article in Proceeding or Book/Report chapter

Article in proceedings

Peer-review

Open access

Publication Information

Output type

Research Output:

Conference Article in Proceeding or Book/Report chapter

Article in proceedings

Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 79-90 (13 pages)

Publication milestones

Published - 1998

Publication status

Published - 1998

Host publication title

Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems

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.

Access to documents

Final published version, 164.48 KB