Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications

Nonlinear hybrid dynamical systems are the main focus of this paper. A modeling framework is proposed, feedback control strategies and numerical solution methods for optimal control problems in this setting are introduced, and their implementation with various illustrative applications are presented. Hybrid dynamical systems are characterized by discrete event and continuous dynamics which have an interconnected structure and can thus represent an extremely wide range of systems of practical interest. Consequently, many modeling and control methods have surfaced for these problems. This work is particularly focused on systems for which the degree of discrete/continuous interconnection is comparatively strong and the continuous portion of the dynamics may be highly nonlinear and of high dimension. The hybrid optimal control problem is defined and two solution techniques for obtaining suboptimal solutions are presented (both based on numerical direct collocation for continuous dynamic optimization): one fixes interior point constraints on a grid, another uses branch-and-bound. These are applied to a robotic multi-arm transport task, an underactuated robot arm, and a benchmark motorized traveling salesman problem.

[1]  Volker Krebs,et al.  Modellierung, Simulation und Analyse hybrider dynamischer Systeme mit Netz-Zustands-Modellen , 1999 .

[2]  A. Rantzer,et al.  Optimal control of hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[3]  Christodoulos A. Floudas,et al.  Mixed-Integer Nonlinear Optimization in Process Synthesis , 1998 .

[4]  Ümit Özgüner,et al.  Modeling and Stability Issues in Hybrid Systems , 1994, Hybrid Systems.

[5]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[6]  Oskar von Stryk,et al.  Direct and indirect methods for trajectory optimization , 1992, Ann. Oper. Res..

[7]  Oskar von Stryk,et al.  Numerical Hybrid Optimal Control and Related Topics , 2003 .

[8]  O. V. Stryk,et al.  Numerical mixed-integer optimal control and motorized traveling salesmen problems , 2001 .

[9]  Martin Buss,et al.  Hybrid Control of Multi-fingered Dextrous Robotic Hands , 2002 .

[10]  Vadim I. Utkin,et al.  Sliding Modes in Control and Optimization , 1992, Communications and Control Engineering Series.

[11]  Michael S. Branicky,et al.  General Hybrid Dynamical Systems: Modeling, Analysis, and Control , 1996, Hybrid Systems.

[12]  Ingo Hoffmann,et al.  Chaos in einfachen kontinuierlich diskreten dynamischen Systemen , 1997 .

[13]  Martin Buss,et al.  Robust global stabilization of the underactuated 2-DOF manipulator R2D1 , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[14]  Martin Buss,et al.  Towards Hybrid Optimal Control , 2000 .

[15]  Martin Buss,et al.  Robust control of a non-holonomic underactuated SCARA robot , 1999 .

[16]  Kenneth Kreutz-Delgado,et al.  Numerical solution of nonlinear 𝒽2 and 𝒽∞ control problems with application to jet engine compressors , 2000, IEEE Trans. Control. Syst. Technol..

[17]  Arjan van der Schaft,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[18]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

[19]  Michael A. Saunders,et al.  USER’S GUIDE FOR SNOPT 5.3: A FORTRAN PACKAGE FOR LARGE-SCALE NONLINEAR PROGRAMMING , 2002 .

[20]  M. M. Bayoumi,et al.  Modeling and Control of Hybrid Systems: A Survey , 1996 .

[21]  Oskar von Stryk,et al.  User's guide for DIRCOL (Version 2.1): a direct collacation method for the numerical solution of optimal control problems , 1999 .

[22]  James E. Bobrow,et al.  Optimal motion primitives for a 5 DOF experimental hopper , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[23]  Zentrum Mathematik.  Towards Optimal Hybrid Control Solutions for Gait Patterns of a Quadruped , 2000 .

[24]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[25]  O. V. Stryk,et al.  Decomposition of Mixed-Integer Optimal Control Problems Using Branch and Bound and Sparse Direct Collocation , 2000 .

[26]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[27]  M. Branicky.  Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[28]  Martin Buss,et al.  State Reconstruction and Error Compensation in Discrete-Continuous Control Systems , 2000 .

[29]  Paul I. Barton,et al.  Mixed-integer dynamic optimization , 1997 .

[30]  M. Branicky.  Analyzing continuous switching systems: theory and examples , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[31]  Martin Buss,et al.  Development of numerical integration methods for hybrid (discrete-continuous) dynamical systems , 1997, Proceedings of IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[32]  Konstantin Kondak,et al.  Computation of time optimal movements for autonomous parking of non-holonomic mobile platforms , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[33]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[34]  M. Branicky,et al.  A fast marching algorithm for hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[35]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[36]  Daniel E. Koditschek,et al.  From stable to chaotic juggling: theory, simulation, and experiments , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[37]  James E. Bobrow,et al.  Minimum effort motions for open chain manipulators with task-dependent end-effector constraints , 1997, Proceedings of International Conference on Robotics and Automation.

[38]  J. Betts.  Survey of Numerical Methods for Trajectory Optimization , 1998 .

[39]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[40]  Sergey V. Drakunov,et al.  Sliding-mode control in discrete-state and hybrid systems , 1996, IEEE Trans. Autom. Control..

[41]  Sebastian Engell,et al.  Modellierung und Analyse hybrider dynamischer Systeme , 1997 .

[42]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[43]  Martin Buss,et al.  ViGWaM - An Emulation Environment for a Vision Guided Virtual Walking Machine , 2000 .

[44]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[45]  Claire J. Tomlin,et al.  Towards efficient computation of solutions to hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[46]  Karen Rudie,et al.  A survey of modeling and control of hybrid systems , 1997 .

[47]  M. Branicky.  Topology of hybrid systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.