Publications de l'équipe ISA
- 2017
- Mémoires de Master
- Activities of daily living modeling and experimental validation for activity recognition in smart houses
F. Delaine
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - Modeling and implementation of a fault-tolerant control law for mechatronic systems
M. Devys
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - Analysis and optimization of latency in the complex multi-periodic and multi-partition specifications
P. Glanon
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - SysML-based methodology for translation of informal specifications into FORM-L language
N. M'Hamdi
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - Contribution to the evaluation of the consistency of Systems Engineering, Multiphysics and Safety Analysis models
S. Missaoui
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - Model-Based Safety Analysis for co-assessment of operation and system safety: application to specific operations of unmanned aircraft
L.-M. Sejeau
Mémoire du Master ISC de l’ENS Cachan, juillet 2017 - Modelling and temporal evaluation of Networked Automation Systems with Timed Automata with Guards and (max,+) algebra
F. Tamssaouet
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
- Mémoires de Master
- Joint safety and security quantification: comparison of S-CUBE and ADVISE methods
M. Duroeulx
Mémoire du Master ISC de l’ENS Cachan, juillet 2016 - Maintain the model consistency of system structures by the physical flow description
C. Galetta
Mémoire du Master ISC de l’ENS Cachan, juillet 2016 - Formal Verification of Dynamic Properties of Generalized Boolean Logic Driven Markov Process Models
E. Kobeissi
Mémoire du Master ISC de l’ENS Cachan, juillet 2016 - Multi-access modelling of a factory building and detection of security failure using trajectory search
A. Labatut
Mémoire du Master ISC de l’ENS Cachan, juillet 2016 - Alarm rationalization by using pattern mining
Y. Laumonier
Mémoire du Master ISC de l’ENS Cachan, juillet 2016 - A method for generating critical sequences for the safety of the autonomous vehicle
J. Madjour
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
- Mémoires de Master
- Contrôle par retour d’états de systèmes Max-Plus partiellement observables
R. Jacob
Mémoire du Master ISC de l’ENS Cachan, juillet 2015 - Automatic Discovery and Deviation Detection of Temporal Inhabitant Habits
K. Viard
Mémoire du Master ISC de l’ENS Cachan, juillet 2015
- Mémoires de Master
- Evaluation analytique des performances des systèmes multi-états
B. Aupetit
Mémoire du Master ISC de l’ENS Cachan, juillet 2014 - Etude de la gestion d'exception dans un modèle formel au coeur de dispositifs médicaux
L. Kaci
Mémoire du Master ISC de l’ENS Cachan, juillet 2014 - Optimisation de routage électrique dans un avion
B. Lebeaupin
Mémoire du Master ISC de l’ENS Cachan, juillet 2014 - 10 examples of process modeling using Altarica 3.0
H. Mortada
Mémoire du Master ISC de l’ENS Cachan, juillet 2014 - Contrôle Tolérant aux Fautes des SED : deux approches évaluées sur une même étude de cas
J. Niguez
Mémoire du Master ISC de l’ENS Cachan, juillet 2014 - Détection de déviations d'activités quotidiennes basée sur un modèle automate
C. Pianon
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
- Mémoires de Master
- Algèbre (max, +) pour l’évaluation de performances temporelles des systèmes de commande en réseau producteur/consommateur
R. AMMOUR
Mémoire du Master ISC de l'ENS Cachan, juillet 2013 - Réalisation d'un Model-Checker pour la vérification formelle des circuits logiques synchrones en VHDL
A. BOUSSIF
Mémoire du Master ISC de l'ENS Cachan, juillet 2013 - Délais Pire cas dans les réseaux Ethernet commutés-network calculs
A. BOUZAKARIA
Mémoire du Master ISC de l'ENS Cachan, juillet 2013 - Causality analysis for the execution of synchronous data-flow programs
Y. GEOFFROY
Mémoire du Master ISC de l'ENS Cachan, juillet 2013 - Modelling of activities of daily living for online recognition and prediction
J. SAIVES
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
- Mémoires de Master
- Étude des propriétés spectrales des Réseaux de Graphes d’Événements Temporisés en conflits dans l'algèbre Max-Plus
W. BOUSSAHEL
Mémoire du Master ISC de l'ENS Cachan, juillet 2012 - Apport de la Supervisory Control Theory pour l'établissement d'un modèle de maison intelligente
A. BUTEZ
Mémoire du Master ISC de l'ENS Cachan, juillet 2012 - Génération d'AMDEC et d'Arbres de défaillances à partir de modèles établis en Ingénierie des Systèmes
P. MAUBORGNE
Mémoire du Master ISC de l'ENS Cachan, juillet 2012 - Expérimentation d'interopérabilité entre les études fonctionnelles et les études de sûreté de fonctionnement
P.-Y. PIRIOU
Mémoire du Master ISC de l'ENS Cachan, juillet 2012
- Mémoires de Master
- Determining the availability of a system built with repairable components
P.A. BRAMERET
Mémoire du Master ISC de l'ENS Cachan, juillet 2011 - Symbolic generation of the automaton representing an algebraic description of a logic system
A. GUIGNARD
Mémoire du Master ISC de l'ENS Cachan, juillet 2011 - Algebraic synthesis of logical controllers with optimization criteria
H. LEROUX
Mémoire du Master ISC de l'ENS Cachan, juillet 2011 - Containing Byzantine Failures with Control Zones
A. MAURER
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
- Mémoires de Master
- Test des capacités de surveillance d'un contrôleur logique
T. ANTIGNAC
Mémoire du Master ISC de l'ENS Cachan, juillet 2010 - Commande des systèmes à événements discrets à temps critiques en utilisant l’algèbre des dioïdes et Applications
R. ATTIA
Mémoire du Master ISC de l'ENS Cachan, juillet 2010 - Analyse de fiabilité d'une architecture réseau
D. AZA-VALLINA
Mémoire du Master ISC de l'ENS Cachan, juillet 2010 - Comparison of three model-based diagnosis methods for Discrete Event Systems
M. DANANCHER
Mémoire du Master ISC de l'ENS Cachan, juillet 2010 - Vérification du comportement d'une commande logique implantée dans un FPGA
M. QUIGNON
Mémoire du Master ISC de l'ENS Cachan, juillet 2010
- Mémoires de Master
- Apport du model-checking pour l\'analyse qualitative de BDMP
P.-Y.CHAUX
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2009 - Une approche modulaire pour la formalisation en UPPAAL du comportement du SFC,
T. LEMATTRE
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2009
- Mémoires de Master
- Modeling and Response Time Evaluation of Ethernet-based Control Architectures using Timed Event Graphs and Max-Plus Algebra
B. ADDAD
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2008 - Du modèle logique séquentiel à la machine de Mealy à base d'alphabet : une transcription adaptée aux techniques de test
J. PROVOST
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2008
- Mémoires de Master
- Algebraic modelling of Fault Trees with Priority AND gates
G. MERLE
Mémoire de Master, ENS de Cachan, Juillet 2007 - Analyse formelle de la sûreté de systèmes mécatroniques sujets à défaillance
M. PERIN
Mémoire de Master, ENS de Cachan, Juillet 2007
- Mémoires de Master
- Control system design using the Supervisory Control Theory: evaluations of possibilities and limits
M.CANTARELLI
Mémoire de Master, ENS de Cachan, Juillet 2006 - Elaboration d’un modèle de simulation UPPAAL pour la detection et le diagnostic
P.COCHETEUX
Mémoire de Master, ENS de Cachan, Juillet 2006 - Evaluation de trois stratégies de mesures expérimentales du délai dans les architectures Ethernet commuté d’un système automatisé
B.MILLION
Mémoire de Master, ENS de Cachan, Juillet 2006 - Identification de modèle de connaissance de taille représentative
S.RUEL
Mémoire de Master, ENS de Cachan, Juillet 2006 - Génération automatique de modèles de partie opérative
N.SALLES
Mémoire de Master, ENS de Cachan, Juillet 2006