UE Probabilistic, timed, and hybrid 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

Introduction — Boolean properties vs quantitative properties

Probabilistic and stochastic systems

  •     Probabilistic and stochastic behaviours — Randomized algorithms
  •     Discrete-Time and Continuous-Time Markov Chains, and their concurrent extensions
  •     Steady-state and transient analyses — Probabilistic temporal logics
  •     Safety analysis — Static and dynamic fault-trees

Real-time systems

  •     Modeling and verification of real-time systems
  •     WCET (Worst-Case Execution Time)analysis, main steps
  •     Bounding interference delays on multi-core platforms

Hybrid systems

  •     Hybrid automata
  •     Set-based simulation of continuous-discrete behaviour
  •     Software tools for analyzing hybrid systems
  •     Applications to electric circuits, automotive systems, biological systems, etc.

Informations complémentaires

Méthode d'enseignement : En présence
Langue(s) : Anglais