Publications du Lurpa

2016

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

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

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

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

É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

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

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

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

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

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

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