UE Probabilistic, timed, and hybrid systems

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
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Anglais