From Hybrid Automata to DAE-Based Modeling

[1]  Albert Benveniste,et al.  Structural Analysis of Multimode DAE Systems: summary of results , 2021, ArXiv.

[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]  Bernt Lie,et al.  The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development , 2020 .

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

[6]  Timothy Bourke,et al.  Building a Hybrid Systems Modeler on Synchronous Languages Principles , 2018, Proceedings of the IEEE.

[7]  Christoph Höger,et al.  Elaborate control: variable-structure modeling from an operational perspective , 2017, EOOLT.

[8]  Christoph Höger,et al.  Dynamic structural analysis for DAEs , 2014, SummerSim.

[9]  Hilding Elmqvist,et al.  Modelica extensions for Multi-Mode DAE Systems , 2014 .

[10]  R. Schwartz.  Scaling Up , 2013, Social Science History.

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

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

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

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

[15]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[16]  W. Heemels,et al.  On the dynamic analysis of piecewise-linear networks , 2002 .

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

[18]  Friedrich Pfeiffer,et al.  Multibody Dynamics with Unilateral Contacts , 1996 .

[19]  Vadim I. Utkin,et al.  Sliding mode control in mechanical systems , 1994, Proceedings of IECON'94 - 20th Annual Conference of IEEE Industrial Electronics.

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

[21]  Johannes F. Broenink,et al.  Describing Discontinuities in Bond Graphs , 1993 .

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

[23]  A. Fontana.  and perspectives , 2020 .

[24]  Phillipp Meister,et al.  Introduction To Bond Graphs And Their Applications , 2016 .

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

[26]  Thomas A. Henzinger,et al.  HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.

[27]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[28]  Hilding Elmqvist,et al.  DYMOLA - A Structured Model Language for Large Continuous Systems , 1978 .