Specification and analysis of network resource requirements of control systems

Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations

Abstract

We focus on spatially distributed control systems in which measurement and actuation data is sent via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automatabased scheduler which we automatically generate from a model of the controlled plant and the controller. We show that, in addition to ensuring performance, our approach allows adjustments to dynamic conditions such as varying disturbances and network load. We present a full development path from performance specifications (exponential stability) to a control design and its implementation using Controller Area Network (CAN).

Original languageEnglish
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 12th International Conference, HSCC 2009, Proceedings
Pages381-395
Number of pages15
DOIs
StatePublished - 15 Jul 2009
Externally publishedYes
Event12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009 - San Francisco, CA, United States
Duration: 13 Apr 200915 Apr 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5469
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Country/TerritoryUnited States
CitySan Francisco, CA
Period13/04/0915/04/09

Fingerprint

Dive into the research topics of 'Specification and analysis of network resource requirements of control systems'. Together they form a unique fingerprint.

Cite this