Query Processing for Probabilistic State Diagrams Describing Multiple Robot Navigation in an Indoor Environment

This paper describes the syntax and semantics of multi-level state diagrams to support probabilistic behavior of cooperating robots. The techniques are presented to analyze these diagrams by querying combined robots behaviors. It is shown how to use state abstraction and transition abstraction to create, verify and process large probabilistic state diagrams. This paper addresses the problems in the area of robot navigation in an indoor environment. The authors assume that the robot not only responds directly to the environment but also to actions of other robots.

Provided by: The Society of Digital Information and Wireless Communications (SDIWC) Topic: Software Date Added: Dec 2011 Format: PDF

Find By Topic