Compile-Time Impulse Analysis in Modelica

Since its 3.3 release, Modelica offers the possibility to specify models of dynamical systems with multiple modes having different DAE-based dynamics. However, the handling of mode changes by the current Modelica tools is not satisfactory. An important difficulty is the occurrence of impulsive behavior at some mode changes, for some variables. In this paper, we propose a compile-time algorithm for identifying such impulsive behaviors and quantifying them in terms of their magnitude orders. Such algorithm can be used as an additional step of the structural analysis of Modelica models.

[1]  A. Benveniste,et al.  Handling Multimode Models and Mode Changes in Modelica , 2021, Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021.

[2]  Benoît Caillaud,et al.  The mathematical foundations of physical systems modeling languages , 2020, Annu. Rev. Control..

[3]  Benoît Caillaud,et al.  Implicit structural analysis of multimode DAE systems , 2020, HSCC.

[4]  Marc Pouzet,et al.  Multi-Mode DAE Models - Challenges, Theory and Implementation , 2019, Computing and Software Science.

[5]  Renling Jin.  Nonstandard analysis and its applications , 2016 .

[6]  Francesco Casella,et al.  Simulation of Large-Scale Models in Modelica: State of the Art and Future Perspectives , 2015 .

[7]  Hilding Elmqvist,et al.  State Machines in Modelica , 2012 .

[8]  Daniel Liberzon,et al.  Switched nonlinear differential algebraic equations: Solution theory, Lyapunov functions, and stability , 2012, Autom..

[9]  Timothy Bourke,et al.  Non-standard semantics of hybrid systems modelers , 2012, J. Comput. Syst. Sci..

[10]  Stephan Trenn,et al.  Regularity of distributional differential algebraic equations , 2009, Math. Control. Signals Syst..

[11]  Stephan Trenn.  Distributional differential algebraic equations , 2009 .

[12]  B. Brogliato,et al.  Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics , 2008 .

[13]  J. Pryce.  A Simple Structural Analysis Method for DAEs , 2001 .

[14]  Hilding Elmqvist,et al.  Modelica hybrid modeling and efficient simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[15]  Sven Erik Mattsson,et al.  Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives , 1993, SIAM J. Sci. Comput..

[16]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

[17]  W. Luxemburg.  What Is Nonstandard Analysis , 1973 .

[18]  Vincent Acary,et al.  Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics , 2008 .

[19]  C. W. Gear,et al.  The index of general nonlinear DAEs , 1995 .

[20]  David J. Murray-Smith,et al.  Continuous System Simulation , 1994 .

[21]  N. S. Mendelsohn,et al.  Coverings of Bipartite Graphs , 1958, Canadian Journal of Mathematics.