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.