Specification and Analysis of Network Resource Requirements of Control Systems

  • Gera Weiss
  • Sebastian Fischmeister
  • Madhukar Anand
  • Rajeev Alur
Conference paper

DOI: 10.1007/978-3-642-00602-9_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5469)
Cite this paper as:
Weiss G., Fischmeister S., Anand M., Alur R. (2009) Specification and Analysis of Network Resource Requirements of Control Systems. In: Majumdar R., Tabuada P. (eds) Hybrid Systems: Computation and Control. HSCC 2009. Lecture Notes in Computer Science, vol 5469. Springer, Berlin, Heidelberg

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Gera Weiss
    • 1
  • Sebastian Fischmeister
    • 2
  • Madhukar Anand
    • 1
  • Rajeev Alur
    • 1
  1. 1.Dept. of Computer and Information ScienceUniversity of PennsylvaniaUSA
  2. 2.Dept. of Electrical and Computer EngineeringUniversity of WaterlooCanada

Personalised recommendations