nach oben

Software and Systems Modeling

Erschienen in:

19.01.2021 | Theme Section Paper

Guaranteed master for interval-based cosimulation

verfasst von: Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot

Erschienen in: Software and Systems Modeling | Ausgabe 3/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Vorheriger Artikel Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime

Nächster Artikel Implementing QVT-R via semantic interpretation in UML-RSDS

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

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

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

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

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)

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

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

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)MathSciNetMATH

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)CrossRef

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)CrossRef

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)CrossRef

15.

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

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)

18.

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

19.

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

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)CrossRef

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)CrossRef

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)CrossRef

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)CrossRef

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)CrossRef

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

29.

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

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)MathSciNetCrossRef

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)CrossRef

34.

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

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)CrossRef

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)CrossRef

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)CrossRef

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)MathSciNetCrossRef

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)MathSciNetCrossRef

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)

44.

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

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)

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)MathSciNetCrossRef

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)MathSciNetCrossRef

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)CrossRef

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)

Titel: Guaranteed master for interval-based cosimulation
verfasst von: Adrien Le Coënt
Julien Alexandre dit Sandretto
Alexandre Chapoutot
Publikationsdatum: 19.01.2021
Verlag: Springer Berlin Heidelberg
Erschienen in: Software and Systems Modeling / Ausgabe 3/2021
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-020-00858-7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 3/2021

Implementing QVT-R via semantic interpretation in UML-RSDS

A systematic literature review of cross-domain model consistency checking by model management tools

Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Modeling in the large: model libraries

Pragmatic reuse for DSML development

Premium Partner