Guaranteed master for interval-based cosimulation

被引:1
作者
Le Coent, Adrien [1 ]
Sandretto, Julien Alexandre dit [1 ]
Chapoutot, Alexandre [1 ]
机构
[1] ENSTA Paris, 828 Blvd Marechaux, F-91762 Palaiseau, France
关键词
Cosimulation; Guaranteed simulation; Integration methods; INITIAL-VALUE PROBLEMS; VALIDATED SOLUTIONS;
D O I
10.1007/s10270-020-00858-7
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:711 / 724
页数:14
相关论文
共 52 条
  • [1] Alexandre Dit Sandretto J., 2016, Reliab. Comput., V22, P79
  • [2] AlexandreditSandretto, DYNIBEX
  • [3] Althoff M., 2013, P 16 INT C HYBR SYST, P173, DOI [10.1145/2461328.2461358, DOI 10.1145/2461328.2461358]
  • [4] Althoff M., 2008, P 17 IFAC WORLD C, V41, P5125
  • [5] Ames W.F., 2014, Numerical Methods for Partial Differential Equations
  • [6] [Anonymous], 2013, P EL SYST LEV SYNTH
  • [7] [Anonymous], 1977, The finite element method
  • [8] ERROR ANALYSIS AND ERROR ESTIMATES FOR CO-SIMULATION IN FMI FOR MODEL EXCHANGE AND CO-SIMULATION V2.0
    Arnold, Martin
    Clauss, Christoph
    Schierz, Tom
    [J]. ARCHIVE OF MECHANICAL ENGINEERING, 2013, 60 (01) : 75 - 94
  • [9] Blanes S., 2008, Bol. Soc. Esp. Mat. Apl., V45, P89
  • [10] Bouissou Olivier, 2013, NASA Formal Methods. 5th International Symposium, NFM 2013. Proceedings, P108, DOI 10.1007/978-3-642-38088-4_8