Communication and Concurrency
Handbook of Process Algebra
COLBERT: A Language for Reactive Control in Sapphira
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Behavior Language: User''s Guide
The Behavior Language: User''s Guide
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Petri net plans: a formal model for representation and execution of multi-robot plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Visualization and analysis methods for comparing agent behavior in TAC SCM
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
cljRobust - clojure programming API for Lego Mindstorms NXT
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
RobustHX - the robust middleware library for hexor robots
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
CADP 2010: a toolbox for the construction and analysis of distributed processes
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Declarative design of control logic for mindstorms NXT with XTT2 method
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Exploring and evolving process-oriented control for real and virtual fire fighting robots
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
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.