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).
This work was partially supported by NSF CNS 0524059, NSF CPA 0541149, and NSERC DG 357121-2008.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Antsaklis, P., Baillieul, J.: Guest editorial. Special Issue on Networked Control Systems. IEEE Trans. Automat. Control 49(9), 1421–1423 (2004)
Bosch. CAN Specification, Version 2. Robert Bosch GmbH (September 1991)
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)
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)
Fischmeister, S., Sokolsky, O., Lee, I.: A Verifiable Language for Programming Communication Schedules. IEEE Trans. on Comp. 56(11), 1505–1519 (2007)
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)
Hristu-Varsakelis, D., Levine, W.S. (eds.): Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel (2005)
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)
Kopetz, H.: Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
Liberzon, D.: Switching in Systems and Control. In: Systems & Control: Foundations & Applications, Birkhäuser Boston Inc., Boston (2003)
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)
Liu, J.: Real-Time Systems. Prentice-Hall, New Jersey (2000)
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)
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)
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)
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)
Walsh, G., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions on Control Systems Technology 10(3), 438–446 (2002)
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)
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)
Zhang, W., Branicky, M., Phillips, S.: Stability of Networked Control Systems. IEEE Control Systems Magazine 21(1), 84–99 (2001)
Zhang, W., Yu, L.: Output Feedback Stabilization of Networked Control Systems with Packet Dropouts. IEEE Trans. Automat. Control 52(9), 1705–1710 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-00602-9_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-00602-9_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00601-2
Online ISBN: 978-3-642-00602-9
eBook Packages: Computer ScienceComputer Science (R0)