Using physical stigmergy in decentralized optimization under multiple non-separable constraints: Formal methods and an intelligent lighting example

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, a distributed asynchronous algorithm for intelligent lighting is presented that minimizes collective power use while meeting multiple user lighting constraints simultaneously and requires very little communication among agents participating in the distributed computation. Consequently, the approach is arbitrarily scalable, adapts to exogenous disturbances, and is robust to failures of individual agents. This algorithm is an example of a decentralized primal-space algorithm for constrained non-linear optimization that achieves coordination between agents using stigmergic memory cues present in the physical system as opposed to explicit communication and synchronization. Not only does this work make of stigmergy, a property first used to describe decentralized decision making in eusocial insects, but details of the algorithm are inspired by classic social foraging theory and more recent results in eusocial-insect macronutrient regulation. This theoretical analysis in this paper guarantees that the decentralized stigmergically coupled system converges to within a finite neighborhood of the optimal resource allocation. These results are validated using a hardware implementation of the algorithm in a small-scale intelligent lighting scenario. There are other real-time distributed resource allocation applications that are amenable to these methods, like distributed power generation, in general, this paper means to provide proof of concept that physical variables in cyberphysical systems can be leveraged to reduce the communication burden of algorithms.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014
PublisherIEEE Computer Society
Pages402-411
Number of pages10
ISBN (Print)9780769552088
DOIs
StatePublished - Nov 27 2014
Event28th IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014 - Phoenix, United States
Duration: May 19 2014May 23 2014

Other

Other28th IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014
CountryUnited States
CityPhoenix
Period5/19/145/23/14

Fingerprint

Formal methods
Lighting
Resource allocation
Communication
Distributed power generation
Synchronization
Decision making
Hardware
Data storage equipment

Keywords

  • Agents and autonomous systems
  • Bioinspiration
  • Constrained optimization
  • Decentralized control
  • Distributed optimization
  • Intelligent lighting
  • Optimization algorithms
  • Pareto optimality
  • Resource allocation
  • Stigmergy

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Networks and Communications
  • Hardware and Architecture
  • Software

Cite this

Pavlic, T. (2014). Using physical stigmergy in decentralized optimization under multiple non-separable constraints: Formal methods and an intelligent lighting example. In Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014 (pp. 402-411). [6969416] IEEE Computer Society. https://doi.org/10.1109/IPDPSW.2014.52

Using physical stigmergy in decentralized optimization under multiple non-separable constraints : Formal methods and an intelligent lighting example. / Pavlic, Theodore.

Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014. IEEE Computer Society, 2014. p. 402-411 6969416.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pavlic, T 2014, Using physical stigmergy in decentralized optimization under multiple non-separable constraints: Formal methods and an intelligent lighting example. in Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014., 6969416, IEEE Computer Society, pp. 402-411, 28th IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014, Phoenix, United States, 5/19/14. https://doi.org/10.1109/IPDPSW.2014.52
Pavlic T. Using physical stigmergy in decentralized optimization under multiple non-separable constraints: Formal methods and an intelligent lighting example. In Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014. IEEE Computer Society. 2014. p. 402-411. 6969416 https://doi.org/10.1109/IPDPSW.2014.52
Pavlic, Theodore. / Using physical stigmergy in decentralized optimization under multiple non-separable constraints : Formal methods and an intelligent lighting example. Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014. IEEE Computer Society, 2014. pp. 402-411
@inproceedings{fa9462ddd1ec4c059e75abba6194399c,
title = "Using physical stigmergy in decentralized optimization under multiple non-separable constraints: Formal methods and an intelligent lighting example",
abstract = "In this paper, a distributed asynchronous algorithm for intelligent lighting is presented that minimizes collective power use while meeting multiple user lighting constraints simultaneously and requires very little communication among agents participating in the distributed computation. Consequently, the approach is arbitrarily scalable, adapts to exogenous disturbances, and is robust to failures of individual agents. This algorithm is an example of a decentralized primal-space algorithm for constrained non-linear optimization that achieves coordination between agents using stigmergic memory cues present in the physical system as opposed to explicit communication and synchronization. Not only does this work make of stigmergy, a property first used to describe decentralized decision making in eusocial insects, but details of the algorithm are inspired by classic social foraging theory and more recent results in eusocial-insect macronutrient regulation. This theoretical analysis in this paper guarantees that the decentralized stigmergically coupled system converges to within a finite neighborhood of the optimal resource allocation. These results are validated using a hardware implementation of the algorithm in a small-scale intelligent lighting scenario. There are other real-time distributed resource allocation applications that are amenable to these methods, like distributed power generation, in general, this paper means to provide proof of concept that physical variables in cyberphysical systems can be leveraged to reduce the communication burden of algorithms.",
keywords = "Agents and autonomous systems, Bioinspiration, Constrained optimization, Decentralized control, Distributed optimization, Intelligent lighting, Optimization algorithms, Pareto optimality, Resource allocation, Stigmergy",
author = "Theodore Pavlic",
year = "2014",
month = "11",
day = "27",
doi = "10.1109/IPDPSW.2014.52",
language = "English (US)",
isbn = "9780769552088",
pages = "402--411",
booktitle = "Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Using physical stigmergy in decentralized optimization under multiple non-separable constraints

T2 - Formal methods and an intelligent lighting example

AU - Pavlic, Theodore

PY - 2014/11/27

Y1 - 2014/11/27

N2 - In this paper, a distributed asynchronous algorithm for intelligent lighting is presented that minimizes collective power use while meeting multiple user lighting constraints simultaneously and requires very little communication among agents participating in the distributed computation. Consequently, the approach is arbitrarily scalable, adapts to exogenous disturbances, and is robust to failures of individual agents. This algorithm is an example of a decentralized primal-space algorithm for constrained non-linear optimization that achieves coordination between agents using stigmergic memory cues present in the physical system as opposed to explicit communication and synchronization. Not only does this work make of stigmergy, a property first used to describe decentralized decision making in eusocial insects, but details of the algorithm are inspired by classic social foraging theory and more recent results in eusocial-insect macronutrient regulation. This theoretical analysis in this paper guarantees that the decentralized stigmergically coupled system converges to within a finite neighborhood of the optimal resource allocation. These results are validated using a hardware implementation of the algorithm in a small-scale intelligent lighting scenario. There are other real-time distributed resource allocation applications that are amenable to these methods, like distributed power generation, in general, this paper means to provide proof of concept that physical variables in cyberphysical systems can be leveraged to reduce the communication burden of algorithms.

AB - In this paper, a distributed asynchronous algorithm for intelligent lighting is presented that minimizes collective power use while meeting multiple user lighting constraints simultaneously and requires very little communication among agents participating in the distributed computation. Consequently, the approach is arbitrarily scalable, adapts to exogenous disturbances, and is robust to failures of individual agents. This algorithm is an example of a decentralized primal-space algorithm for constrained non-linear optimization that achieves coordination between agents using stigmergic memory cues present in the physical system as opposed to explicit communication and synchronization. Not only does this work make of stigmergy, a property first used to describe decentralized decision making in eusocial insects, but details of the algorithm are inspired by classic social foraging theory and more recent results in eusocial-insect macronutrient regulation. This theoretical analysis in this paper guarantees that the decentralized stigmergically coupled system converges to within a finite neighborhood of the optimal resource allocation. These results are validated using a hardware implementation of the algorithm in a small-scale intelligent lighting scenario. There are other real-time distributed resource allocation applications that are amenable to these methods, like distributed power generation, in general, this paper means to provide proof of concept that physical variables in cyberphysical systems can be leveraged to reduce the communication burden of algorithms.

KW - Agents and autonomous systems

KW - Bioinspiration

KW - Constrained optimization

KW - Decentralized control

KW - Distributed optimization

KW - Intelligent lighting

KW - Optimization algorithms

KW - Pareto optimality

KW - Resource allocation

KW - Stigmergy

UR - http://www.scopus.com/inward/record.url?scp=84918807915&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84918807915&partnerID=8YFLogxK

U2 - 10.1109/IPDPSW.2014.52

DO - 10.1109/IPDPSW.2014.52

M3 - Conference contribution

AN - SCOPUS:84918807915

SN - 9780769552088

SP - 402

EP - 411

BT - Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2014

PB - IEEE Computer Society

ER -