Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Quantifying the gap between embedded control models and time-triggered implementations

Summary: Quantifying the gap between embedded control models
and time-triggered implementations
Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
University of Pennsylvania
Philadelphia, PA 19104 USA
{hakan,agirard,pappasg}@seas.upenn.edu, alur@cis.upenn.edu
Mapping a set of feedback control components to exe-
cutable code introduces errors due to a variety of factors
such as discretization, computational delays, and schedul-
ing policies. We argue that the gap between the model and
the implementation can be rigorously quantified leading to
predictability if the implementation is viewed as a sequence
of control blocks executed in statically allocated time slots
on a time-triggered platform. For linear systems controlled
by linear controllers, we show how to calculate the exact
error between the model-level semantics and the execution
semantics of an implementation, allowing us to compare
different implementations. The calculated error of differ-
ent implementations is demonstrated using simulations on


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Girard, Antoine - Laboratoire Jean Kuntzmann, Université Joseph Fourier
Pappas, George J. - Department of Electrical and Systems Engineering, University of Pennsylvania


Collections: Computer Technologies and Information Sciences; Mathematics