Abstract
This paper describes the syntax and semantics of multi-level state diagrams to support probabilistic behavior of cooperating robots. The techniques were presented to analyze these diagrams by combining individual robots behaviors into a single finite graph describing a complete system. It is shown how to use state abstraction and transition abstraction to create, verify and combine large probabilistic state diagrams. The paper also describes how to use probabilistic state diagrams to design and evaluate robot games.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Murphy, R.: Introduction to AI Robotics. MIT Press, Cambridge (2000)
Desouza, G.N., Kak, A.C.: Vision for mobile robot navigation: a survey. IEEE Transactions on Pattern Analysis and Machine Intelligence 24(2), 237–267 (2002)
Blank, D.: Robots make computer science personal. Communications of the ACM 49(12) (2006)
Kumar, D. (ed.): Learning Computing with Robots (Python), 1st edn. Institute for Personal Robots in Education (2007)
Meng, Y.: Multi-Robot Searching using Game Theory Based Approach. Journal of Advanced Robotics Systems (2008)
Czejdo, B.D., Bhattacharya, S., Czejdo, J.: Use of Probabilistic State Diagrams for Robot Navigation in an Indoor Environment. In: Proceedings of the Annual International Conference on Advanced Topics in Artificial Intelligence, ATAI, pp. A-97 to A-102 (2010)
Harel, D.: On visual formalisms. Communications of the ACM 31(5), 514–530 (1988)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, New Jersey (1990)
Czejdo, B.D., Bhattacharya, S.: Programming robots with state diagrams. Journal of Computing Sciences in Colleges 24(5), 19–26 (2009)
Bhattacharya, S., Czejdo, B.D., Mobley, S.: An Integrated Computer Vision and Infrared Sensor Based Approach to Autonomous Robot Navigation in an Indoor Environment. In: Proceedings of the 7th International Conference on Computing, Communications and Control Technologies (2009)
Galamhos, C., Matas, J., Kittler, J.: Progressive probabilistic Hough transform for line detection. In: Conference on Computer Vision and Pattern Recognition, vol. 1, pp. 560–566. IEEE Computer Society, Los Alamitos (1999)
McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)
Peled, D.A.: Software Reliability Methods. Springer, Heidelberg (2001)
Clarke, E.M., Wing, J.M.: Formal methods; State of the Art and Future Directions. ACM Computing Surveys 28(4), 627–643 (1996)
Bryant, R.E.: Binary Decision Diagrams: Enabling Technologies for Formal Verification. In: Proc. IEEE/ACM Int. Conf. on Computer-Aided Design, pp. 236–243 (1995)
Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. on SE 23(5), 279–295 (1997)
Berard, B. (ed.): Systems and Software Verification: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)
Montemerlo, E.: Game-Theoretic Control for Robot Teams, doctoral dissertation, tech. report CMU-RI-TR-05-36, Robotics Institute, Carnegie Mellon University (August. 2005)
Kuhn, S.: Prisoner’s Dilemma (Stanford Encyclopedia of Philosophy). Stanford Encyclopedia of Philosophy (October 22, 2007), http://plato.stanford.edu/entries/prisonerdilemma
Turocy, T., von Stengel, B.: GameTheory, CDAMResearch Report LSE-CDAM-2001-09 (2001)
Walker, P., Chronology of Game Theory. Economics and Finance - University of Canterbury - New Zealand (2010), http://www.econ.canterbury.ac.nz/personal_pages/paul_walker/gt/hist.htm
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Czejdo, B., Bhattacharya, S., Baszun, M. (2011). Use of Multi-level State Diagrams for Robot Cooperation in an Indoor Environment. In: Snasel, V., Platos, J., El-Qawasmeh, E. (eds) Digital Information Processing and Communications. ICDIPC 2011. Communications in Computer and Information Science, vol 189. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22410-2_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-22410-2_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22409-6
Online ISBN: 978-3-642-22410-2
eBook Packages: Computer ScienceComputer Science (R0)