Publications de l'équipe ISA (30 réponses)

2017 (7 publication(s))

Mémoires de Master (7)

• 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

2016 (6 publication(s))

Mémoires de Master (6)

• 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

2015 (2 publication(s))

Mémoires de Master (2)

• 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

2014 (6 publication(s))

Mémoires de Master (6)

• 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

2013 (5 publication(s))

Mémoires de Master (5)

• 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

2012 (4 publication(s))

Mémoires de Master (4)

• É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