Journal article icon

Journal article

Designing a controller that works. Using formal techniques in robotic systems

Abstract:

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 (often known generically as formal methods) in designing the software architecture of a mobile robot controller to gain greater understanding of the system and to validate its expected performance. ...

Expand abstract

Actions


Authors


Probert, PJ More by this author
Stamper, R More by this author
Journal:
Computing and Control Engineering Journal
Volume:
2
Issue:
6
Pages:
263-268
Publication date:
1991-11-05
ISSN:
0956-3385
URN:
uuid:3b615a98-284a-47b9-9e89-0ee4116c1014
Source identifiers:
324731
Local pid:
pubs:324731
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP