Publications de l'équipe ISA (68 réponses)
- 2005 (4 publication(s))
- Mémoires de DEA (4)
- Modelling the quality of service of discrete event control systems
M. ALBRECHT
Mémoire de DEA, 33p., juin 2005
- Étude et évaluation de l'impact d\'un switch sur un traffic de contrôle commande par TCP/IP
G. COLOMBIER
Mémoire de DEA, 26p., juin 2005
- Spécification d'un contrôleur logique permettant sa synthèse de manière algébrique
Y. HIETTER
Mémoire de DEA, 26p., juin 2005
- Répartition dynamique d'activités sur un Automate Programmable Industriel à moniteur non préemptif
B. ROHEE
Mémoire de DEA, 29p., juin 2005
2004 (5 publication(s))
- Mémoires de DEA (5)
- Apport de la réécriture pour la vérification d'un programme de commande par Model-Checking: Cas du Ladder Diagram
O.CARDIN
Mémoire de DEA, juillet 2004
- Identification de machines séquentielles parallèles en tenant compte de la structure de la Partie Opérative
D. EVROT
Mémoire de DEA, juillet 2004
- Vérification de système de contrôle-commande multitâche temps réel
V. GOURCUFF
Mémoire de DEA, juillet 2004
- Génération d'un modèle comportemental pour les processus de systèmes automatisés électropneumatiques
Z. JUAREZ-OROZCO
Mémoire de DEA, septembre 2004
- Mise en oeuvre et paramétrage d'une architecture Ethernet TPC/IP routée: Apprentissage par réseaux de neurones
S. LIMAL
Mémoire de DEA, juillet 2004
2003 (3 publication(s))
- Mémoires de DEA (3)
- Génération automatique de jeux de tests pour systèmes séquentiels et temporisés contenus dans un automate programmable industriel
J. ANTOINE
Mémoire de DEA, 32 p., juillet 2003
- Modeling and simulation of a control architecture over Ethernet with TCP/IP protocol
G. POULARD
Mémoire de DEA, 47 p., juillet 2003
- Identification d'un système logique couplé à une partie
opérative émulée
J. TARDIF
Mémoire de DEA, 30 p., juillet 2003
2002 (3 publication(s))
- Mémoires de DEA (3)
- Identification de systèmes logiques séquentiels par observation d'événements et analyse énumérative
G.GOUSSET
Mémoire de DEA, 32 p., juin 2002
- Apports du calcul symbolique pour la conception sšre de programmes de contrôle/commande écrits en Ladder
O. GRABINSKI
Mémoire de DEA, 24 p., juin 2002
- Elaboration des propriétés des programmes de commande à partir de l'analyse des défaillances du système
S. HENRY
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, septembre 2002
2001 (2 publication(s))
- Mémoires de DEA (2)
- Méthode d’optimisation de scénarios de tests générés à partir de spécifications grafcet
Y. CHARLEMAGNE
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001
- Spécification et vérification du comportement dynamique d’un Système à Evénement Discret : approches réseaux de Petri et SFC sur un même cas d’étude
S. KLEIN
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001
2000 (2 publication(s))
- Mémoires de DEA (2)
- Définition et mise en place d'un environnement logiciel pour la plate-forme expérimentale prisme
P. BERNARDONI
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000
- Etude de faisabilité d'une méthode de génération automatique de scénarios de tests à partir d'une spécification Grafcet
O. BOSIO
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000
1999 (3 publication(s))
- Mémoires de DEA (3)
- Implantation d'une commande multi-agents dans un automate programmable
Y. LESPINAS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
- Expérimentation d'un algorithme d'identification des machine séquentielle dans le cadre du projet PRISME
R. LOCHOUARN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
- Identification et modélisation du comportement dynamique d'un Automate Programmable Industriel
N. PERPERE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
1998 (2 publication(s))
- Mémoires de DEA (2)
- Méthode de détermination expérimentale du comportement réactif d'un équipement industriel de commande
M. LAVANDIER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998
- Extension à la formalisation du modèle d'un système multi-agents appliqué à une cellule de fraisage
O. ROSSI
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998
1997 (3 publication(s))
- Mémoires de DEA (3)
- Identification des systèmes séquentiels par la plate-forme PRISME
N. HEVIN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
- Etude expérimentale des performances des architectures de conduite
C. ROESLIN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
- Validation de la commande d'une cellule de fraisage par système multi-agents : simulation du comportement
C. VIGNY
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
1996 (6 publication(s))
- Mémoires de DEA (6)
- La Conception Des Systemes De Production Multiproduit
A. COLLAINE
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil. 1996
- Vers Une Conception Robuste Des Systemes De Production Multiproduit. Integration De l'Activite De Controle Comme Activite Semi-Structuree.
A. COLLAINE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1996
- Capacites Des Outils De Simulation Bases Sur Les Reseaux De Petri Colores Temporises
P. MEUNIER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
- Simulation Des Architectures De Commande En Vue d'Une Aide A La Conception De Ces Architectures
P. MEUNIER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
- Extension De l'Automate Equivalent A un Grafcet Par Association Des Variables De Sortie Aux Etat De l'Automate Et Introduction De Contentions Sur Les Variables d'Entrees
C. THIERRY
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
- Traductions Formelles Des Specifications Temporelles Du Grafcet
C. THIERRY
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
1995 (4 publication(s))
- Mémoires de DEA (4)
- Application Du Concurrent Engineering A un Systeme De Production
C. BONARDEL
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
- Le Concurrent Engineering
C. BONARDEL
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
- Elaboration d'Une Methode De Structuration Pour l'Ingenierie Des Automatismes Dans Les Centrales E.D.F.
L. CABARROCAS, S. COSSART
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995
- Ordonnancement Des Traitements Dans Les Moniteurs Temps Reel Pour La Commande Des Automatismes
S. COSSART
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995
1994 (3 publication(s))
- Mémoires de DEA (3)
- Commande Coordonnee d'un Systeme Flexible De Production
D. CHEVREAU
Mémoire, DEA de Robotique, LURPA / ENS Cachan, juil. 1994
- Preuve Et Verification De Proprietes Sur Les Systemes De Transitions
C. DUCHE
Recherche bibliographique DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994
- Validation De Grafcets Par l'Etude De Leur Automate Equivalent. Analyse Des Besoins, Experimentation Sous l'Environnement Mec
C. DUCHE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994
1993 (2 publication(s))
- Mémoires de DEA (2)
- Modelisation Fonctionnelle De La Partie Operative d'un Systme Hybride : Application A un Sous-Systeme De Tranche De Centrale Thermique
L. PIETRAC
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1993
- Techniques De Modélisation Appliquees A l'Etude Des Fonctionnalites Attendues De La Partie Operative Des Systemes Hybrides
L. PIETRAC
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1993
1992 (4 publication(s))
- Mémoires de DEA (4)
- La Methode "Gim"
B. ANGLADE
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil.1992
- Utilisation Conjointe De Merise Et IDEF0 : Application A l'Analyse Et La Realisation d'Une Maquette d'un Module Logiciel De Gestion Temps Reel Des Requetes De Transport
B. ANGLADE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1992
- Ordonnancement En Temps Reel Et Ordonnancement d'Atelier Par Simulation
P. LE BRETON
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1992
- Utilisation Conjointe De Techniques De Specification Pour l'Etude d'Une Couche De Communication Au Sein d'un Controleur De Cellule
P. LE BRETON
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1992
1991 (3 publication(s))
- Mémoires de DEA (3)
- Realisation d'Une Bibliotheque De Communication En Ada Adaptee A l'Atelier Flexible Du Lurpa
J.M. REYNAUD
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1991
- Analyse Et Developpement d'un Atelier Logiciel Experimental Pour La Modelisation Par Le Grafcet
J.M. ROUSSEL
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1991
- Approche Objet Et Ingenierie Des Systemes Automatises De Production
J.M. ROUSSEL
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1991
1990 (5 publication(s))
- Mémoires de DEA (5)
- Analyse Des Systemes Temps Reel : La Methode "Structured Analysis For Real-Time Systems"
G. CORTHIER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
- Conduite d'Une Cellule Flexible d'Usinage : Elaboration, En Mode Automatique, De Scenarios De Production, A Partir De Taches Operatives
F.CHEVALIER, J.L. DEUTSCH
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1990
- Analyse Fonctionnelle De La Cellule De Preparation Manuelle De l'Atelier Flexible Du Lurpa. Application De La Methode SADT
L. HELETA
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990
- Les Langages Synchrones
L. HELETA
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
- Specification Fonctionnelle De La Cellule Manuelle De l'Atelier Automatise Flexible Du L.U.R.P.A. (Point De Vue De l'Opérateur)
S. THEALLIER, D. THOME
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990
1989 (10 publication(s))
- Mémoires de DEA (10)
- Structuration, Analyse Et Implementation Des Taches Operatives Dans La Commande Sequentielle Repartie d'Une Cellule Flexible De Fraisage
D. COSTES
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
- Conduite d'Une Cellule Flexible De Fraisage A Commande Repartie Par Macro-Primitives Structurees
Y. DE GELIS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
- Les Systemes Experts Dans l'Industrie
Y. DE GELIS
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
- Conception Generale Du Systeme De Commande De La Cellule De Mesure De l'A.A.F. Du Lurpa
P. GORCE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
- Genie Logiciel : Concept, Methodologie Et Outils
P. GORCE
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
- Experimentation d'un Systeme d'Alimentation Automatique De Palettes, Sur Machine A Mesurer Tridimensionnelle
B. HOUX
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
- Evolution Des Api - Les Modules Intelligents
F. KIEFER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
- Contribution A La Conception Du Systeme Informationnel d'un A.A.F. Application De La Methode Merise A l'Analyse Et l'Implementation De La Conduite Des Services Logistiques
G. MONNERET, F. KIEFER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1989
- La Supervision De Procedes Automatises Industriels
G. MONNERET
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
- Mise En Place d'Une Nouvelle Methode De Preparation. Programmation Pour l'Atelier Flexible De Meudon Et Annexes - Pour Atelier Flexible Preparation/Programmation Flexible
CH. MONY
Mémoire, DEA de Production Automatisée, ECOLE CENTRALE PARIS/LURPA-ENS Cachan, sept.1989
1988 (4 publication(s))
- Mémoires de DEA (4)
- Etude De l'Automatisation d'Une Cellule De Fraisage
M. ARAUJO
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988
- Surveillance Des Systemes De Production Automatisee
M. ARAUJO
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
- Les Reseaux Locaux Industriels Heterogenes
B. DENIS
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
- Structuration Du Systeme De Conduite d'un Magasin Automatique A Transtockeur
B. DENIS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988