The mixed logical dynamical (MLD) formalism has proved to be an efficient modelling
framework for hybrid systems described by dynamics logic and constraints. Furthermore, it
allows formulating and solving problems such as control, using for example predictive
strategies. However, its main drawback remains the computation load due to the complexity
of the mixed integer quadratic programming (MIQP) to be solved. To overcome this problem,
this paper presents an innovative technique splitting the global state space to polyhedral …

Abstract The Mixed Logical Dynamical (MLD) formalism has proved to be an efficient
modelling framework for hybrid systems described by dynamics, logic and constraints.
Furthermore, it allows formulating and solving practical problems such as control, using for
example predictive strategies. However, its main drawback remains the computation load
due to the complexity ofthe MIQPs to be solved. To overcome this problem, this paper
presents a multi-MLD model, considering split state space regions inside which restricted …