Hybridní systémy

Hybrid dynamical systems, sometimes also referred to as cyber-physical systems, contain both subsystems governed by physical laws and subsystems behaving according to logical rules and regulations, often encoded in the form of algorithms and implemented in software.

The behaviour of the former can be described by real quantities whose evolution in continuous or discrete time is commonly modelled by differential or difference equations. The behaviour of the latter is commonly described by quantities taking on a countable or finite number of values (or even just two in the case of binary quantities), whose evolution is modelled by logical models such as finite state automata or Petri nets. In the modelling and analysis of hybrid systems and the design of control systems for them, these two classes of models intersect.

However, the control system itself can also be hybrid. And the industrial reality is that practical control systems contain, in addition to the continuous subsystems represented by PID controllers or Kalman filters, a subsystem or component evaluating the satisfaction of logic conditions. Switched linear controllers (gain scheduling), supervisory control, sliding mode control or reset control are examples of such controllers with hybrid dynamics. Hybrid control methods are also becoming particularly important in a networked environment, where measurements or controls are sent over the network only when some condition is met, in order to minimize network traffic (event triggered control).

Hybrid dynamical systems thus represent a suitable theoretical and extremely practical framework for modelling, analysis and synthesis of a large number of practical control systems.

The aim of this advanced course is to help students acquire basic competences (knowledge but also practical design/computational skills) in this practically very relevant and theoretically still intensively developed area.