×
Fioravanti, Massimo; Cattaneo, Daniele; Terraneo, Federico; Seva, Silvano; Cherubin, Stefano; Agosta, Giovanni; Casella, Francesco; Leva, Alberto

Array-aware matching: taming the complexity of large-scale simulation models. (English) Zbl 07910042

ACM Trans. Math. Softw. 49, No. 3, Article No. 27, 25 p. (2023).

MSC:

65-XX Numerical analysis

Keywords:

equation-based modeling languages; array-aware matching; NP-completeness proof

Software:

Modelica; SUNDIALS
Cite Review PDF
Full Text: DOI arXiv

References:

[1] . Dymola home page. https://www.3ds.com/products-services/catia/products/dymola/
[2] . JModelica home page. https://jmodelica.org/
[3] . ModiaBase home page. https://github.com/ModiaSim/ModiaBase.jl
[4] . OpenModelica home page. https://www.openmodelica.org/
[5] . SimulationX home page. https://www.mathworks.com/products/connections/product_detail/simulationx.html
[6] Agachi, Paul Serban, Nagy, Zoltán K., Cristea, Mircea Vasile, and Imre-Lucaci, Árpád. 2007. Model Based Control: Case Studies in Process Engineering. John Wiley & Sons, Hoboken, NJ, USA.
[7] Agosta, Giovanni, Baldino, Emanuele, Casella, Francesco, Cherubin, Stefano, Leva, Alberto, and Terraneo, Federico. 2019. Towards a high-performance Modelica compiler. In Proc. 13th International Modelica Conference. Regensburg, Germany, 313-320. DOI:
[8] Agosta, Giovanni, Casella, Francesco, Cherubin, Stefano, Leva, Alberto, and Terraneo, Federico. 2019. Towards a benchmark suite for high-performance Modelica compilers (work-in-progress paper). In Proc. 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Berlin, Germany. DOI:
[9] Ait-Alla, Abderrahim, Kreutz, Markus, Rippel, Daniel, Lütjen, Micheel, and Freitag, Michael. 2019. Simulation-based analysis of the interaction of a physical and a digital twin in a cyber-physical production system. IFAC-PapersOnLine52, 13 (2019), 1331-1336.
[10] Aivaliotis, Panagiotis, Georgoulias, Konstantinos, Arkouli, Zoi, and Makris, Sotiris. 2019. Methodology for enabling digital twin using advanced physics-based modelling in predictive maintenance. Procedia CIRP81 (2019), 417-422.
[11] Andersson, Mats. 1989. An object-oriented language for model representation. In Proc. 2nd IEEE Control Systems Society Workshop on Computer-Aided Control System Design. Tampa, FL, USA, 8-15.
[12] Asteasuain, Mariano, Tonelli, Stella Maris, Brandolin, Adriana, and Bandoni, José Alberto. 2001. Dynamic simulation and optimisation of tubular polymerisation reactors in gPROMS. Computers & Chemical Engineering25, 4-6 (2001), 509-515.
[13] Åström, Karl Johan and Kreutzer, Wolfgang. 1986. System representations. In Proc. 3rd IEEE Control Systems Society Symposium on Computer-Aided Control System Design. Arlington, VA, USA, 8-15.
[14] Baldino, Emanuele. 2018. Structural Pitfalls of State-of-the-art Modelica Compilers: An Explorative Analysis. MSc Thesis in Computer Science Engineering. Politecnico di Milano. http://hdl.handle.net/10589/144734
[15] Barton, Paul I. and Pantelides, Constantinos C.. 1994. Modeling of combined discrete/continuous processes. AIChE Journal40, 6 (1994), 966-979.
[16] Buisson, Jérémy and Belloir, Nicolas. 2020. Digitalization in next generation C2: Research agenda from model-based engineering perspective. In Proc. 15th IEEE International Conference of System of Systems Engineering. Budapest, Hungary, 243-248.
[17] Bunus, Peter and Lunde, Karin. 2008. Supporting model-based diagnostics with equation-based object oriented languages. In Proc. 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. Paphos, Cyprus, 121-130.
[18] Casella, Francesco. 2015. Simulation of large-scale models in Modelica: State of the art and future perspectives. In Proc. 11th International Modelica Conference. Versailles, France, 459-468.
[19] Casella, Francesco, Bartolini, Andrea Giorgio, and Leva, Alberto. 2017. Equation-based object-oriented modelling and simulation of large-scale smart grids with Modelica. IFAC-PapersOnLine50, 1 (2017), 5542-5547.
[20] Casella, Francesco, Donida, Filippo, and Lovera, Marco. 2008. Beyond simulation: Computer aided control system design using equation-based object oriented modelling for the next decade. In Proc. 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. Paphos, Cyprus, 35-45.
[21] Casella, Francesco and Leva, Alberto. 2006. Modelling of thermo-hydraulic power generation processes using Modelica. Mathematical and Computer Modelling of Dynamical Systems12, 1 (2006), 19-33.
[22] Cellier, François E.. 1983. Simulation software: Today and tomorrow. In Simulation in Engineering Sciences, Burger, J. and Jarny, Y. (Eds.). Elsevier, Amsterdam, The Netherlands, 40-55.
[23] Cellier, François E. and Kofman, Ernesto. 2006. Continuous System Simulation. Springer Science & Business Media, Berlin, Germany. · Zbl 1112.93004
[24] Cheng, Guo Qing, Zhou, Bing Hai, and Li, Ling. 2018. Integrated production, quality control and condition-based maintenance for imperfect production systems. Reliability Engineering & System Safety175 (2018), 251-264.
[25] Cimino, Chiara, Negri, Elisa, and Fumagalli, Luca. 2019. Review of digital twin applications in manufacturing. Computers in Industry113, 11 (2019), 103130.
[26] Donida, Filippo, Ferretti, Gianni, Savaresi, Sergio Matteo, and Tanelli, Mara. 2008. Object-oriented modelling and simulation of a motorcycle. Mathematical and Computer Modelling of Dynamical Systems14, 2 (2008), 79-100. · Zbl 1165.70004
[27] Drepper, Ulrich. 2007. What Every Programmer Should Know About Memory. https://people.freebsd.org/lstewart/articles/cpumemory.pdf
[28] Elmqvist, Hilding. 1979. DYMOLA - A structured model language for large continuous systems. In Proc. Summer Computer Simulation Conference. Toronto, Canada.
[29] Elmqvist, Hilding and Mattsson, Sven Erik. 1989. Simulator for dynamical systems using graphics and equations for modeling. IEEE Control Systems Magazine9, 1 (1989), 53-58.
[30] Fitzgerald, John, Larsen, Peter Gorm, and Pierce, Ken. 2019. Multi-modelling and co-simulation in the engineering of cyber-physical systems: Towards the digital twin. In From Software Engineering to Formal Methods and Tools, and Back, Beek, M. H. Ter, Fantechi, A., and Semini, L. (Eds.). Springer, Berlin, Germany, 40-55.
[31] Ford, Lester Randolph and Fulkerson, Delbert R.. 1956. Maximal flow through a network. Canadian Journal of Mathematics8 (1956), 399-404. · Zbl 0073.40203
[32] Friedman, Avner. 1992. Sparse matrix methods for chemical process simulation. In Mathematics in Industrial Problems. The IMA Volumes in Mathematics and its Applications. Vol. 49. Springer, New York, NY, USA, 1-10. · Zbl 0758.00004
[33] Fritzson, P., Pop, A., Asghar, A., Bachmann, B., Braun, W., Braun, R., Buffoni, L., Casella, F., Castro, R., and Danós, A.. 2019. The OpenModelica integrated modeling, simulation and optimization environment. In Proc. American Modelica Conference 2018. Cambridge MA, USA, 206-219.
[34] Fritzson, Peter, Pop, Adrian, Broman, David, and Aronsson, Peter. 2009. Formal semantics based translator generation and tool development in practice. In Proc. 2009 Australian Software Engineering Conference. Gold Coast, QLD, Australia, 256-266.
[35] García, Alberto, Acebes, Luis Felipe, and Prada, Cesar de. 2002. Modelling and simulation of batch processes: A case study. IFAC Proceedings Volumes35, 1 (2002), 169-174.
[36] Garey, Michael R., Johnson, David S., and Stockmeyer, Larry. 1976. Some simplified NP-complete graph problems. Theoretical Computer Science1, 3 (1976), 237-267. · Zbl 0338.05120
[37] He, Bin, Liu, Long, and Zhang, Dong. 2021. Digital twin-driven remaining useful life prediction for gear performance degradation: A review. Journal of Computing and Information Science in Engineering21, 3 (2021), 030801.
[38] Hindmarsh, Alan C., Brown, Peter N., Grant, Keith E., Lee, Steven L., Serban, Radu, Shumaker, Dan E., and Woodward, Carol S.. 2005. SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans. Math. Software31, 3 (2005), 363-396. · Zbl 1136.65329
[39] Hirzinger, Gerd, Bals, Johann, Otter, Martin, and Stelter, Johannes. 2005. The DLR-KUKA success story: Robotics research improves industrial robots. IEEE Robotics & Automation Magazine12, 3 (2005), 16-23.
[40] Hopcroft, John E. and Karp, Richard M.. 1973. An \(n^{5/2}\) algorithm for maximum matchings in bipartite graphs. SIAM J. Comput.2, 4 (1973), 225-231. DOI:. arXiv: · Zbl 0266.05114
[41] Hunt, Kenny and Cremer, James. 1997. Refiner: A problem solving environment for ODE/DAE simulations. ACM SIGSAM Bulletin31, 3 (1997), 42-43.
[42] Jairam, Sukumar, Lata, Kusum, Roy, Subir K., and Bhat, Navakanta. 2008. Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches. In Proc. 15th IEEE International Conference on Electronics, Circuits and Systems. Dubai, UAE, 910-913.
[43] Khan, Samir, Farnsworth, Michael, McWilliam, Richard, and Erkoyuncu, John. 2020. On the requirements of digital twin-driven autonomous maintenance. Annual Reviews in Control50 (2020), 13-28.
[44] Larsen, Samuel and Amarasinghe, Saman. 2000. Exploiting superword level parallelism with multimedia instruction sets. SIGPLAN Not.35, 5 (May2000), 145-156. DOI:
[45] Li, Le-Wei. 2010. Integral-equation based fast solvers developed for microwave and RF applications. In Proc. 40th European Microwave Conference. Paris, France, 545-548.
[46] Link, Kilian, Steuer, Haiko, and Butterlin, Axel. 2009. Deficiencies of Modelica and its simulation environments for large fluid systems. In Proc. 7th International Modelica Conference. Como, Italy, 341-344.
[47] Macchi, Marco, Roda, Irene, Negri, Elisa, and Fumagalli, Luca. 2018. Exploring the role of digital twin for asset lifecycle management. IFAC-PapersOnLine51, 11 (2018), 790-795.
[48] Malone, Robert, Friedland, Brittany, Herrold, John, and Fogarty, Daniel. 2016. Insights from large scale model based systems engineering at Boeing. In Proc. 26th INCOSE International Symposium. Edinburgh, UK, 542-555.
[49] Marquez, Juan José, Zafra-Cabeza, Ascensión, and Bordons, Carlos. 2018. Diagnosis and fault mitigation in a microgrid using model predictive control. In Proc. 2018 International Conference on Smart Energy Systems and Technologies. Sevilla, Spain, 1-6.
[50] Mattsson, Sven Erik, Elmqvist, Hilding, and Broenink, Jan F.. 1997. Modelica: An international effort to design the next generation modelling language. Journal A38, 3 (1997), 16-19.
[51] Mattsson, Sven Erik, Elmqvist, Hilding, and Otter, Martin. 1998. Physical system modeling with Modelica. Control Engineering Practice6, 4 (1998), 501-510.
[52] Mejía-Gutiérrez, Ricardo and Carvajal-Arango, Ricardo. 2017. Design verification through virtual prototyping techniques based on systems engineering. Research in Engineering Design28, 4 (2017), 477-494.
[53] Moormann, Dieter and Looye, Gertjan. 2002. The Modelica flight dynamics library. In Proc. 2nd International Modelica Conference. Oberpfaffenhofen, Germany, 275-284.
[54] Mund, Jakob, Bougouffa, Safa, Badr, Iman, and Vogel-Heuser, Birgit. 2018. Towards verified continuous integration in the engineering of automated production systems. At-Automatisierungstechnik66, 10 (2018), 784-794.
[55] Oomen, Tom and Steinbuch, Maarten. 2020. Model-based control for high-tech mechatronic systems. Mechatronics and Robotics (2020), 51-80.
[56] Otter, Martin and Elmqvist, Hilding. 2017. Transformation of differential algebraic array equations to index one form. In Proceedings of the 12th International Modelica Conference. Linköping University Electronic Press, 565-579. DOI:
[57] Paloschi, Jorge Ricardo. 1996. Using sparse bounded homotopies in steady state simulation packages. Computers & Chemical Engineering20 (1996), S285-S290.
[58] Pantelides, Constantinos C.. 1988. The consistent initialization of differential-algebraic systems. SIAM J. Sci. Statist. Comput.9, 2 (1988), 213-231. · Zbl 0643.65039
[59] Pop, Adrian, Östlund, Per, Casella, Francesco, Sjölund, Martin, and Franke, Rüdiger. 2019. A new OpenModelica compiler high performance frontend. In Proceedings of the 13th International Modelica Conference. Linköping University Electronic Press, 689-698. DOI:
[60] Preparata, F. P. and Shamos, M. I.. 1985. Computational Geometry: An Introduction. Springer-Verlag New York. DOI: · Zbl 0759.68037
[61] Rouet, François-Henry, Ashcraft, Cleve, Dawson, Jef, Grimes, Roger, Guleryuz, Erman, Koric, Seid, Lucas, Robert F., Ong, James S., Simons, Todd A., and Zhu, Ting-Ting. 2020. Scalability challenges of an industrial implicit finite element code. In Proc. 34th IEEE International Parallel and Distributed Processing Symposium. New Orleans, LA, USA, 505-514.
[62] Sahlin, Per, Eriksson, Lars, Grozman, Pavel, Johnsson, Hans, Shapovalov, Alexander, and Vuolle, Mika. 2003. Will equation-based building simulation make it?-experiences from the introduction of IDA Indoor Climate And Energy. In Proc. 8th International IBPSA Conference. Eindhoven, The Netherlands, 1147-1154.
[63] Sandholm, Anders, Bunus, Peter, and Fritzson, Peter. 2006. A numeric library for use in Modelica simulations with LAPACK, SuperLU, Interpolation, and MatrixIO. In Proc. 5th International Modelica Conference. Vienna, Austria, 285- 292.
[64] Schluse, Michael, Priggemeyer, Maec, Atorf, Linus, and Rossmann, Jürgen. 2018. Experimentable digital twins—Streamlining simulation-based systems engineering for Industry 4.0. IEEE Transactions on Industrial Informatics14, 4 (2018), 1722-1731.
[65] Schuchart, Joseph, Waurich, Volker, Flehmig, Martin, Walther, Marcus, Nagel, Wolfgang E., and Gubsch, Ines. 2015. Exploiting repeated structures and vectorization in Modelica. In Proceedings of the 11th International Modelica Conference. Linköping University Electronic Press, 265-272. DOI:
[66] Schweiger, Gerald, Nilsson, Henrik, Schoeggl, Josef, Birk, Wolfgang, and Posch, Alfred. 2020. Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms. Appl. Math. Comput.365 (2020), 124713. · Zbl 1433.93003
[67] Sjölund, Martin. 2015. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models. Vol. 1664. Linköping University Electronic Press, Linköping, Sweden.
[68] Sowell, Edward F. and Haves, Philip. 2001. Efficient solution strategies for building energy system simulation. Energy and Buildings33, 4 (2001), 309-317.
[69] Stadtherr, Mark A. and Wood, E. Stephen. 1984. Sparse matrix methods for equation-based chemical process flowsheeting - I: Reordering phase. Computers & Chemical Engineering8, 1 (1984), 9-18.
[70] Stadtherr, Mark A. and Wood, E. Stephen. 1984. Sparse matrix methods for equation-based chemical process flowshweeting - II: Numerical phase. Computers & Chemical Engineering8, 1 (1984), 19-33.
[71] Susuki, Yoshihiko and Hikihara, Takashi. 2002. An analysis with differential-algebraic equation in electric power system with DC transmission. In Proc. 2002 IEEE/PES Transmission and Distribution Conference and Exhibition, Vol. 3. Yokohama, Japan, 1933-1936.
[72] Tao, Fei, Zhang, Meng, Liu, Yushan, and Nee, Andrew Y. C.. 2018. Digital twin driven prognostics and health management for complex equipment. CIRP Annals67, 1 (2018), 169-172.
[73] Tarjan, Robert E.. 1972. Depth-first search and linear graph algorithms. SIAM Journal on Computing1 (1972), 146-160. · Zbl 0251.05107
[74] Tezduyar, Tayfun E., Aliabadi, Shahrouz K., Behr, Michael J., Johnson, Arthur G., Kalro, Vinay J., and Litke, Matthew. 1996. High performance computing in flow simulations. Computer Methods in Applied Mechanics and Engineering134 (1996), 351-373.
[75] Amerongen, Job Van and Breedveld, Peter. 2003. Modelling of physical systems for the design and control of mechatronic systems. Annual Reviews in Control27, 1 (2003), 87-117.
[76] Beek, Dirk A. van, Fokkink, Wan J., Hendriks, Dennis, Hofkamp, Albert T., Markovski, Jasen, Mortel-Fronczak, Joanna M. van de, and Reniers, Michel A.. 2014. CIF 3: Model-based engineering of supervisory controllers. In Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Grenoble, France, 575-580.
[77] Verriet, Jacques, Buit, Lennart, Doornbos, Richard, Huijbrechts, Bas, Ševo, Kristina, Sleuters, Jack, and Verberkt, Mark. 2019. Virtual prototyping of large-scale IoT control systems using domain-specific languages. In Proc. 7th International Conference on Model-Driven Engineering and Software Development. Praha, Czech Republic, 229-239.
[78] Wang, Wenqing and Kolditz, Olaf. 2010. Sparse matrix and solver objects for parallel finite element simulation of multi-field problems. In High Performance Computing and Applications, Zhang, W. and Chen, Z. (Eds.). Springer, Berlin, Germany, 418-425.
[79] Wetter, Michael and Haugstetter, Christoph. 2006. Modelica versus TRNSYS - A comparison between an equation-based and a procedural modeling language for building energy simulation. In Proc. 2nd SimBuild Conference. Cambridge, MA, USA.
[80] Zimmermann, Pablo, Fernández, Joaquín, and Kofman, Ernesto. 2019. Set-based graph methods for fast equation sorting in large DAE systems. In Proc. 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools. Berlin, Germany, 45-54.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.