Modeling Robot Behavior with CCL

  • Konrad Kułakowski
  • Tomasz Szmuc
Conference paper

DOI: 10.1007/978-3-642-34327-8_7

Volume 7628 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Konrad Kułakowski
    • 1
  • Tomasz Szmuc
    • 1
  1. 1.Department of Applied Computer ScienceAGH University of Science and TechnologyCracowPoland