Bibliographic Details
| Title: |
Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists. |
| Authors: |
Kułakowski, Konrad1 konrad.kulakowski@agh.edu.pl, Matyasik, Piotr1 piotr.matyasik@agh.edu.pl, Ernst, Sebastian1 ernst@agh.edu.pl |
| Source: |
Expert Systems with Applications. Mar2014, Vol. 41 Issue 4, p984-989. 6p. |
| Subjects: |
Construction, Lighting, Energy consumption, Engineering inspection, Mathematical models, Robots, Construction industry |
| Abstract: |
Abstract: 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. [Copyright &y& Elsevier] |
|
Copyright of Expert Systems with Applications is the property of Pergamon Press - An Imprint of Elsevier Science and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
