Computer Science · Computational Theory and Mathematics
A verified architecture for sensor fusion
Chris M. Pearson, P.J. Probert
See on the mapAbstract
An architecture for the control of a multi-sensor mobile robot is proposed. The architecture is based on the subsumption approach, but with limited sharing of data between behaviours. The mechanisms were developed with the aid of the formal CSP notation, and critical parts have been proved deadlock free.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>