Theoretical Computer Science
Model checking
An Behavior-based Robotics
Verification and Validation of AI Systems that Control Deep-Space Spacecraft
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Hi-index | 0.00 |
This paper addresses the problem of verifying properties of behaviour-based systems used for controlling robots. A behaviour-based system typically consists of many interconnected components, the behaviours, which in combination realise the system's overall functionality. The connections between the behaviours are crucial for the correct operation of a system. Therefore, key properties of behaviour-based systems are verifiable based on their behaviour interconnections. In this paper, it is described how behaviour-based networks can be (automatically) modelled using finite-state machines and how model checking with the Uppaal toolbox can then be applied for verification and analysis tasks.