Skip to main content
Log in

Guaranteed master for interval-based cosimulation

  • Theme Section Paper
  • Published:
Software and Systems Modeling Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. Alexandre dit Sandretto, J., Chapoutot, A.: DynIbex. https://perso.ensta-paris.fr/~chapoutot/dynibex/

  2. Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge–Kutta methods. Reliab. Comput. 22, 79 (2016)

    MathSciNet  Google Scholar 

  3. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Hybrid Systems: Computation and Control, pp. 173–182 (2013)

  4. Althoff, M., Stursberg, O., Buss, M.: Verification of uncertain embedded systems by computing reachable sets based on zonotopes. In: Proceedings of the 17th IFAC World Congress, vol. 41(2), pp. 5125–5130 (2008)

  5. Ames, W.F.: Numerical Methods for Partial Differential Equations. Academic Press, Cambridge (2014)

    Google Scholar 

  6. Arnold, M., Clauß, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Schöps, S., Bartel, A., Günther, M., ter Maten, E., Müller, P. (eds.) Progress in Differential-Algebraic Equations, pp. 107–125. Springer, Berlin (2014)

    MATH  Google Scholar 

  7. Blanes, S., Casas, F., Murua, A.: Splitting and composition methods in the numerical integration of differential equations. Boletin de la Sociedad Espanola de Matematica Aplicada 45, 89–145 (2008)

    MathSciNet  MATH  Google Scholar 

  8. Bouissou, O., Chapoutot, A., Djoudi, A.: Enclosing temporal evolution of dynamical systems using numerical methods. In: Brat, G., Rungta, N., Venet, A. (eds.) NASA Formal Methods, LNCS, vol. 7871, pp. 108–123. Springer, Berlin (2013)

    Chapter  Google Scholar 

  9. Bouissou, O., Martel, M.: GRKLib: a guaranteed Runge Kutta Library. In: Scientific Computing, Computer Arithmetic and Validated Numerics (2006)

  10. Bouissou, O., Mimram, S., Chapoutot, A.: HySon: set-based simulation of hybrid systems. In: Rapid System Prototyping. IEEE (2012)

  11. Broman, D., Brooks, C., Greenberg, L., Lee, E.A.., Masin, M., Tripakis, S., Wetter, M.: Determinate composition of FMUs for co-simulation. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1–12. IEEE (2013)

  12. Bungartz, H.-J., Schäfer, M.: Fluid–Structure Interaction: Modelling, Simulation, Optimisation, vol. 53. Springer, Berlin (2006)

    Book  Google Scholar 

  13. Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: IEEE 33rd Real-Time Systems Symposium, pp. 183–192. IEEE Computer Society (2012)

  14. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, pp. 258–263. Springer, Berlin (2013)

    Chapter  Google Scholar 

  15. Chen, X., Mover, S., Sankaranarayanan, S.: Compositional relational abstraction for nonlinear hybrid systems. ACM Trans. Embed. Comput. Syst. 16(5s), 1–19 (2017)

    Google Scholar 

  16. Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: 2016 IEEE Real-Time Systems Symposium (RTSS), pp. 13–24. IEEE (2016)

  17. de Figueiredo, L.H., Stolfi, J.: Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monographs. IMPA/CNPq, Rio de Janeiro (1997)

    Google Scholar 

  18. dit Sandretto, J.A., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge–Kutta methods. Reliab. Comput. 22, 57 (2016)

    MathSciNet  Google Scholar 

  19. Dzetkulič, T.: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis. Numer. Algorithms 69(1), 183–205 (2015)

    Article  MathSciNet  Google Scholar 

  20. Eggers, A., Fränzle, M., Herde, C.: SAT modulo ODE: a direct SAT approach to hybrid systems. In: Cha, S., Choi, J.Y., Kim, M., Lee, I., Viswanathan, M. (eds.) Automated Technology for Verification and Analysis. LNCS, vol. 5311, pp. 171–185. Springer, Berlin (2008)

    Chapter  Google Scholar 

  21. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Computer Aided Verification. LNCS, vol. 6806, pp. 379–395. Springer, Berlin (2011)

    Chapter  Google Scholar 

  22. Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge–Kutta and multistep methods for solving the initial value problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) Parallel Processing and Applied Mathematics. LNCS, vol. 4967, pp. 1361–1371. Springer, Berlin (2008)

    Chapter  Google Scholar 

  23. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005, Proceedings, pp. 291–305 (2005)

  24. Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art (2017). arXiv preprint arXiv:1702.00686

  25. Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 1–33 (2018)

    Article  Google Scholar 

  26. Gomes, C., Thule, C., Deantoni, J., Larsen, P.G., Vangheluwe, H.: Co-simulation: the past, future, and open challenges. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 504–520. Springer, Cham (2018)

    Chapter  Google Scholar 

  27. Gomes, C., Thule, C., Larsen, P.G., Denil, J., Vangheluwe, H.: Co-simulation of continuous systems: a tutorial (2018). arXiv preprint arXiv:1809.08463

  28. Hairer, E., Norsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I: Nonstiff Problems, 2nd edn. Springer, Berlin (2009)

    MATH  Google Scholar 

  29. Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II: Stiff and Differential- Algebraic Problems, 1st edn. Springer, Berlin (1996)

    Book  Google Scholar 

  30. Heitmeyer, C.: On the need for practical formal methods. In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 18–26. Springer, Berlin (1998)

  31. Heitmeyer, C., Kirby, J., Labaw, B.: Tools for formal specification, verification, and validation of requirements. In: Proceedings of COMPASS’97: 12th Annual Conference on Computer Assurance, pp. 35–47. IEEE (1997)

  32. Hou, G., Wang, J., Layton, A.: Numerical methods for fluid-structure interaction: a review. Commun. Comput. Phys. 12(2), 337–377 (2012)

    Article  MathSciNet  Google Scholar 

  33. Immler, F.: Verified reachability analysis of continuous systems. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol. 9035, pp. 37–51. Springer, Berlin (2015)

    Chapter  Google Scholar 

  34. Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Berlin (2001)

    Book  Google Scholar 

  35. Jensen, J.C., Chang, D.H., Lee, E.A.: A model-based design methodology for cyber-physical systems. In: 2011 7th International Wireless Communications and Mobile Computing Conference, pp. 1666–1671. IEEE (2011)

  36. Kübler, R., Schiehlen, W.: Modular simulation in multibody system dynamics. Multibody Syst. Dyn. 4(2–3), 107–127 (2000)

    Article  Google Scholar 

  37. Kühn, W.: Zonotope dynamics in numerical quality control. In: Hege, H.C., Polthier, K. (eds.) Mathematical Visualization, pp. 125–134. Springer, Berlin (1998)

    Chapter  Google Scholar 

  38. Larsen, K.G., Mikučionis, M., Muniz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 244–259. Springer, Berlin (2016)

  39. Le Coënt, A., Sandretto, J.A., Chapoutot, A., Fribourg, L.: An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53(3), 363–383 (2018)

    Article  Google Scholar 

  40. Le Coënt, A., Fribourg, L., Markey, N., De Vuyst, F., Chamoin, L.: Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750, 53–68 (2018)

    Article  MathSciNet  Google Scholar 

  41. Lee, E.A.: Cyber physical systems: Design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363–369. IEEE (2008)

  42. Lin, Y., Stadtherr, M.A.: Validated solutions of initial value problems for parametric odes. Appl. Numer. Math. 57(10), 1145–1162 (2007)

    Article  MathSciNet  Google Scholar 

  43. Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, Ch. (eds.) Computer Arithmetic, pp. 255–286. Teubner, Stuttgart (1987)

    Google Scholar 

  44. Ma, T.-W.: Higher chain formula proved by combinatorics. Electron. J. Comb. 16(1), N21 (2009)

    Article  MathSciNet  Google Scholar 

  45. Makino, K., Berz, M.: Rigorous integration of flows and odes using Taylor models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC ’09, pp. 79–84. ACM, New York (2009)

  46. Moore, R.E.: Interval Analysis. Series in Automatic Computation. Prentice Hall, Upper Saddle River (1966)

    Google Scholar 

  47. Mullier, O., Chapoutot, A., Sandretto, J.A.D.: Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation. Optim. Methods Softw. 33(4–6), 718–728 (2018)

    Article  MathSciNet  Google Scholar 

  48. Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comp. 105(1), 21–68 (1999)

    Article  MathSciNet  Google Scholar 

  49. Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 1–41 (2015)

    Article  Google Scholar 

  50. Quarteroni, A., Valli, A.: Domain Decomposition Methods for Partial Differential Equations. Oxford University Press, Oxford (1999)

  51. Schierz, T., Arnold, M., Clauß, C.: Co-simulation with communication step size control in an fmi compatible master algorithm. In: Proceedings of the 9th International MODELICA Conference; September 3–5; 2012; Munich; Germany, number 076, pp. 205–214. Linköping University Electronic Press (2012)

  52. Zienkiewicz, O.C., Taylor, R.L., Nithiarasu, P., Zhu, J.Z.: The Finite Element Method, vol. 3. McGraw-hill, London (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Adrien Le Coënt.

Additional information

Communicated by Eugene Syriani and Manuel Wimmer.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This work was supported by the “Chair Complex Systems Engineering - École polytechnique, THALES, DGA, FX, Dassault Aviation, Naval Group Research, ENSTA Paris, Télécom Paris, and Fondation ParisTech”.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Le Coënt, A., Alexandre dit Sandretto, J. & Chapoutot, A. Guaranteed master for interval-based cosimulation. Softw Syst Model 20, 711–724 (2021). https://doi.org/10.1007/s10270-020-00858-7

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-020-00858-7

Keywords

Navigation