Hybrid systems modelling, simulation, and analysis

Mixed logical dynamical (MLD) systems are handled as MATLAB objects, obtained from HYSDEL models.

MLD objects can be automatically converted into piecewise affine (PWA) objects.

MLD and PWA objects can be simulated in MATLAB or in Simulink.

Safety properties can be verified through reachability analysis.

Model predictive control design

Model predictive controllers based on on-line optimization (MILP / MIQP) can be designed for hybrid systems.

Quadratic and infinity norms are supported.

Explicit MPC control design

Explicit MPC controllers in piecewise affine form can be designed via offline optimization (multiparametric programming) for linear systems w/ constraints and for hybrid systems.

C-code generation

Explicit controllers can be easily exported as C-code for direct implementation and rapid prototyping, by either simply running Real-Time Workshop or by embedding the generated C code in the application.

Simulink library

Blocks are provided for: controllers based on on-line optimization, explicit piecewise linear controllers, MLD and PWA models.

Solver support

The Hybrid Toolbox supports several solvers for linear, quadratic, and mixed-integer optimization.

List of supported solvers:

• GNU Linear Programming Kit (GLPKMEX) for LP/MILP
• GUROBI for LP/QP/MILP/MIQP (Gurobi Optimization, Inc.)
  
• LP/QP/MILP/MIQP solvers of Cplex (Ilog, Inc.)
  (CPLEXMEX, CPLEXINT, and IBM Cplex) 
• LP/QP/MILP/MIQP solvers of Xpress-MP (Dash Optimization) (MEXPRESS)
LP/QP solvers of the NAG Foundation Toolbox
• LP/QP solvers of the Optimization Toolbox (The Mathworks, Inc.)
• QPKWIK solver of the Model Predictive Control Toolbox (The Mathworks, Inc.)
• MIQP.M (free, now included in the toolbox)