Scalable scheduling of energy control systems

Truong X. Nghiem, Rahul Mangharam

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

1 Scopus citations


Peak power consumption is a universal problem across energy control systems in electrical grids, buildings, and industrial automation where the uncoordinated operation of multiple controllers result in temporally correlated electricity demand surges (or peaks). While there exist several diferent approaches to balance power consumption by load shifting and load shedding, they operate on coarse grained time scales and do not help in de-correlating energy sinks. The Energy System Scheduling Problem is particularly hard due to its binary control variables. Its complexity grows exponentially with the scale of the system, making it impossible to handle systems with more than a few variables. We developed a scalable approach for fine-grained scheduling of energy control systems that novelly combines techniques from control theory and computer science. The original system with binary control variables are approximated by an averaged system whose inputs are the utilization values of the binary inputs within a given period. The error between the two systems can be bounded, which allows us to derive a safety constraint for the averaged system so that the original system's safety is guaranteed. To further reduce the complexity of the scheduling problem, we abstract the averaged system by a simple single-state single-input dynamical system whose control input is the upper-bound of the total demand of the system. This model abstraction is achieved by extending the concept of simulation relations between transition systems to allow for input constraints between the systems. We developed conditions to test for simulation relations as well as algorithms to compute such a model abstraction. As a consequence, we only need to solve a small linear program to compute an optimal bound of the total demand. The total demand is then broken down, by solving a linear program much smaller than the original program, to individual utilization values of the subsystems, whose actual schedule is then obtained by a low-level scheduling algorithm. Numerical simulations in Matlab show the e ectiveness and scalability of our approach.

Original languageEnglish (US)
Title of host publication2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages10
ISBN (Electronic)9781467380799
StatePublished - Nov 4 2015
Externally publishedYes
Event13th International Conference on Embedded Software, EMSOFT 2015 - Amsterdam, Netherlands
Duration: Oct 4 2015Oct 9 2015

Publication series

Name2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015


Conference13th International Conference on Embedded Software, EMSOFT 2015


  • cyberphysical systems
  • embedded control systems
  • peak power management

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Scalable scheduling of energy control systems'. Together they form a unique fingerprint.

Cite this