Departmental Papers (CIS)

Date of this Version

4-2009

Document Type

Conference Paper

Comments

From the 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009.

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

Share

COinS
 

Date Posted: 17 July 2012