Publications de l'équipe ISA (22 réponses)

2018 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Modelling and Recognition of Human Activities of Daily Living in a Smart Home
  K. Viard
  Thèse en co-tutelle ENS Cachan / Politecnico di Bari, 157 pages, juillet 2018

2017 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques
  B. Lebeaupin
  Thèse en co-tutelle ENS Cachan / CentraleSupelec, 144 pages, décembre 2017

2016 (2 publication(s))

Thèses et habilitations à diriger les recherches (2)

• Contributions à la modélisation, l’évaluation de performances et la commande des Systèmes à Evénements Discrets en utilisant l’algèbre des dioïdes
  S. Amari
  Habilitation à diriger des recherches, 179 pages, octobre 2016
• Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets
  J. Saives
  Thèse de l'ENS Cachan, 205 pages, juin 2016

2015 (2 publication(s))

Thèses et habilitations à diriger les recherches (2)

• Assessment of Reliability Indicators From Automatically Generated Partial Markov Chains
  P.-A. Brameret
  Thèse de l'ENS Cachan, 133 pages, juillet 2015
• Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques réparables et reconfigurables
  P.Y. Piriou
  Thèse de l'ENS Cachan, 220 pages, décembre 2015

2014 (2 publication(s))

Thèses et habilitations à diriger les recherches (2)

• Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée
  A. Guignard
  Thèse de l'ENS Cachan, 164 pages, décembre 2014
• Contribution à la commande sûre des Systèmes à Événements Discrets
  J.-M. Roussel
  Habilitation à diriger des recherches, 154 pages, juillet 2014

2013 (5 publication(s))

Thèses et habilitations à diriger les recherches (5)

• Analyse de la fiabilité des architectures de commande en réseau à composants multi-modes
  D. AZA-VALLINA
  Thèse de l'ENS Cachan, 140 pages, novembre 2013
• Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes dynamiques réparables,
  P.-Y. CHAUX
  Thèse de l'ENS Cachan, 148 pages, 15 avril 2013
• A Discrete Event Approach for Model-Based Location Tracking of Inhabitants in Smart Homes
  M. DANANCHER
  Thèse en co-tutelle ENS Cachan / Technische Universität Kaiserslautern (Allemagne), 150 pages, décembre 2013
• Black-Box identification of automated discrete event systems
  A.-P. ESTRADA-VARGAS
  Thèse en co-tutelle ENS Cachan / Cinvestav (Mexique), 122 pages, 20 février 2013
• Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants
  T. LEMATTRE
  Thèse de l'ENS Cachan, 160 pages, juillet 2013

2012 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés
  M. PERIN
  Thèse de l'ENS Cachan, 178 pages, 22 juin 2012

2011 (2 publication(s))

Thèses et habilitations à diriger les recherches (2)

• Evaluation analytique du temps de réponse des systèmes de commande en réseau en utilisant l'algèbre (max,+)
  B. ADDAD
  Thèse de l'ENS Cachan, 141 pages, 1 juillet 2011
• Test de conformité de contrôleurs logiques spécifiés en Grafcet
  J. PROVOST
  Thèse de l'ENS Cachan, 170 pages, 8 juillet 2011

2010 (2 publication(s))

Thèses et habilitations à diriger les recherches (2)

• Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis
  G. MERLE
  Thèse de l'ENS Cachan, 218 pages, 7 juillet 2010
• Identification and fault diagnosis of industrial closed-loop discrete event systems
  M. ROTH
  Thèse en co-tutelle ENS Cachan / Université de Kaiserslautern (Allemagne), 225 pages, 8 octobre 2010

2009 (3 publication(s))

Thèses et habilitations à diriger les recherches (3)

• Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
  Y.HIETTER
  Thèse de l'ENS Cachan, 162 pages, 28 mai 2009
• Architectures de contrôle-commande redondantes à base d’Ethernet Industriel : Modélisation et validation par model-checking temporisé
  S. LIMAL
  Thèse de l'ENS Cachan, 122 pages, 8 janvier 2009
• Evaluation des bornes des performances temporelles des Architectures d’Automatisation en Réseau par preuves itératives de propriétés logiques
  S. RUEL
  Thèse de l'ENS Cachan, 148 pages, 9 juillet 2009

2008 (1 publication(s))

Thèses et habilitations à diriger les recherches (1)

• Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride
  Z. JUÀREZ-OROZCO
  Thèse de l'ENS Cachan, 135 pages, 20 juin 2008