skip to main content
research-article

Time-Triggered Implementations of Dynamic Controllers

Published:01 August 2012Publication History
Skip Abstract Section

Abstract

Bridging the gap between model-based design and platform-based implementation is one of the critical challenges for embedded software systems. In the context of embedded control systems that interact with an environment, a variety of errors due to quantization, delays, and scheduling policies may generate executable code that does not faithfully implement the model-based design. In this article, we show that the performance gap between the model-level semantics of linear dynamic controllers, for example, the proportional-integral-derivative (PID) controllers and their implementation-level semantics, can be rigorously quantified if the controller implementation is executed on a predictable time-triggered architecture. Our technical approach uses lifting techniques for periodic time-varying linear systems in order to compute the exact error between the model semantics and the execution semantics. Explicitly computing the impact of the implementation on overall system performance allows us to compare and partially order different implementations with various scheduling or timing characteristics.

References

  1. Alur, R. and Chandrashekharapuram, A. 2005. Dispatch sequences for embedded control models. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium. 508--518. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Alur, R. and Weiss, G. 2008. Regular specifications of resource requirements for embedded control software. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE Computer Society, Los Alamitos, CA, 159--168. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Alur, R., Ivancic, F., Kim, J., Lee, I., and Sokolsky, O. 2003. Generating embedded software from hierarchical hybrid models. In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems. 171--182. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Antsaklis, P. and Michel, A. 1997. Linear Systems. McGraw Hill, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Årzén, K.-E., Cervin, A., and Henriksson, D. 2005. Implementation-aware embedded control systems. In Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel.Google ScholarGoogle Scholar
  6. Aström, K. and Wittenmark, B. 1997. Computer-Controlled Systems: Theory and Design. Prentice Hall, Upper Saddle River, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Bittanti, S. and Colaneri, P. 2000. Invariant representations of discrete-time periodic systems - a survey. Automatica 36, 12, 1777--1793. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Boyd, S. and Vandenberghe, L. 2004. Convex Optimization. Cambridge University Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Buttazo, G. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Caspi, P. and Maler, O. 2005. From control loops to real-time programs. In Handbook of Networked and Embedded Control Systems. Birkhäuser, Basel.Google ScholarGoogle Scholar
  11. Caspi, P., Curic, A., Maignan, A., Sofronis, C., and Tripakis, S. 2003. Translating discrete-time Simulink to Lustre. In Proceedings of the 3rd International Conference on Embedded Software. Lecture Notes in Computer Science, vol. 2855. Springer, Berlin, 84--99.Google ScholarGoogle Scholar
  12. Halbwachs, N. 1993. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. 1991. The synchronous dataflow programming language Lustre. Proc. IEEE 79, 1305--1320.Google ScholarGoogle ScholarCross RefCross Ref
  14. Henriksson, D., Cervin, A., and Årzén, K.-E. 2003. TrueTime: Real-time control system simulation with MATLAB/Simulink. In Proceedings of the Nordic MATLAB Conference.Google ScholarGoogle Scholar
  15. Henzinger, T., Horowitz, B., and Kirsch, C. 2003. Giotto: A time-triggered language for embedded programming. Proc. IEEE 91, 1, 84--99.Google ScholarGoogle ScholarCross RefCross Ref
  16. Hur, Y., Kim, J., Lee, I., and Choi, J. 2004. Sound code generation from communicating hybrid models. In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2993. Springer, Berlin, 432--447.Google ScholarGoogle Scholar
  17. Kopetz, H. 2000. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Kopetz, H. and Bauer, G. 2003. The time triggered architecture. Proc. IEEE 91, 1, 112--126.Google ScholarGoogle ScholarCross RefCross Ref
  19. Lee, E. 2000. What’s ahead for embedded software. IEEE Comput., 18--26. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Moler, C. and Loan, C. V. 2003. Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Rev. 45, 1, 3--49.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Nghiem, T., Pappas, G. J., Alur, R., and Girard, A. 2006. Time-triggered implementations of dynamic controllers. In Proceedings of the 6th ACM & IEEE International Conference on Embedded Software. ACM, New York, NY, 2--11. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Rugh, W. J. 1996. Linear System Theory. Prentice-Hall, Inc., Upper Saddle River, NJ.Google ScholarGoogle Scholar
  23. Sastry, S., Sztipanovits, J., Bajcsy, R., and Gill, H. 2003. Modeling and design of embedded software. Proc. IEEE 91, 1.Google ScholarGoogle ScholarCross RefCross Ref
  24. Seto, D., Lehoczky, J., Sha, L., and Shin, K. 1996. On task schedulability in real-time control systems. In Procedings of the IEEE Real-Time Systems Symposium. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Van Loan, C. 1978. Computing integrals involving the matrix exponential. Automatic Control, IEEE Trans. Autom. Control 23, 3, 395--404.Google ScholarGoogle ScholarCross RefCross Ref
  26. Wulf, M. D., Doyen, L., and Raskin, J. 2004. Almost ASAP semantics: From timed models to timed implementations. In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2993. Springer, Berlin, 296--310.Google ScholarGoogle ScholarCross RefCross Ref
  27. Yazarel, H., Girard, A., Pappas, G. J., and Alur, R. 2005. Quantifying the gap between embedded control models and time-triggered implementations. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS). 111--120. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Time-Triggered Implementations of Dynamic Controllers

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader
              About Cookies On This Site

              We use cookies to ensure that we give you the best experience on our website.

              Learn more

              Got it!