Publications du Lurpa

2017 (7 publication(s))

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

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