R. Lecture,

R. Coupat, A. Philippot, M. Niang, C. Courtois, D. Annebicque et al., Methodology for Railway Automation Study and Automatic Generation of PLC Programs, IEEE Intelligent Transportation Systems Magazine (ITSM), vol.99

R. Pichard, A. Philippot, R. Saddem, and B. Riera, Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter, IEEE Transactions on Control Systems Technology (TCST), vol.99
URL : https://hal.archives-ouvertes.fr/hal-01882604

Y. Qamsane, A. Tajer, and A. Philippot, Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations, International Journal of Production Research, vol.21, 2017.

Y. Qamsane, A. Tajer, and A. Philippot, A synthesis approach to distributed supervisory control design for manufacturing systems with GRAFCET implementation, International Journal of Production Research, vol.15, 2017.

A. Philippot, P. Marangé, F. Gellot, and B. Riera, Decentralized Diagnosis and Diagnosability by Model Checking. Horizon Research Publishing Corporation, Universal Journal of Control and Automation, vol.1, issue.2, pp.28-33, 2013.

A. Tajer, A. Philippot, and V. Carré-ménétrier, Centralised controller for manufacturing systems through liveness extraction approach. Inderscience publishers, International Journal of Systems, Control and Communications, vol.5, issue.3, pp.189-213, 2013.
URL : https://hal.archives-ouvertes.fr/hal-02110977

A. Philippot, A. Tajer, and V. Carré-ménétrier, From centralized to decentralized approach for optimal controller of Discrete Manufacturing Systems, ARPN Journal of Science and Technology, vol.2, issue.10, pp.936-949, 2012.

A. Philippot, M. Sayed-mouchaweh, V. Carré-ménétrier, and B. Riera, Generation of candidates' tree for the fault diagnosis of discrete event systems, Special Section: DCDS'09, vol.19, pp.1002-1013, 2011.

M. Sayed-mouchaweh, A. Philippot, and V. Carré-ménétrier, Decentralized Chapitre 1 : Synthèse des activités d'enseignement, de recherche et de valorisation 61131-3 compliant based on a simple SAT solver: Application to manufacturing systems, th International Conference On Informatics in Control, Automation and Robotic (ICINCO'18), vol.15, 2018.

A. Philippot, B. Riera, V. Kunreddy, and S. Debernard, Advanced Tools for the Control Engineer in Industry 4.0, The 1 st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02151096

I. Tahiri, A. Philippot, V. Carré-ménétrier, and A. Tajer, Timed synthesis control approach for tolerant-fault control of Discrete Event Systems (DES), The International Conference on Control, Automation and Diagnosis (ICCAD'18), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02114236

M. Niang, A. Philippot, F. Gellot, R. Coupat, B. Riera et al., Formal Verification for Validation of PSEEL's PLC Program, 14 th International Conference On Informatics in Control, Automation and Robotic (ICINCO'17), 2017.

R. Pichard, A. Philippot, and B. Riera, Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis. 20 th IFAC World Congress 2017 (IFAC WC), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01780730

V. Dimanche, A. Goupil, A. Philippot, B. Riera, A. Urban et al., Massive Railway Operating Data Visualization; a Tool for RATP Operating Expert, 20 th IFAC World Congress 2017 (IFAC WC), 2017.
DOI : 10.1016/j.ifacol.2017.08.2324

Y. Qamsane, M. E. Hamlaoui, A. Tajer, and A. Philippot, A Tool Support to Distributed Control Synthesis and GRAFCET Implementation for Discrete Event Manufacturing Systems, th IFAC World Congress 2017 (IFAC WC), vol.20, 2017.
DOI : 10.1016/j.ifacol.2017.08.530

A. Philippot, B. Riera, M. Koza, R. Pichard, R. Saddem et al., HOME I/O and FACTORY I/O-2 Pieces of innovative PO simulation software for automation education. The 27 th European Association for Education in Electrical and Information Engineering Annual Conference, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01882572

Y. Qamsane, M. E. Hamlaoui, A. Tajer, and A. Philippot, A Model-Based Transformation Method to Design PLC-Based Control of Discrete Automated Manufacturing Systems, th International Conference on Automation, Control Engineering & Computer Science (ACECS'17), vol.4, pp.4-11, 2017.

Y. Qamsane, A. Tajer, A. Philippot, and A. Elbacha, Synthesis and Implementation of Timed Distributed Supervisory Controller: Application to an Automated Manufacturing System, rd International Afro-European Conference for Industrial Advancement (AECIA 2016), vol.3, 2016.

R. Coupat, A. Philippot, D. Annebicque, F. Gellot, and B. Riera, Automation for improve of mental workload of the systems engineer, The 13 th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of HumanMachine Systems (IFAC HMS 2016), 2016.

Y. Qamsane, A. Tajer, and A. Philippot, Distributed Supervisory Control Synthesis For Discrete Manufacturing Systems, th IFAC Conference on Manufacturing Modelling, Management & Control (MIM 2016), vol.8, 2016.
DOI : 10.1016/j.ifacol.2016.07.637

V. Dimanche, A. Goupil, A. Philippot, B. Riera, and A. Urban, Human factor modeling in railway network. 11 th Berlin Human-Machine Systems Workshop, 2015.

B. Riera, A. Philippot, R. Coupat, F. Gellot, and D. Annebicque, A non-intrusive method to make safe existing PLC Program. 9 th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

P. Marangé, A. Philippot, J. Pétin, and F. Gellot, Diagnosability evaluation by model-checking. 9 th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

R. Saddem and A. Philippot, Utilisation de diagnostiqueurs discrets pour l'établissement de Signatures Temporelles Causales pour le diagnostic des SED. Colloque International sur le Monitoring des Systèmes Industriels, CIMSI'2014), 2014.

R. Saddem and A. Philippot, Causal Temporal Signature from Diagnoser model for online Diagnosis of Discrete Event Systems, International Conference on Control, Decision and Information Technologies (CoDIT'14), 2014.

Y. Qamsane, A. Tajer, and A. Philippot, Synthesis and implementation of distributed control for a flexible manufacturing system, nd World Conference on Complex Systems (WCCS14), vol.2, 2014.

A. Philippot, P. Marangé, F. Gellot, J. Pétin, and B. Riera, Fault Tolerant Control for manufacturing discrete systems by filter and diagnoser interactions, Annual Conference of the Prognostics and Health Management Society (PHM'14), 2014.

R. Coupat, M. Meslay, M. Burette, B. Riera, A. Philippot et al., Standardization and Safety Control Generation for SNCF Systems Engineer, th IFAC World Congress 2014 (IFAC WC), 2014.

B. Riera, R. Coupat, A. Philippot, F. Gellot, and D. Annebicque, Control design Chapitre 1 : Synthèse des activités d'enseignement, de recherche et de valorisation (DCDS'11), pp.49-54, 2011.

A. Philippot, Survey on Diagnosis of a Pick and Place Benchmark-Special Session on Diagnosis of Discrete Event Systems: Application on a Benchmark. 3 rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), pp.27-30, 2011.

A. Philippot and V. Carré-ménétrier, Comparison of diagnosis approaches for Discrete Event Systems, International Conference on Industrial Engineering and Systems Management (IESM'11), 2011.

A. Tajer, A. Philippot, and V. Carré-ménétrier, Decentralized Implementation Approach of Control Synthesis of Manufacturing Systems, nd International Conference on Multimedia Computing and Systems (ICMCS'11), vol.2, 2011.

A. Philippot, A. Tajer, and V. Carré-ménétrier, Elaboration of Distributed Optimal Controller for Manufacturing Systems through, Synthesis Approach. International Conference on Communication, Computing and Control Applications (CCCA'11), 2011.

A. Philippot and A. Tajer, Conception de la commande sûre des systèmes manufacturiers à base du Graphe Equivalent du GRAFCET. 2 nd édition du colloque international sur les Systèmes Industriels et Logistiques (SIL'10), 2010.

M. Hemour, A. Philippot, N. Messai, D. Caligny, and B. Riera, Human design applied to operating light rail studies, th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS'2010), vol.11, 2010.

A. Philippot and A. Tajer, From GRAFCET to Equivalent Graph for Synthesis Control of Discrete Events Systems, th Mediterranean Conference on Control and Automation (MED10), vol.18, pp.683-688, 2010.

M. Hemour, N. Messai, A. Philippot, D. Caligny, and B. Riera, Human adapted design for operating metro studies. 28 th European Annual Conference on Human Decision-Making and Manual Control (EAM09), 2009.

N. Malki, A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Independent codiagnosability of discrete event systems using component basedapproach: from modelling to diagnosis. 28 th European Annual Conference on Human Decision-Making and Manual Control (EAM09), 2009.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Distributed Modeling Approach of discrete manufacturing systems by Parts of Plant. 10 th European Control Conference, 2009.

, Chapitre 1 : Synthèse des activités d'enseignement, de recherche et de valorisation 70

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Candidates' generation for diagnosis of discrete manufacturing systems, th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'09), vol.7, 2009.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Modelling of a discrete manufacturing system by Parts of plant. 13 th IFAC Symposium on INformation COntrol problems in Manufacturing (INCOM'09), 2009.

A. Philippot, M. Sayed-mouchaweh, V. Carré-ménétrier, and B. Riera, Discrete Event Model-Based Approach for Fault Detection and Isolation of Manufacturing Systems, nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), vol.2, 2009.

M. Sayed-mouchaweh, A. Philippot, V. Carré-ménétrier, and B. Riera, Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models, 20 th International Workshop on Principles of Diagnosis (DX'09), 2009.

A. Tajer and A. Philippot, Evolution of Plant Modeling Approaches for Discrete Manufacturing Systems, International Conference on Multimedia Computing and Systems (ICMCS 09), pp.978-979, 2009.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Bucarest-Roumanie, Nouveaux Modèles De Partie Opérative des Systemes Manufacturiers. 5 ème Conférence Internationale Francophone d'Automatique (CIFA08), 2008.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Unconditional Decentralized Structure for the fault diagnosis of Discrete Event Systems. 1 st IFAC Workshop on Dependable Control of Discrete-event Systems (DCDS'07), 2007.

M. Sayed-mouchaweh, A. Philippot, and V. Carré-ménétrier, Decentralized Approach for fault diagnosis of Discrete Event Systems, IFAC 4 th International Conference on Informatics in Control, Automation and Robotics (ICINCO'07), 2007.

A. Philippot, M. Sayed-mouchaweh, V. Carré-ménétrier, and B. Riera, Decentralized approach to diagnose manufacturing systems, IMACS Multiconference on Computational Engineering in Systems Applications (CESA06), vol.1, pp.912-918, 2006.

M. Sayed-mouchaweh, A. Philippot, V. Carré-ménétrier, and B. Riera, TimedEvent-State-Based Diagnoser for Manufacturing systems, th IFIP International Conference on Information Technology for Balanced Automation Systems in Chapitre 1 : Synthèse des activités d'enseignement, de recherche et de valorisation 2017, vol.7, 2017.

F. Vanderhaegen and A. Philippot, Livrable 1 du Projet inter-régional SUCRé (Sûreté de fonctionnement et résilience pour la gestion et le contrôle coopératif des systèmes sociotechniques) entre les régions Nord-Pas-deCalais et Champagne-Ardenne-Coopération Homme(s)-Robot(s) en milieu hostile, 2015.

R. Coupat, B. Riera, M. Niang, F. Gellot, M. Meslay et al., Automatic generation of safe PLC programs. 9 th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

H. Dimanche and A. Philippot, Contraintes de sécurité et diagnostic des SED, 2013.

H. Serradj and A. Philippot, Mise en place d'une approche de diagnostic sur systèmes manufacturiers à travers une méthode de classification des défaillances, Juillet, 2013.

E. Tieche, F. Gellot, A. Philippot, D. Annebicque, and B. Riera, Supervision de l'atelier flexible-Programme de démonstration, 2013.

E. Tieche, F. Gellot, A. Philippot, D. Annebicque, and B. Riera, Supervision de l'atelier flexible-Programme avec filtre logique robuste aux erreurs de commande, 2013.

E. Tieche, F. Gellot, A. Philippot, D. Annebicque, and B. Riera, Application des contraintes de sécurité sur la cellule flexible CellFlex, Janv, 2013.

P. Marangé, J. Pétin, D. Gouyon, B. Riera, F. Gellot et al., Approche de Détection et d'Explication de Commande par filtrage robuste, Sûreté et Sécurité des Grands Systèmes (3SGS'11), 2011.

A. Philippot, Elaboration de diagnostiqueurs locaux à partir de modèles distribués de Partie Opérative, Ecole des JDMACS-3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS), 2009.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Elaboration de diagnostiqueurs locaux à partir de modèles distribués de Partie Opérative, 2008.

A. Philippot, Evaluation du langage SFC+ de l'atelier LCM Studio en vue de la simulation de commande des systèmes manufacturiers, 2007.

A. Philippot-;-p, P. Lhoste, G. Morel, M. Roesh, M. Salim et al., Rapport interne Chapitre 1 : Synthèse des activités d'enseignement, de recherche et de valorisation Bibliographie Alanche, Journée AFCET, 1986.

A. Baddeley, Human memory: theory and practice

C. Baier, J. Katoen, and K. Larsen, Principles of model checking, 2008.

S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-toi, G. F. Franklin et al., Robust filtering of PLC program for automated systems of production, Proceeding IEEE Transactions on Automatic Control, vol.38, pp.1040-1059, 1993.

B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Generation of multiplatform control for transitic systems using a component-based approach, Proceedings of IEEE 17th International Conference on Emerging Technologies & Factory Automation, 1999.

K. Cai and M. Wonham, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.55, issue.3, pp.605-618, 2010.

V. Carré-ménétrier and J. Zaytoon, Grafcet: behavioural issues and control synthesis, European Journal of Control (EJC), vol.8, p.4, 2002.

C. G. Cassandras and S. Lafortune, Chaillet-Subias A. Approche multi-modèles pour la commande et la surveillance en temps réel des systèmes à évènements discrets, vol.3, 1995.

V. Chapurlat and E. Bonjour, From Model Based Systems Engineering to Model Based System Realization: role and relevance of IVTV Plan, APMS, issue.1, 1991.
URL : https://hal.archives-ouvertes.fr/hal-01388218

M. Combacau, Commande et surveillance des systèmes à événements discrets complexes : application aux ateliers flexibles, 1991.

R. Coupat, «Méthodologie pour les études d'automatisation et la génération automatique de programmes Automates Programmables Industriels sûrs de fonctionnement : Application aux Equipements d'Alimentation des Lignes Electrifiées», 2014.

S. Debernard, B. Riera, and T. Poulain, L'espace de travail commun pour l'aide à la supervision et à la coopération homme-machine, Ergonomie des systèmes homme-machine : Conception et coopération (Traité IC2, série Systèmes automatisés), Hermès, pp.295-341, 2013.

S. Debernard, B. Riera, and T. Poulain, Chapter 8 : The Common Work Space for the Support of Supervision and Human-Machine Cooperation, Designing Human-machine Cooperation Systems, pp.285-342, 2014.

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, vol.10, pp.33-86, 2000.

X. Delorme, A. Dolgui, S. Kovalev, and M. Kovalyov, Minimizing the number of workers in a paced mixed-model assembly line, European Journal of Operational Research, vol.272, issue.1, pp.188-194, 2019.
URL : https://hal.archives-ouvertes.fr/emse-01840007

V. Dimanche, «Compréhension fine du comportement des lignes des réseaux RER, métro et tramway pour la réalisation des études d'exploitabilités», 2018.

D. Du, J. Gu, and P. Pardalos, Satisability Problem: Theory and Applications: DIMACS Workshop, 1996.

J. M. Faure and J. J. Lesage, Methods for safe control systems design and implementation
URL : https://hal.archives-ouvertes.fr/hal-00361647

, th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2001, 2001.

M. Fri, F. Belmajdoub, and D. Lefebvre, Fault diagnosis of discrete event systems under time constraints, nd International Conference on Systems Informatics, Modelling and Simulation, vol.2, p.2016

F. Frizon-de-lamotte, Proposition d'une approche haut niveau pour la conception, l'analyse et l'implantation des systèmes reconfigurables, 2006.

R. Hill, D. Tilbury, and S. Lafortune, «Modular supervisory control with equivalence-based 149 conflict resolution», American Control Conference, 2008.

L. E. Holloway and B. H. Krogh, Fault detection and diagnosis in manufacturing systems, International Conference on Computer Integrated Manufacturing, vol.2, pp.252-259, 1990.

H. Hu, C. Chen, R. Su, Y. Liu, and M. Zhou, «Distributed supervisor synthesis for automated manufacturing systems using Petri nets», International Electrotechnical Commission, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, vol.60848, 1993.

E. Khattabi and S. , Intégration de la surveillance de bas niveau dans la conception des systèmes à événements discret, 1993.

J. Komenda and F. Lin, «Modular supervisory control of networked discrete-event systems», 13th International Workshop on Discrete Event Systems (WODES), 2016.

R. Kumar, Supervisory Synthesis Techniques for Discrete Event Dynamical Systems, 1991.

D. Lefebvre, On-Line Fault Diagnosis With Partially Observed Petri Nets, IEEE Transactions on Automatic Control, vol.59, p.7, 2014.
DOI : 10.1109/tac.2013.2294617
URL : https://hal.archives-ouvertes.fr/hal-01966537

J. Leplat, Regard sur l'activité en situation de travail, 1997.

P. Lhoste, Surveillance des M.S.A.P.: les Atouts de la modélisation de Comportement, 1991.

F. Lin and M. Wonham, «Decentralized supervisory control of discrete-event systems», Information sciences, vol.44, 1988.
DOI : 10.1016/s1474-6670(17)55027-2

P. Marangé, F. Gellot, and B. Riera, Remote control of automation systems dor training

I. Symposium, Analysis, Design, and Evaluation of Human Machine Systems (ADEHMS'07), 2007.

P. Marangé, Synthèse et filtrage robuste de la commande pour des systèmes manufacturiers sûrs de fonctionnement, 2008.

P. Marangé, A. Philippot, J. F. Pétin, and F. Gellot, Diagnosability evaluation by modelchecking, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

P. Millot, Ergonomie des systèmes homme-machine : Conception et coopération, 2013.

M. Niang, A. Philippot, F. Gellot, R. Coupat, B. Riera et al., Formal Verification for Validation of PSEEL's PLC Program, 14th International Conference On Informatics in Control, Automation and Robotic (ICINCO'17), 2017.
DOI : 10.5220/0006418705670574

M. Niang, Vérification formelle et simulation pour la validation des programmes API des EALE, 2018.

R. Parasuraman, T. Sheridan, and C. Wickens, Philippot A. «Contribution au diagnostic décentralisé des systèmes à événements discrets : Application aux systèmes manufacturiers», 18th Mediterranean Conference on Control and Automation (MED10), vol.30, pp.683-688, 2000.

R. Pichard, A. Philippot, R. Saddem, and B. Riera, Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter, IEEE Transactions on Control Systems Technology (TCST), vol.99
DOI : 10.1109/tcst.2018.2827329
URL : https://hal.archives-ouvertes.fr/hal-01882604

R. Pichard, Contribution à la Commande des Systèmes à Événements Discrets par Filtre Logique, 2018.

Y. Qamsane, A. Tajer, and A. Philippot, «Synthesis and implementation of distributed control for a flexible manufacturing system, Second World Conference on Complex Systems (WCCS), 2014.
DOI : 10.1109/icocs.2014.7060960

Y. Qamsane, A. Tajer, and A. Philippot, «A synthesis approach to distributed supervisory control design for manufacturing systems with GRAFCET implementation», International Journal of Production Research, vol.55, 2017.
DOI : 10.1080/00207543.2016.1235804

Y. Qamsane, A. Tajer, and A. Philippot, «Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations», International Journal of Production Research, vol.55, 2017.

P. J. Ramadge and W. Wonham, Supervisory control of a class of discrete events systems, SIAM journal of Control and Optimization, vol.25, p.1, 1989.

P. J. Ramadge and M. Wonham, The Control of Discrete Event Systems, Proceeding IEEE, vol.77, p.1, 1989.

J. Richard, B. Riera, and S. Debernard, Basic Cognitive Principles Applied to the Design of Advanced Supervisory Systems for process control, Handbook of Cognitive Task Design, Erick Holnagel, vol.41, pp.255-281, 1996.

, Habilitation à Diriger des Recherches, 2001.

B. Riera, A. Philippot, R. Coupat, F. Gellot, and D. Annebicque, A non-intrusive method to make safe existing PLC Program, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

B. Riera, A. Philippot, D. Annebicque, and F. Et-gellot, La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre. 10ème Colloque sur la Modélisation des Systèmes Réactifs, 2015.

J. M. Roussel, Analyse de GRAFCETs par Génération Logique de l'Automate Equivalent, 1994.

J. M. Roussel and B. Denis, Safety properties verification of ladder diagram programs, Journal Européen des Systèmes Automatisés (JESA), 2002.
URL : https://hal.archives-ouvertes.fr/hal-00356881

K. Rudie, M. Wonham, . «think, R. Saddem, A. K. Toguyeni et al., Algorithme d'interprétation d'une base de signatures temporelles causales pour le diagnostic en ligne des Systèmes à événements Discrets, 9th International Conference of Modeling, Optimization and SIMulation, MOSIM 2012, vol.37, 1992.

R. Saddem and A. Philippot, Utilisation de diagnostiqueurs discrets pour l'établissement de Signatures Temporelles Causales pour le diagnostic des SED. Colloque International sur le Monitoring des Systèmes Industriels, CIMSI'2014), 2014.

M. Sampath, R. Sungupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete event systems, 11 th International Conference Analysis Optimization of Systems: Discrete Event Systems, 1994.
DOI : 10.1007/bfb0033534

L. D. Sargent and D. J. Terry, The moderating role of social support in Karasek's job strain model, Work and Stress, vol.14, issue.3, pp.245-261, 2000.

G. Schafaschek, M. De-queiroz, and J. Cury, «Local modular supervisory control of timed discrete-event systems», IEEE Transactions on Automatic Control, vol.62, issue.2, 2017.
DOI : 10.3182/20140514-3-fr-4046.00074

N. A. Stanton, M. Young, and B. Mccaulder, Drive-by-wire: The case of driver workload and reclaiming control with adaptive cruise control, Safety Science, vol.27, issue.2/3, 1997.

R. Su, A. Tajer, A. Philippot, F. Gellot, and V. Carré-ménétrier, Contribution à l'amélioration de la praticabilité des approches formelles de synthèse de commande, Journées Doctorales d'Automatique, pp.25-27, 2003.

A. Tajer, A. Philippot, and V. Carré-ménétrier, Decentralized Implementation Approach of Control Synthesis of Manufacturing Systems, 2nd International Conference on Multimedia Computing and Systems (ICMCS'11), 2011.

F. Vanderhaegen and P. Caulier, A multi-viewpoint system to support abductive reasoning, Information Sciences, vol.18, p.24, 2011.
DOI : 10.1016/j.ins.2011.07.050

F. Vanderhaegen, Dissonance Engineering: A New Challenge to Analyse Risky Knowledge When using a System, International Journal of Computers Communications & Control, vol.9, issue.6, pp.776-785, 2014.
DOI : 10.15837/ijccc.2014.6.1484
URL : http://univagora.ro/jour/index.php/ijccc/article/download/1484/432

F. Vanderhaegen, O. Carsten, C. D. Wickens, S. E. Gordon, and Y. Liu, Can dissonance engineering improve risk analysis of human-machine systems? Cognition, Technology & Work, vol.19, issue.1, pp.1-12, 2017.
DOI : 10.1007/s10111-017-0405-7
URL : https://link.springer.com/content/pdf/10.1007%2Fs10111-017-0405-7.pdf

M. Wonham, M. S. Young, and N. A. Stanton, Mental workload: theory, measurement, and application, International encyclopedia of ergonomics and human factors, vol.1, pp.507-509, 2001.

J. Zaytoon and V. Carré-ménétrier, Synthesis of a correct control implementation for manufacturing systems, International Journal of Production Research, vol.39, pp.329-345, 2001.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, 2013.
DOI : 10.1016/j.arcontrol.2013.09.009

J. Zaytoon and B. Riera, Synthesis and implementation of logic controllers-A review
DOI : 10.1016/j.arcontrol.2017.03.004
URL : https://hal.archives-ouvertes.fr/hal-02003224

, Annual Reviews in Control, 2017.

H. Zhong and M. Wonham, «On the consistency of hierarchical supervision in discreteevent systems», IEEE Transactions on automatic Control, vol.35, p.10, 1990.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2009.

S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-toi, and G. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.

P. Iec, Programming languages for programmable logic controllers, 2013.

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.

F. Charbonnier, H. Alla, and R. David, Discrete-event dynamic systems, Control Systems Technology, vol.7, issue.2, pp.175-187, 1999.

J. N. Vilela and P. N. Pena, Supervisor abstraction to deal with planning problems in manufacturing systems, 2016 13th International Workshop on Discrete Event Systems (WODES), pp.117-122, 2016.

Y. Hietter, J. Roussel, and J. Lesage, Algebraic synthesis of transition conditions of a state model, 9th International Workshop on Discrete Event Systems, pp.187-192, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353634

B. Riera, R. Coupat, A. Philippot, F. Gellot, and D. Annebicque, Control design pattern based on safety logical constraints for manufacturing systems: application to a palletizer, Discrete Event Systems, vol.12, pp.388-393, 2014.

J. Zaytoon and B. Riera, Synthesis and implementation of logic controllers-A review, Annual Reviews in Control, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02003224

G. Faraut, L. Pietrac, and E. Niel, Formal Approach to Multimodal Control Design: Application to Mode Switching, IEEE Transactions on Industrial Informatics, vol.5, issue.4, pp.443-453, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00471885

D. Gouyon, J. Pétin, and A. Gouin, A pragmatic approach for modular control synthesis and implementation, International Journal of Production Research, vol.2, issue.14, pp.2839-2858, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00120780

L. Feng and W. M. Wonham, Supervisory Control Architecture for Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.53, issue.6, pp.1449-1461, 2008.

K. C. Wong and W. M. Wonham, Hierarchical control of discreteevent systems, Discrete Event Dynamic Systems, vol.6, issue.3, pp.241-273, 1996.

R. C. Hill, J. E. Cury, M. H. De-queiroz, D. M. Tilbury, and S. Lafortune, Multi-level hierarchical interface-based supervisory control, Automatica, vol.46, issue.7, pp.1152-1164, 2010.

K. T. Seow, Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design, IEEE Transactions on Control Systems Technology, vol.22, issue.1, pp.23-33, 2014.

S. Mohajerani, R. Malik, and M. Fabian, A Framework for Compositional Synthesis of Modular Nonblocking Supervisors, IEEE Transactions on Automatic Control, vol.59, issue.1, pp.150-162, 2014.

Z. Fei, S. Miremadi, K. Åkesson, and B. Lennartson, Efficient Symbolic Supervisor Synthesis for Extended Finite Automata, IEEE Transactions on Control Systems Technology, vol.22, issue.6, pp.2368-2375, 2014.

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control, vol.3, pp.3305-3310, 1998.

A. Vieira, J. Cury, and M. De-queiroz, A Model for PLC Implementation of Supervisory Control of Discrete Event Systems, IEEE Conference on Emerging Technologies and Factory Automation, 2006. ETFA '06, pp.225-232, 2006.

F. Basile and P. Chiacchio, On the Implementation of Supervised Control of Discrete Event Systems, IEEE Transactions on Control Systems Technology, vol.15, issue.4, pp.725-739, 2007.

M. Moreira and J. Basilio, Bridging the Gap Between Design and Implementation of Discrete-Event Controllers, IEEE Transactions on Automation Science and Engineering, vol.11, issue.1, pp.48-65, 2014.

A. D. Vieira, E. A. Santos, M. H. Queiroz, A. B. Leal, A. D. et al., A Method for PLC Implementation of Supervisory Control of Discrete Event Systems, IEEE Transactions on Control Systems Technology, vol.25, issue.1, pp.175-191, 2017.

R. Cuer, L. Piétrac, E. Niel, S. Diallo, N. Minoiu-enache et al., A formal framework for the safe design of the Autonomous Driving supervision, Reliability Engineering & System Safety, vol.174, pp.29-40, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01707778

J. Roussel and J. Lesage, Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations, Mathematical Problems in Engineering, vol.2014, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01002261

D. Du, J. Gu, and P. M. Pardalos, Satisfiability Problem: Theory and Applications : DIMACS Workshop, 1996.

P. Marangé, F. Gellot, and B. Riera, Industrial risk prevention by robust filter for manufacturing control system, Fault Detection, Supervision and Safety of Technical Processes, Sants Hotel, pp.1348-1353, 2009.

R. Pichard, N. Ben-rabah, V. Carre-menetrier, and B. Riera, CSP solver for Safe PLC Controller: Application to manufacturing systems, IFAC-PapersOnLine, vol.49, issue.12, pp.402-407, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01899934

K. Akesson, M. Fabian, H. Flordal, and R. Malik, Supremica-an Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems, IEEE 8th International Workshop on Discrete Event Systems, pp.384-385, 2006.

S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-toi, and G. F. Franklin, Supervisory Control of a Rapid Thermal Multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Formal Methods for the Design of Real-time Systems, pp.200-236, 2006.

S. Biallas, J. Brauer, and S. Kowalewski, Arcade.PLC: A Verification Platform for Programmable Logic Controllers, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE, pp.338-341, 2012.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

J. E. Cury, M. H. De-queiroz, G. Bouzon, and M. Teixeira, Supervisory Control of Discrete Event Systems with Distinguishers, Automatica, vol.56, pp.93-104, 2015.

R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00495611

L. Feng and W. M. Wonham, Supervisory Control Architecture for Discrete-event Systems, IEEE Transactions on Automatic Control, vol.53, pp.1449-1461, 2008.

D. Gouyon, J. F. Petin, and A. Gouin, Pragmatic approach for modular control synthesis and implementation, International Journal of Production Research, vol.42, issue.14, pp.2839-2858, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00120780

Y. Qamsane,

R. C. Hill, J. E. Cury, M. H. De-queiroz, D. M. Tilbury, and S. Lafortune, Multi-level Hierarchical Interface-based Supervisory Control, Automatica, vol.46, issue.7, pp.1152-1164, 2010.

J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, 2006.

H. Hu, C. Chen, R. Su, Y. Liu, and M. C. Zhou, Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets, 2014 IEEE International Conference on Robotics and Automation (ICRA), pp.4423-4429, 2014.

H. Hu, R. Su, M. C. Zhou, and Y. Liu, Polynomially Complex Synthesis of Distributed Supervisors for Large-scale AMSs Using Petri Nets, IEEE Transactions on Control Systems Technology, vol.24, issue.5, pp.1-13, 2015.

, Grafcet Specification Language for Sequential Function Charts. International Electrotechnical Commission, IEC Standard, vol.60848, 2013.

, Programmable Controllers-Part 3: Programming Languages. International Electrotechnical Commission, pp.61131-61134, 2013.

J. Komenda, T. Masopust, and J. H. Van-schuppen, Supervisory Control Synthesis of Discrete-event Systems using a Coordination Scheme, Automatica, vol.48, issue.2, pp.247-254, 2012.

M. S. Lu and S. F. Liao, An Integrated IDEF0-3/CTPN/SFC Approach for Design and Analysis of Discrete Event Control Systems, International Journal of Production Research, vol.47, pp.6433-6453, 2009.

A. Philippot, Contribution Au Diagnostic Décentralisé Des Systèmes À Événements Discrets: Application Aux Systèmes Manufacturiers, 2006.

A. Philippot and A. Tajer, From GRAFCET to Equivalent Graph for Synthesis Control of Discrete Events Systems, The IEEE 18th Mediterranean Conference on Control and Automation (MED10), pp.683-688, 2010.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Modelling of a Discrete Manufacturing System by Parts of Plant, 13th IFAC Symposium on INformation COntrol Problems in Manufacturing (INCOM'09), pp.343-348, 2009.

A. Philippot, A. Tajer, and V. Carré-ménétrier, From Centralized to Decentralized Approach for Optimal Controller of Discrete Manufacturing Systems, ARPN Journal of Science and Technology, vol.2, issue.10, pp.936-949, 2012.

Y. Qamsane, A. Tajer, and A. Philippot, Synthesis and Implementation of Distributed Control for a Flexible Manufacturing System, IEEE Second World Conference on Complex Systems (WCCS), pp.323-329, 2014.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.

B. Riera, A. Philippot, R. Coupat, F. Gellot, and D. Annebicque, A Non-intrusive Method to Make Safe Existing PLC Program, The 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'15), 2015.

M. Sayed-mouchaweh, A. Philippot, and V. Carre-menetrier, Decentralized Diagnosis Based on Boolean Discrete Event Models: Application on Manufacturing Systems, International Journal of Production Research, vol.46, pp.5469-5490, 2008.
URL : https://hal.archives-ouvertes.fr/hal-02111221

F. Schumacher and A. Fay, Formal Representation of GRAFCET to Automatically Generate Control Code, Control Engineering Practice, vol.33, pp.84-93, 2014.

K. T. Seow, Organizational Control of Discrete-event Systems: A Hierarchical Multi-world Supervisor Design, IEEE Transactions on Control Systems Technology, vol.29, issue.2, pp.695-1306, 2014.

S. Shu and F. Lin, Decentralized Control of Networked Discrete Event Systems with Communication Delays, Automatica, vol.50, pp.2108-2112, 2014.

D. B. Silva, A. D. Vieira, E. F. Loures, M. A. Busetti, and E. A. Santos, Dealing with Routing in an Automated Manufacturing Cell: A Supervisory Control Theory Application, International Journal of Production Research, vol.49, pp.4979-4998, 2011.

A. Tajer, A. Philippot, and V. Carré-ménétrier, Distributed Optimal Controller for Manufacturing Systems through Synthesis Approach, The IEEE International Conference on Communication, Computing and Control Applications (CCCA'11), 2011.

A. Tajer, A. Philippot, and V. Carré-ménétrier, Centralised Controller for Manufacturing Systems through Liveness Extraction Approach, International Journal of Systems, Control and Communications, vol.5, issue.3, pp.189-213, 2013.
DOI : 10.1504/ijscc.2013.058175
URL : https://hal.archives-ouvertes.fr/hal-02110977

W. , Extensible Markup Language (XML) 1.0". World Wide Web Consortium 5th ed. Accessed 5, 2012.

L. Wang, C. Mahulea, and M. Silva, Distributed Model Predictive Control of Timed Continuous Petri Nets, IEEE 52nd Annual Conference on Decision and Control (CDC), pp.6317-6322, 2013.

K. C. Wong and W. M. Wonham, Hierarchical Control of Discrete-event Systems, Discrete Event Dynamic Systems, vol.6, issue.3, pp.241-273, 1996.

W. M. Wonham, Supervisory Control of Discrete-event Systems, 2012.

W. M. Wonham and J. G. Ramadge, Modular Supervisory Control of Discrete Event Systems, Mathematics of Control, Signals, and Systems, vol.1, issue.1, pp.13-30, 1988.

Y. Yang, H. Hu, and Y. Liu, A Petri Net-based Distributed Control of Automated Manufacturing Systems with Assembly Operations, 2015 IEEE International Conference on Automation Science and Engineering, pp.1090-1097, 2015.

J. Zaytoon and V. Carré-ménétrier, Synthesis of Control Implementation for Discrete Manufacturing Systems, International Journal of Production Research, vol.39, issue.2, pp.329-345, 2001.