Specification and Analysis of Network Resource Requirements of Control Systems

  • Gera Weiss
  • Sebastian Fischmeister
  • Madhukar Anand
  • Rajeev Alur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5469)


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Weiss, G.: Automata Based Interfaces for Control and Scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601–613. Springer, Heidelberg (2007)Google Scholar
  2. 2.
    Alur, R., Weiss, G.: Regular Specifications of Resource Requirements for Embedded Control Software. In: Proc. 14th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS) (2008)Google Scholar
  3. 3.
    Anand, M., Fischmeister, S., Lee, I.: An Analysis Framework for Network-Code Programs. In: Proc. of the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, October 2006, pp. 122–131 (2006)Google Scholar
  4. 4.
    Anand, M., Fischmeister, S., Lee, I.: Composition Techniques for Tree Communication Schedules. In: Proc. of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, July 2007, pp. 235–246 (2007)Google Scholar
  5. 5.
    Antsaklis, P., Baillieul, J.: Guest editorial. Special Issue on Networked Control Systems. IEEE Trans. Automat. Control 49(9), 1421–1423 (2004)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Bosch. CAN Specification, Version 2. Robert Bosch GmbH (September 1991)Google Scholar
  7. 7.
    Cervin, A., Henriksson, D., Lincoln, B., Eker, J., Årzén, K.-E.: How Does Control Timing Affect Performance? IEEE Control Systems Magazine 23(3), 16–30 (2003)CrossRefGoogle Scholar
  8. 8.
    Ferreira, J., Pedreiras, P., Almeida, L., Fonseca, J.: The FTT-CAN Protocol For Flexibility in Safety-critical Systems. IEEE Micro. 22(4), 46–55 (2002)CrossRefGoogle Scholar
  9. 9.
    Fischmeister, S., Sokolsky, O., Lee, I.: A Verifiable Language for Programming Communication Schedules. IEEE Trans. on Comp. 56(11), 1505–1519 (2007)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Führer, T., Müller, B., Dieterle, W., Hartwich, F., Hugel, R., Walther, M.: Time Triggered Communications on CAN (Time Triggered CAN–TTCAN). In: Proc. 7th International CAN Conference, Amsterdam, Netherlands (2000)Google Scholar
  11. 11.
    Hristu-Varsakelis, D., Levine, W.S. (eds.): Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel (2005)MATHGoogle Scholar
  12. 12.
    Kawamura, S., Furukawa, Y.: Automotive Electronics System, Software, and Local Area Network. In: Proc. of the International Conference on Hardware/Software Codesign and System Synthesis (2006)Google Scholar
  13. 13.
    Kopetz, H.: Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)MATHGoogle Scholar
  14. 14.
    Liberzon, D.: Switching in Systems and Control. In: Systems & Control: Foundations & Applications, Birkhäuser Boston Inc., Boston (2003)Google Scholar
  15. 15.
    Lin, H., Antsaklis, P.J.: Stability and Persistent Disturbance Attenuation Properties for a Class of Networked Control Systems: Switched System Approach. Internat. J. Control 78(18), 1447–1458 (2005)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Liu, J.: Real-Time Systems. Prentice-Hall, New Jersey (2000)Google Scholar
  17. 17.
  18. 18.
    Park, H., Kim, Y., Kim, D., Kwon, W.: A Scheduling Method For Network-based Control Systems. IEEE Trans. on Control Systems Technology 10(3), 318–330 (2002)CrossRefGoogle Scholar
  19. 19.
    Ray, A., Halevi, Y.: Integrated Communication and Control Systems: Part II–Design Considerations. ASME Journal of Dynamic Systems, Measurements and Control 110, 374–381 (1988)CrossRefGoogle Scholar
  20. 20.
    Sánchez-Puebla, M.A., Carretero, J.: A New Approach for Distributed Computing in Avionics Systems. In: Proc. of International Symposium on Instrumentation and Control Technology (ISICT), pp. 579–584. Trinity College Dublin (2003)Google Scholar
  21. 21.
    Steinhammer, K., Grillinger, P., Ademaj, A., Kopetz, H.: A Time-Triggered Ethernet (TTE) Switch. In: Proc. of the Conference on Design, Automation and Test in Europe (DATE), Munich, Germany, pp. 794–799. European Design and Automation Association (2006)Google Scholar
  22. 22.
    Walsh, G., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions on Control Systems Technology 10(3), 438–446 (2002)CrossRefGoogle Scholar
  23. 23.
    Wen, P., Cao, J., Li, Y.: Design of High-performance Networked Real-time Control Systems. IET Control Theory and Applications 1(5), 1329–1335 (2007)CrossRefGoogle Scholar
  24. 24.
    Yliniemi, L., Leiviskä, K.: Process Control Across Network. In: Proc. of Parallel and Distributed Computing and Networks (PDCN), Anaheim, CA, USA, pp. 168–173. ACTA Press (2006)Google Scholar
  25. 25.
    Zhang, W., Branicky, M., Phillips, S.: Stability of Networked Control Systems. IEEE Control Systems Magazine 21(1), 84–99 (2001)CrossRefGoogle Scholar
  26. 26.
    Zhang, W., Yu, L.: Output Feedback Stabilization of Networked Control Systems with Packet Dropouts. IEEE Trans. Automat. Control 52(9), 1705–1710 (2007)MathSciNetCrossRefGoogle Scholar

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