Generalized Derivatives for Hybrid Systems

Established sensitivity results for hybrid discrete/continuous dynamic systems are generalized by relaxing smoothness assumptions on the functions governing the systems' continuous evolution and discrete event handling. The new results only require L-smoothness of these functions in the sense of Nesterov, instead of continuous differentiability. Parametric lexicographic derivatives for such a hybrid system provide useful local first-order sensitivity information, and are described as the unique solutions of auxiliary hybrid systems. This sensitivity analysis framework permits generalized derivative evaluation even for certain hybrid systems in which small changes in parameters can change the sequence of discrete modes visited. To handle parametric sensitivities of event times that are not known explicitly, conditions are provided under which a local inverse function or implicit function is L-smooth, with lexicographic derivatives that are described as the unique solutions of certain equation systems. These equation systems are readily solved when the functions involved are piecewise differentiable.

[1]  Jun Liu,et al.  Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory , 2015, IEEE Transactions on Automatic Control.

[2]  Ian A. Hiskens,et al.  Stability of hybrid system limit cycles: application to the compass gait biped robot , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[3]  David C. Lay,et al.  Linear Algebra and Its Applications, 4th Edition , 1994 .

[4]  Panagiotis D. Christofides,et al.  Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators , 2003, HSCC.

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

[6]  Julio R. Banga,et al.  Optimization of hybrid discrete/continuous dynamic systems , 2000 .

[7]  Yurii Nesterov,et al.  Lexicographic differentiation of nonsmooth functions , 2005, Math. Program..

[8]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[9]  Jan Dimon Bendtsen,et al.  Hybrid Control Design for a Wheeled Mobile Robot , 2003, HSCC.

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

[11]  H. Nijmeijer,et al.  Dynamics and Bifurcations ofNon - Smooth Mechanical Systems , 2006 .

[12]  Francisco Facchinei,et al.  An LP-Newton method: nonsmooth equations, KKT systems, and nonisolated solutions , 2013, Mathematical Programming.

[13]  Jinde Cao,et al.  Exponential stability of impulsive stochastic functional differential equations , 2011 .

[14]  Reinhold Mannshardt.  One-step methods of any order for ordinary differential equations with discontinuous right-hand sides , 1978 .

[15]  Uwe Naumann,et al.  The Art of Differentiating Computer Programs - An Introduction to Algorithmic Differentiation , 2012, Software, environments, tools.

[16]  Olaf Stursberg,et al.  Applied Hybrid System Optimization: An Empirical Investigation of Complexity ? , 2004 .

[17]  T. H. III Sweetser,et al.  A minimal set-valued strong derivative for vector-valued Lipschitz functions , 1977 .

[18]  B. Mordukhovich,et al.  Coderivatives in parametric optimization , 2004, Math. Program..

[19]  K. Kunisch,et al.  A convex analysis approach to optimal controls with switching structure for partial differential equations , 2016, 1702.07540.

[20]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[21]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[22]  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..

[23]  Arjan van der Schaft,et al.  The complementary-slackness class of hybrid systems , 1996, Math. Control. Signals Syst..

[24]  Marko Mäkelä,et al.  Survey of Bundle Methods for Nonsmooth Optimization , 2002, Optim. Methods Softw..

[25]  E. Rosenwasser,et al.  Sensitivity of Automatic Control Systems , 1999 .

[26]  H. D. Jong,et al.  Qualitative simulation of genetic regulatory networks using piecewise-linear models , 2004, Bulletin of mathematical biology.

[27]  Magnus Egerstedt,et al.  Optimal Control of Switching Surfaces in Hybrid Dynamical Systems , 2005, Discret. Event Dyn. Syst..

[28]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[29]  Andreas Griewank,et al.  Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition , 2000, Frontiers in applied mathematics.

[30]  Mato Baotic,et al.  Multi-object Adaptive Cruise Control , 2008, HSCC.

[31]  Paul I. Barton,et al.  A vector forward mode of automatic differentiation for generalized derivative evaluation , 2015, Optim. Methods Softw..

[32]  Xuping Xu,et al.  Optimal control of switched autonomous systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[33]  Ian A. Hiskens,et al.  Trajectory Sensitivity Analysis of Hybrid Systems , 2000 .

[34]  Liqun Qi,et al.  A nonsmooth version of Newton's method , 1993, Math. Program..

[35]  Paul I. Barton,et al.  Improved relaxations for the parametric solutions of ODEs using differential inequalities , 2012, Journal of Global Optimization.

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

[37]  P. I. Barton,et al.  Parametric sensitivity functions for hybrid discrete/continuous systems , 1999 .

[38]  Naum Zuselevich Shor,et al.  Minimization Methods for Non-Differentiable Functions , 1985, Springer Series in Computational Mathematics.

[39]  Paolo Valigi,et al.  Optimal mode-switching for hybrid systems with varying initial states , 2008 .

[40]  Michael Ulbrich,et al.  Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces , 2011, MOS-SIAM Series on Optimization.

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

[42]  Robert F. Stengel,et al.  Optimal Control and Estimation , 1994 .

[43]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[44]  Paul I. Barton,et al.  Sensitivity Analysis of Limit-Cycle Oscillating Hybrid Systems , 2011, SIAM J. Sci. Comput..

[45]  Vadim I. Utkin,et al.  Sliding mode control in electromechanical systems , 1999 .

[46]  Daniel Ralph,et al.  Sensitivity analysis of composite piecewise smooth equations , 1997, Math. Program..

[47]  H. Witsenhausen.  A class of hybrid-state continuous-time dynamic systems , 1966 .

[48]  Paul I. Barton,et al.  Modeling, simulation, sensitivity analysis, and optimization of hybrid systems , 2002, TOMC.

[49]  Paul I. Barton,et al.  Generalized gradient elements for nonsmooth optimal control problems , 2014, 53rd IEEE Conference on Decision and Control.

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

[51]  Jinde Cao,et al.  Exponential stability of stochastic functional differential equations with Markovian switching and delayed impulses via Razumikhin method , 2012, Advances in Difference Equations.

[52]  J. M. Schumacher,et al.  Complementarity systems in optimization , 2004, Math. Program..

[53]  Panagiotis D. Christofides,et al.  Predictive control of switched nonlinear systems with scheduled mode transitions , 2005, IEEE Transactions on Automatic Control.