Optimal Control of Piecewise-Smooth Control Systems via Singular Perturbations

This paper investigates optimal control problems formulated over a class of piecewise-smooth controlled vector fields. Rather than optimizing over the discontinuous system directly, we instead formulate optimal control problems over a family of regularizations which are obtained by "smoothing out" the discontinuity in the original system using tools from singular perturbation theory. Standard, efficient derivative-based algorithms are immediately applicable to solve these smooth approximations to local optimally. Under standard regularity conditions, it is demonstrated that the smooth approximations provide accurate derivative information about the non-smooth problem in the limiting case. The utility of the technique is demonstrated in an in-depth example, where we utilize recently developed reduced-order modeling techniques from the dynamic walking community to generate motion plans across contact sequences for a 18-DOF model of a lower-body exoskeleton.

[1]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[2]  Elijah Polak,et al.  Optimization: Algorithms and Consistent Approximations , 1997 .

[3]  Aaron Ames,et al.  Motion Decoupling and Composition via Reduced Order Model optimization for Dynamic Humanoid Walking with CLF-QP based Active Force Control , 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[4]  Gerard Olivar,et al.  Control of a DC-DC Buck Converter through Contraction Techniques , 2018 .

[5]  Peter E. Caines,et al.  On the Hybrid Optimal Control Problem: Theory and Algorithms , 2007, IEEE Transactions on Automatic Control.

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

[7]  S. Shankar Sastry,et al.  Metrization and Simulation of Controlled Hybrid Systems , 2013, IEEE Transactions on Automatic Control.

[8]  Aaron D. Ames,et al.  Towards the Unification of Locomotion and Manipulation through Control Lyapunov Functions and Quadratic Programs , 2013, CPSW@CISS.

[9]  Aaron D. Ames,et al.  Coupling Reduced Order Models via Feedback Control for 3D Underactuated Bipedal Robotic Walking , 2018, 2018 IEEE-RAS 18th International Conference on Humanoid Robots (Humanoids).

[10]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[11]  Jaume Llibre,et al.  Sliding Vector Fields via Slow--Fast Systems , 2008 .

[12]  Jaume Llibre,et al.  Regularization Of Discontinuous Vector Fields In Dimension Three , 1997 .

[13]  Tyler Westenbroek,et al.  Technichal Report: Optimal Control of Piecewise-Smooth Control Systems via Singular Perturbations , 2019 .

[14]  Mario di Bernardo,et al.  Observer design for piecewise smooth and switched systems via contraction theory , 2016, ArXiv.

[15]  Maryam Kamgarpour,et al.  On optimal control of non-autonomous switched systems with a fixed mode sequence , 2012, Autom..

[16]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[17]  Mario di Bernardo,et al.  Contraction analysis of switched systems via regularization , 2015, Autom..

[18]  S. Shankar Sastry,et al.  A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.

[19]  Daniel E. Koditschek,et al.  Hybrid zero dynamics of planar biped walkers , 2003, IEEE Trans. Autom. Control..

[20]  S. Shankar Sastry,et al.  A New Solution Concept and Family of Relaxations for Hybrid Dynamical Systems , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[21]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

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

[23]  Mihai Anitescu,et al.  Optimal control of systems with discontinuous differential equations , 2010, Numerische Mathematik.

[24]  Aaron D. Ames,et al.  Bipedal Hopping: Reduced-Order Model Embedding via Optimization-Based Control , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).