Commande par supervision des systèmes a événements discrets basée sur l\'utilisation du GRAFCET et la théorie des régions, Journal européen des systèmes automatisé, vol.38, pp.1-2, 2004. ,
Supremica?a tool for verification and synthesis of discrete event supervisors, Proc. of the 11th Mediterranean Conference on Control and Automation, 2003. ,
Supremica in a Nutshell ? Draft, 2007. ,
Control of discrete event systems: theory and application, 1992. ,
Discrete Event Systems: Modeling and Control, Progress in Systems and Control Theory, 1993. ,
DOI : 10.1007/978-3-0348-9120-2
Identification of Discrete Event Systems using ordinary Petri Nets, IAR- ACD-Workshop on Advanced on Control and Diagnosis, 2006. ,
About human pattern matching and time information in S&C of large technical systems, Proceedings of the 17 th European Annual Conference on Human Decision Making and Manual Control, pp.161-166, 1998. ,
Grafcet: behavioural issues and control synthesis, European Journal of Control (EJC), vol.8, pp.4-375, 2002. ,
A new modeling formalism and automata model generator for a class of discrete event systems, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001. ,
DOI : 10.1109/ACC.2001.945698
A discrete event systems modeling formalism based on event occurrence rules and precedences, IEEE Transactions on Robotics and Automation, vol.17, issue.6, pp.785-794, 2001. ,
DOI : 10.1109/70.975991
A event occurrence rules based compact modeling formalism for a class of discrete event systems. Mathematical and computer modeling of dynamical systems, 2002. ,
supervision and monitoring of production systems, proc, p.7, 2000. ,
Réflexions sur la terminologie : Surveillance ? Supervision, Groupement pour la Recherche en Productique, p.3, 2000. ,
A game-theoretic approach to decision in fdi, IEEE Transactions on Automatic Control, vol.48, issue.5, p.5, 2003. ,
DOI : 10.1109/TAC.2003.811267
Formal Approach for Modeling and Verification of IEC 61499 Function BlocksAdvanced Manufacturing Technologies, Proceedings of the International Conference AMTECH 2005, pp.731-736, 2005. ,
Situation awareness global assessment technique (SAGAT), Proceedings of the IEEE 1988 National Aerospace and Electronics Conference, pp.789-795 ,
DOI : 10.1109/NAECON.1988.195097
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
Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line, Proceedings of the 5th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS2002), pp.501-508, 2002. ,
DOI : 10.1007/978-0-387-35613-6_57
Controlled Petri nets: A tutorial survey, 11 th Int. Conf. on Analysis and Optimization of Systems, LNCS, vol.199, 1994. ,
Introduction to Automata Theory, Languages and Computations, 1979. ,
Modeling Discrete Event Systems with Faults using a Rules Based Modeling Formalism, 2002. ,
Modeling Discrete Event Systems with Faults using a Rules Based Modeling Formalism, Mathematical and Computer Modeling of Dynamical Systems, pp.233-254, 2003. ,
Nonblocking Directed Control of Discrete Event Systems, IEEE Transactions on Automation Science and Engineering, vol.08, 2005. ,
Directed control of discrete event systems: optimization based approach, 2006 American Control Conference, 2006. ,
DOI : 10.1109/ACC.2006.1657368
Varaiya, algebras of discrete event models, Proc. of IEEE, vol.77, pp.1-01, 1989. ,
PLC Programming with Signal Interpreted Petri Nets, Proceedings of the ICATPN 2003 LNCS 2679, pp.440-449, 2003. ,
DOI : 10.1007/3-540-44919-1_27
Identification of Discrete Event Systems for Fault Detection Purposes, Doctorat de l'Ecole Normale Supérieure de Cachan, Spécialité : Electronique Electrotechnique et Automatique 09, 2005. ,
Analysis, design and evaluation of a new supervision system for the control of a nuclear fuel reprocessing system, Proceedings of the 7 th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man?Machine Systems, pp.455-460, 1998. ,
Influence de la prise en compte d'un modèle de processus en verification formelle des systems à évènements discrets, 2006. ,
Synthesis of controllers of processes modeled as colored Petri Nets Discrete Event Dynamic Systems : theory and applications, pp.147-169, 1999. ,
Identification using interpreted Petri nets, International Symposium of Robotics and Automation, pp.353-357, 1998. ,
Asymptotic identification of discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.2266-2271, 2000. ,
DOI : 10.1109/CDC.2000.914135
Required transition sequences for identification of DES, st IEEE Conference on Decision and Control. Hawaii USA, 2003. ,
An attempt for generic concepts toward human?machine cooperation Model based programmable control logic design, in proc, Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics of the 15 th Triennial IFAC World Congress, 1998. ,
Concevoir l'innovation industrielle ; méthodologie de conception de l'innovation, CNRS Editions, p.2, 2001. ,
Contribution au diagnostic décentralisé des SED : application aux systèmes manufacturiers, p.6, 2006. ,
Synthèse de la commande spécifiée en Grafcet : application à un préhenseur pneumatique, colloque francophone sur la modélisation des systèmes réactifs, MSR'03, pp.61-75, 2003. ,
Web-based SCADA display systems (WSDS) for access via Internet, IEEE Transactions on Power Systems, vol.15, issue.2, pp.681-686, 2000. ,
DOI : 10.1109/59.867159
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), p.6, 1998. ,
DOI : 10.1109/ACC.1998.694666
La simulation : outil pédagogique pour l'enseignement de l'automatique dans les formations professionnalisées, Sciences et techniques éducatives Hermes Sciences, vol.6, issue.12, pp.1-37, 1999. ,
Des exemples d'initiation attractive à l'EEA, Colloque sur l, CEPADUES EDITIONS, pp.343-347, 1999. ,
Une salle de TP d'API adaptée aux NTE, Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, Campus des Cézeaux, 2001. ,
Basic Cognitive Principles Applied to the Design of Advanced Supervisory Systems for process control, Handbook of Cognitive Task Design, pp.255-281, 2003. ,
Actes de la journée d'étude sur l'innovation technologique dans la supervision industrielle : Des outils aux applications, 2003. ,
Un projet original en commande et supervision des syst??mes automatises :des enfants de 5 ans au secours des animaux malades !, Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS 05), 2005. ,
DOI : 10.1051/j3ea:2006039
Répartition dynamique d'activité sur un automate programmable industriel à moniteur non préhemptif, p.6, 2005. ,
A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL, IFAC Proceedings Volumes, vol.39, issue.17, p.9, 2006. ,
DOI : 10.3182/20060926-3-PL-4904.00041
URL : https://hal.archives-ouvertes.fr/hal-00351722
Manufacturing human machine design using plant models, IFAC/IFIP/IFORS/IEA Symposium-Analysis design and evaluation of human machine systems, p.9, 2007. ,
Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers, JN-JD MACS, p.7, 2007. ,
Du capteur à l'ERP : principes et mise en application des concepts MES sur une maquette pédagogique, Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, 2007. ,
Des parties opératives pour enseigner l'automatisme, Revue d'enseignement Technologies et formations, Réseau SCEREN, 2008. ,
Proposition of completeness property to perform the plant modelling for manufacturing applications, 17th World Congress International Federation of Automatic Control (IFAC), p.7, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.00154
Advanced supervisory control for manufacturing systems: from concepts to a separated monitoring system, International Journal of Intelligent Systems Technologies and Applications (IJISTA) special issue on intelligent system design and development, accepted, 2009. ,
Analyse De Grafcets Par Generation Logique De l'Automate Equivalent, p.994 ,
URL : https://hal.archives-ouvertes.fr/tel-00340842
Validation And Verification Of Grafcet Using State Machine, Proceedings of IMACS-IEEE CESA'96 pp, pp.758-764, 1996. ,
DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, th IFAC World Congress, CDROM paper n°04427, 6 pages, p.7, 2005. ,
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918
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
Tasks allocation and supervisory control, Handbook of Human Computer Interaction, The Netherlands, 1988. ,
Synthesis Approach for Reconfigurable Manufacturing Systems Design Based on Petri Nets, Studies in Informatics and Control (SIC), 2007. ,
Supporting operator problem solving through ecological interface design, IEEE Transactions on Systems, Man, and Cybernetics, vol.25, issue.4, pp.529-545, 1995. ,
DOI : 10.1109/21.370186
On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987. ,
DOI : 10.1137/0325036
Grafcet et graphes d'états : synthèse hors-ligne de la commande, APII JESA, vol.33, pp.7-783, 1999. ,
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