Publications de l'équipe ISA (116 réponses)

2022 (1 publication(s))

Publications en revue à comité de lecture (1)

• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in Min-Plus algebra.
  M. Soumatia, S. Amari
  European Journal of Control, 63, pp. 270-276, DOI: 10.1016/j.ejcon.2021.11.007, 2022

2021 (4 publication(s))

Publications en revue à comité de lecture (4)

• Modeling and control of a class of timed Petri nets submitted to time constraints in Max-plus algebra.
  S. Akerkane, R. Kara, S. Amari
  Int. Journal of Systems Science, DOI: 10.1080/00207721.2021.1919937, 2021 (to be published)
• Switching models and control of Petri Nets with shared resources under marking constraints.
  N. Ben Afia, S. Amari, M. Hassani
  International Journal of Computer Integrated Manufacturing, 2021 (to be published)
• Synthetizing state feedback control laws for Discrete Event Systems with constrained paths using Min-Plus algebra.
  N. Ben Afia, S. Amari
  Studies in Informatics and Control, 30(1), pp. 39-52, DOI: 10.24846/v30i1y202104, 2021
• Min-Plus realizable control design for partially observable timed event graphs under marking constraints.
  K. Tebani, S. Amari
  European Journal of Control, 57, pp. 33-40, DOI: 10.1016/j.ejcon.2020.12.002, 2021

2020 (13 publication(s))

Publications en revue à comité de lecture (6)

• Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
  F. Ait-Oumeziane, R. Kara, S. Amari
  Int. Journal of Systems Science, 51(11), pp. 2041-2056, DOI: 10.1080/00207721.2020.1783590, 2020
• An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets
  F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 17(2), pp. 784-798, April 2020
• Fault detection of Discrete-Event Systems based on an identied timed model
  R. De Souza, M. Moreira, J.-J. Lesage
  Control Engineering Practice, 91, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2020
• Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
  O. Himrane, A. Ourghanlian, S. Amari
  International Journal of Control, DOI: 10.1080/00207179.2020.1798021, 2020 (to be published)
• A new modification of LEACH for efficient energy in WSN
  T. Lechani, V. Tourtchine, S. Amari
  Indonesian Journal of Electrical Engineering and Computer Science, 20(3), pp. 1495-1506, DOI: 10.11591/ijeecs.v20.i3.pp1495-1506, 2020
• Human Activity Discovery and Recognition using Probabilistic Finite-State Automata
  K. Viard, M.P. Fanti, G. Faraut, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 17(4), pp. 2085-2096, October 2020

Communications dans des congrès (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 (8 publication(s))

Publications en revue à comité de lecture (4)

• Discrete event system identification with the aim of fault detection
  M. Moreira, J.-J. Lesage
  Discrete Event Dynamic Systems, 29(2), pp. 191-209, 2019
• Fault diagnosis based on identified discrete-event models
  M. Moreira, J.-J. Lesage
  Control Engineering Practice, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2019 (to be published)
• Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models
  P.Y. Piriou, J.M. Faure, J.J. Lesage
  Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, DOI: 10.1177/1748006X19827128, February 17, 2019
• State-Feedback Control for a class of timed Petri nets subject to marking constraints
  K. Tebani, S. Amari, R. Kara
  Asian Journal of Control, Vol. 21(3), Pages: 1–18. 2019, DOI: 10.1002/asjc.1787

Communications dans des congrès (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 (9 publication(s))

Publications en revue à comité de lecture (5)

• Model-based testing of PLC programs with appropriate conformance relations
  A. Guignard, J.-M. Faure, G. Faraut
  IEEE Trans. on Industrial Informatics, 14 (1), pp. 350-359, January 2018
• Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
  J. Saives, G. Faraut, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, PP(99), 15(2), pp. 832-841, 2018
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
  F.Tamssaouet, S. Amari
  Int. Journal of Systems Science, DOI: 10.1080/00207721.2018.1483541, 2018 (to be published)
• Discovering Petri Net Models of Discrete Event Processes by Computing T-invariants
  T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, J.-J. Lesage
  IEEE Trans. on Automation Science and Engineering, 15(3), pp. 992-1003, July 2018
• Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
  K. Tebani, S. Amari, R. Kara
  Int. Journal of Systems Science, Vol 49(6), Pages 1332-1344, 2018

Communications dans des congrès (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

Thèses et habilitations à diriger les recherches (1)

• Modelling and Recognition of Human Activities of Daily Living in a Smart Home
  K. Viard
  Thèse en co-tutelle ENS Cachan / Politecnico di Bari, 157 pages, juillet 2018

2017 (21 publication(s))

Publications en revue à comité de lecture (6)

• Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions
  M. Benazouz, J.-M. Faure
  IEEE Trans. on Automation Science and Engineering, PP(99), pp. 1-11, DOI: 10.1109/TASE.2017.2654423, 2017
• A Black-box Identification Method for Automated Discrete Event Systems
  A.-P. Estrada-Vargas, J.-J. Lesage, E. Lopez-Mellado
  IEEE Trans. on Automation Science and Engineering, 14(3), pp. 1321-1336
• An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking
  M.P. Fanti, G. Faraut, J.-J. Lesage, M. Roccotelli
  IEEE Trans. on Systems, Man, and Cybernetics: Systems, 2016, 48(1), pp. 154-160
• Observable Feedback Control of discrete processes under time constraint: Application to Cluster Tools
  R. Jacob, S. Amari
  International Journal of Computer Integrated Manufacturing, Vol. 30(8), Pages: 880-894, 2017. DOI: http://dx.doi.org/10.1080/0951192X.2016.1224391
• Generalized Boolean logic Driven Markov Processes: a powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems
  P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
  Reliability Engineering and System Safety, vol. 163, pp. 57-68, July 2017
• Closed-loop control of constrained discrete event systems: application to a networked automation system
  K. Tebani, S. Amari, R. Kara
  The International Journal of Advanced Manufacturing Technology. 90(5), pp 1295–1306, May 2017, DOI: 10.1007/s00170-016-9466-7

Communications dans des congrès (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

Thèses et habilitations à diriger les recherches (1)

• Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques
  B. Lebeaupin
  Thèse en co-tutelle ENS Cachan / CentraleSupelec, 144 pages, décembre 2017

Mémoires de Master (7)

• Activities of daily living modeling and experimental validation for activity recognition in smart houses
  F. Delaine
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• Modeling and implementation of a fault-tolerant control law for mechatronic systems
  M. Devys
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• Analysis and optimization of latency in the complex multi-periodic and multi-partition specifications
  P. Glanon
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• SysML-based methodology for translation of informal specifications into FORM-L language
  N. M'Hamdi
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• Contribution to the evaluation of the consistency of Systems Engineering, Multiphysics and Safety Analysis models
  S. Missaoui
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• Model-Based Safety Analysis for co-assessment of operation and system safety: application to specific operations of unmanned aircraft
  L.-M. Sejeau
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017
• Modelling and temporal evaluation of Networked Automation Systems with Timed Automata with Guards and (max,+) algebra
  F. Tamssaouet
  Mémoire du Master ISC de l’ENS Cachan, juillet 2017

2016 (21 publication(s))

Publications en revue à comité de lecture (6)

• Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra
  W.-M Boussahel, S. Amari, R. Kara
  Discrete Event Dynamic Systems, vol: 26(4), Pages: 561-581. December 2016, DOI: 10.1007/s10626-015-0220-3
• Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes
  M. Danancher, J.-J. Lesage, L. Litz
  IEE Trans. on Automation Science and Engineering, Volume 13, issue 2, pp. 1090-1101, April 2016
• Model Predictive Control of P-time Event Graphs
  H. Hamri, R. Kara, S. Amari
  Int. Journal of Systems Science, 47(16), pp. 3792-3802, 2016
• Overview of Discrete Event Systems Opacity: models, validation, and quantification
  R. Jacob, J.-J. Lesage, J.-M. Faure
  Annual Reviews in Control, 41 (2016), pp. 135-146
• Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation
  G. Merle, J. -M. Roussel, J. -J. Lesage, V. Perchet, N. Vayatis
  Quality and Reliability Engineering International, Volume 32, issue 1, pp. 7-18, Feb. 2016, doi: 10.1002/qre.1728
• A Meta-model to Support the Integration of Dependability Concerns into Systems Engineering Processes: an Example from Power Production
  P.-Y. Piriou, J.-M. Faure, G. Deleuze
  IEEE Systems Journal, 10 (1), pp. 15 - 24, 2016, DOI: 10.1109/JSYST.2014.2328663

Communications dans des congrès (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

Thèses et habilitations à diriger les recherches (2)

• Contributions à la modélisation, l’évaluation de performances et la commande des Systèmes à Evénements Discrets en utilisant l’algèbre des dioïdes
  S. Amari
  Habilitation à diriger des recherches, 179 pages, octobre 2016
• Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets
  J. Saives
  Thèse de l'ENS Cachan, 205 pages, juin 2016

Mémoires de Master (6)

• Joint safety and security quantification: comparison of S-CUBE and ADVISE methods
  M. Duroeulx
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016
• Maintain the model consistency of system structures by the physical flow description
  C. Galetta
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016
• Formal Verification of Dynamic Properties of Generalized Boolean Logic Driven Markov Process Models
  E. Kobeissi
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016
• Multi-access modelling of a factory building and detection of security failure using trajectory search
  A. Labatut
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016
• Alarm rationalization by using pattern mining
  Y. Laumonier
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016
• A method for generating critical sequences for the safety of the autonomous vehicle
  J. Madjour
  Mémoire du Master ISC de l’ENS Cachan, juillet 2016

2015 (18 publication(s))

Publications en revue à comité de lecture (5)

• Feedback control for a class of discrete event systems with critical-time
  S. Amari
  International Journal of Control, vol. 88(10), Pages: 1974-1983. April 2015, DOI: 10.1080/00207179.2015.1025430
• Modeling and temporal performances evaluation of networked control systems using (max, +) algebra
  R. Ammour, S. Amari
  Int. Journal of Systems Science, 46(01), pp. 18-30, DOI: 10.1080/00207721.2014.938787, 2015
• Automated generation of partial Markov chain from high level descriptions
  P.-A. Brameret, A. Rauzy, J.-M. Roussel
  Reliability Engineering and System Safety, 139, pp. 179-187, DOI: 10.1016/j.ress.2015.02.009, 2015
• A Stepwise Method for Identification of Controlled Discrete Manufacturing Systems
  A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
  International Journal of Computer Integrated Manufacturing, 28(2), pp. 187-199
• Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors
  J. Saives, C. Pianon, G. Faraut
  IEEE Trans. on Automation Science and Engineering, 12(04), pp. 1211-1224, DOI: 10.1109/TASE.2015.2471842, 2015

Communications dans des congrès (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

Thèses et habilitations à diriger les recherches (2)

• Assessment of Reliability Indicators From Automatically Generated Partial Markov Chains
  P.-A. Brameret
  Thèse de l'ENS Cachan, 133 pages, juillet 2015
• Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques réparables et reconfigurables
  P.Y. Piriou
  Thèse de l'ENS Cachan, 220 pages, décembre 2015

Mémoires de Master (2)

• Contrôle par retour d’états de systèmes Max-Plus partiellement observables
  R. Jacob
  Mémoire du Master ISC de l’ENS Cachan, juillet 2015
• Automatic Discovery and Deviation Detection of Temporal Inhabitant Habits
  K. Viard
  Mémoire du Master ISC de l’ENS Cachan, juillet 2015

2014 (21 publication(s))

Publications en revue à comité de lecture (4)

• Input-Output Identification of Controlled Discrete Manufacturing Systems
  A. P. ESTRADA-VARGAS, E. LÓPEZ-MELLADO, J.-J. LESAGE
  Int. Journal of Systems Science, 45(3), pp. 456-471, March 2014
• Quantitative Analysis of Dynamic Fault Trees based on the Structure Function
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Quality and Reliability Engineering International, 30(1), pp. 143–156, February 2014
• Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers
  J. Provost, J.-M. Roussel, J.-M. Faure
  IEEE Transactions on Industrial Informatics, DOI: 10.1109/TII.2014.2315972, 2014
• Design of logic controllers thanks to symbolic computation of simultaneously-asserted Boolean equations
  J.-M. ROUSSEL, J.-J. LESAGE
  Mathematical Problems in Engineering, vol. 2014, Article ID 726246, doi:10.1155/2014/726246, 15 pages, 2014

Communications dans des congrès (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

Thèses et habilitations à diriger les recherches (2)

• Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée
  A. Guignard
  Thèse de l'ENS Cachan, 164 pages, décembre 2014
• Contribution à la commande sûre des Systèmes à Événements Discrets
  J.-M. Roussel
  Habilitation à diriger des recherches, 154 pages, juillet 2014

Mémoires de Master (6)

• Evaluation analytique des performances des systèmes multi-états
  B. Aupetit
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014
• Etude de la gestion d'exception dans un modèle formel au coeur de dispositifs médicaux
  L. Kaci
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014
• Optimisation de routage électrique dans un avion
  B. Lebeaupin
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014
• 10 examples of process modeling using Altarica 3.0
  H. Mortada
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014
• Contrôle Tolérant aux Fautes des SED : deux approches évaluées sur une même étude de cas
  J. Niguez
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014
• Détection de déviations d'activités quotidiennes basée sur un modèle automate
  C. Pianon
  Mémoire du Master ISC de l’ENS Cachan, juillet 2014