A logical and Algebraic Approach for Analyzing the Multi-sensor Cooperation System of the Mobile Robot
Hui Qian · Journal of Transcluction Technology · 2005
The task flows of data process in a muti-sensor cooperation system of the mobile robot are modeled by the Petri Nets and several typical buffer schemes.Based on this model of task flows,the semiring algebraic methods are introduced for the further qualitative and quantitative analysis.To validate above approach,a real autonomous mobile robot is taken as an example,to explore its architecture and buffer schemes.The result shows that this approach is effective and reasonable.