Synthèse de systèmes temps-réel corrects et performants
le 4 mars 2026
13h15Campus de Beaulieu Campus de Beaulieu Amphi P - bât. 12D
Intervention de Julie Parreaux maîtresse de conférences à l'ISTIC | Université de Rennes - équipe Irisa / Inria DEVINE, dans le cadre des séminaires du département Informatique.
/medias/photo/seminaire-di_1630676501273-jpg
La théorie des jeux sur les graphes ont de nombreuses applications, notamment dans la synthèse de systèmes réactifs corrects par construction.
Nous commencerons par une présentation générale de la synthèse de systèmes temps-réels, c'est-à-dire de systèmes admettant des contraintes temps-réel. Puis, on se focalisera sur les jeux temporisés à coûts synthétisant ces systèmes avec, comme objectif secondaire, leurs performances. Plus précisément, nous nous intéresserons aux propriétés (sur la taille et la précision) des stratégies optimales dans cette classe de jeux reflétant, ainsi, les propriétés des systèmes corrects et performant que nous pouvons synthétiser.
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- Martin Quinson (martin.quinson@ens-rennes.fr)
Mise à jour le 2 mars 2026