Publications de l'équipe ISA (222 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
- 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
- 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
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.
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
R. De Souza, M. Moreira, J.-J. Lesage
21st IFAC World Congress, Jul 2020, Berlin, Germany (to be published)
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
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)
K. Goloze, A. Ourghanlian, S. Amari
The 16th IEEE International Conference on Control and Automation (ICCA 2020), Hokkaido, Japan, July 6-9, 2020.
C. Mahulea, M. Kloetzer, J.-J. Lesage
15th Workshop on Discrete Event Systems, pp. 101-108, Rio de Janeiro (Brazil), November 11-13 2020
- 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
S. Aberkane, R. Kara, S. Amari
12ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2019, Nov 2019, Angers, France.
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
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)
Y. Laumonier, J.-M. Faure, J.-J. Lesage, H. Sabot
6th International Conference on Control, Decision and Information Technologies (CoDIT 2019)
- 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
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
C. Galetta, J.-M. Roussel,J.-M. Faure
14th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Sorrento Coast (Italy), May 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
K. Viard
Thèse en co-tutelle ENS Cachan / Politecnico di Bari, 157 pages, juillet 2018
- 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
B. Aupetit, M. Batteux, Antoine Rauzy, Jean-Marc Roussel
20th IFAC World Congress, Toulouse (France), pp. 11150-11155, July 2017
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,
E. Kobeissi, P.-Y. Piriou, J.-M. Faure
20th IFAC World Congress, Toulouse, July 9-14, 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
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
J. Niguez, S. Amari, J.M. Faure
20th IFAC World Congress
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
B. Lebeaupin
Thèse en co-tutelle ENS Cachan / CentraleSupelec, 144 pages, décembre 2017
F. Delaine
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
M. Devys
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
P. Glanon
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
N. M'Hamdi
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
S. Missaoui
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
L.-M. Sejeau
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
F. Tamssaouet
Mémoire du Master ISC de l’ENS Cachan, juillet 2017
- 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
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
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
Hamri H., R. Kara And S. Amari
13th International Workshop on Discrete Event Systems (WODES’16), Xi'an, China, May 30 - June 1, 2016.
J. Niguez, S. Amari, J.-M. Faure
13th Int. Workshop on Discrete Event Systems, Xi'an, China, May 30 - June 1, 2016
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
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
S. Amari
Habilitation à diriger des recherches, 179 pages, octobre 2016
J. Saives
Thèse de l'ENS Cachan, 205 pages, juin 2016
M. Duroeulx
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
C. Galetta
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
E. Kobeissi
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
A. Labatut
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
Y. Laumonier
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
J. Madjour
Mémoire du Master ISC de l’ENS Cachan, juillet 2016
- 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
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
M. Benazouz, J.-M. Faure
The 15th IFAC/IEEE/IFIP/IFORS Symposium on Information Control Problems (INCOM 2015), May 2015, Ottawa, Canada
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)
L. Mameri, R. Kara, S. Amari
3rd International Conference on Control, Engineering & Information Technology CEIT’2015, Tlemcen (Algeria), May 2015
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
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
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
IEEE European Control Conference 2015 (ECC'15), Linz, Austria, Paper WeB2.1, 8 pages, 15-17 July 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
P.-A. Brameret
Thèse de l'ENS Cachan, 133 pages, juillet 2015
P.Y. Piriou
Thèse de l'ENS Cachan, 220 pages, décembre 2015
R. Jacob
Mémoire du Master ISC de l’ENS Cachan, juillet 2015
K. Viard
Mémoire du Master ISC de l’ENS Cachan, juillet 2015
- 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
R. Ammour, S. Amari
The 12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES’14), pp. 123 - 128. Cachan, France. May 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
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
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. Guignard, J-M. Faure
12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Cachan (France), pp. 412-419, 14-16 May 2014
A. Guignard, J-M. Faure
Emerging Technologies and Factory Automation (ETFA'14), 19th IEEE International conference on, Barcelona(Spain), 16-19 September, 2014
P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
23th European Safety & Reliability Conf. (ESREL’14), Wroclaw (Poland), September11-14, 2014
J. Saives, G. Faraut
12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), Cachan (France), pp13-20, 15-17 mai 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
A. Guignard
Thèse de l'ENS Cachan, 164 pages, décembre 2014
J.-M. Roussel
Habilitation à diriger des recherches, 154 pages, juillet 2014
B. Aupetit
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
L. Kaci
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
B. Lebeaupin
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
H. Mortada
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
J. Niguez
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
C. Pianon
Mémoire du Master ISC de l’ENS Cachan, juillet 2014
- Publications en revue à comité de lecture (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
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
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
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
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
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,
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
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
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. GUIGNARD, J-M.FAURE
5èmes Journées Doctorales / Journées Nationales MACS, Strasbourg, Papier JD-5.4, 6 pages, juillet 2013
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
J.-J. LESAGE
Plenary talk, Colloquium on Discrete Event and Hybrid Systems, Cinvestav-Guadalajara (Mexico),9p., 19 February 2013
L. Mameri, R. Kara, S. Amari
MSR 2013 - Modélisation des Systèmes Réactifs, 13 – 15 novembre 2013, Rennes, France
L. MAMERI, S. AMARI, R. KARA
Conférence Internationale sur La Conception & Production Intégrées (CPI 2013), Papier n°311, octobre 2013
M. PERIN, J.-M. FAURE
9th IEEE Conference on Automation Science and Engineering (CASE 2013), Madison (USA), 17-21 August 2013
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)
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
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.
K. TEBANI, S. AMARI, R. KARA
Conférence Internationale sur La Conception & Production Intégrées (CPI 2013), Papier n°246, Octobre 2013
K. Tebani, S. Amari, R. Kara
MSR 2013 - Modélisation des Systèmes Réactifs, 13 – 15 novembre 2013, Rennes, France
D. AZA-VALLINA
Thèse de l'ENS Cachan, 140 pages, novembre 2013
P.-Y. CHAUX
Thèse de l'ENS Cachan, 148 pages, 15 avril 2013
M. DANANCHER
Thèse en co-tutelle ENS Cachan / Technische Universität Kaiserslautern (Allemagne), 150 pages, décembre 2013
A.-P. ESTRADA-VARGAS
Thèse en co-tutelle ENS Cachan / Cinvestav (Mexique), 122 pages, 20 février 2013
T. LEMATTRE
Thèse de l'ENS Cachan, 160 pages, juillet 2013
R. AMMOUR
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
A. BOUSSIF
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
A. BOUZAKARIA
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
Y. GEOFFROY
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
J. SAIVES
Mémoire du Master ISC de l'ENS Cachan, juillet 2013
- Publications en revue à comité de lecture (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
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.
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,
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
American Control Conference (ACC’12), pp. 6095 - 6101, Montreal (Canada), 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
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
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
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
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
K.TEBANI, S. AMARI, R. KARA
9th International Conference on Modeling, Optimization & SIMulation Bordeaux, MOSIM'12, 9 p, France, 6-8 June, 2012
M. PERIN
Thèse de l'ENS Cachan, 178 pages, 22 juin 2012
W. BOUSSAHEL
Mémoire du Master ISC de l'ENS Cachan, juillet 2012
A. BUTEZ
Mémoire du Master ISC de l'ENS Cachan, juillet 2012
P. MAUBORGNE
Mémoire du Master ISC de l'ENS Cachan, juillet 2012
P.-Y. PIRIOU
Mémoire du Master ISC de l'ENS Cachan, juillet 2012
D. AZA-VALLINA, N. CHEVASSUS, B. DANTIN, B. DENIS, J.M. FAURE
Brevet FR 11 62505 - ENS Cachan (LURPA) - EADS
- Publications en revue à comité de lecture (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
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
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
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
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
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
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
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. 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
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
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
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
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
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
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
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
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
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
B. ADDAD
Thèse de l'ENS Cachan, 141 pages, 1 juillet 2011
J. PROVOST
Thèse de l'ENS Cachan, 170 pages, 8 juillet 2011
P.A. BRAMERET
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
A. GUIGNARD
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
H. LEROUX
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
A. MAURER
Mémoire du Master ISC de l'ENS Cachan, juillet 2011
- Publications en revue à comité de lecture (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
B. ADDAD, S. AMARI, J-J. LESAGE
10th Int Workshop on Discrete Event Systems, Berlin(Allemagne), pp. 310-315, Aout-Septembre 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.
R. ATTIA, S. AMARI, C. MARTINEZ
Conference on Control and Fault-Tolerant Systems (SysTol’10), Nice, France, 6 p. , October 6-8, 2010
P.-Y. CHAUX
Lambda-Mu 17, LM17, La Rochelle (France), CDRom paper N°4C-2, 9p., Octobre 2010
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
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
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
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
J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
3èmes Journées Démonstrateurs 2010. 30/11 - 1/12 2010, Angers ,France
J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
WODES 2010, Berlin, Germany, pp. 203-208, August 30 - September 1, 2010
M. ROTH, J.-J. LESAGE, L. LITZ
American Control Conference, ACC'10, Baltimore (MD-USA), pp. 2601-2606, June 30-July 02, 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
G. MERLE
Thèse de l'ENS Cachan, 218 pages, 7 juillet 2010
M. ROTH
Thèse en co-tutelle ENS Cachan / Université de Kaiserslautern (Allemagne), 225 pages, 8 octobre 2010
T. ANTIGNAC
Mémoire du Master ISC de l'ENS Cachan, juillet 2010
R. ATTIA
Mémoire du Master ISC de l'ENS Cachan, juillet 2010
D. AZA-VALLINA
Mémoire du Master ISC de l'ENS Cachan, juillet 2010
M. DANANCHER
Mémoire du Master ISC de l'ENS Cachan, juillet 2010
M. QUIGNON
Mémoire du Master ISC de l'ENS Cachan, juillet 2010