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.
| Originalsprog | Engelsk |
|---|---|
| Titel | Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems |
| Antal sider | 13 |
| Publikationsdato | 1998 |
| Sider | 79-90 |
| Status | Udgivet - 1998 |
| Udgivet eksternt | Ja |
Emneord
- Duration Calculus
- Robotics
- Mechanical Design
- Specification and Verification
- Assumption Commitment Style