Tools for mixed logical dynamical and piecewise affine systems based on the model description language HYSDEL are described. They concern various modeling, identification, analysis, control design, and verification tasks. The data exchange format explained in this chapter facilitates the combination of these tools.

This chapter describes MATLAB/Simulink tools for modeling, identifying, simulating, analyzing, and controlling discrete-time hybrid systems with piecewise affine dynamics, described in mixed logical dynamical (MLD) or piecewise affine (PWA) form. Such tools include:

• modeling and identification tools for describing the hybrid model in a high-level user-friendly way, or for identifying hybrid models from data;

• simulation tools for open-loop simulation and validation of hybrid models;

• analysis tools for characterization of stability and reachability properties of hybrid models;

• control design tools for designing hybrid model-predictive controllers, simulating closed-loop performances, and generating real-time control code.

(Section 10.1) describes the modeling language HYSDEL, which ease the process of formulating a hybrid model. Sections 10.2 and 10.3 describe two toolboxes for analysis, simulation, and control of hybrid systems, the Multi-Parametric Toolbox and the Hybrid Toolbox. (Section 10.4) describes two tools for identification of hybrid piecewise-affine models from data, the Hybrid Identification Toolbox and the PieceWise Affine Identification Toolbox. Finally, (Section 10.5) describes an interchange format for transferring models among all the aforementioned tools.

HYSDEL

Modeling aim

HYSDEL (HYbrid System DEscription Language) [632] allows modeling a class of hybrid systems described by interconnections of linear dynamical systems, finitestate automata, IF-THEN-ELSE rules, and propositional logic statements.