Scheduling of controllers’ update-rates for residual bandwidth utilization

Majid Zamani, S. Dey, S. Mohamed, P. Dasgupta, M. Mazo

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)


We consider the problem of incorporating control tasks on top of a partially loaded shared computing resource, whose current task execution pattern is characterizable using a window based pattern. We consider that the control task to be scheduled is allowed to switch between multiple controllers, each with different associated sampling rate, in order to adjust its requirement of computational bandwidth as per availability. We provide a novel control theoretic analysis that derives a Timed Automata (TA) based specification of allowable switchings among the different controller options while retaining the asymptotic stability of the closed loop. Our scheduling scheme computes a platform level residual bandwidth pattern from individual task level execution patterns. We then leverage the TA based controller specification and the residual bandwidth pattern in order to synthesize a Linearly Priced Timed Automata for which the minimum cost reachability solution provides realizable multi-rate control schedules. The provided scheduler not only guarantees the asymptotic stability of the control loop but also increases the robustness and control performance of the implementation by maximizing the bandwidth utilization.
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems
Subtitle of host publicationProceedings of the 14th International Conference FORMATS 2016
EditorsM. Fränzle, N. Markey
Place of PublicationCham, Switzerland
ISBN (Print)978-3-319-44877-0
Publication statusPublished - 2016
Event14th International Conference on Formal Modeling and Analysis of Timed Systems - Quebec, Canada
Duration: 24 Aug 201626 Aug 2016

Publication series

NameLecture Notes in Computer Science


Conference14th International Conference on Formal Modeling and Analysis of Timed Systems
Abbreviated titleFORMATS 2016

Fingerprint Dive into the research topics of 'Scheduling of controllers’ update-rates for residual bandwidth utilization'. Together they form a unique fingerprint.

Cite this