TY - GEN
T1 - Specification and analysis of network resource requirements of control systems
AU - Weiss, Gera
AU - Fischmeister, Sebastian
AU - Anand, Madhukar
AU - Alur, Rajeev
N1 - Funding Information:
This work was partially supported by NSF CNS 0524059, NSF CPA 0541149, and NSERC DG 357121-2008.
PY - 2009/7/15
Y1 - 2009/7/15
N2 - 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).
AB - 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).
UR - http://www.scopus.com/inward/record.url?scp=67650099382&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-00602-9_27
DO - 10.1007/978-3-642-00602-9_27
M3 - Conference contribution
AN - SCOPUS:67650099382
SN - 9783642006012
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 381
EP - 395
BT - Hybrid Systems
T2 - 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009
Y2 - 13 April 2009 through 15 April 2009
ER -
