Skip to main content
Article
Time-Triggered Implementations of Dynamic Controllers
Proceedings of the 6th ACM & IEEE International Conference on Embedded Software (EMSOFT '06)
  • Truong Nghiem, University of Pennsylvania
  • George J Pappas, University of Pennsylvania
  • Antoine Girard, University of Pennsylvania
  • Rajeev Alur, University of Pennsylvania
Date of this Version
10-1-2006
Document Type
Conference Paper
Abstract

Bridging the gap between model-based design and platformbased 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 paper, we show that the performance gap between the model-level semantics of 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.

DOI
10.1145/1176887.1176890
Copyright/Permission Statement
© ACM 2006. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 6th ACM & IEEE International Conference on Embedded Software (EMSOFT '06), http://dx.doi.org/10.1145/1176887.1176890.
Disciplines
Citation Information
Truong Nghiem, George J Pappas, Antoine Girard and Rajeev Alur. "Time-Triggered Implementations of Dynamic Controllers" Proceedings of the 6th ACM & IEEE International Conference on Embedded Software (EMSOFT '06) (2006) p. 2 - 11
Available at: http://works.bepress.com/truongnghiem/4/