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