A logical and Algebraic Approach for Analyzing the Multi-sensor Cooperation System of the Mobile Robot

Hui QIAN
DOI: https://doi.org/10.3969/j.issn.1004-1699.2005.03.026
2005-01-01
Abstract: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 [max, +] 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.
What problem does this paper attempt to address?