Convention de collaboration entre l'Université H, p.5052332, 2005. ,
Convention de collaboration entre l, 2005. ,
Introducing dynamic constraints in B. Lecture Notes in Computer Science, B'98 : The 2nd, pp.83-128, 1998. ,
The B Book: Assigning Programs to Meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
Logics and models of real time : a survey, Lecture Notes in Computer Science, Real time: theory and practice, pp.74-106, 1991. ,
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach, International Journal of Computer Integrated Manufacturing, vol.2, issue.7, pp.572-585, 2005. ,
DOI : 10.1023/A:1022295414523
Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, 1993. ,
DOI : 10.1109/9.231459
M??t??or: A Successful Application of B in a Large Project, Formal Methods symposium, 1999. ,
DOI : 10.1007/3-540-48119-2_22
Contribution à l'étude d'une méthode de conception des automatismes des systèmes de conduite des processus industriels, Thèse de Doctorat en Automatique, 1989. ,
The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, p.9, 1991. ,
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115
From Synchrony to Asynchrony, CONCUR'99, « Concurrency Theory », 10th International Conference, pp.162-177, 1999. ,
DOI : 10.1007/3-540-48320-9_13
URL : https://hal.archives-ouvertes.fr/inria-00073032
A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988. ,
DOI : 10.1109/2.59
Contribution à l'intégration des modèles de systèmes de production manufacturière par méta-modélisation, 1998. ,
Incremental Verification and Synthesis of Discrete-Event Systems Guided by Counter Examples, IEEE Transactions on Control Systems Technology, vol.12, issue.3, pp.387-401, 2004. ,
DOI : 10.1109/TCST.2004.824795
Object-oriented modelling with bond graphs and Modelica, International Conference on Bond Graph Modelling and Simulation (ICBGM'99), 1999. ,
Future manufacturing systems???Towards the extended enterprise, Computers in Industry, vol.25, issue.3, pp.123-137, 1995. ,
DOI : 10.1016/0166-3615(94)00035-O
An object-oriented approach to formally analyze the UML 2.0 activity partitions, Information and Software Technology, vol.49, issue.9-10, pp.999-1016, 2007. ,
DOI : 10.1016/j.infsof.2006.10.007
Spécification et conception des systèmes, 1990. ,
Introduction to discrete event systems. Kluwer Academic, 1999. ,
Proposition d'une structure de contrôle par supervision hiérarchique et distribuée : application à la coordination, 2000. ,
Vérification et validation de modèles de systèmes complexes : application à la modélisation d'entreprise. Habilitation à Diriger des Recherches, 2007. ,
Control synthesis of timed discrete event systems: part one and two, th Triennial IFAC World Congress, 1999. ,
Incremental model evolution and reusability of supervisors for discrete event systems, Automatica, vol.36, issue.2, pp.243-259, 2000. ,
DOI : 10.1016/S0005-1098(99)00142-9
Distributed control systems : from design to real implementation with UML 2.0, IESM05 International Conference on Industrial Engineering and Systems Management, 2005. ,
Model Checking, 2000. ,
Modélisation et émulation de la partie opérative pour la recette en plateforme d'équipements automatisés, 1989. ,
Mass customization: Literature review and research directions, International Journal of Production Economics, vol.72, issue.1, pp.1-13, 2001. ,
DOI : 10.1016/S0925-5273(00)00079-7
Agent-Based Manufacturing -Advances in the Holonic Approach, 2003. ,
Using model engineering for the criticality analysis of reconfigurable manufacturing systems architectures, special issue on Manufacturing under changing environment, 2006. ,
DOI : 10.1504/IJMTM.2007.013322
URL : https://hal.archives-ouvertes.fr/hal-00080197
Assistance à la coneption et à l'évaluation de l'architecture de conduite des systèmes de production complexes, Thèse de, 1994. ,
A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959. ,
DOI : 10.1007/BF01386390
An introduction to formal modelling in requirements engineering, 10th joint International Requirements Engineering Conference, p.9, 2002. ,
Intégration de la surveillance de bas niveau dans la conception des systèmes à événements discrets : application aux systèmes de production flexibles, Thèse de l, 1993. ,
Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation, Control Engineering Practice, vol.14, issue.10, pp.1127-1142, 2006. ,
DOI : 10.1016/j.conengprac.2006.02.001
PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998. ,
DOI : 10.1109/CDC.1998.758209
Mutually nonblocking supervisory control of discrete event systems, Automatica, vol.36, issue.12, pp.1863-1869, 2000. ,
DOI : 10.1016/S0005-1098(00)00102-3
L'ingénierie dirigée par les modèles : au-delà du MDA, Informatique et Systèmes d'Informations. Hermes, 2006. ,
Modélisation des systèmes complexes: intégration et formalisation de modèles, Thèse de Doctorat de l'Université des Sciences et Technologies de Lille, 1997. ,
CONTROL FUNCTIONS DEVELOPMENT FOR DISTRIBUTED AUTOMATION SYSTEMS USING THE TORERO APPROACH, 16th IFAC World CongressCzech Republic), 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.01456
Découvrir et comprendre l'Ingénierie Système, Rapport AFIS, 2007. ,
Visualizing Project Management: Models and Frameworks for Mastering Complex Systems, pp.978-978, 2005. ,
Une introduction au génie automatique: faisabilité d'une chaîne intégrée d'outils CAO pour la conception et l'exploitation des machines automatiques industrielles, Thèse d'Etat, 1987. ,
A description and reasoning of plant controllers in temporal logic, Proceedings of the 8 th Int. Joint Conference on Artificial Intelligence, pp.405-408, 1983. ,
Guidelines for the incremental identification of aspects in requirements specifications, Requirements Engineering, vol.14, issue.11, pp.239-263, 2006. ,
DOI : 10.1007/s00766-006-0028-7
Algebraic and geometric characterization of Petri net controllers using the theory of regions, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.2-4, 2002. ,
DOI : 10.1109/WODES.2002.1167691
URL : https://hal.archives-ouvertes.fr/inria-00100956
DES control design using petri nets, European Control Conference, ECC'97, pp.1-4, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00843996
Modeling and supervisory control of timed automata, APII ? Journal Européen de Systèmes Auomatisés, vol.33, pp.8-9, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00844543
Construction incrémentale de modèles comportementaux UML. Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, pp.29-42, 2004. ,
Toward principles for the design of ontologies used for knowledge sharing?, Formal Ontology in Conceptual Analysis and Knowledge Representation, 1993. ,
DOI : 10.1006/ijhc.1995.1081
Synchronisme dans l'évolution des Statecharts. Colloque francophone sur la Modélisation des Systèmes réactifs, pp.96-367, 1996. ,
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-275, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
On the development of reactive systems in logic and models of concurrent systems, NATO ASI Series K.R. Apt Editions, vol.13, pp.477-498, 1985. ,
STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-416, 1990. ,
DOI : 10.1109/32.54292
UML profile to support requirements engineering with KAOS, IEE Proceedings - Software, vol.151, issue.1, pp.10-27, 2004. ,
DOI : 10.1049/ip-sen:20040297
Real time reconfiguration of manufacturing systems, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004. ,
DOI : 10.1109/ICSMC.2004.1401201
Synthesis and viability of minimally interventive legal controllers for hybrid systems, Discrete Event Dynamic Systems: Theory and Application, pp.105-135, 1998. ,
Synthesis of supervisors using learning algorithm of regular languages, Discrete Event Dynamic Systems, Theory and Applications, vol.11, pp.211-234, 2001. ,
Assessing Enterprise Integration for Competitive Advantage, WG1 in Enterprise Engineering and Integration : Building International Consensus International conf. on Enterprise Modelling and Modelling Technology, pp.96-107, 1997. ,
Hardware-in-the-loop simulation for the design and testing of engine-control systems, Control Engineering Practice, vol.7, issue.5, pp.643-653, 1999. ,
DOI : 10.1016/S0967-0661(98)00205-6
Contribution à la distribution de l'intelligence dans les équipements de niveau zéro des processus industriels complexes, Thèse de doctorat, 1992. ,
Engineering process of integrated ??? distributed shop floor architecture based on interoperable field components, International Journal of Computer Integrated Manufacturing, vol.14, issue.3, pp.246-262, 2001. ,
DOI : 10.1080/0951120010001957
Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000. ,
DOI : 10.1109/3477.875442
Improving automation software dependability: A role for formal methods?, 11 th IFAC International Conference on Information Control Problems, pp.4-7, 2004. ,
DOI : 10.1016/j.conengprac.2006.07.005
Modélisation et vérification des propriétés de systèmes complexes: application aux processus d'entreprise, 2004. ,
Agility, adaptability and leanness : a comparison of concepts and a study of practice, International Journal of Production Economics, vol.60, issue.61, pp.43-51, 1997. ,
CIMOSA ??? Overview and status, Computers in Industry, vol.27, issue.2, pp.101-109, 1995. ,
DOI : 10.1016/0166-3615(95)00016-9
Supervisory control theory for autonomous mobile agents, Dissertation proposal presented to the Faculties of the University of Pennsylvania in Partial Fulfilment of the Requirements for the Degree of Doctor of Phylosophy, 1995. ,
On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, issue.3, pp.157-168, 1991. ,
DOI : 10.1016/0167-6911(91)90061-I
Benefits, obstacles, and future of six sigma approach Technovation, pp.5-6, 2006. ,
Experiences of using formal methods for chemical process control specification, Control Engineering Practice, vol.8, issue.1, 2000. ,
DOI : 10.1016/S0967-0661(99)00138-0
Application of the multi-agent approach in production planning and modelling, Engineering Applications of Artificial Intelligence, vol.14, issue.3, pp.369-376, 2001. ,
DOI : 10.1016/S0952-1976(01)00006-9
Event Driven B: language, tool support and experiments, International Workshop on Refinement of Critical Systems : Methods, Tools and Experience, in conjunction with the 2nd Conference of B and Z Users, 2002. ,
Hierarchical Interface-based Supervisory Control, 2002. ,
Contribution au génie automatique : concepts, modèles, méthodes et outils, Habilitation à diriger des recherches, 1994. ,
The extension of principles of cybernetics towards engineering and manufacturing, Annual Reviews in Control, vol.23, issue.1, pp.139-148, 1999. ,
DOI : 10.1016/S1367-5788(99)90075-5
Analysis and synthesis of discrete event systems using temporal logic, Control-theory and Advanced Technology, pp.341-350, 1993. ,
Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic Systems, Theory and Applications, vol.10, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Contribution au Génie Productique: Application à l'Ingénierie pédagogique en Atelier Inter-Etablissements de Productique Lorrain, Thèse de l'Université H. Poincaré-Nancy I, 1995. ,
Developments in holonic production planning and control, Production Planning & Control, vol.11, issue.6, pp.522-536, 2000. ,
DOI : 10.1080/095372800414089
Auto ID systems and intelligent manufacturing control, Engineering Applications of Artificial Intelligence, vol.16, issue.4, pp.365-376, 2003. ,
DOI : 10.1016/S0952-1976(03)00077-0
Reconfigurable manufacturing systems: Key to Future Manufacturing, Journal of Intelligent Manufacturing, vol.11, issue.4, pp.403-419, 2000. ,
DOI : 10.1023/A:1008930403506
Développements formels par objets: utilisation conjointe de B et d'UML. Doctorat de l, 2001. ,
Le metier d'intégration de systèmes, 2002. ,
Strategic refinements in abstraction based supervisory control of hybrid systems, 6 th International Workshop on Discrete Event Systems, pp.2-4, 2002. ,
Contribution à l'Automatisation et à l'ingénierie des Systèmes Intégrés de Production. Habilitation à diriger des recherches, 1992. ,
Manufacturing Enterprise Control and Management System Engineering: paradigms and open issues, Annual Reviews in Control, vol.27, issue.2, pp.199-209, 2003. ,
DOI : 10.1016/j.arcontrol.2003.09.003
URL : https://hal.archives-ouvertes.fr/hal-00121506
Robotisation intégrée d'un îlot de production manufacturière: aspects contrôle/commande et communication, Thèse de, 1988. ,
Advantages and drawbacks of the logic programm synthesis using supervisory control theory, 10 th IFAC/INCOM'01 Symposium, 2001. ,
From plant and logistics control to multi-enterprise collaboration, IFAC Annual Reviews in Control, vol.301, pp.55-68, 2006. ,
DOI : 10.3182/20050703-6-cz-1902.01461
Modular supervisory control of an experimental automated manufacturing system, Control Engineering Practice, vol.12, issue.2, pp.205-216, 2004. ,
DOI : 10.1016/S0967-0661(03)00056-X
URL : https://hal.archives-ouvertes.fr/hal-00179651
Milestone report of the manufacturing and instrumentation coordinating committee: From MEMS to enterprise systems, Annual Reviews in Control, vol.26, issue.2, pp.151-162, 2002. ,
DOI : 10.1016/S1367-5788(02)00026-3
Proposition d'un environnement de modélisation et de test d'architectures de pilotage par le produit de systèmes de production, 2007. ,
Meta-modèles et modèles pour l'intégration et l'interopérabilité des applications d'entreprises de production, Habilitation à Diriger des Recherches, 2006. ,
How ISO 9001 compares with the CMM, IEEE Software, vol.12, issue.1, pp.74-83, 1995. ,
DOI : 10.1109/52.363163
Analysis and design of engineering systems, M.I ,
La représentation par les systèmes en situation complexe, 1997. ,
Bulletin of the European Association for, Theoretical Computer Science, vol.70, pp.40-44, 2000. ,
Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production, 1999. ,
Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production, Simulation Modelling Practice and Theory, pp.817-842, 2006. ,
Extended structured adaptive supervisory control model of shop floor controls for an e-Manufacturing system, International Journal of Production Research, vol.41, issue.8, pp.1605-1620, 2003. ,
DOI : 10.1080/1352816031000074964
Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization, vol.25, issue.1, 1987. ,
Designing dependable logic controllers using algebraic specifications, Control Engineering Practice, vol.14, issue.10, pp.1143-1155, 2006. ,
DOI : 10.1016/j.conengprac.2006.02.002
URL : https://hal.archives-ouvertes.fr/hal-00340844
Design of procedural controllers for chemical processes, Computers & Chemical Engineering, vol.19, pp.381-386, 1995. ,
DOI : 10.1016/0098-1354(95)87066-0
Using UML for modelling complex real-time systems, Lectures Notes in Computer Science, pp.250-262, 1474. ,
Contribution d'une approche sémiotique à la réutilisation des composants de commande des Machines et Systèmes Automatisés de Production, 1992. ,
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models, SIAM Journal on Control and Optimization, vol.33, issue.2, pp.469-497, 1995. ,
DOI : 10.1137/S0363012992239600
Complex Systems Science and its Effects on Systems Engineering, European Systems Engineering Conference, 2006. ,
Systems functions implementation and behavioural modelling: system theoretic approach, International Journal of Systems Engineering, vol.4, issue.1, 2001. ,
DOI : 10.1002/1520-6858(2001)4:1<58::aid-sys6>3.0.co;2-z
Extending and formalizing the framework for information systems architecture, IBM Systems Journal, vol.31, issue.3, pp.590-616, 1992. ,
DOI : 10.1147/sj.313.0590
The Z notation a reference manual, 1989. ,
Models and languages for the interoperability of smart instruments, Automatica, vol.32, issue.6, pp.859-873, 1996. ,
DOI : 10.1016/0005-1098(96)00016-7
Génération automatique de diagrammes étatstransitions à partir de diagrammes de séquences UML: une approche basée sur la sémantique des réseaux de Petri, Modélisation des Systèmes Réactifs (actes de MSR'03 Hermes Lavoisier, pp.6-8, 2003. ,
Stratégie d'intégration de la méthode B dans la construction de logiciel critique, Thèse de l'Ecole National Supérieur des Télécommunications, référence ENST 97E017, 1997. ,
Fieldbuses and interoperability, Control Engineering Practice, vol.7, issue.1, pp.81-84, 1999. ,
DOI : 10.1016/S0967-0661(98)00140-3
URL : https://hal.archives-ouvertes.fr/inria-00098881
Study of the diagnosability of automated production systems based on functional graphs, Mathematics and Computers in Simulation, vol.70, issue.5-6, pp.5-6, 2006. ,
DOI : 10.1016/j.matcom.2005.11.007
A tool supported engineering process for developing control applications, Computers in Industry, vol.57, issue.5, pp.462-472, 2006. ,
DOI : 10.1016/j.compind.2006.02.006
A comparison between machine flexibility and routing flexibility, International Journal of Flexible Manufacturing Systems, vol.11, issue.1, pp.83-101, 1999. ,
DOI : 10.1023/A:1008096724273
Efficient supervisory synthesis of large systems, Control Engineering Practice, vol.14, issue.10, pp.1157-1167, 2006. ,
DOI : 10.1016/j.conengprac.2006.02.013
Le Génie Cognitif. Collection Sciences Cognitives, 1988. ,
Flexible manufacturing shop, Manufacturing Systems, vol.16, issue.3, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00137253
Modular control and coordination of discrete-event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.8, issue.3, 1998. ,
On the supremal controllable sublanguage of a given language, SIAM J. Control and Optimization, vol.25, issue.3, 1987. ,
Manufacturing intelligence, 1988. ,
A Reconfigurable Concurrent Function Block Model and ist implementation in Real-Time Java, Journal of Integrated Computer-Aided Engineering, vol.9, pp.263-279, 2002. ,
A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.12, 2002. ,
An architecture for control and monitoring of discrete events systems, Computers in Industry, vol.36, issue.1-2, pp.95-100, 1998. ,
DOI : 10.1016/S0166-3615(97)00102-4
Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, vol.39, issue.2, pp.329-345, 2001. ,
DOI : 10.1080/00207540010002388
Extension de l'analyse fonctionnelle à l'étude de la sécurité opérationnelle des systèmes automatisés de production ,
Specification of Function Block Applications with UML, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ,
DOI : 10.1109/ROBOT.2005.1570733
Directive machine 98/37/CE du 22 juin 1998 concernant le rapprochement des législations des états membres relatives aux machines, CE Journal Offciel des Communautés Européennes, vol.37, p.46, 1998. ,
17 FIGURE 12 SPECIFICATION 18 FIGURE 13 21 FIGURE 14 23 FIGURE 15 25 FIGURE 16 26 FIGURE 17 30 FIGURE 19 32 FIGURE 20 PROPOSITION 37 FIGURE 21 38 FIGURE 22 CONSTRUCTION 39 FIGURE 23 42 FIGURE 26 ALLOCATION 49 FIGURE 33 51 FIGURE 34 60 FIGURE 39, 15 FIGURE 9. SYSTEM THEORY SELON (CASSANDRAS & LAFORTUNE 1999).. 71 FIGURE 49. EXTRAIT DE L'ANALYSE DES RESULTATS DE SIMULATION SUR LE PILOTE TRANE................................ 72 FIGURE 50. COMPOSITION PAR ASSEMBLAGE, pp.67-113, 1989. ,