Designing a controller that works. Using formal techniques in robotic systems
The size and complexity of robot controllers is such that it is impossible to predict their performance by conventional means. Debugging and system maintenance are major problems which have only partial solutions. In conjunction with careful structuring, we have used formal mathematical techniques (...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
1991
|