Switching behavior of solutions of ordinary differential equations with abs-factorable right-hand sides

Abstract We consider nonsmooth dynamic systems that are formulated as the unique solutions of ordinary differential equations (ODEs) with right-hand side functions that are finite compositions of analytic functions and absolute-value functions. Various non-Zenoness results are obtained for such solutions: in particular, any absolute-value function in the ODE right-hand side can only switch between its two linear pieces finitely many times on any finite duration, even when a discontinuous control input is included. These results are extended to obtain numerically verifiable necessary conditions for the emergence of “valley-tracing modes”, in which the argument of an absolute-value function is identically zero for a nonzero duration. Such valley-tracing modes can create theoretical and numerical complications during sensitivity analysis or optimization. We show that any valley-tracing mode must begin either at the initial time, or when another absolute-value function switches between its two linear pieces.

[1]  Paul I. Barton,et al.  Dynamic optimization of hybrib systems , 1998 .

[2]  P. I. Barton,et al.  Dynamic optimization of hybrid systems , 1998 .

[3]  P I Barton,et al.  A reliable simulator for dynamic flux balance analysis , 2013, Biotechnology and bioengineering.

[4]  M A Henson,et al.  Steady-state and dynamic flux balance analysis of ethanol production by Saccharomyces cerevisiae. , 2009, IET systems biology.

[5]  Paul I. Barton,et al.  Generalized Derivatives for Solutions of Parametric Ordinary Differential Equations with Non-differentiable Right-Hand Sides , 2014, J. Optim. Theory Appl..

[6]  M. Kanat Camlibel,et al.  Conewise Linear Systems: Non-Zenoness and Observability , 2006, SIAM J. Control. Optim..

[7]  M. Tsatsomeros.  Principal pivot transforms: properties and applications , 1998, math/9807132.

[8]  M. Kanat Camlibel,et al.  Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior , 2011, IEEE Transactions on Automatic Control.

[9]  Paul I. Barton,et al.  Bounds on reachable sets using ordinary differential equations with linear programs embedded , 2016, IMA J. Math. Control. Inf..

[10]  Andreas Griewank,et al.  On stable piecewise linearization and generalized algorithmic differentiation , 2013, Optim. Methods Softw..

[11]  Pavol Brunovský,et al.  Regular synthesis for the linear-quadratic optimal control problem with linear control constraints , 1980 .

[12]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[13]  S. Scholtes.  Piecewise Differentiable Functions , 2012 .

[14]  Paul I. Barton,et al.  Nonlinear convex and concave relaxations for the solutions of parametric ODEs , 2013 .

[15]  Héctor J. Sussmann.  Bounds on the number of switchings for trajectories of piecewise analytic vector fields , 1982 .

[16]  Jong-Shi Pang,et al.  Switching and stability properties of conewise linear systems , 2010 .

[17]  Jong-Shi Pang,et al.  Strongly Regular Differential Variational Systems , 2007, IEEE Transactions on Automatic Control.

[18]  Le Quang Thuan.  Non-Zenoness of piecewise affine dynamical systems and affine complementarity systems with inputs , 2014 .

[19]  Paul I. Barton,et al.  Efficient solution of ordinary differential equations with a parametric lexicographic linear program embedded , 2015, Numerische Mathematik.

[20]  Paul I. Barton,et al.  State event location in differential-algebraic models , 1996, TOMC.

[21]  Jong-Shi Pang,et al.  Linear Complementarity Systems with Singleton Properties: Non-Zenoness , 2007, 2007 American Control Conference.

[22]  Richard W. Cottle,et al.  Linear Complementarity Problem. , 1992 .

[23]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[24]  A. Griewank.  Automatic Directional Differentiation of Nonsmooth Composite Functions , 1995 .

[25]  P. Hartman.  Ordinary Differential Equations , 1965 .

[26]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .

[27]  S. Scholtes.  Introduction to Piecewise Differentiable Equations , 2012 .

[28]  S. Sastry,et al.  On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).