Avant Projet : MACSI

Précédent : Jurys de thèses et d'habilitations Remonter : Modélisation, Analyse et Conduite des

Références

Livres et monographies

[1]

F. VERNADAT,
Techniques de Modélisation en Entreprise : Applications aux Processus Opérationnels,
Economica, Paris, 1999.

Thèses et habilitations à diriger des recherches

[2]

D. ROY,
Une architecture hiérarchisée multi-agents pour le pilotage réactif d'ateliers de production,
thèse de doctorat, Université de Metz, janvier 1998.

Articles et chapitres de livre

[3]

G. ALPAN, M. A. JAFARI,
« Synthesis of Sequential Controllers in the Presence of Conflicts and Free Choices »,
IEEE Trans. on Robotics and Automation RA-14, 13, Juin 1998, p. 488-492.

[4]

D. ANCIAUX, D. ROY, F. VERNADAT,
« Reactive shop-floor control with a multi-agent system »,
in: Management and Control of Production and Logistics, L.M.Aguilera and Z. Binder (réd),
Pergamon Press, London, 1998.

[5]

G. BERIO, A. D. LEVA, P. GIOLITO, F. VERNADAT,
« Object-Oriented Process Development in the M*-OBJECT Methodology »,
Journal of Intelligent Manufacturing,
à paraître.

[6]

G. BERIO, A. D. LEVA, P. GIOLITO, F. VERNADAT,
« Process and Data Nets: The Conceptual Model of the M*-OBJECT Methodology »,
IEEE Transactions on Systems, Man, and Cybernetics SMC 29, 1, 1999.

[7]

F. CHU, X.-L. XIE,
« Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming »,
IEEE Trans. on Robotics and Automation RA-13 6, December 1997, p. 793-804.

[8]

L. DUPONT, A. VIGNIER, M. PORTMANN, C. PROUST,
« New separation scheme for hybrid flowshop »,
JESA Journal Européen des Systèmes Automatisés, 1998.

[9]

A. HAOUBA, X.-L. XIE,
« Flow Control of Multi-Level Assembly Systems »,
International Journal of Computer-Integrated Manufacturing,
à paraître.

[10]

A. JANIAK, M.-C. PORTMANN,
« Genetic Algorithm for the Permutation Flow-shop Scheduling Problem with Linear Models of Operations »,
Annals of Operations Research special issue, F. Werner (réd.), 1998.

[11]

M. JENG, X.-L. XIE, ET SHIHWEI CHOU,
« Modeling, qualitative analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets »,
IEEE Trans. on Semiconductor Manufacturing 11, 3, 1998, p. 358-373.

[12]

M. PORTMANN, A. VIGNIER, D. DARDILHAC, D. DEZALAY,
« Branch and Bound Crossed with GA to Solve Hybrid Flowshops »,
European Journal of Operational Research 107, 1998, p. 389-400.

[13]

F. VERNADAT,
« The CIMOSA Languages »,
in: Handbook of Information Systems, P. Bernus, K. Mertins and G. Schmidt (réd.),
Springer-Verlag, Berlin, 1998, p. 243-263.

[14]

F. VERNADAT,
« A Process/Agent/Operation paradigm for manufacturing systems modelling »,
in: Management and Control of Production and Logistics, L.M.Aguilera and Z. Binder (réd),
Pergamon Press, London, 1998.

[15]

X.-L. XIE,
« Perturbation analysis of stochastic Petri nets »,
IEEE Trans. on Automatic Control AC-43 1, January 1998, p. 76-80.

[16]

X.-L. XIE,
« Stability analysis and optimization of an inventory system with bounded orders »,
European Journal of Operational Research 110, 1998, p. 126-149.

Communications à des congrès, colloques, etc.

[17]

M. P. A.H. MAHDI, H. AMET,
« Agencement physique d'atelier avec minimisation des coûts de transport »,
in: AGIS'97, p. 185-192,
9-11 décembre 1997.

[18]

G. ALPAN, M. A. JAFARI,
« A Combined Plant + Controller Model for Discrete Event Systems »,
in: the International Workshop on Discrete Event Systems - WoDES'98, p. 73-78,
Cagliari, Sardinia, 26-28 August 1998.

[19]

D. ANCIAUX, M. SPADONI, F. VERNADAT,
« Muti-agent based architectures for reactive shop-floor control »,
in: 2nd International Conference on Engineering Design and Automation,
August 9-12 1998. CD-ROM.

[20]

B. DAMASCENO, X.-L. XIE,
« Deadlock-free scheduling of manufacturing systems with multiple resources »,
in: 9th IFAC Symposium on Information Control in Manufacturing (INCOM'98), II, p. 435-440,
1998.

[21]

B. DAMASCENO, X.-L. XIE,
« Scheduling and deadlock avoidance of a flexible manufacturing system »,
in: IEEE Conf. on Systems, Man and Cybernetics, p. 564-569,
October 1998.

[22]

B. FINEL, Y. HARANI, F. VERNADAT,
« OPAL: An integration platform for design and manufacturing activities »,
in: 2nd International Conference on Engineering Design and Automation,
August 9-12 1998. CD-ROM.

[23]

M. FU, X.-L. XIE,
« Perturbation analysis of two-stage continuous transfer lines subject to operation-dependent failures »,
in: IEEE Conference on Decision and Control,
1998.

[24]

L. HAMAIDI, F. VERNADAT,
« A Simulation-based Architecture for the Scheduling of batch processes »,
in: Proc. First Int. Workshop on Intelligent Manufacturing Systems (IMS-EUROPE 1998), p. 199-209,
15-17 April 1998.

[25]

A. HAOUBA, X.-L. XIE,
« Flow control of a two-stage two-product manufacturing system »,
in: CESA'98 Conference,
1998.

[26]

M. JENG, X.-L. XIE,
« Synthesis of resource control nets using siphons »,
in: IEEE Conf. on Systems, Man and Cybernetic,
October 1997.

[27]

M. JENG, X.-L. XIE,
« Modeling and analysis using Petri nets for semiconductor fabrication »,
in: IEEE Conf. on Systems, Man and Cybernetics, p. 692-697,
Octobre 1998.

[28]

M. JENG, X.-L. XIE,
« Modeling and performance analysis of semiconductor manufacturing systems »,
in: IEEE Conf. on Systems, Man and Cybernetics, p. 650-655,
Octobre 1998.

[29]

M. JENG, X.-L. XIE,
« Qualitative analysis and deadlock prevention of a real-world IC wafer fabrication »,
in: IEEE Conf. on Systems, Man and Cybernetics, p. 475-480,
Octobre 1998.

[30]

M. JENG, X.-L. XIE,
« Synthesis of extended resource control nets using siphons »,
in: IEEE Conf. on Systems, Man and Cybernetics, p. 758-763,
Octobre 1998.

[31]

F. V. K. KOSANKE,
« CIMOSA and GERAM: Standardisation in Enterprise Engineering »,
in: IFAC 9th Symposium on Information Control in Manufacturing (INCOM'98), 1, p. 115-125,
24-26 June 1998.

[32]

A. E. MHAMEDI, F. VERNADAT,
« The ACNOS approach for performance evaluation of enterprise processes and activities »,
in: IFAC 9th Symposium on Information Control in Manufacturing (INCOM'98), III, p. 263-268,
24-26 June 1998.

[33]

D. ROY, D. ANCIAUX,
« A hierarchical multi-agents approach applied to shop floor control »,
in: 13th ISPE/IEE International Conference on CAD/CAM Robotics and Factories of the Future (CARs & FOF'97), p. 553-558,
15-17 décembre 1997.

[34]

F. VERNADAT, D. ANCIAUX, M. SPADONI,
« Reactive shop-floor control architectures based on multi-agent systems »,
in: 6th IEEE Mediterranean Conference on Control and Automation,
June 9-11 1998. CD-ROM.

[35]

F. VERNADAT, G. BERIO,
« Manufacturing systems modelling and analysis: A Process/Agent approach »,
in: 6th IEEE Mediterranean Conference on Control and Automation,
June 9-11 1998. CD-ROM.

[36]

A. VIGNIER, S. WAGNER, M. PORTMANN,
« Alternative assignment and sequencing on 2-parallel machine problem under constraints »,
in: 6th Int. Workshop on Production Management Scheduling (WPMS'98), p. 324-328,
July 7-9 1998.

[37]

X.-L. XIE,
« Deadlock analysis of manufacturing systems using Petri nets and mathematical programming »,
in: Joint 5th Int. Conf. on Automation Technology and Int. Conf. of Production Research,
1998.

[38]

X.-L. XIE,
« Performance evaluation and optimization of two-stage continuous transfer lines subject to time-dependent failures »,
in: WODES'98 (International Workshop on Discrete Event Systems), p. 112-117,
Août 1998.

Rapports de recherche et publications internes

[39]

G. BERIO,
« A Formal Approach to CIMOSA Concepts Semantics »,
Rapport de recherche lgipm 98-01, LGIPM, ENIM/Université de Metz, Juin 1998.

[40]

C. HOURCADE,
« Optimisation de la découpe de plateaux en bois en dimension 2 »,
Mémoire de dea gsi, Institut National Polytechnique de Lorraine, juillet 1998.

[41]

L. E. KARAMA,
« Ordonnancement dans un atelier de type job-shop en tenant compte des moyens de transport »,
rapport de recherche, Ecole Mahedia d'Ingénieurs, Rabat, Maroc, 1998.

[42]

X.-L. X. M.C. FU,
« Gradient estimation of two-stage continuous transfer lines subject to operation-dependent failures »,
Research Report TR n^o 98-57, Institute for Systems research, University of Maryland, College Park, USA, 1998.

[43]

R. TAYEB,
« Optimisation simultanée de la maintenance et de la production d'un système soumis à pannes »,
rapport de recherche, Ecole Mahedia d'Ingénieurs, Rabat, Maroc, 1998.

Divers

[44]

G. ALPAN, M. JAFARI,
« Synthesis of closed-loop combined plant and controller model »,
soumis à IEEE Trans. On Systems, Man and Cybernetics,
1998.

[45]

M. BARTH, J. ZHOU, R. D. GUIO, M. PORTMANN,
« Réduction et décomposition de graphe pour la formation de ligne multi-produits »,
soumis au Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF),
janvier 1998.

[46]

G. BERIO, F. VERNADAT,
« New Developments in Enterprise Modelling using CIMOSA »,
Computers in Industry,
1999, à paraître.

[47]

M. JENG, X.-L. XIE,
« Analysis of modularly composed nets by siphons »,
soumis à IEEE Trans. on Systems, Man and Cybernetics,
1998.

[48]

M. JENG, X.-L. XIE,
« ERCN-merged nets and their analysis using siphons »,
soumis à IEEE Trans. on Robotics and Automation,
1998.

[49]

A. MAHDI, H. AMET, M. PORTMANN,
« Physical Layout with Minimization of the Transportation Costs »,
soumis à International Journal of Production Research,
1998.

[50]

M. PORTMANN, H. AMET, A. MAHDI,
« Introduction aux problèmes d'agencement des systèmes de production et Agencement physique de systèmes de production à moyens de transport multiples »,
soumis à Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF),
janvier 1998.

[51]

D. ROY, D. ANCIAUX, F. VERNADAT,
« SYROCO: A novel multi-agent shop-floor control system »,
soumis à Journal of Intelligent Manufacturing,
février 1998.

Bibliographie générale

ACC⁺96

F. ALEXANDRE, C. CARDEIRA, F. CHARPILLET, Z. MAMMERI, M. PORTMANN,
Compu-Search Methodologies II : Scheduling Using Genetic Algorithms and Artificial Neural Networks,
Chapman & Hall, London, 1996.

Alp97

G. ALPAN,
Design and Analysis of Supervisory Controllers for Discrete Event Dynamic Systems,
Ph.d. thesis, Rutgers University, New Brunswick, New Jersey, May 1997.

AMI93

AMICE,
CIMOSA: Open System Architecture for CIM, second revised and extended edition,
Springer-Verlag, Berlin, 1993.

Bak74

K. BAKER,
Introduction to Sequencing and Scheduling,
John Wiley, New York, NY, 1974.

BCOQ92

F. BACCELLI, G. COHEN, G. OLSDER, J. QUADRAT,
Linearity and Synchronization,
John Wiley & Sons, New York, 1992.

Be96

P. BERNUS, L. N. (EDS.),
Modelling and Methodologies for Enterprise Integration,
Chapman & Hall, London, 1996.

BEP⁺96

J. BLAZEWICZ, K. ECKER, E. PESCH, G. SCHMIDT, J. WEGLARZ,
Scheduling Computer and Manufacturing Processes,
Springer Verlag, Berlin, 1996.

BS92a

J. BUZACOTT, J. SHANTHIKUMAR,
« Models of production systems »,
in: Handbook of Industrial Engineering, G. Salvendy (éditeur),
IIE, New-York, 1992.

BS92b

J. BUZACOTT, J. SHANTHIKUMAR,
Stochastic Models of Manufacturing Systems,
Prentice-Hall Pub., Englewood Cliffs, NJ, 1992.

BW94

B. BRANDIN, W. WONHAM,
« Supervisory control of timed discrete event systems »,
IEEE Trans. On Automatic Control 39, 2, 1994, p. 329-342.

CC88

J. CARLIER, P. CRETIENNE,
Problèmes d'Ordonnancement,
Masson, Paris, 1988.

CMQV89

G. COHEN, P. MOLLER, J.-P. QUADRAT, M. VIOT,
« Algebraic tools for the performance evaluation of discrete event systems »,
Proceedings of the IEEE 77, 1, 1989, p. 38-58.

DA92

R. DAVID, H. ALLA,
Du Grafcet aux Réseaux de Petri,
Hermès, Paris, 1992.

Des90

A. DESROCHERS,
Modeling and Control of Automated Manufacturing Systems,
IEEE Computer Society Press, Washington, DC, 1990.

DHP⁺93

F. DICESARE, G. HARHALAKIS, J.-M. PROTH, M. SILVA, F. VERNADAT,
Practice of Petri Nets in Manufacturing,
Chapman & Hall, London, 1993.

Dup98

L. DUPONT,
La Gestion Industrielle,
Hermès, Paris, 1998.

Fre82

S. FRENCH,
Sequencing and Scheduling: An Introduction to the Mathematics of the Job Shop,
Horwood, Chichester, 1982.

Gia88

V. GIARD,
Gestion de la Production, 2ème édition,
Economica, Paris, 1988.

GOT93

GOTHA,
« Les problèmes d'ordonnancement »,
Recherche Opérationnelle/Operations Research 27, 1, 1993, p. 77-150.

Har87

D. HAREL,
« Statecharts: a visual formalism for complex systems »,
in: Sci. Comput. Program., 8,
1987, p. 231-274.

HC91

Y. HO, X. CAO,
Perturbation Analysis of Discrete Event Dynamic Systems,
Kluwer Academic Publishers, 1991.

HK92

L. HOLLOWAY, B. KROGH,
« Synthesis of feedback control logic for a class of controlled Petri nets »,
IEEE Trans. Automatic Control 37, 5, 1992, p. 692-697.

Ho89

Y. HO,
« Special issue on Discrete Event Dynamic Systems »,
Proceedings of the IEEE 77, 1, 1989.

Ho92

Y. HO,
Discrete Event Dynamic Systems,
IEEE Press, 1992.

Hoa85

C. HOARE,
Communicating Sequential Processes,
Prentice-Hall, Englewood Cliffs, NJ, 1985.

HR95

H.M.HANISCH, M. RAUST,
« Synthesis of supervisory controllers based on novel representation of condition/event systems »,
in: IEEE Int. Conf. on Systems, Man, and Cybernetics, 4, p. 3069-3074,
Oct. 22-25, 1995.

IV88a

K. INAN, P. VARAIYA,
« Finitely recursive process models for discrete event systems »,
IEEE Trans. Automatic Control AC-33, 7, 1988, p. 626-639.

IV88b

K. INAN, P. VARAIYA,
« Finitely recursive process models for discrete event systems »,
IEEE Trans. On Automatic Control 33, 7, 1988, p. 626-639.

JX97

M. JENG, X.-L. XIE,
« Synthesis of resource control nets using siphons »,
in: IEEE Conference on Systems, Man and Cybernetic, p. 435-440,
october 1997.

KG95

R. KUMAR, V. GARG,
Modeling and Control of Logical Discrete Event Systems,
Kluwer Press,Boston, 1995.

Mil80

R. MILNER,
A Calculus for Communicating Systems,
Springer-Verlag, New-York, 1980.

MP92

Z. MANNA, A. PNUELI,
The Temporal Logic of Reactive and Concurrent Systems,
Springer-Verlag, Berlin, 1992.

Mur89

T. MURATA,
« Petri Nets: Properties, Analysis and Applications »,
Proceedings of IEEE 77, 4, 1989, p. 541-580,
CD-ROM.

MUY95

C. MOODIE, R. UZSOY, Y. YIH,
Manufacturing Cells: A Systems Engineering View,
Taylor & Francis, London, 1995.

Orl75

J. ORLICKY,
Material Requirements Planning,
McGraw Hill, 1975.

Ost89

J. OSTROFF,
Temporal Logic for Real Time Systems,
Research Studies Press, 1989.

OW90a

J. OSTROFF, W. WONHAM,
« A framework for real-time discrete event control »,
IEEE Trans. Automatic Control AC-35, 4, 1990, p. 386-397.

OW90b

J. OSTROFF, W. WONHAM,
« A framework for real-time discrete event control »,
IEEE Trans. Automatic Control 35, 4, 1990.

Pet93

C. PETRIE,
Enterprise Integration Modeling,
The MIT Press, Cambridge, MA, 1993.

Pin92

M. PINEDO,
Scheduling, In Handbook of Industrial Engineering,
John Wiley, New York, NY, 1992,
pp. 2131-2153.

PX94

J.-M. PROTH, X.-L. XIE,
Les réseaux de Petri pour la conception et la gestion des systèmes de production,
Masson, Paris, France, 1994,
Version anglaise intitulée Petri nets: A tool for design and management of manufacturing systems, John Wiley & Sons, 1996..

RC67

R. M. R.W. CONWAY, W.L. MAXWELL,
Theory of Scheduling,
Addison-Wesley, reading, MA, 1967.

RW87

P. RAMADGE, W. WONHAM,
« Supervisory control of a class of discrete-event processes »,
SIAM J. Contr. Optimiz. 25, 3, 1987, p. 206-230.

RW89

P. RAMADGE, W. WONHAM,
« The control of discrete event systems »,
Proceedings of the IEEE 77, 1, 1989, p. 81-98.

Sal92

G. SALVENDY,
Handbook of Industrial Engineering,
John Wiley, New York, 1992.

Sch96

T. SCHAEL,
Théorie et Pratique du Workflow,
Springer Verlag, 1996.

Ver96

F. VERNADAT,
Enterprise Modeling and Integration: Principles and Applications,
Chapman & Hall, London, 1996.

Wil92

T. WILLIAMS,
The Purdue Enterprise Reference Architecture,
Instrument Society of America, 1992.

WX96

L.-M. WANG, X.-L. XIE,
« Modular Modelling Using Petri Nets »,
IEEE Transactions on Robotics and Automation 12, 5, october 1996, p. 800-809.

ZD93

M. ZHOU, F. DICESARE,
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems,
Kluwer Academic Publishers, Amsterdam, 1993.