Title: QUERY PROCESSING FOR PROBABILISTIC STATE DIAGRAMS DESCRIBING MULTIPLE ROBOT NAVIGATION IN AN INDOOR ENVIRONMENT

Issue Number: Vol. 1, No. 2
Year of Publication: 2011
Page Numbers: 516-535
Authors: Bogdan Czejdo, Sambit Bhattacharya, Erik Ferragut
Journal Name: International Journal of Digital Information and Wireless Communications (IJDIWC)
- Hong Kong

Abstract:


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.