UE Discrete event systems

Informations aux utilisateurs

Veuillez noter que vous consultez une page du catalogue de formation 2020-2021. Le recrutement est actuellement terminé pour les licences, licences professionnelles, masters, DUT et formations réglementées de santé. Pour consulter le catalogue des formations 2021-2022, cliquez sur le lien suivant.

Diplômes intégrant cet élément pédagogique :

Descriptif

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

Informations complémentaires

Lieu(x) : Grenoble
Langue(s) : Anglais