Publications de l'équipe ISA (41 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

2007 (3 publication(s))

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

• Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances
  I. BARRAGAN SANTIAGO
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 153 p., juillet 2007
• Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels
  V. GOURCUFF
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 131 p., décembre 2007
• Méthode de synthèse d'un contrôleur logique à partir de spécifications algébriques
  A. MEDINA RODRIGUEZ
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 185 p., décembre 2007

2006 (3 publication(s))

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

• Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à événements discrets
  J. MACHADO
  Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 158 p., juin 2006
• Evaluation de performance d'architectures de commande de systèmes automatisés industriels
  P. MEUNIER
  Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 209 p., mars 2006
• Evaluation of time performances of Ethernet-based Automation Systems by simulation of High-level Petri Nets
  G. POULARD
  Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 150 p., décembre 2006

2005 (1 publication(s))

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

• Identification of Discrete Event Systems for Fault Detection Purposes
  S.KLEIN
  Doctorat de l’Ecole Normale Supérieure de Cachan, Spécialité : Electronique Electrotechnique et Automatique

2003 (1 publication(s))

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

• Validation formelle de programmes Ladder Diagram pour Automates Programmables Industriels
  O. ROSSI
  Thèse de Doctorat en EEA, ENS de Cachan, 208 p., juin 2003

2002 (1 publication(s))

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

• Formalisation en vue de la vérification de propriétés du langage à blocs fonctionnels IEC 61499
  C. SCHNAKENBOURG
  Doctorat de l'Ecole Normale Supérieure de Cachan, 14 janvier 2002, LURPA-Ens de Cachan, 14 janvier 2002, LURPA-Ens de Cachan

2001 (1 publication(s))

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

• Une méthode d’évaluation de l’impact des évolutions du produit sur le système de production et la performance de l’entreprise
  A. COLLAINE
  Doctorat de l'Ecole Normale Supérieure de Cachan, 11 Déc. 2001, LURPA-Ens de Cachan

1999 (1 publication(s))

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

• Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production
  L. PIETRAC
  Doctorat de l'Ecole Normale Supérieure de Cachan, 12 janv. 1999, LURPA-Ens de Cachan

1996 (1 publication(s))

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

• Pilotage Des Cellules Adaptatives De Production : Apport Des Systemes Multi-Agents
  C. SOHIER
  Doctorat de l'Ecole Normale Supérieure de Cachan, janvier 1996

1994 (3 publication(s))

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

• Aide A La Conception d'Architectures De Conduite Des Systemes De Production
  B. DENIS
  Doctorat de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
• Contribution A La Formalisation Des Modeles Et Methodes De Conception Des Systemes De Production
  J.J. LESAGE
  Habilitation à Diriger les Recherches de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
• Analyse De Grafcets Par Generation Logique De l'Automate Equivalent
  J.M. ROUSSEL
  Doctorat de l'Ecole Normale Supérieure de Cachan, Décembre 1994

1991 (1 publication(s))

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

• Generation Automatique Des Procedures De Pilotage d'Une Cellule Flexible De Production
  D. GENDREAU
  Thèse de Doctorat de L'ECOLE CENTRALE PARIS - LURPA/ENS de CACHAN, 20 Décembre 1991

1990 (1 publication(s))

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

• Contribution A l'Efficience Des Systemes De Robots De Transport Par Integration Des Phases De Conception Du Circuit d'Evolution, De Simulation Et De Pilotage Temps Reel
  G. TIMON
  Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA-ENS CACHAN, sept.1990

1989 (1 publication(s))

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

• Conception De La Commande Des Systemes De Production : Contribution A La Structuration, Application A La Conception De La Commande d'un Atelier Flexible
  J.J. LESAGE
  Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, janv.1989

1988 (1 publication(s))

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

• Gestion En Temps Reel d'Atelier Flexible : Analyse Et Contribution A l'Optimisation. Application Au Pilotage Des Services Logistiques
  B. FROMENT
  Thèse de doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, avril 1988