Activités de recherche - Publications

Revues avec comité de lecture

BibTeX Paper E. Le Corronc, B. Cottenceau, L. Hardouin,
Container of (min,+)-linear systems
Journal of Discrete Event Dynamic Systems
DOI: 10.1007/s10626-012-0148-9, 2012
BibTeX Paper L. Hardouin, B. Cottenceau, M. Lhommeau, E. Le Corronc
Interval systems over idempotent semirings
Linear Algebra and Applications
Volume 431 - Issues 5-7, p. 855-862, 2009

Conférences internationales

BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
ContainerMinMaxGD: a toolbox for (min,+)-linear systems
WoNeCa'12, Workshop on Network Calculus
Kaiserslautern - Allemagne, Mars 2012
BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Flow Control with (min,+) algebra
ISOLA'10, Special Session Worst Case Traversal Time, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Heraklion - Crête, Octobre 2010
BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Control of uncertain (max,+)-linear systems in order to decrease uncertainty
WODES'10, International Worksop On Discrete Event Systems
Berlin - Allemagne, Août 2010
BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Control of uncertain (min,+)-linear systems
POSTA'09, International Symposium on Positive Systems
Valence - Espagne, Septembre 2009
BibTeX Paper L. Hardouin, B. Cottenceau, S. Lagrange, E. Le Corronc
Performance Analysis of Linear Systems over Semiring with Additive Inputs
WODES'08, International Worksop On Discrete Event Systems
Goteborg - Suède, Mai 2008

Preprint soumis

Paper E. Le Corronc, A. Girard, G. Goessler
Mode Sequences as Symbolic States in Abstractions
of Incrementally Stable Switched Systems

CDC'13, 52nd IEEE Conference on Decision and Control

Conférences nationales

BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Contrôle de flux : problème du Window Flow Control
GPL'11, Journées Nationales du GDR Génie de la Programmation et du Logiciel
Lille - France, Juin 2011
BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Encadrement de systèmes (min,+)-liénaires
MSR'09, Modélisation des Systèmes Réactifs
Nantes - France, Novembre 2009
BibTeX Slides Paper B. Cottenceau, L. Hardouin, E. Le Corronc
Représentation Tridimensionnelle de la Dynamique des Graphes d’Evénements Temporisés Généralisés
MSR'09, Modélisation des Systèmes Réactifs
Nantes - France, Novembre 2009
BibTeX Slides Paper E. Le Corronc, B. Cottenceau, L. Hardouin
Approximation convexe de systèmes (max,+)-linéaires
JDMACS'09, Journées Doctorales du GDR MACS
Angers - France, Mars 2009

Séminaires

E. Le Corronc, A. Girard, G. Goessler
Symbolic models of switched systems
Séminaire du LISA - Angers, Mars 2013
E. Le Corronc, A. Girard, G. Goessler
Abstraction of switched systems
Séminaire de l'équipe MESCAL (INRIA) - Grenoble, Janvier 2013
E. Le Corronc, B. Cottenceau, L. Hardouin
Guaranteed models and computations for (min,+)-linear systems
Séminaire de l'équipe POP ART (INRIA) - Grenoble, Octobre 2012
E. Le Corronc, B. Cottenceau, L. Hardouin
Modèles et calculs garantis pour les systèmes (min,+)-linéaires
Journée WEED (AFSEC) - Paris, Décembre 2011