In this paper, we tackle the problem of guaranteed simulation of cyber-physical systems, an important model for current engineering systems. Their is always increasing complexity which leads to models of higher and higher dimensions, yet typically involving multiple subsystems or even multiple physics. Given this modularity, we more precisely explore cosimulation of such dynamical systems, with the aim of reaching higher dimensions of the simulated systems. In this paper, we present a guaranteed interval-based approach for cosimulation of continuous time systems. We propose an algorithm which first proves the existence and returns an enclosure of global solutions, using only local computations. This mitigates the curse of dimensionality faced by global (guaranteed) integration methods. Local computations are then realized with a safe estimate of the other sub-systems until the next macro-step. We increase the accuracy of the approach by using an interval extrapolation of the state of the other sub-systems. We finally propose some possible further improvements including adaptive macro-step size. Our method is fully guaranteed, taking into account all possible sources of error. It is implemented in a C++ prototype relying on the DynIbex library, and we illustrate our approach on multiple examples of the literature.

在本文中，我们解决了保证物理网络系统仿真的问题，这是当前工程系统的重要模型。它们总是越来越复杂，导致模型越来越高，但是通常涉及多个子系统甚至多个物理场。考虑到这种模块化，我们将更精确地探索此类动态系统的协同仿真，以达到更高的仿真系统尺寸。在本文中，我们提出了一种基于间隔的保证方法，用于连续时间系统的协同仿真。我们提出了一种算法，该算法首先证明存在，然后仅使用局部计算返回全局解的包围。这减轻了全局（保证的）集成方法所面临的维度诅咒。然后，通过对其他子系统的安全估计，实现本地计算，直到下一个宏步骤为止。通过使用其他子系统状态的间隔外推，我们可以提高方法的准确性。我们最终提出了一些可能的进一步改进，包括自适应宏步长。考虑到所有可能的错误源，我们的方法得到了充分保证。它是在依赖DynIbex库的C ++原型中实现的，并且我们在多个文献示例中说明了我们的方法。考虑所有可能的错误来源。它是在依赖DynIbex库的C ++原型中实现的，并且我们在多个文献示例中说明了我们的方法。考虑所有可能的错误来源。它是在依赖DynIbex库的C ++原型中实现的，并且我们在多个文献示例中说明了我们的方法。