Skip to main content
SpringerLink
Log in

Modeling Robot Behavior with CCL

  • Conference paper
Book cover Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7628))

Abstract

This paper presents the use of a Concurrent Communicating Lists (CCL) library in robot behavior modeling. CCL provides several software components, which allow the model to be built, simulated and formally verified. Due to the integration with the Robust library the CCL models can be deployed and executed on the actual hardware platforms. Besides the modeling robot behavior, the work also addresses the problem of modeling a robots environment.

The CCL models can be verified either formally or by simulation. Since the use of formal methods is always associated with the state explosion problem, the work provides practical guidelines on how to deal with this problem using CCL.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albus, J.S., et al.: 4D/RCS: A Reference Model Architecture For Unmanned Vehicle Systems Version 2.0. Technical report, NIST Interagency (2002)

    Google Scholar 

  2. Arkin, R.C.: Intelligent Control of Robot Mobility, ch. 16. Wiley (2007)

    Google Scholar 

  3. Baier, C., Katoen, J.: Principles of model checking. The MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  4. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)

    Google Scholar 

  5. Brooks, R.A.: A robust layered control system for a mobile robot. IEEE J. Robot. and Auto. 2(3), 14–23 (1986)

    Article  Google Scholar 

  6. Brooks, R.A.: The behavior language; user’s guide. Technical report, Massachusetts Institute of Technology, Artificial Intelligence Laboratory (1990)

    Google Scholar 

  7. Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 372–387. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Groves, W., Collins, J., Gini, M.: Visualization and analysis methods for comparing agent behavior in TAC SCM. In: AAMAS 2009: The 8th International Conference on Autonomous Agents and Multiagent Systems (May 2009)

    Google Scholar 

  9. Hardey, K., Mattis, M., Goadrich, M., Corapcioglu, E., Jadud, M.: Exploring and Evolving Process-oriented Control for Real and Virtual Fire Fighting Robots. In: Proceedings of Genetic and Evolutionary Computation Conference (2012)

    Google Scholar 

  10. Konolige, K.: COLBERT: A Language for Reactive Control in Sapphira. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol. 1303, pp. 31–52. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  11. Kułakowski, K.: cljRobust - Clojure Programming API for Lego Mindstorms NXT. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010, Part II. LNCS, vol. 6071, pp. 52–61. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Kułakowski, K.: CCL Sim, the simulation environment for concurrent systems. In: Proceedings of Dependability and Complex Systems, DepCoS (2012)

    Google Scholar 

  13. Kułakowski, K., Matyasik, P.: RobustHX - The Robust Middleware Library for Hexor Robots. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol. 6472, pp. 241–250. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  14. Long, L., Hanford, S., Janrathitikarn, O.: A review of intelligent systems software for autonomous vehicles. In: IEEE Symposium on Computational Intelligence in Security and Defense Applications, CISDA (2007)

    Google Scholar 

  15. Lyons, D.M., Arbib, M.A.: A formal model of computation for sensory-based robotics. IEEE Transactions on Robotics and Automation 5(3), 280–293 (1989)

    Article  Google Scholar 

  16. Milner, R.: Communication and Concurrency. Prentice-Hall (1989)

    Google Scholar 

  17. Nalepa, G.J., Biesiada, B.: Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method. In: Jędrzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part II. LNCS, vol. 6923, pp. 150–159. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Rai, L., Kook, J., Hong, J.: Non-Deterministic Behavior Modeling Framework for Embedded Real-Time Systems Operating in Uncertain Environments. Journal of Information Science and Engineering 26(1), 83–96 (2010)

    Google Scholar 

  19. Risler, M., von Stryk, O.: Formal Behavior Specification of Multi-Robot Systems Using Hierarchical State Machines in XABSL. In: Workshop on Formal Models and Methods for Multi-Robot Systems, pp. 1–7 (August 2008)

    Google Scholar 

  20. Xiao, W., Liu, T., Baltes, J.: An intuitive and flexible architecture for intelligent mobile robots. In: The Second International Conference on Autonomous Robots and Agents (ICARA), Palmerston North, pp. 52–57 (2004)

    Google Scholar 

  21. Zhang, Q., Zhang, Y.-F., Qin, S.-Y.: Modeling and analysis for obstacle avoidance of a behavior-based robot with objected oriented methods. Journal of Computers 4(4), 295–302 (2009)

    Google Scholar 

  22. Ziparo, V.A., Locchi, L., Nardi, D., Palamara, P.F., Costelha, H.: Petri net plans: a formal model for representation and execution of multi-robot plans. In: AAMAS 2008: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (May 2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Computer Science, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059, Cracow, Poland

    Konrad Kułakowski & Tomasz Szmuc

Authors
  1. Konrad Kułakowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomasz Szmuc
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National Institute of Advanced Industrial Science and Technology, AIST, Tsukuba Central 2, 305-8568, Tsukuba, Ibaraki, Japan

    Itsuki Noda  & Noriaki Ando  & 

  2. School of Engineering, University of Bergamo, v.le Marconi, 5, 24044, Dalmine, Italy

    Davide Brugali

  3. Google Research, Google Inc., 1600 Amphiteatre Parkway, 94043, Mountain View, CA, USA

    James J. Kuffner

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kułakowski, K., Szmuc, T. (2012). Modeling Robot Behavior with CCL. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2012. Lecture Notes in Computer Science(), vol 7628. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34327-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34327-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34326-1

  • Online ISBN: 978-3-642-34327-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation