Introduction to Hybrid Dynamical Systems

What is a Hybrid Dynamical System?

Definition:

Hybrid dynamical systems contain heterogeneous dynamics that interact with each other and jointly determine the systems’ behaviors over time. These include:

  • Time-driven continuous-variable dynamics: governed by physical laws, described by differential equations.
  • Event-driven discrete-variable dynamics: depend on “if-then-else” rules.

These two kinds of dynamics interact to generate complex behaviors such as switching when continuous variables pass thresholds and state jumping upon discrete events.

Room Temperature Control System:

A typical winter heating system with a thermostat set to 70°F demonstrates hybrid dynamics:

  • Continuous dynamics: furnace and heat flow characteristics of the room
  • Discrete dynamics: thermostat with “ON” and “OFF” states
  • Interaction: discrete state transitions are triggered by room temperature, while temperature evolution depends on the discrete state

Hybrid systems appear in many applications: manufacturing systems, chemical plants, traffic management, power grids, communication systems, and multi-robot control. They are also found in natural systems like gene regulatory networks where translation/transcription processes are continuous but gene activation is discrete.

Lagrange Mechanics

See מכניקה לגראנז’ית.

Locomotion of Under-Actuated Robots

In mobile robots, the vectors of coordinates can typically be decomposed into , where are body coordinates describing position and orientation of a moving reference frame attached to the robot’s main body, while represent shape coordinates, for example internal joint angles. The mobile robot is an under-actuated system where the shape coordinates are controlled while the body coordinates are not directly actuated and are only affected passively and indirectly by actuation of the shape variables. The matrix equations of motion can be decomposed into sub-blocks as

Where:

  • : mass matrix coupling body coordinates to body accelerations
  • : mass matrix coupling shape coordinates to body accelerations
  • : mass matrix coupling shape coordinates to shape accelerations
  • : nonlinear velocity-dependent terms (Coriolis and centrifugal forces) for body coordinates
  • : nonlinear velocity-dependent terms for shape coordinates
  • : gravitational and conservative forces on body coordinates
  • : gravitational and conservative forces on shape coordinates
  • : vector of actuation forces/torques at the joints of shape variables

The un-actuated body coordinates are not associated with generalized forces. System of the form (1.1) is called DAE – Differential Algebraic Equation.

A common assumption is that the shape variables are directly controlled/prescribed, that is, . In such case the system in (1.1) can be rearranged as:

Note that the right hand side of (1.2) contains only known quantities – the shape variables and their derivatives, as well as body positions and velocities. Thus, the upper part of (1.2) is a second order ODE for the body motion . The lower part of (1.2) is an algebraic equation that enables extraction of the actuation forces/torques as a function of . In this case one can also obtain a state equation where the state vector contains body motion only .