Specification and Analysis of Network Resource Requirements of Control Systems

TitleSpecification and Analysis of Network Resource Requirements of Control Systems
Publication TypeConference Paper
Year of Publication2009
AuthorsWeiss, G., S. Fischmeister, M. Anand, and R. Alur
Conference NameProc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC)
Date PublishedApril
Conference LocationLos Angeles, USA CA
ISBN Number978-3-642-00601-2
KeywordsNCM, real-time, state-based scheduling

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 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).

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.