Numerical solution of hybrid systems of differential-algebraic equations

Abstract We present a mathematical framework for general over- and under-determined hybrid (switched) systems of differential-algebraic equations (HDAEs). We give a systematic formulation of HDAEs and discuss existence and uniqueness of solutions, the treatment of the switch points and how to perform consistent initialization at switch points. We show how numerical solution methods for DAEs can be adapted for HDAEs and present a numerical results for these methods for the real world example of simulating an automatic gearbox.

[1]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[2]  M. Arnold,et al.  Index Reduction und Linearization in Industrial Multibody System Simulation , 2001 .

[3]  Linda R. Petzold,et al.  Consistent Initial Condition Calculation for Differential-Algebraic Systems , 1998, SIAM J. Sci. Comput..

[4]  Stephen L. Campbell,et al.  Comment on controlling generalized state-space (descriptor) systems , 1987 .

[5]  V. Mehrmann,et al.  A behavioural approach to linear time-varying descriptor systems , 2006 .

[6]  E. Griepentrog,et al.  Differential-algebraic equations and their numerical treatment , 1986 .

[7]  P. Deuflhard,et al.  One-step and extrapolation methods for differential-algebraic systems , 1987 .

[8]  Volker Mehrmann,et al.  Analysis of Over- and Underdetermined Nonlinear Differential-Algebraic Systems with Application to Nonlinear Control Problems , 2001, Math. Control. Signals Syst..

[9]  Peter Deuflhard,et al.  Numerische Mathematik. I , 2002 .

[10]  Werner C. Rheinboldt,et al.  Nonholonomic motion of rigid mechanical systems from a DAE viewpoint , 1987 .

[11]  Wolfgang Rulka,et al.  SIMPACK — A Computer Program for Simulation of Large-motion Multibody Systems , 1990 .

[12]  W. Rheinboldt,et al.  A general existence and uniqueness theory for implicit differential-algebraic equations , 1991, Differential and Integral Equations.

[13]  Volker Mehrmann,et al.  Differential-Algebraic Equations: Analysis and Numerical Solution , 2006 .

[14]  Rolf Isermann,et al.  Mechatronic systems: concepts and applications , 2000 .

[15]  Werner C. Rheinboldt,et al.  CLASSICAL AND GENERALIZED SOLUTIONS OF TIME-DEPENDENT LINEAR DIFFERENTIAL-ALGEBRAIC EQUATIONS , 1996 .

[16]  Volker Mehrmann,et al.  A new look at pencils of matrix valued functions , 1994 .

[17]  S. Campbell,et al.  Observability of linear time-varying descriptor systems , 1991 .

[18]  U. Nowak,et al.  Numerical Integration of Constrained Mechanical Systems Using MEXX , 1995 .

[19]  Volker Mehrmann,et al.  GELDA: A software package for the solution of General Linear Differential Algebraic equations , 1995 .

[20]  Werner Rath,et al.  Derivative and proportional state feedback for linear descriptor systems with variable coefficients , 1997 .

[21]  J. Baumgarte.  Stabilization of constraints and integrals of motion in dynamical systems , 1972 .

[22]  V. Mehrmann,et al.  Canonical forms for linear differential-algebraic equations with variable coefficients , 1994 .

[23]  R. Glowinski,et al.  Numerical methods for multibody systems , 1994 .

[24]  Daizhan Cheng,et al.  Stabilization of planar switched systems , 2004, Syst. Control. Lett..

[25]  Werner C. Rheinboldt,et al.  Discontinuous solutions of semilinear differential-algebraic equations—II: P -consistency , 1996 .

[26]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[27]  Werner C. Rheinboldt,et al.  Discontinuous solutions of semilinear differential-algebraic equations—I: distribution solutions , 1996 .

[28]  V. Mehrmann,et al.  Index reduction for differential‐algebraic equations by minimal extension , 2004 .

[29]  Volker Mehrmann,et al.  Analysis and Numerical Solution of Control Problems in Descriptor Form , 2001, Math. Control. Signals Syst..

[30]  J. J. Slotine,et al.  Tracking control of non-linear systems using sliding surfaces with application to robot manipulators , 1983, 1983 American Control Conference.

[31]  Volker Mehrmann,et al.  Regularization of Linear Descriptor Systems with Variable Coefficients , 1997 .

[32]  F. Callier.  Introduction to Mathematical Systems Theory: A Behavioural Approach, by Jan Willem Polderman and Jan C. Willems, Springer, New York, NY, 1998, Texts in Applied Mathematics Vol. 26, 424pp. , 2002 .

[33]  Germán Rojas.  An inequality for the critical value of nonlinear eigenvalue problems , 1987 .

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

[35]  Volker Mehrmann,et al.  A Behavioral Approach to Time-Varying Linear Systems. Part 1: General Theory , 2005, SIAM J. Control. Optim..

[36]  M. A. Akanbi,et al.  Numerical solution of initial value problems in differential - algebraic equations , 2005 .

[37]  Stephen L. Campbell,et al.  A general form for solvable linear time varying singular systems of differential equations , 1987 .

[38]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[39]  Stephen L. Campbell.  A general method for nonlinear descriptor systems: an example from robotic path control , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

[41]  Volker Mehrmann,et al.  Regular solutions of nonlinear differential-algebraic equations and their numerical determination , 1998 .

[42]  Michael S. Branicky,et al.  Introduction to Hybrid Systems , 2005, Handbook of Networked and Embedded Control Systems.

[43]  Volker Mehrmann,et al.  A New Software Package for Linear Differential-Algebraic Equations , 1997, SIAM J. Sci. Comput..

[44]  Volker Mehrmann,et al.  A New Class of Discretization Methods for the Solution of Linear Differential-Algebraic Equations with Variable Coefficients , 1996 .

[45]  T. E. Hull,et al.  Numerical solution of initial value problems , 1966 .

[46]  C. W. Gear,et al.  Automatic integration of Euler-Lagrange equations with constraints , 1985 .

[47]  Volker Mehrmann,et al.  A Behavioral Approach to Time-Varying Linear Systems. Part 2: Descriptor Systems , 2005, SIAM J. Control. Optim..

[48]  Antonio Pedro,et al.  FROM LOCAL TO GLOBAL STABILIZATION: A HYBRID SYSTEM APPROACH? , 2002 .

[49]  W. J. Terrell,et al.  Duality, observability, and controllability for linear time-varying descriptor systems , 1991 .

[50]  W. Rheinboldt,et al.  Theoretical and numerical analysis of differential-algebraic equations , 2002 .

[51]  Thomas I Seidman,et al.  Sliding Modes in Intersecting Switching Surfaces, Ii: Hysteresis , 1998 .

[52]  Gautam Biswas,et al.  Hybrid Systems Diagnosis , 2000, HSCC.