Publications by a LURPA's member: Jean-Jacques LESAGE (89 réponses)
- 2020 (7 publication(s))
- Journal Papers (3)
- 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 - 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 - Fault detection of Discrete-Event Systems based on an identied 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
- Conference Papers (4)
- 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 - 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
- Journal Papers (3)
- 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 - 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)
Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
6th International Conference on Control, Decision and Information Technologies (CoDIT 2019)
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
- Journal Papers (2)
- 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 - 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
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
M. V. Moreira, J.-J. Lesage
14th Workshop on Discrete Event Systems, (WODES’18),pp.172-178, Sorrento (Italy), 30 May-1 June 2018
- Journal Papers (3)
- 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 - 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
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
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
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,
- Journal Papers (3)
- 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 - 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 - 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
P.Y. Piriou, J.M. Faure, J.J. Lesage
2016 European Safety and Reliability Conference (ESREL 2016), 25-29 September 2016, Glasgow, United Kingdom
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
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
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
- Journal Papers (1)
- 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
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)
P.Y. Piriou, J.M. Faure, J.J. Lesage
Dependable Control of Discrete Systems (DCDS'15), Cancun (Mexico), pp. 147-153, May 2015.
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
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
- Journal Papers (3)
- 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 - 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
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
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
P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
23th European Safety & Reliability Conf. (ESREL’14), Wroclaw (Poland), September11-14, 2014
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
- Conference Papers (7)
- 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 - 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 - 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 - 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 - 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, - 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
- Journal Papers (2)
- 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 - 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
A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
American Control Conference (ACC’12), pp. 6095 - 6101, Montreal (Canada), June 2012
P.-Y. CHAUX, J.-M. ROUSSEL, J.-J. LESAGE, G. DELEUZE, M. BOUISSOU
21th European Safety & Reliability Conf. (ESREL’12), Helsinki (Finland), June 2012
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,
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
J.-M. ROUSSEL, J.-J. LESAGE
11th International Workshop On Discrete Event Systems (WODES'12), Guadalajara (Mexico), pp. 307-314, October 2012
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
- Journal Papers (5)
- 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 - 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 - 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
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
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
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
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
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
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
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
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
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
- Journal Papers (3)
- 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 - 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
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.
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
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
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
M. ROTH, J.-J. LESAGE, L. LITZ
American Control Conference, ACC'10, Baltimore (MD-USA), pp. 2601-2606, June 30-July 02, 2010
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
B. ADDAD, S. AMARI, J-J. LESAGE
10th Int Workshop on Discrete Event Systems, Berlin(Allemagne), pp. 310-315, Aout-Septembre 2010
- Conference Papers (5)
- 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 - 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 - 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 - 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 - 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
- Conference Papers (4)
- 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