Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists.
Saved in:
| 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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 91971013 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Kułakowski%2C+Konrad%22">Kułakowski, Konrad</searchLink><relatesTo>1</relatesTo><i> konrad.kulakowski@agh.edu.pl</i><br /><searchLink fieldCode="AR" term="%22Matyasik%2C+Piotr%22">Matyasik, Piotr</searchLink><relatesTo>1</relatesTo><i> piotr.matyasik@agh.edu.pl</i><br /><searchLink fieldCode="AR" term="%22Ernst%2C+Sebastian%22">Ernst, Sebastian</searchLink><relatesTo>1</relatesTo><i> ernst@agh.edu.pl</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Expert+Systems+with+Applications%22">Expert Systems with Applications</searchLink>. Mar2014, Vol. 41 Issue 4, p984-989. 6p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Construction%22">Construction</searchLink><br /><searchLink fieldCode="DE" term="%22Lighting%22">Lighting</searchLink><br /><searchLink fieldCode="DE" term="%22Energy+consumption%22">Energy consumption</searchLink><br /><searchLink fieldCode="DE" term="%22Engineering+inspection%22">Engineering inspection</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+models%22">Mathematical models</searchLink><br /><searchLink fieldCode="DE" term="%22Robots%22">Robots</searchLink><br /><searchLink fieldCode="DE" term="%22Construction+industry%22">Construction industry</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=91971013 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.eswa.2013.06.065 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 6 StartPage: 984 Subjects: – SubjectFull: Construction Type: general – SubjectFull: Lighting Type: general – SubjectFull: Energy consumption Type: general – SubjectFull: Engineering inspection Type: general – SubjectFull: Mathematical models Type: general – SubjectFull: Robots Type: general – SubjectFull: Construction industry Type: general Titles: – TitleFull: Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Kułakowski, Konrad – PersonEntity: Name: NameFull: Matyasik, Piotr – PersonEntity: Name: NameFull: Ernst, Sebastian IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 03 Text: Mar2014 Type: published Y: 2014 Identifiers: – Type: issn-print Value: 09574174 Numbering: – Type: volume Value: 41 – Type: issue Value: 4 Titles: – TitleFull: Expert Systems with Applications Type: main |
| ResultId | 1 |
