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 language | English |
|---|---|
| Title of host publication | Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems |
| Number of pages | 13 |
| Publication date | 1998 |
| Pages | 79-90 |
| Publication status | Published - 1998 |
| Externally published | Yes |
Keywords
- Duration Calculus
- Robotics
- Mechanical Design
- Specification and Verification
- Assumption Commitment Style