Cours de systèmes temporisés paramétrés
Master PLS @ Institut Galilée, Université Paris 13
Cette page s’adresse aux étudiant⋅e⋅s du cours SITH (systèmes infinis, temporisés et hybrides) du Master 2 PLS de l’Institut Galilée de l’Université Paris 13.
Diapositives du cours de SITH
Diapositives à trous
La partie 1 du cours (systèmes temporisés) est assurée par Kaïs Klaï.
Les diapositives de la partie 2 (systèmes temporisés paramétrés) sont disponibles ci-dessous.
- Partie 2.0 : introduction
- Partie 2.1 : automates temporisés
- Partie 2.2 : automates temporisés paramétrés
Ressources des TP
TP 1
- Sujet du TP n°1
- fischer.imi
- fischer.pi0
- cafe.pi0
- imitator.tar.gz (version 64 bits statique de IMITATOR, version 2.10, hash 927951d)
TP 2
- Sujet du TP n°2
- AndOr.imi
- AndOr.pi0
- imitator.tar.gz (version 64 bits statique de IMITATOR, version 2.10, hash 927951d)
Liens
Licence des supports
Ressources réutilisables selon les conditions de leur licence respective, en général Creative Commons CC BY-NC-SA 4.0 ; auteur : Étienne André.
Source LaTeX disponible pour les enseignant⋅e⋅s sur demande.