DOI: 10.5176/978-981-08-7656-2ATAI2010-63
Authors: Bogdan Czejdo, Sambit Bhattacharya and Janusz Czejdo
Abstract:
This paper describes the analysis of syntax and semantics of state diagrams to support probabilistic behavior of robots. As a result we created probabilistic state diagrams that can be used for automatic code generation. The integration of the advanced robot vision algorithms with probabilistic state diagrams is also addressed. It is shown how to use techniques such as state abstraction and transition abstraction to create, verify and combine large probabilistic state diagrams. The paper also describes the implementation model for probabilistic state diagrams.
Keywords: autonomous robot navigation, probabilistic robotbehavior, state diagrams
