Quantifying the gap between embedded control models and time-triggered implementations
Quantifying the gap between embedded control models and time-triggered implementations
复制标题
量化嵌入式控制模型和时间触发实现之间的差距
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
R. Alur
中科院分区：
文献类型：
--
作者：
H. Yazarel;A. Girard;George Pappas;R. Alur
将一组反馈控制组件映射到可执行代码会引入由于各种因素（如离散化、计算延迟和调度策略）而导致的错误。我们认为，如果将实现视为在时间触发平台上静态分配的时隙中执行的一系列控制块，则模型和实现之间的差距可以严格量化，从而导致可预测性。对于由线性控制器控制的线性系统，我们展示了如何计算模型级语义和实现的执行语义之间的精确误差，从而允许我们比较不同的实现。通过实例仿真验证了不同实现方式的计算误差
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling 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 different implementations is demonstrated using simulations on illustrative examples