A verified architecture for sensor fusion
Chris M. Pearson, Penelope J. Probert · 2002
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.>