UE Discrete event systems

User information

Please note that you are curently looking at the ongoing Academic Programs. Applications are now closed for this academic year (2020-2021) for licences, professional licences, masters, DUT and regulated health training. If you are interested for an application in 2021-2022, please click on this link for the appropriate Academic Programs.

Degrees incorporating this pedagocial element :

Description

This course is an introduction to hybrid systems, i.e. dynamic systems that exhibits both continuous and discrete dynamic behavior. The first part of the course introduces several paradigms for modelling hybrid systems: switched systems, piecewise smooth systems, hybrid automata. These notions are illustrated by examples. The second part of the course deals with Lyapunov techniques for stability analysis and stabilization of hybrid systems and the related numerical techniques such as LMI formulations. The third part of the course deals with abstraction techniques for the symbolic analysis and control of hybrid systems.

LessonTopic 
Modelling 
 Switched systems, piecewise smooth systems, sliding mode, hybrid automata, blocking and deterministic systems, Zeno behaviors. 
Stability and stabilization 
 Common and multiple Lyapunov functions, dwell time, LMI formulation and S-procedure, stabilization by switching. 
Abstraction based control 
 Transition systems, simulation relation, reachability analysis, safety controller synthesis. 
Lab 1 LMI techniques for stability analysis and stabilization 
Lab 2 Abstraction based control