Modern structured analysis
Introduction to AI Robotics
Intelligent light control using sensor networks
Proceedings of the 3rd international conference on Embedded networked sensor systems
Design and Implementation of a WSN-Based Intelligent Light Control System
ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
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
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Programming Clojure
MagneBike: toward multi climbing robots for power plant inspection
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Industry track
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
Robot-Assisted Bridge Inspection
Journal of Intelligent and Robotic Systems
Modeling robot behavior with CCL
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Expert Systems with Applications: An International Journal
| Hi-index | 12.05 |
Today, energy efficiency is one of the top priorities in building design and construction. A significant share of energy usage is due to indoor lighting. Although methods exist for design and control of intelligent lighting systems, the task of real-world lighting assessment and verification remains only partly addressed. This paper describes foundations for design of a robot to conduct regular and automated audits of lighting quality in office buildings, with emphasis on the modeling of its behavior. The proposed model uses the Concurrent Communicating Lists (CCL) notation, which allows it to be easily simulated, executed, and formally verified. The CCL behavior model is discussed in the context of Knowledge-Behavior-Platform (KBP) robotic architecture proposed as a practical model runtime environment.