Publications of ISA team (76 réponses)

2022 (1 publication(s))

Journal Papers (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))

Journal Papers (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 (6 publication(s))

Journal Papers (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

2019 (4 publication(s))

Journal Papers (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

2018 (5 publication(s))

Journal Papers (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

2017 (6 publication(s))

Journal Papers (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

2016 (6 publication(s))

Journal Papers (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

2015 (5 publication(s))

Journal Papers (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

2014 (4 publication(s))

Journal Papers (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

2013 (2 publication(s))

Journal Papers (2)

• Formal models for conformance test of programmable logic controllers
  A. GUIGNARD, J-M. FAURE
  Journal Européen des Systèmes Automatisés, 47(4-8), pp. 423-446, 2013
• Building meaningful timed models of closed-loop DES for verification purposes
  M. PERIN, J.-M. FAURE
  Control Engineering Practice, 21(11), pp. 1620-1639, DOI: 10.1016/j.conengprac.2012.05.002, November 2013

2012 (3 publication(s))

Journal Papers (3)

• Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra
  B. ADDAD, S. AMARI, J-J LESAGE
  Discrete Event Dynamic Systems, 22(4), pp. 429-449, December 2012
• Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs
  S. AMARI, I. DEMONGODIN, J.J. LOISEAU, C. MARTINEZ
  IEEE Trans. on Automatic Control, 57(2), pp. 462-467, DOI: 10.1109/TAC.2011.2164735, February 2012
• Fault detection and isolation in manufacturing systems with an identified discrete event model
  M. ROTH, S. SCHNEIDER, J.-J. LESAGE, L. LITZ
  Int. Journal of Systems Science, 43(10), pp. 1826-1841, DOI: 10.1080/00207721.2011.649369, October 2012

2011 (6 publication(s))

Journal Papers (6)

• Genetic algorithms for delays evaluation in networked automation systems
  B. ADDAD, S. AMARI, J-J. LESAGE
  Engineering Applications of Artificial Intelligence, 24(3), pp. 485-490, DOI: 10.1016/j.engappai.2010.10.017, April 2011
• A Virtual Queuing based Algorithm for Delays Evaluation in Networked Control Systems
  B. ADDAD , S. AMARI 1, J-J LESAGE
  IEEE Trans. on Industrial Electronics, 58(9), pp. 4471-4479, DOI: 10.1109/TIE.2010.2098358, September 2011
• Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Trans. on Automation Science and Engineering, 8(3), pp. 540-548, DOI: 10.1109/TASE.2011.2116118, July 2011
• Control of Discrete Event Systems with Respect to Strict Duration: Supervision of an Industrial Manufacturing Plant
  A.M. ATTO, C. MARTINEZ, S. AMARI
  Computers & Industrial Engineering, 61(4), pp. 1149-1159, DOI: 10.1016/j.cie.2011.07.004, September 2011
• Algebraic Determination of the Structure Function of Dynamic Fault Trees
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
  Reliability Engineering and System Safety, 96(2), pp. 267-277, DOI: 10.1016/j.ress.2010.10.001, February 2011
• The concept of residuals for fault localization in discrete event systems
  M. ROTH, J.-J. LESAGE, L. LITZ
  Control Engineering Practice, 19(9), pp. 978-988, DOI: 10.1016/j.conengprac.2011.02.008, September 2011

2010 (5 publication(s))

Journal Papers (5)

• Analytic Calculus of Response Time in Networked Automation Systems
  B. ADDAD, S. AMARI, J-J. LESAGE
  IEEE Trans. on Automation Science and Engineering, 7(4), pp. 858-869, DOI: 10.1109/TASE.2010.2047499, October 2010
• A comparative analysis of recent identification approaches for discrete-event systems
  A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
  Mathematical Problems in Engineering, Vol. 2010, Article ID 453254, 21 pages, DOI: 10.1155/2010/453254, April 2010
• Probabilistic Algebraic Analysis of Fault Trees with Priority Dynamic Gates and Repeated Events
  G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, A. BOBBIO
  IEEE Trans. on Reliability, 59(1), pp. 250-261, DOI: 10.1109/TR.2009.2035793, March 2010
• Verification of a timed multitask system with Uppaal
  H. BEL MOKADEM, B. BERARD, V. GOURCUFF, O. DE SMET, J.-M. ROUSSEL
  IEEE Transactions on Automation Science and Engineering, 7(4), pp. 921-932
• Translating Grafcet specifications into Mealy machines for conformance test purposes
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  Control Engineering Practice, 19(9), pp. 947-957, DOI: 10.1016/j.conengprac.2010.10.001, September 2011

2008 (1 publication(s))

Journal Papers (1)

• Decentralized diagnosis based on Boolean discrete event models: application on manufecturing systems
  M. SAYED-MOUCHAWEH, A. PHILIPPOT, V. CARRE-MENETRIER
  International Journal of Production Research, 46(19), pp.5469-5490, October 2008

2007 (2 publication(s))

Journal Papers (2)

• Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet
  G. MARSAL, B. DENIS, J.-M. FAURE
  Revue des Sciences et Technologies de l'Automatique, e-STA, Volume 4, n° 2, 2ème trimestre 2007
• Manufacturing plant control challenges and issues
  G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. E. PEREIRA, C. DIEDRICH
  Control Engineering Practice, Volume 15, Issue 11, pp. 1321-1331, November 2007

2006 (1 publication(s))

Journal Papers (1)

• Designing dependable controllers using algebraic specifications
  J.M. ROUSSEL, J.M. FAURE
  Control Engineering Practice, Volume 14, Issue 10, pp. 1143-1155, October 2006

2005 (1 publication(s))

Journal Papers (1)

• Verification of an evaporator system with UPPAAL
  M. BEN GAID, B. BERARD, O. DE SMET
  Journal Européen des Systèmes Automatisés, Vol. 39/9-10, pp. 1079-1098, Ed. Hermès, 2005

2004 (2 publication(s))

Journal Papers (2)

• Spezifikaktion von Betriebszuständen und Betriebsartenumschaltungen - GEMMA: Ein Ansatz aus Frankreich
  G. FREY, S. KLEIN
  atp - Automatisierungstechnische Praxis, 46(2004) 3, pp. 37-40, Oldenbourg Verlag, March 2004
• Algebraic approach for dependable logic control systems design
  J.-M. ROUSSEL, J.-M. FAURE, J.-J. LESAGE, A. MEDINA
  International Journal of Production Research, 42(14), pp. 2859-2876

2002 (2 publication(s))

Journal Papers (2)

• A method for assessing the impact of product development on the company
  A. COLLAINE, P. LUTZ, J.-J. LESAGE
  International Journal of Production Research, 40(14), pp. 3311-3336, 2002
• Safety properties verification of ladder diagram programs
  J.-M. ROUSSEL, B. DENIS
  Journal Européen des Systèmes Automatisés, 36(7), pp. 905-917, 2002

2001 (1 publication(s))

Journal Papers (1)

• Génération de la commande des systèmes de production en ingénierie intégrée produit/processus
  J.-M. FAURE, F. COUFFIN
  Mécanique et Industries, Elsevier, 2(2), pp.133-142, 2001

2000 (1 publication(s))

Journal Papers (1)

• Réutilisation d'un modèle de référence en Génie Automatique - application à l'intégration des activités de conception des systèmes automatisés de production
  F. COUFFIN, S. LAMPERIERE, E. HOSPITAL, J.-M. FAURE
  JESA, 34(1), pp. 35-62, 2000

1997 (2 publication(s))

Journal Papers (2)

• Comportement temporel du Grafcet
  P. LHOSTE, J.-M. FAURE, J.-J. LESAGE, J. ZAYTOON
  JESA, 31(4), pp. 695-711, 1997
• Vérification et validation du Grafcet
  J. ZAYTOON, J.-J. LESAGE, L. MARCE, J.-M. FAURE, P. LHOSTE
  JESA, 31(4), pp. 713-740, 1997

1993 (4 publication(s))

Journal Papers (4)

• Towards A Theory Of Integrated Modelling
  B. DENIS, J.J. LESAGE, G. TIMON
  Journal of Design Sciences and Technology, Ed. Hermes, Vol. 2 N° 1/93, pp. 87-96, Oct. 1993
• An Integration Of Production Management Rules And Fabrication Know-How For Real Time Cell Production Control
  D. GENDREAU, J.J. LESAGE, G. TIMON
  International Journal of Robotics and CIM , Pergamon Press Ltd, Vol. 10, N° 1/2, pp.115-122, Feb. 1993
• Hierarchical Approach To Grafcet Using Forcing Order
  J.J. LESAGE, J.M. ROUSSEL
  Automatique Productique Informatique Industrielle - AFCET - CNRS, Ed. HERMES, Vol. 27, N° 1/93, pp 25-38, mars 1993
• Une Algebre De Boole Pour l'Approche Evenementielle Des Systemes Logiques
  J.M. ROUSSEL, J.J. LESAGE
  APII-AFCET/CNRS, Ed Hermes, Vol. 27-N°5, pp. 541-560, Décembre 1993

1992 (2 publication(s))

Journal Papers (2)

• Definition of a SIMAN model with the SA/RT method
  G. CORTHIER, P. CASTAGNA, J.-J. LESAGE
  Manufacturing Systems, 21(1), pp. 31-37, 1992
• A methodological integration between functional and data analysis
  F. KIEFER, J.-J. LESAGE
  Manufacturing Systems, 21(2), pp. 121-128, 1992