CSR: Small: Uncertainty Management in Real-Time Embedded Control Systems

这种多学科的研究是在控制工程和计算机科学的交叉点。具体来说，控制和动态系统理论的方法正在被用来解决实时嵌入式系统的挑战。研究的中心目标是开发下一代实时嵌入式系统的验证算法。确定嵌入式系统的鲁棒性的建模和分析框架是基于随机鲁棒性框架，其中的二进制概念的鲁棒性被丢弃，并通过风险调整的鲁棒性裕度权衡的概念。 在这种基于验证的研究的关键要素包括嵌入式系统中的参数不确定性建模和实时系统中的不确定性的准确预测的计算工具的发展;各种调度算法的鲁棒性能分析;和各种模型的计算（随时随地，不精确，交错）对系统级的鲁棒性的影响。不确定性传播工具将使用基于蒙特-卡罗技术、多项式混沌和转移算子（如Perron-Frobenius和Koopman算子）的方法。在多速率鲁棒控制领域开发的工具将被用来分析各种计算模型对系统鲁棒性的影响。预计该项目的成功完成将使嵌入式系统的可靠性在广泛的工程学科的准确评估。该研究项目还将培养具有动力系统，控制理论和计算机科学混合背景的新一代研究人员。这符合当前和未来的研究和工业需求。

This multi-disciplinary research is at the intersection of control engineering and computer science. Specifically, methods from control and dynamical systems theory are being used to address challenges in real-time embedded systems. The central objective of the research is to develop next generation verification algorithms for real-time embedded systems. The modeling and analysis framework for determining robustness of embedded systems is based on the stochastic robustness framework, where the binary notion of robustness is discarded and the notion of a risk-adjusted robustness margin tradeoff is adopted. Key elements in this verification-based research include modeling of parametric uncertainty in embedded systems and development of computational tools for accurate prediction of uncertainty in real-time systems; robust performance analysis of various scheduling algorithms; and impact of various models of computations (anytime, imprecise, interlaced) on system level robustness. Uncertainty propagation tools will use methods based on Monte-Carlo techniques, polynomial chaos, and transfer operators (such as Perron-Frobenius and Koopman operators). Tools developed in the area of multi-rate robust control will be used to analyze the effect of various models of computation on robustness of the system. It is expected that successful completion of this project will enable accurate assessment of reliability of embedded systems across a wide array of engineering disciplines. This research project will also train a new generation of researchers with a mixed background in dynamical systems, control theory, and computer science. This is aligned with current and future research and industrial needs.