Publications of ISA team (253 réponses)

2020 (7 publication(s))

Conference Papers (7)

• Analysis of distributed control systems using timed automata with guards and dioid algebra.
  F. Ait-Oumeziane F., A. Ourghanlian, S. Amari
  The 25th Annual Conference on Emerging Technologies and Factory Automation (ETFA 2020). 08-11 September, Vienna, 2020.
• A hierarchical approach for discrete-event model identification incorporating expert knowledge
  R. De Souza, M. Moreira, J.-J. Lesage
  15th Workshop on Discrete Event Systems, (WODES’20), pp. 275-281, Rio de Janeiro (Brazil), November 11-13 2020
• A timed model for discrete event system identification and fault detection
  R. De Souza, M. Moreira, J.-J. Lesage
  21st IFAC World Congress, Jul 2020, Berlin, Germany (to be published)
• Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living
  K. Fouquet, G. Faraut, J.-J. Lesage
  IEEE Int. Conf. on Systems Man and Cybernetics (SMC), Toronto (Canada), pp. 2740-2745, October 11-14, 2020
• Fault-tolerant control of energy production devices using discrete event systems formalisms.
  F. Gatwaza, L. Seddiki, S. Amari, H. Akdag
  The 4th IEEE International Conference on Control Automation and Diagnosis (ICCAD'20), October 7-9, 2020, Paris-France. (to be published)
• Modeling Distributed Control Systems response time: from theory to measures
  K. Goloze, A. Ourghanlian, S. Amari
  The 16th IEEE International Conference on Control and Automation (ICCA 2020), Hokkaido, Japan, July 6-9, 2020.
• Multi-robot Path Planning with Boolean Specifications and Collision Avoidance
  C. Mahulea, M. Kloetzer, J.-J. Lesage
  15th Workshop on Discrete Event Systems, pp. 101-108, Rio de Janeiro (Brazil), November 11-13 2020

2019 (4 publication(s))

Conference Papers (4)

• Commande sous contraintes temporelles des réseaux de graphes d'événements temporisés en conflit
  S. Aberkane, R. Kara, S. Amari
  12ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2019, Nov 2019, Angers, France.
• Discovering of the unobservable behavior of an interpreted Petri Net model
  F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
  58th IEEE Conf. on Decision and Control (CDC’19), pp. 2021-2026, Nice (France), December 11-13, 2019
• A new formal method of control for Min-Plus linear systems subject to time constraints
  N. Ben Afia, S. Amari, M. Hassani
  The IEEE International Conference on Control Automation and Diagnosis (ICCAD'19), Jul 2-4, 2019, Grenoble France (to be published)
• Discovering Systematic Relations between Alarms for Alarms Flows Reduction
  Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
  6th International Conference on Control, Decision and Information Technologies (CoDIT 2019)

2018 (3 publication(s))

Conference Papers (3)

• An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
  P. Chavarin-Aguirre, E. Lopez-Mellado, J.-J. Lesage
  14th Workshop on Discrete Event Systems, (WODES’18), Sorrento (Italy), pp. 378-384, 30 May-1 June 2018
• A relative identification method for reactive systems
  C. Galetta, J.-M. Roussel,J.-M. Faure
  14th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Sorrento Coast (Italy), May 2018,
• Enhanced discrete event model for system identification with the aim of fault detection
  M. V. Moreira, J.-J. Lesage
  14th Workshop on Discrete Event Systems, (WODES’18),pp.172-178, Sorrento (Italy), 30 May-1 June 2018

2017 (7 publication(s))

Conference Papers (7)

• Safety Analyzes of Mechatronics Systems: a Case Study
  B. Aupetit, M. Batteux, Antoine Rauzy, Jean-Marc Roussel
  20th IFAC World Congress, Toulouse (France), pp. 11150-11155, July 2017
• Smart Placement of Motion Sensors in a Home Environment
  M.P. Fanti, M. Roccotelli, G. Faraut, J.-J. Lesage
  Maria Fanti, Michele Roccotelli, Gregory Faraut, Jean-Jacques Lesage. Smart Placement of Motion Sensors in a Home Environment. IEEE SMC 2017 - IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct 2017, Banff, Canada. pp.894-899, 2017,
• Formal verification of safety analysis models of repairable and reconfigurable systems
  E. Kobeissi, P.-Y. Piriou, J.-M. Faure
  20th IFAC World Congress, Toulouse, July 9-14, 2017
• Towards Alarm Flood Reduction
  Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
  22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'17) , Sep 2017, Limassol, Cyprus. Proceedings of 2017 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'17) 2017, 〈https
• A language proposition for system requirements
  B. Lebeaupin, A. Rauzy, J.-M. Roussel
  11th Annual IEEE International Systems Conference, Montréal (Canada),〈10.1109/SYSCON.2017.7934808, 8 p., April 2017
• Active fault-tolerant control of timed automata with guards
  J. Niguez, S. Amari, J.M. Faure
  20th IFAC World Congress
• Recognition of human activity based on probabilistic finite-state automata
  K. Viard, Mp. Fanti, G. Faraut, J-J. Lesage
  22nd IEEE International Conference on Emerging Technologies And Factory Automation, ETFA'2017, Limassol (Cyprus), Septembre 2017

2016 (7 publication(s))

Conference Papers (7)

• Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques
  B. Aupetit, M. Batteux, A. Rauzy, J.-M. Roussel
  20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20),Saint-Malo (France), papier 7E-2, 9 pages
• Motion Detector Placement Optimization in Smart Homes for Inhabitant Location Tracking
  M.P. Fanti, M. Roccotelli, J.-J. Lesage, G. Faraut
  21th IEEE int. Conf. on Emerging Technologies and Factory Automation, ETFA’16, Berlin (Germany), 6-9 September 2016
• Multiparametric Predictive Control for a Class of Discrete Event Systems
  Hamri H., R. Kara And S. Amari
  13th International Workshop on Discrete Event Systems (WODES’16), Xi'an, China, May 30 - June 1, 2016.
• Analysis of timed automata with guards in dioids algebra
  J. Niguez, S. Amari, J.-M. Faure
  13th Int. Workshop on Discrete Event Systems, Xi'an, China, May 30 - June 1, 2016
• A formal definition of Minimal Cut Sequences for dynamic, repairable and reconfigurable systems
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  2016 European Safety and Reliability Conference (ESREL 2016), 25-29 September 2016, Glasgow, United Kingdom
• From Safety Analysis of Reconfigurable Systems to Design of Fault-Tolerant Control Strategies
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  3rd Int. Conf. on Control and Fault-Tolerant Systems, SysTol’16, pp. 609-614, Barcelona (Spain), 7-9 September, 2016
• An Event-Based Approach for Discovering Activities of Daily Living by Hidden Markov Models
  K. Viard, Mp. Fanti, G. Faraut, J-J Lesage
  15th IEEE Int. Conf. on Ubiquitous Computing and Communications, (IUCC 2016), pp. 85-92, Dec 2016, Granada, Spain

2015 (9 publication(s))

Conference Papers (9)

• Improving performances of the AltaRica 3.0 stochastic simulator
  B. Aupetit, M. Batteux, A. Rauzy, J.-M. Roussel
  25th Safety and Reliability of Complex Engineered Systems Conference, ESREL 2015, Zürich (Switzerland), September 2015
• Safety-level aware bin-packing approach for control functions assignment
  M. Benazouz, J.-M. Faure
  The 15th IFAC/IEEE/IFIP/IFORS Symposium on Information Control Problems (INCOM 2015), May 2015, Ottawa, Canada
• Opacity of Discrete Event Systems: models, validation and quantification
  R. Jacob, J-J. Lesage, J-M. Faure
  Jacob, R., Lesage, J. J., Faure, J. M. (2015, Mai). Opacity of Discrete Event Systems: models, validation and quantification. In 5th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2015) (pp. 174-181)
• Performance evaluation of a Flexible Manufacturing System using two formal methods
  L. Mameri, R. Kara, S. Amari
  3rd International Conference on Control, Engineering & Information Technology CEIT’2015, Tlemcen (Algeria), May 2015
• Commande tolérante aux fautes des systèmes à événements discrets : comparaison de deux approches sur un cas d'étude
  J. Niguez, S. Amari, J.-M. Faure
  6èmes Journées Doctorales/ Journées Nationales MACS, JD-JN-MACS'15, 18-19 juin 2015, Bourges, France
• Fault-Tolerant Control of Discrete Event Systems: Comparison of Two Approaches on the same Case Study
  J. Niguez, S. Amari, J.-M. Faure
  20th IEEE International Conference on Emerging Technologies and Factory Automation, September 8-11, 2015, Luxembourg, doi: 10.1109/ETFA.2015.7301626
• Modeling standby redundancies in repairable systems as guarded preemption mechanisms
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  Dependable Control of Discrete Systems (DCDS'15), Cancun (Mexico), pp. 147-153, May 2015.
• Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections
  J. Saives, G. Faraut, J-J. Lesage
  IEEE European Control Conference 2015 (ECC'15), Linz, Austria, Paper WeB2.1, 8 pages, 15-17 July 2015
• Identification par réseau de Petri du comportement non observable d'un système séquentiel réactif
  J. Saives, G. Faraut, J-J. Lesage
  6èmes Journées doctorales du GDR MACS, JDMACS'15, Papier 9-2, 6 pages, 18-19 juin 2015

2014 (9 publication(s))

Conference Papers (9)

• Evaluation of response time bounds in producer/consumer networked control systems using (Max, +) algebra
  R. Ammour, S. Amari
  The 12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES’14), pp. 123 - 128. Cachan, France. May 2014.
• E-santé et maison intelligente : Une approche à travers le prisme des Systèmes à Evénements Discrets
  M. Danancher, J. Saives, G. Faraut, J.-J. Lesage
  JETSAN 2014 (Journées d'étude sur la Télésanté), Jun 2014, Troyes, France. pp.51 - 54
• Interoperability between a dynamic reliability modeling and a systems engineering process: principles and case study
  G. DELEUZE, A. LEGER, P.-Y. PIRIOU , S. CHABROUX
  Embedded Real Time Software and Systems 2014 (ERTS²2014), Toulouse (France), 4B.2, 10 p., 2013
• An Integrated System Model for the Management of Health Care at Home
  M.P. Fanti, A.M. Mangini, W. Ukovich, K. Viard, J.-J. Lesage
  11th IEEE Int. Conf. on Automation Science and Engineering (CASE’14), Taipei (Taiwan), pp. 582-587, August 18-22, 2014
• A conformance relation for model-based testing of PLC
  A. Guignard, J-M. Faure
  12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Cachan (France), pp. 412-419, 14-16 May 2014
• Validation of logic controllers from events observation in a closed-loop system
  A. Guignard, J-M. Faure
  Emerging Technologies and Factory Automation (ETFA'14), 19th IEEE International conference on, Barcelona(Spain), 16-19 September, 2014
• Control-in-the-loop Model Based Safety Analysis
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  23th European Safety & Reliability Conf. (ESREL’14), Wroclaw (Poland), September11-14, 2014
• Automated Generation of Models of Activities of Daily Living
  J. Saives, G. Faraut
  12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Cachan (France), pp13-20, 15-17 mai 2014
• Petri Net Discovery of Discrete Event Processes by Computing T-invariants
  T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, J.-J. Lesage
  19th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’14), Barcelona (Spain), paper 345, 8 pages, September 16-19, 2014

2013 (19 publication(s))

Conference Papers (19)

• An analytic expression of the reliability of transmissions in fieldbuses with propagated failures
  D. AZA-VALLINA, J.M. FAURE
  4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°18, 6 pages, September 2013
• Preliminary System Safety Analysis with Limited Markov Chain Generation
  P-A. BRAMERET, J.-M. ROUSSEL, A. RAUZY
  4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°3, 6 pages, September 2013
• Towards a unified definition of Minimal Cut Sequences
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M. BOUISSOU
  44th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°1, 6 pages, September 2013
• A Discrete Event Model for Multiple Inhabitants Location Tracking
  M. DANANCHER, J.-J. LESAGE, L. LITZ, G. FARAUT
  Proceedings of the 9th IEEE international Conference on Automation Science and Engineering (CASE'13), Madison, U.S.A., 17-21 August 2013, pp. 922-927, doi: 10.1109/CoASE.2013.6653946
• A DES Simulator for Location Tracking of Inhabitants in Smart Home
  M. DANANCHER, G. FARAUT, J.-J. LESAGE, L. LITZ
  Proceedings of the 8th EUROSIM Congress on Modelling and Simulation, Cardiff, United Kingdom, pp. 330-335, 10-13 September 2013,
• Online Location Tracking of a Single Inhabitant based on a State Estimator
  M. DANANCHER, J.-J. LESAGE, L. LITZ, G. FARAUT
  Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC'13), pp. 391-396, Manchester, United Kingdom, 13-16 October 2013, doi: 10.1109/SMC.2013.73
• Automated Modeling of Reactive Discrete Event Systems from External Behavioral Data
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  23rd Int. Conf. on Electronics, Communications and Computing (CONIELECOMP 2013), Cholula Puebla (Mexico), March 2013, pp.120-123
• Identification of Partially Observable Discrete Event Manufacturing Systems
  A.-P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari (Italy), Paper n°83, 7 pages, September 2013
• Construction de modèles formels de contrôleurs logiques pour le test de conformité
  A. GUIGNARD, J-M.FAURE
  5èmes Journées Doctorales / Journées Nationales MACS, Strasbourg, Papier JD-5.4, 6 pages, juillet 2013
• Enforcing I/O sequences for PLC validation purposes
  A. GUIGNARD, J-M.FAURE
  18th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari (Italy), Paper n°89, 6 pages, September 2013
• Fault diagnosis of DES based on a fault-free identified model
  J.-J. LESAGE
  Plenary talk, Colloquium on Discrete Event and Hybrid Systems, Cinvestav-Guadalajara (Mexico),9p., 19 February 2013
• Application de la théorie des tas à un système d’aiguillage
  L. Mameri, R. Kara, S. Amari
  MSR 2013 - Modélisation des Systèmes Réactifs, 13 – 15 novembre 2013, Rennes, France
• Modélisation et évaluation de performances d'un système d'aiguillage par des graphes d'événements temporisés en conflit
  L. MAMERI, S. AMARI, R. KARA
  Conférence Internationale sur La Conception & Production Intégrées (CPI 2013), Papier n°311, octobre 2013
• Comparing detailed and abstract timed models of automated discrete manufacturing systems
  M. PERIN, J.-M. FAURE
  9th IEEE Conference on Automation Science and Engineering (CASE 2013), Madison (USA), 17-21 August 2013
• A meta-model for integrating safety concerns into systems engineering processes
  P.-Y. PIRIOU, J.-M. FAURE, G. DELEUZE
  7th IEEE International Systems Conference (SysCon 2013), Orlando (Florida USA), pp.298-304, April 2013, Orlando (Florida USA)
• The AltaRica 3.0 Project for Model-based Safety Assessment
  T. PROSVIRNOVA, M. BATTEUX, P.-A. BRAMERET, L. KLOUL, A. CHERFI, T. FRIEDLHUBER, J.-M. ROUSSEL, A. RAUZY
  4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York (United Kingdom), Paper n°22, 6 pages, September 2013
• Commande max‐plus des architectures d’automatisation distribuées en réseau sous contrainte temporelle
  K. Tebani, S. Amari, R. Kara
  14ème conférence ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision. Papier n° 209. Troyes 13 – 15 Février 2013.
• Commande (Max, +) pour garantir un temps de réponse dans les systèmes de commande en réseau
  K. TEBANI, S. AMARI, R. KARA
  Conférence Internationale sur La Conception & Production Intégrées (CPI 2013), Papier n°246, Octobre 2013
• Commande sous contrainte temporelle d'une architecture d'automatisation en réseau de type producteur/consommateur
  K. Tebani, S. Amari, R. Kara
  MSR 2013 - Modélisation des Systèmes Réactifs, 13 – 15 novembre 2013, Rennes, France

2012 (12 publication(s))

Conference Papers (12)

• Influence of bus partitioning on the reliability of transmissions
  D. AZA-VALLINA, B. DENIS, J.-M. FAURE
  21th European Safety & Reliability Conf. (ESREL’12), Helsinki (Finland), June 2012, CDROM paper n°02-Mo2-4, 10p.
• Assessing the Dependability of Systems with Repairable and Spare Components
  P.-A. BRAMERET, A. RAUZY, J.-M. ROUSSEL
  18ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 18), Tours (France), Papier 3D-6, 9 p., octobre 2012,
• Systematic extraction of Minimal Cut Sequences from a BDMP model
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M. BOUISSOU
  21th European Safety & Reliability Conf. (ESREL’12), Helsinki (Finland), June 2012
• Indoor Location Tracking based on a Discrete Event Model
  M. DANANCHER, J.-J. LESAGE, L. LITZ
  10th Int. Conf. On Smart homes and health Telematics (ICOST’12), pp. 262-265, DOI: 10.1007/978-3-642-30779-9_40 , Artimino (Italy), 12-15 June 2012,
• Identification of Industrial Automation Systems: Building Compact and Expressive Petri Net Models from Observable Behavior
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  American Control Conference (ACC’12), pp. 6095 - 6101, Montreal (Canada), June 2012
• Identification de SED au moyen de réseaux de Petri : une approche pour la représentation structurelle des comportements observés
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  Septième IEEE Conférence Internationale Francophone d’Automatique (CIFA’12), pp. 919 - 924, Grenoble (France), Juillet 2012
• Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité
  A. GUIGNARD, J.-M. ROUSSEL, J.-M. FAURE
  Conférence Internationale Francophone d'Automatique (CIFA'12), pp.907-912, Grenoble (France), 4-6 Juillet 2012
• Algebraic synthesis of logical controllers with optimization criteria
  H. LEROUX, J.-M. ROUSSEL
  6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2012), Paris (France), pp. 103-114, August 2012
• Coupling timed plant and controller models with urgent transitions without introducing deadlocks
  M. PERIN, J.-M. FAURE
  17th IEEE international conference on Emerging Technologies & Factory Automation (ETFA), in the special session: Closed-loop modelling for design and validation of reactive systems in discrete control, Krakovie (pologne), September 2012
• Algebraic synthesis of logical controllers despite inconsistencies in specifications
  J.-M. ROUSSEL, J.-J. LESAGE
  11th International Workshop On Discrete Event Systems (WODES'12), Guadalajara (Mexico), pp. 307-314, October 2012
• Determination of Timed Transitions in Identified Discrete-Event Models for Fault Detection
  S. SCHNEIDER, L. LITZ, J.-J. LESAGE
  51st IEEE Conference on Decision and Control (CDC'12), Maui, Hawaii (USA), pp. 5816-5821, December 10-13 2012
• Modélisation et commande d’une architecture d’automatisation en réseau sous contrainte temporelle en utilisant l’algèbre Min-Plus
  K.TEBANI, S. AMARI, R. KARA
  9th International Conference on Modeling, Optimization & SIMulation Bordeaux, MOSIM'12, 9 p, France, 6-8 June, 2012

2011 (18 publication(s))

Conference Papers (18)

• Measures vs. Analytic Evaluation of Response Time of Networked Automation Systems
  B. ADDAD, S. AMARI, J-J. LESAGE, B. DENIS
  IEEE 7th International Conference on Automation Science and Engineering (CASE 2011), pp.576-581, Trieste, Italy, August 24-27 2011
• Communications reliability analysis in networked embedded systems,
  D. AZA-VALLINA, B. DENIS, J.-M. FAURE
  Proceedings of ESREL 2011, Troyes, France, Bérenguer, Grall & Guedes Soares (eds), Taylor & Francis, ISBN 978-0-415-6837961,pp. 2639-2646
• Prise en compte de différents modes de défaillance des composants réseau dans l'évaluation de la fiabilité des transmissions
  D. AZA-VALLINA, B. DENIS, J.M. FAURE
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp 263-268, Marseille, France, 9-10 juin 2011
• Formalisation des scénarios de défaillance d'un BDMP par automate fini
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp. 159-164. Marseille, France, 9-10 juin 2011
• Qualitative analysis of a BDMP by Finite Automaton
  P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M.BOUISSOU
  0th European Safety & Reliability Conf. (ESREL’11), Troyes (France), in “Advances in Safety Reliability and risk management”, Taylor & Francis Ed., pp. 2055-2057, September 2011
• Diagnostic des SED basé sur un modèle : trois approches évaluées sur une même étude de cas
  M. DANANCHER, M. ROTH, J.-J. LESAGE, L. LITZ
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp 165--170. Marseille, France, 9-10 juin 2011
• A comparative study of three model-based FDI approaches for Discrete Event Systems
  M. DANANCHER, M. ROTH, J.-J. LESAGE, L. LITZ
  Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), pp 29-34, DOI: 10.1109/DCDS.2011.5970314, Saarbrücken, Germany, 15-17 juin 2011
• Translation from Petri nets into Boolean equations for the algebraic design of logic controllers
  M. DIAZ-RODRIGUEZ, E. LOPEZ-MELLADO, P-A. BRAMERET, J-M. ROUSSEL
  8th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2011), Merida Mexico, 6 p., October 26-28, 2011
• A Stepwise Identification of Automated Discrete Manufacturing Systems
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J-J LESAGE
  16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011), Toulouse (France), USB Paper N°4-6, 8p., Sepember 2011
• Improving dependability of controlled systems: a challenge for automation science and engineering
  J.-M. FAURE, J.-J. LESAGE
  Plenary keynote paper, 8th Int. Conf. on Informatics in Control Automation and Robotics (ICINCO’11), pp. 19, Noordwijkerhout (The Netherlands), July 2011
• Aide à la conception d'architectures opérationnelles de commande de systèmes critiques par analyse d'atteignabilité
  T. LEMATTRE, B. DENIS, J-M. FAURE, J-F. PETIN, P. SALAUN
  4èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'11), pp. 447-452, Marseille, France, 9-10 juin 2011
• Designing operational control architectures of critical systems by reachability analysis
  T. LEMATTRE, B. DENIS, J-M. FAURE, J-F. PETIN, P. SALAUN
  IEEE 7th International Conference on Automation Science and Engineering (CASE 2011), Trieste, pp. 12-18, Italy, August 24-27, 2011
• Using a meta-model to build operational architectures of automation systems for critical processes
  T. LEMATTRE, B. DENIS, J-M. FAURE, J-F. PETIN, P. SALAUN
  16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'2011, Toulouse (France), USB Paper N°175, 6p.,Sep 2011
• Tailor-made vs. formal languages: how to reconcile effectiveness and rigor of modelling for automation engineering
  J.-J. LESAGE
  Plenary keynote paper, 5th Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS’11), 2p., Tunis (Tunisia), September 2011
• Dynamic Fault Tree Analysis Based On The Structure Function
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Proceedings of the Annual Reliability and Maintainability Symposium 2011 (RAMS 2011), pp. 462-467, Lake Buena Vista, FL, USA, January 24-27, 2011
• A formal semantics for Grafcet specifications
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  IEEE 7th International Conference on Automation Science and Engineering (CASE 2011), Trieste, pp. 488-494, Italy, August 24-27, 2011
• Testing Programmable Logic Controllers from Finite State Machines specification
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  Proceedings of the 3rd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'11), pp. 3-8, Saarbrücken, Germany, 15-17 juin 2011
• Timed Residuals for Fault Detection and Isolation in Discrete Event Systems
  S. SCHNEIDER, L. LITZ, M. DANANCHER
  Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), pp 35-40 , DOI: 10.1109/DCDS.2011.5970315, Saarbrücken, Germany, 15-17 juin 2011

2010 (12 publication(s))

Conference Papers (12)

• Linear time-varying (max,+) representation of conflicting timed event graphs
  B. ADDAD, S. AMARI, J-J. LESAGE
  10th Int Workshop on Discrete Event Systems, Berlin(Allemagne), pp. 310-315, Aout-Septembre 2010
• Modélisation de réseaux de graphes d’événements temporisés avec conflits dans l’algèbre (Max,+)
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Conférence Internationale Francophone d’Automatique, CIFA10, papier N°22, 6p., Nancy, France, 2-4 Juin 2010.
• Control of Time-Constrained Dual-Armed Cluster Tools Using (max, +) Algebra
  R. ATTIA, S. AMARI, C. MARTINEZ
  Conference on Control and Fault-Tolerant Systems (SysTol’10), Nice, France, 6 p. , October 6-8, 2010
• Comparaison de deux méthodes dynamiques d’évaluation de la sureté de fonctionnement :BDMP et DFM
  P.-Y. CHAUX
  Lambda-Mu 17, LM17, La Rochelle (France), CDRom paper N°4C-2, 9p., Octobre 2010
• Conformance test of logic controllers of critical systems from industrial specifications
  F. CHERIAUX, L. PICCI, J. PROVOST, J.M. FAURE
  Proceedings of ESREL 2010, Rhodes, Greece, Ale, Papazoglou & Zio (eds), Taylor & Francis, ISBN 978-0-415-60427-7, pp. 1569-1576
• An identification method for PLC-based automated discrete event systems
  A.P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  49th IEEE Conference on Decision and Control, CDC'10, Atlanta (Georgia-USA), pp. 6740-6746, December 15-17 2010
• Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, N. VAYATIS
  Proceedings of the European Safety & Reliability Conference 2010 (ESREL 2010), pp. 794-801, Rhodes, Greece, September 5-9, 2010
• Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gates FDEP as Static
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Proceedings of the European Safety & Reliability Conference 2010 (ESREL 2010), pp. 845-851, Rhodes, Greece, September 5-9, 2010
• Un démonstrateur pour le test de conformité de contrôleurs logiques
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  3èmes Journées Démonstrateurs 2010. 30/11 - 1/12 2010, Angers ,France
• SIC-testability of sequential logic controllers
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  WODES 2010, Berlin, Germany, pp. 203-208, August 30 - September 1, 2010
• Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems
  M. ROTH, J.-J. LESAGE, L. LITZ
  American Control Conference, ACC'10, Baltimore (MD-USA), pp. 2601-2606, June 30-July 02, 2010
• Identification of discrete event systems: Implementation issues and model completeness
  M. ROTH, L. LITZ, J.-J. LESAGE
  7th Int. Conf. on Informatics in Control Automation and Robotics, ICINCO'10, Funchal (Portugal), Vol. 3 pp. 73-80, June 2010

2009 (12 publication(s))

Conference Papers (12)

• Evaluation de délais dans les systèmes de communication temps-réel en utilisant des files d’attente virtuelles
  B. ADDAD, S. AMARI
  7ième Colloque francophone sur la Modélisation des Systèmes Réactifs, 15p, Nantes, novembre 2009
• Modelisation et évaluation temporelle des architectures de commande en réseau
  B. ADDAD, S. AMARI
  3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), papier N°25, 6p., Angers, France, 17-18 mars 2009
• Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  IEEE Int. Conf. on Systems, Man, and Cybernetics, San Antonio (USA), pp. 181-186, October 11-14 2009
• Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, A. BOBBIO
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 129-134, Bari, Italy, 10-12 juin 2009
• Building meaningful timed plant models for verification purposes
  M. PERIN, J.-M. FAURE
  13th IFAC symposium on Information Control Problems in Manufacturing, INCOM'09, Moscou(Russie), 3-5 juin 2009, pp. 970-975
• Construction d'une séquence de test minimale à partir d'une spécification GRAFCET
  J. PROVOST, J.M. ROUSSEL, J.M. FAURE
  3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), CDRom papier N°19, 6p., Angers, France, 17-18 mars 2009
• Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d’une modélisation par machines de Mealy
  J. PROVOST , J.-M. ROUSSEL , J.-M. FAURE
  7ième colloque francophone sur la Modélisation des Systèmes Réactifs, pp. 889-904, Nantes (France), 16-18 novembre 2009
• Test sequence construction from SFC specification,
  J. PROVOST J.-M. ROUSSEL J.-M. FAURE
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 341-346, Bari, Italy, 10-12 juin 2009
• Distributed identification of concurrent discrete event systems for fault detection purposes
  M. ROTH, J.-J. LESAGE, L. LITZ
  European Control Conference 2009, ECC 2009, Budapest (Hungary), August 23-26 2009
• An FDI Method for Manufacturing Systems Based on an Identified Model
  M. ROTH, J.-J. LESAGE, L. LITZ
  13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, Moscow (Russia), pp. 1389 - 1394, June 3-5 2009
• A residual inspired approach for fault localization in DES
  M. ROTH, J.-J. LESAGE, L. LITZ
  Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Event Systems (DCDS'09), pp. 347-352
• Finding the bounds of response time of networked automation systems by iterative proofs,
  S. RUEL, O. DE SMET, J.-M. FAURE
  INCOM'09 : Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing,

2008 (14 publication(s))

Conference Papers (14)

• Delay Evaluation and Compensation in Ethernet-Networked Control Systems
  B. ADDAD, S. AMARI
  16th International Conference on Real-Time and Network Systems, RTNS’08, Rennes, France, 10 p., octobre 2008
• Modelling and Response Time Evaluation of Ethernet-based Automation Architectures using Max-Plus Algebra
  B. ADDAD, S. AMARI
  Fourth annual IEEE Conference on Automation Science and Engineering (IEEE CASE 2008), Washington DC, U.S.A, 6 p., August 2008
• Response time evaluation in Ethernet-based automation architectures
  B. ADDAD, S. AMARI
  2nd International Workshop on Verification and Evaluation of Computer and Communication Systems, Leeds, 11 p., July 2008
• Commande d’un système de production à temps critique
  S. AMARI, C. MARTINEZ
  5ème Conférence Internationale Francophone d\'Automatique (CIFA’08), Bucarest, Roumanie, 6 p., septembre 2008
• Supervision of an industrial plant subject to a maximal duration constraint
  A. M. ATTO, C. MARTINEZ, S. AMARI
  9th International Workshop on Discrete Event Systems, WODES'08, 6 p.,May 2008
• Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits,
  M. CANTARELLI, J.-M. ROUSSEL
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 200-205, Göteborg (Sweden), May 2008
• Improving large-sized PLC programs verification using abstractions
  V. GOURCUFF, O. DE SMET, J.-M. FAURE
  17th IFAC World Congress, Seoul (Korea), July 2008
• Algebraic synthesis of dependable logic controllers
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  17th IFAC World Congress, Seoul (Korea), pp. 4132-4137, July 2008
• Algebraic Synthesis of Transition Conditions of a State Model
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 187-192, Göteborg (Sweden), May 2008
• Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  Conférence Internationale Francophone d'Automatique, CIFA 2008, Bucarest (Roumanie), CDRom papier N°83, 6p., septembre 2008
• Réseaux d'automates hybrides à synchronisations typées pour la modélisation des SDH
  Z. JUÀREZ OROZCO, B. DENIS, J.-J. LESAGE
  Conférence Internationale Francophone d'Automatique, CIFA 2008, Bucarest (Roumanie), CDRom paper N°396, 6 p., septembre 2008
• Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based
  M. PERIN, J.-M. FAURE
  Conférence Internationale Francophone d'Automatique, CIFA'08, Bucarest (Roumanie), CDRom paper N°381, 6 p., septembre 2008
• Building effective formal models to prove time properties of networked automation systems
  S. RUEL, O. DE SMET, J.-M. FAURE
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 334-339, Göteborg (Sweden), May 2008
• Efficient representation for formal verification of time performances of networked automation architectures
  S. RUEL, O. DE SMET, J.-M. FAURE
  17th IFAC World Congress, Seoul (Korea), pp. 5119-5124, July 2008

2007 (10 publication(s))

Conference Papers (10)

• Evaluation des performances temporelles d’Ethernet industriel
  B. DENIS
  Journées Techniques AIP-PRIMECA, Ethernet Industriel : Quelle place pour le développement des applications d’automatisme ? Nantes, 18 et 19 janvier 2007
• Measuring the impact of vertical integration on response times in Ethernet fieldbuses
  B. DENIS, S. RUEL, J.-M. FAURE, G. MARSAL, G. FREY
  12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 532-539, Sep. 2007
• Formal verification of redundant media extension of Ethernet PowerLink
  S. LIMAL, S. POTIER, B. DENIS, J.-J. LESAGE
  12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 1045-1052, Sep. 2007
• Algebraic modelling of Fault Trees with Priority AND gates
  G. MERLE, J.-M. ROUSSEL
  Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 175-180, Cachan, France, 13-15 juin 2007.
• Modèle algébrique des arbres de défaillance intégrant des contraintes sur l'ordre d'occurrence des événements
  G. MERLE, J.-M. ROUSSEL
  2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°40, 6p., Reims, France, 9-11 juillet 2007.
• Temporal performance evaluation of control architecture in automation systems
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  6th EUROSIM Congress on Modelling and Simulation, EUROSIM 2007, Ljubljana (Slovenia), CDRom paper N°392, 9 p., Sept. 2007
• Decentralized approach for fault diagnosis of discrete event systems
  M. SAYED MOUCHAWEH, A. PHILIPPOT, V. CARRE MENETRIER
  4th International Conference on Informatics in Control, Automation and Robotics (ICINCO'07), Angers (France), pp.124-129 , May 2007
• Unconditional decentralized structure for the fault diagnosis of discrete event systems
  A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRE MENETRIER
  Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 255-260, Cachan, France, 13-15 juin 2007
• Outil d’aide à l’élaboration de modèles hybrides de simulation pour les systèmes manufacturiers
  B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J.-M. ROUSSEL
  2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°62, 6p., Reims, France, 9-11 juillet 2007
• Generic determination of fault models for fdi purposes
  M. ROTH, S. KLEIN, L. LITZ
  1er IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, Cachan (France), 13-15 juin 2007

2006 (16 publication(s))

Conference Papers (16)

• Including systematic faults into fault-tree analysis
  I. BARRAGAN SANTIAGO, J.-M. FAURE and Y. PAPADOPOULOS
  Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Aug 30 - Sep 1, 2006, Beijing, P. R. China, pp. 811-816
• Obtaining temporal and timed properties of logic controllers from fault tree analysis
  I.S. BARRAGAN SANTIAGO, Matthias ROTH,J.M. FAURE
  12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne, France, May, 17-19, 2006, pp. 243-248
• Performance verification of discrete event systems using hybrid model-checking
  B. DENIS, J.-J. LESAGE, Z. JUÀREZ OROZCO
  2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06, Alghero (Italy), pp. 365-370, June 2006
• Détermination de l'équivalence comportementale d'algorithmes de contrôle - commande
  V. GOURCUFF, O. DE SMET, J.-M. FAURE
  Conference Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'06, ENST 2006 S 002, pp. 111-125, Paris, 15-17 mars 2006
• Efficient representation for formal verification of PLC programs
  V. GOURCUFF, O. DE SMET, J-M. FAURE
  8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp. 182-187
• Formal verifivation of industriel controllers: with or without a plant model?
  J. MACHADO, B. DENIS, J.-J. LESAGE
  7th Portuguese Conference on Automatic Control, CONTROLO'2006, Lisbon (Portugal), CDRom paper N°80, 6 p., September 2006
• A generic approach to build plant models for DES verification purposes
  J. MACHADO, B. DENIS, J.-J. LESAGE
  8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp.407-412
• Logic controllers dependability verification using a plant model
  J. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. FERREIRA DA SILVA
  3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 37-42, September 2006
• Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet
  G. MARSAL, B. DENIS, J.-M. FAURE
  Conférence Internationale Francophone d'Automatique, CIFA 2006, Bordeaux (France), CDRom paper N°283, 6 p., mai 2006
• Evaluation of Response Time in Ethernet-based Automation Systems
  G. MARSAL, B.DENIS, J.-M. FAURE, G. FREY
  6th IEEE International Workshop on Factory Communication Systems, WFCS'2006, Turin (Italy), pp. 95-98, June 27-30 2006
• Evaluation of Response Time in Ethernet-based Automation Systems
  G. MARSAL, B. DENIS, J.-M. FAURE, G. FREY
  11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'06, Prague (Czech Republic), pp. 380-387, September 2006
• Component failure behaviour: patterns and reuse in automated system safety snalysis
  Y. PAPADOPOULOS, A. TRAN, J.-M. FAURE, C. GRANTE
  SAE 2006 World Congress, Detroit, USA paper n° 06AE-287 , April, 3-6, 2006
• A methodology to design and check a plant model
  B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J-M. ROUSSEL
  3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 246-250, September 2006
• Performance analysis of industrial Ethernet networks by means of timed model-checking
  D. WITSCH, B. VOGEL-HEUSER, J.M. FAURE, G. POULARD-MARSAL
  12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne (France), pp. 101-106, May 2006
• Comparative study between the timed automata and the RRBF for discrete event system diagnosis
  R. ZEMOURI, J-M. FAURE
  6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processe, SAFEPROCESS 2006, Beijing (China), CDRom paper N°1286, 6p., August 29-September 1 2006
• Diagnosis of discrete event system by stochastic timed automata
  R. ZEMOURI, J-M. FAURE
  IEEE International Conference on Control Applications (CCA/CACSD/ISIC), Munich (Germany), CDRom paper N°307, 6p., October 4-6 2006.

2005 (8 publication(s))

Conference Papers (8)

• From fault-tree analysis to model-checking of controllers
  I. SANTIAGO BARRAGAN, J.-M. FAURE,
  16th IFAC World Congress, CDROM paper n°04596, 6 pages, Praha(CZ), July 4-8, 2005
• Verification of a timed multitask system with UPPAAL
  H. BEL MOKADEM, B. BERARD, V. GOURCUFF, J.-M. ROUSSEL, O. DE SMET
  10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'05, Catania (Italy), CDROM paper CF-000606, September 2005
• Fault detection of Discrete Event Systems using an identification approach
  S. KLEIN, L. LITZ,J.-J. LESAGE
  16th IFAC World Congress, CDROM paper n°02643, 6 pages, Praha(CZ), July 4-8, 2005
• Identification comportementale des systèmes logiques en vue de leur surveillance
  S.KLEIN, J.-J.LESAGE, L.LITZ
  Workshop Modélisation des Systèmes Réactifs, MSR'05, Autrans (France), p. 111-126, octobre 2005
• Réglage du routeur d’un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones.
  S. LIMAL, B. DENIS, R. ZEMOURI, J.-J. LESAGE
  3e Conférence Internationale sur la Productique, CIP'05, Tlemcen (Algerie), 3-4 décembre 2005
• Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation
  G. POULARD-MARSAL, D. WITSCH, B. DENIS, J.-M. FAURE, G. FREY
  1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005, RJCITR'05, pp. 27-30, Nancy, France, septembre 2005
• Survey paper on manufacturing plant control challenges and issues
  G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. PEREIRA, C. DIEDRICH
  Selected Plenaries, Milestones and Surveys of the 16th IFAC World Congress, Praha(CZ), , pp. 280-290, July 4-8, 2005
• Designing dependable logic controllers using the supervisory control theory
  J.-M. ROUSSEL, A. GIUA
  16th IFAC World Congress, CDROM paper n°04427, 6 pages, Praha(CZ), July 4-8, 2005

2004 (4 publication(s))

Conference Papers (4)

• Modélisation et vérification d'un évaporateur en UPPAAL
  M.E.M. BEN GAID, B.BERARD, O. DE SMET
  Conférence AFADL'2004 (Approches Formelles dans l'Assistance au Développement de Logiciels),Besançon, 16-18 juin 2004
• Modélisation par réseau de Petri coloré des architectures de commande distribuées sur réseau de terrain Ethernet et TCP/IP
  G. POULARD, B. DENIS, J.-M. FAURE
  5ème Conférence francophone de MOdélisation et SIMulation, MOSIM04, Nantes (France), pp. 405-412, septembre 2004
• Designing dependable logic controllers using algebraic specification
  J.-M. ROUSSEL, J.-M. FAURE
  7th International Workshop on Discrete Event Systems (WODES'04), Reims (France), pp. 313-318, September 22-24, 2004
• Réseau RRFR pour la surveillance dynamique : application en e-maintenance
  R. ZEMOURI, D. RACOCEANU, N. ZERHOUNI
  CIFA 2004 (Conférence Internationale Francophone d’Automatique), Douz/Tunisie, 22-24 novembre 2004 CD ROM.

2003 (9 publication(s))

Conference Papers (9)

• Elaboration of invariant safety properties from fault-tree analysis
  S. HENRY, J.-M. FAURE
  Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003
• Designing fault-tolerant controllers using Model-Checking
  S. KLEIN, G. FREY, L. LITZ
  IFAC-Safeprocess 2003, Washington (USA), pp. 115-120, June 2003
• Supporting the changeability of SIPN-based logic control algorithms by verification and validation
  S. KLEIN, G. FREY, J.-J. LESAGE, L. LITZ
  Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM Procedings, Paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003
• SIPN Editor : A Tool for PLC Programming with Petri Nets
  S. KLEIN, G. FREY, M. MINAS
  ICATPN 2003, Eindhoven (The Netherlands), pp. 440-449, June 2003
• Increasing the efficiency of PLC Program Verification using a plant model
  J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. C. L. FERREIRA DA SILVA
  6th Industrial Engineering and Production Management IEMP'03, CDRom proceedings, Paper ormhm-4, 10 pages, Porto (Portugal), May 2003
• Model of mechanism behavior for verification of PLC programs
  J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. F. DA SILVA
  17th International Congress of Mechanical Engineering COBEM'03, CDRom proceedings, Paper 0831, 10 pages, São Paulo (Brazil), Nov. 2003
• Modélisation d'un système logique séquentiel élémentaire à partir d'une spécification algébrique
  ANTONIO MEDINA, JEAN-MARC ROUSSEL
  Journées Doctorales d'Automatique, JDA'03, Valenciennes (France), pp. 245-250, 25-27 juin 2003
• Synthèse d'un programme de commande d'un système logique à partir de l'expression algébrique de ses spécifications
  J.-M. ROUSSEL, A. MEDINA, J.-M. FAURE
  Congrès Francophone Modélisation des Systèmes Réactifs MSR'03, pp. 77-93, Metz (France), 6-8 octobre 2003
• Towards automatic verification of ladder logic programs
  B. ZOUBEK, J.-M. ROUSSEL, M. KWIATKOWSKA
  Proceedings of IMACS-IEEE "CESA'03" : "Computational EngineePhD thesis, ENS de Cachan, 225 p., October 2010ring in Systems Applications", CD ROM paper S2-I-04-0169, 6 pages, Lille (France), 9-12 July 2003

2002 (7 publication(s))

Conference Papers (7)

• Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking
  O. DE SMET, O. ROSSI
  21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°734, pp. 4147-4152, May 2002
• Toward IEC 61499 Function Blocks diagrams verification
  J.-M. FAURE, C. SCHNACKENBOURG, J.-J. LESAGE
  IEEE International Conference on Systems Man and Cybernetics, SMC'2002, Hammamet (Tunisia), CDRom paper N°TA1C2, 6 pages, Oct. 2002
• Vérification formelle des langages IEC 61131-3
  J.-M. FAURE
  Journée d’étude du Club AUTOMATION Qualité du développement des logiciels applicatifs industriels, Paris, avril 2002
• Controller design for a FMS using Signal Interpreted Petri Nets and SFC : validation of both descriptions via Model-Checking
  S. KLEIN, X. WENG, G. FREY, J.-J. LESAGE, L. LITZ
  21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°733, pp. 4141-4146, May 2002
• A Petri net based approach to the development of correct logic controllers
  S. KLEIN, G. FREY, L. LITZ
  Second International Workshop on Integration of Specification Techniques for Applications in Engineering, INT’02, pp. 116-129, Grenoble (France), April 2002
• Synthèse de la commande d'un système hybride : une étude de cas
  N. PERPERE, J.-J. LESAGE, G. MOREL
  Conférence Internationale Francophone d’Automatique CIFA’02, CDRom paper N°16, pages 80 à 85, Nantes, juillet 2002
• An algebraic approach for PLC programs verification
  J.-M. ROUSSEL, J.-M. FAURE
  6th International Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, pp. 303-308, 2-4 October, 2002

2001 (7 publication(s))

Conference Papers (7)

• Cas d'application d'une méthode d'évaluation par les Réseaux de Petri de l'évolution des délais issue des évolutions de produit / système de production
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  Congrès International de Génie Industriel, CGI'2001, Aix-Marseille (France), pp. 701-710, juin 2001
• Valuation of the impact of product evolutions on delay using Petri Net simulation
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  International Conference on Industrial Engineering and Production Management, IEPM'2001, Québec (Canada), CDRom paper 10 pages, August 2001
• Formal verification of industrial control systems, 10th IFAC Symposium on Information Control Problems in Manufacturing
  O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
  INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
• Methods for safe control systems design and implementations, 10th IFAC Symposium on Information Control Problems in Manufacturing
  J.-M. FAURE, J.-J. LESAGE
  INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
• Modeling and implementing the control of automated production systems using statecharts and PLC programming languages
  J.M. MACHADO, F. LOUNI, J.-M. FAURE, J.-J. LESAGE, J.C. FERREIRA DA SILVA, J.-M. ROUSSEL
  European Control Conference, ECC'2001, Porto (Portugal), pp. 1019-1024, September 2001
• Vérification de propriétés de sûreté dans les programmes Ladder Diagram
  J.-M. ROUSSEL, B. DENIS
  Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 225-240
• Spécification du comportement de modèles à blocs fonctionnels IEC 61499 à l'aide d'un langage synchrone
  C. SCHNAKENBOURG, F. COUFFIN, J.-M. FAURE
  Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 209-224

2000 (12 publication(s))

Conference Papers (12)

• Un cadre pour la vérification automatique de programmes IL
  G. CANET, B. DENIS, A. PETIT, O. ROSSI, P. SCHNOEBELEN
  1ère Conférence Internationale Francophone d'Automatique, IEEE-CNRS-GRAISyHM, CIFA'2000, Lille (France), pp. 693-698, juil. 2000
• Toward the automatic verification of PLC programs written in instruction list
  G. CANET, S. COUFFIN, J.-J. LESAGE, A. PETIT, P. SCHNOEBELEN
  IEEE International Conference on Systems Man and Cybernetics, SMC'2000, Nashville (USA), pp. 2449-2454, Oct. 2000
• Model of product/production system evolutions by coloured Pétri Net
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  Advances in concurrent engineering, CE'2000, Lyon (France), pp. 759-765, July 2000
• Safe programming of PLC using formal verification methods
  O. DE SMET, S. COUFFIN, O. ROSSI, G. CANET, J.-J. LESAGE, P. SCHNOEBELEN, H. PAPINI
  4th International PLCopen conference on Industrial Control Programming, ICP'2000, Utrecht (The Netherlands), pp. 73-78, October 2000
• Formal verification of the sequential part of PLC programs
  S. LAMPERIERE-COUFFIN, J.-J. LESAGE
  5th Workshop on Discrete Event Systems, WODES'2000, Ghent (Belgium), pp. 247-254, August 2000
• Comparison of different modeling approaches in simulation of programmable logic controller
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  IFAC Conference on Control Systems Design, CSD'2000, Bratislava (Slovaquie), pp. 305-310, June 2000
• Safety and performance analysis for the design of distributed control architecture
  P. MEUNIER, B. DENIS, J.-J. LESAGE
  4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 874-879, June 2000
• Formal modeling of timed function blocks for the automatic verification of ladder diagram programs
  O. ROSSI, P. SCHNOEBELEN
  4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM'2000, Dortmund (Germany), pp. 177-182, Sept. 2000
• Formal verification: a tool to improve the safety of control systems
  O. ROSSI, O. DE SMET, S. COUFFIN, J.-J. LESAGE, H.PAPINI, H. GUENNEC
  4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 885-890, June 2000
• La norme IEC 61131-3, des possibilités d'ouverture pour les utilisateurs et les fournisseurs
  J.-M. ROUSSEL
  Journée technique du Club AUTOMATION, Paris , sept. 2000
• An extended boolean algebra for the control of logical systems
  C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
  16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Lausanne (Switzerland), CDRom paper N° 320 - 6 pages, August 2000
• A formal expression of time for discrete-events dynamic systems
  C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
  3th MATHMOD Conference, Vienna (Austria), pp. 445-448, Feb. 2000

1999 (7 publication(s))

Conference Papers (7)

• Identification de machine séquentielle binaire : application à un système réactif
  O. DE SMET, J.-M. ROUSSEL, N. HEVIN
  2ème congrès sur la modélisation des systèmes réactifs, MSR'99, Cachan (France), pp. 351-360, mars 1999
• Formal Validation of PLC programs : a survey
  S. LAMPERIERE-COUFFIN, O. ROSSI, J.-J. LESAGE, J.-M. ROUSSEL
  European Control Conference 1999, ECC'99, Karlsruhe (Germany), CD-ROM paper n°741, 6 pages, Sept. 1999
• Formal verificaion of PLC programs described in IEC 61131-3 languages
  S. LAMPERIERE-COUFFIN
  Talk in a lecture series, Department of Electrical Engineering and Information Technology - Institute of Process Automation, Kaiserslautern University (Germany), Nov. 1999
• An approach of formal meta-modeling for the design methods of automated manufacturing system
  L. PIETRAC, B. DENIS, J.-J. LESAGE
  International Workshop on Formal Methods and Manufacturing, Zaragoza (Spain), pp. 65-74, Sept. 1999
• Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production
  L. PIETRAC, B. DENIS
  Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 285-288, sept. 1999
• IEC 60848 et IEC 61131-3 : deux normes complémentaires, Journée d'études "Nouvelles percées dans les langages pour l'automatique"
  J.-M. ROUSSEL, S. LAMPERIERE-COUFFIN, J.-J. LESAGE
  SEE - Club 18 (Automatique et Automatisation Industrielle), Amiens, Nov. 1999
• Formalisation des opérateurs temporels utilisés pour la description des systèmes à événements dicrets
  C. THIERRY, J.-M. ROUSSEL
  Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 289-292, sept. 1999

1998 (4 publication(s))

Conference Papers (4)

• Approche hybride pour la planification et l'ordonnancement d'un système flexible de production sujet à pannes
  O. DE SMET
  3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 360-367, mars 1998
• Réactivité et déterminisme du comportement temporel du grafcet
  J.-J. LESAGE, J.-M. ROUSSEL, J.-M. FAURE, P. LHOSTE, J. ZAYTOON
  3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 99-106, mars 1998
• Validation de spécifications : une expérience sur le grafcet
  J.-M. ROUSSEL
  Journée technique : Sûreté de fonctionnement des systèmes automatisés de production, Lycée R. DAUTRY, Limoges, Déc. 1998
• Eco problem solving for the adaptive control of production systems : the CASPER project
  C. SOHIER, B. DENIS, J.-J. LESAGE
  9th symposium on Information Control in Manufacturing, INCOM'98, Nancy-Metz (France), pp. 65-70 vol. 3, June 1998

1997 (4 publication(s))

Conference Papers (4)

• Validation du comportement dynamique des architectures de conduite des systèmes de production par simulation
  P. MEUNIER, B. DENIS
  1ère conférence francophone de MOdélisation et de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 229-238, juin 1997
• AGGLAE : un outil d'aide à la validation des grafcets de spécification
  J.-M. ROUSSEL, J.-J. LESAGE
  Journées d'Etude sur les Logiciels pour le traitement de l'Image, du Signal et l'Automatique, ELISA'97, Vandoeuvre-les-Nancy (France), 8 pages , mars 1997
• Validation du comportement dynamique d'un système multi-agents : application de l'éco-résolution à une cellule de production manufacturière
  C. SOHIER, B. DENIS, C. VIGNY
  1ère conférence francophone de MOdélisationet de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 549-557, juin 1997
• On the supremal controllable Grafcet of a given grafcet
  J. ZAYTOON, C. NDJAB, J.-M. ROUSSEL
  2nd Mathmod Conference, MATHMOD'97, Vienna (Austria), pp. 371-376, Feb. 1997

1996 (7 publication(s))

Conference Papers (7)

• Representation Et Manipulation d'un Automate Equivalent A un Grafcet A l'Aide De Bdd
  M. GATAA, J.M. ROUSSEL
  Actes du Congrès AGI'96 pp. 233-236, Tours, 6-7 juin 1996
• Agregation Et Calcul De Taux De Production Pour un Atelier Multi-Machines Soumises A Des Pannes
  S. JUHEL, H. ABOU-KANDIL, O. DE SMET
  Actes du 5ième congrès international de génie industriel (GI5) p.41 tome 2, Grenoble, France, 2-4 avril 1996
• A Theory Of Binary Signal
  J.J. LESAGE, J.M. ROUSSEL, C. THIERRY
  Proceedings of IMACS-IEEE "CESA'96" pp. 590-595, Lille, 9-12 July 1996
• Formalization Of The Design Of Control Systems
  L. PIETRAC, B. DENIS, J.J. LESAGE
  Proceedings of the Sixth International Symposium on Robotics and Manufacturing (ISRAM'96), Second World Automation Congress (WAC'96), Montpellier, France, May 27-30, 1996
• Definition d'un Cadre Formel Pour l'Expression Et La Verification De Proprietes d'un Modele Grafcet
  J.M. ROUSSEL, J.J. LESAGE
  Actes du Congrès Modélisation des Systèmes Réactifs MSR'96 pp 229-237, Brest, 28-29 mars 1996
• Validation And Verification Of Grafcet Using State Machine
  J.M. ROUSSEL, J.J. LESAGE
  Proceedings of IMACS-IEEE "CESA'96" pp. 758-764, Lille, 9-12 July 1996
• Applying Eco Problem Solving To The Control Of An Adaptative Manufacturing Cell
  C. SOHIER, B. DENIS, P. BOURDET
  Proceedings of IMACS-IEEE "CESA'96", Lille, 9-12 July 1996

1995 (3 publication(s))

Conference Papers (3)

• Formalisation De La Conception d'Architecture De Conduite Des Systèmes De Production
  B. DENIS, J.J. LESAGE
  Proceedings of the Second International Conference on Industrial Automation, AIAI'95, pp. 257-264, Nancy (France), 7-9 june 1995
• A Method For Design And Valuation Of Manufacturing System Control Architecture
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  Proceeding of 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, pp. 4486-4491, Vancouver, British Columbia, Canada, Oct. 22-25, 1995
• Un Panorama De La Recherche En Conception De La Conduite Des Systèmes De Production
  B. DENIS, J.J. LESAGE
  Actes du congrès international de génie industriel de Montréal, Ecole Polytechnique de Montréal, pp. 1537-1549, Montréal, Quebec, Canada, 7-9 Oct. 1995

1994 (3 publication(s))

Conference Papers (3)

• A Boolean Algebra For A Formal Expression Of Events In Logical Systems
  B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  Proc. of IMACS Mathmod, pp. 859-862, Vienna (Austria), february 1994
• Modèles De Spécification Fonctionnelle De La Commande Des Systèmes De Production : Synthèse De Trois Etudes De Cas
  L. PIETRAC, G. TIMON, B. DENIS, J.J. LESAGE, J.M. ROUSSEL
  actes de la journée PRIMECA les systèmes de production, Clermont-Ferrand, Décembre 1994
• Specification Fonctionnelle Du Controle/Commande De Tranche Nucleaire
  L. PIETRAC, J.J. LESAGE, G. TIMON, F. CHERIAUX, M. BRUNET
  actes du Symposium ADPM'94 sur l'automatisation des processus mixtes, BRUXELLES, pp. 83-92, Novembre 1994

1993 (2 publication(s))

Conference Papers (2)

• Les Methodes d'Analyse Fonctionnelle A l'Epreuve Du Feu : Presentation De Deux Etudes De Cas Realisees Par Le Lurpa
  J.J. LESAGE
  actes de la journée d'étude De l'analyse des besoins au cahier des charges d'un SAP organisée par l'EXERA, non paginés, CACHAN, Décembre 1993
• Real Time Scheduling Of A Production Cell Based On A Multi-Agent System
  C. SOHIER, P. BOURDET
  Proceedings of International Conference on Industrial Engineering and Production Management, MONS BELGIUM, 2-4 juin 1993

1992 (4 publication(s))

Conference Papers (4)

• Towards A Theory Of Integrated Modelling
  B. DENIS, J.J. LESAGE, G. TIMON
  Proceedings of IFAC Workshop on CIM in Process and Manufacturing Industries, Espoo, Finland, Nov. 23-25, 1992
• Grafcet Et Enseignement : Où En Est-On ?
  D. GENDREAU
  Actes du Congrès GRAFCET'92, PARIS, 25-26 mars 1992
• Une Approche Formelle De La Modelisation Integree
  J.J. LESAGE, B. DENIS, G. TIMON
  Actes du Symposium International "La conception en 2000 et au-delà" pp. 343-353, STRASBOURG, France - 24/27 Nov. 1992
• Preuve De La Coherence d'Une Hierarchie De Forçage Entre Grafcets Partiels
  J.J. LESAGE, J.M. ROUSSEL
  Actes du Congrès GRAFCET'92, pp. 125-134, PARIS, 25-26 mars 1992

1991 (7 publication(s))

Conference Papers (7)

• Prise En Compte De l'Existant Dans La Conception De La Conduite Des Systemes Integres De Production
  P. BOURDET, F. KIEFER, M. LE ROY, J.J. LESAGE, G. TIMON
  Actes du 3ème Congrès International de Génie Industriel, pp. 51-60, TOURS, mars 1991
• Le Grafcet : Nouvelles Evolutions Et Aspects Normatifs
  B. FROMENT, D. GENDREAU
  Les 9èmes Journées Robotique et Productique - SAINT ETIENNE, Maison de la Productique, 3 et 4 Décembre 1991
• Utilisation Des Graphiques De Deroulement Matiere Dans l'Analyse Et La Conception Des Systemes De Conduite
  D. GENDREAU, J.J. LESAGE
  Actes du 3ème Congrès International de Génie Industriel, pp. 583-592, TOURS, mars 1991
• An Extension Of The Production Management Concepts Towards The Real Time Cell Production Control
  J.J. LESAGE, G. TIMON
  Proc. of the 4th IFIP Conf. on Computer in Production and Engineering, pp. 659-666, North - Holland, BORDEAUX, Sept.1991
• Le Grafcet Dans Le Genie Automatique
  J.J. LESAGE
  Actes du Congrès MESUCORA 91, pp 3-15, PARIS, Novembre 1991
• A Methodological Integration Between Functional And Data Analysis
  J.J. LESAGE, F. KIEFER
  23th international CIRP Conference on Production Systems, NANCY, juin 1991 - CIRP Proceedings-Manufacturing Systems, Vol. 21, N°2, pp. 121-128, 1992
• Les Outils De Modelisation Pour Le Cycle De Vie Des Systemes Automatises De Production
  J.J. LESAGE
  Actes du Colloque Génie Automatique et Product. Ind., non paginés, ISMCM/ST OUEN - mars 1991

1990 (3 publication(s))

Conference Papers (3)

• A New Approach To Cell Automatic Supervision In F.M.S
  P. BOURDET, J.J. LESAGE, D. GENDREAU, F. KIEFER, G. TIMON
  Proceedings CIRP - AC'90, Vol.3 pp.32-39, Rydzna, POLOGNE, Sept. 1990
• Les Relations Entre La Gamme Automatique Et Le Pilotage d'Une Cellule Flexible De Production
  D. GENDREAU
  Séminaire Gamme Automatique en Usinage, 21-22 Nov. 1990 - Groupe GAMA, HERMES, N° ISBN 2-86601-255-0
• Conception Integree Des Systemes De Commande En Ingenierie Productique : Une Approche Multidisciplinaire Appliquee Au Systeme Logistique d'un Atelier Flexible
  F. KIEFER, J.J. LESAGE, G. TIMON
  Actes du Congrès International CIM 90, pp. 251-259, Bordeaux, juin 1990

1989 (1 publication(s))

Conference Papers (1)

• Expertise De La Repartition Des Fonctions De Commande Dans Une Architecture Operationnelle
  M. BOSOM, D. GENDREAU, J.J. LESAGE
  Actes du Congrès AUTOMATION 89, pp 33-39, PARIS, mai 1989

1988 (2 publication(s))

Conference Papers (2)

• Conception Et Modelisation Des Systemes De Production: Une Approche Nouvelle De La Conduite Optimale
  B. FROMENT, J.J. LESAGE, P. BOURDET
  Actes du 2ème congrés international de Génie Industriel, pp 563-570, NANCY, Déc.1988
• Criteres De Performance De La Fonction Stockage En Atelier Flexible
  J.J. LESAGE, P. BOURDET, D. RIOPEL, L. VILLENEUVE
  Actes du 2ème congrés international de Génie Industriel, PP 393-400, NANCY, Déc.1988