Thèmes de recherche

Mes travaux portent sur la modélisation et l'analyse de systèmes réactifs, critiques et/ou embarqués, comportant des aspects quantitatifs, notamment liés à l'écoulement du temps ou aux incertitudes.

• Etude de modèles comme les automates temporisés ou hybrides, ou comme les réseaux de Petri temporels, en particulier pour les questions d'expressivité et de décidabilité. Modèles probabilistes pour la sécurité. Problèmes de contrôle et de synthèse, problèmes de robustesse. Applications aux systèmes de transport automatisés, aux équipes de robots autonomes, à la sécurité.
• Etude des langages de spécification utilisés pour énoncer les propriétés de correction des sysèmes. Ces langages sont étendus pour prendre en compte les informations quantitatives liées au temps, aux probabilités ou au contexte réparti.