
Departmental Papers (CIS)
Date of this Version
4-2009
Document Type
Conference Paper
Recommended Citation
Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur, "Specification and Analysis of Network Resource Requirements of Control Systems", Lecture Notes in Computer Science: Hybrid Systems: Computation and Control 5469, 381-395. April 2009. http://dx.doi.org/10.1007/978-3-642-00602-9_27
Abstract
We focus on control systems in which sensors send data to actuators 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 automata-based 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).
Subject Area
CPS Embedded Control, CPS Real-Time
Publication Source
Lecture Notes in Computer Science: Hybrid Systems: Computation and Control
Volume
5469
Start Page
381
Last Page
395
DOI
10.1007/978-3-642-00602-9_27
Copyright/Permission Statement
The original publication is available at www.springerlink.com
Date Posted: 17 July 2012
Comments
From the 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009.