论文标题
对参数随机系统的设计正确控制
Correct-by-Design Control of Parametric Stochastic Systems
论文作者
论文摘要
本文解决了通过设计对安全至关重要系统设计正确的计算控制器的问题，并且可以证明满足（复杂）功能要求。我们开发了遵守随机和参数不确定性的系统模型的新方法。我们首次提供新型的模拟关系，以实现逐步设计的改进，这些模拟关系是基于通过子概率测量方法建立在随机系统的不确定性上的。这种新关系对于构建不仅与一个模型，而且与一组参数化模型相关的抽象模型至关重要。我们提供了理论上的结果，以建立这种新的关系类别以及具有加性高斯不确定性的线性和非线性参数系统的相关亲密性保证。结果在线性模型和范德尔振荡器的非线性模型上进行了证明。
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We develop new methods for models of systems subject to both stochastic and parametric uncertainties. We provide for the first time novel simulation relations for enabling correct-by-design control refinement, that are founded on coupling uncertainties of stochastic systems via sub-probability measures. Such new relations are essential for constructing abstract models that are related to not only one model but to a set of parameterized models. We provide theoretical results for establishing this new class of relations and the associated closeness guarantees for both linear and nonlinear parametric systems with additive Gaussian uncertainty. The results are demonstrated on a linear model and the nonlinear model of the Van der Pol Oscillator.
