Publications of ISA team (543 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
- 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
- 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
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
- 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
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)
- 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
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
- 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
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
- 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
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
- 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
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
- 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
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
- 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
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
- 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
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
- 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
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
- 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
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
- Conference Papers (12)
- Evaluation de délais dans les systèmes de communication temps-réel en utilisant des files d’attente virtuelles
B. ADDAD, S. AMARI
7ième Colloque francophone sur la Modélisation des Systèmes Réactifs, 15p, Nantes, novembre 2009 - Modelisation et évaluation temporelle des architectures de commande en réseau
B. ADDAD, S. AMARI
3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), papier N°25, 6p., Angers, France, 17-18 mars 2009 - Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour
A. P. ESTRADA-VARGAS, E. LOPEZ-MELLADO, J.-J. LESAGE
IEEE Int. Conf. on Systems, Man, and Cybernetics, San Antonio (USA), pp. 181-186, October 11-14 2009 - Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees
G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE, A. BOBBIO
Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 129-134, Bari, Italy, 10-12 juin 2009 - Building meaningful timed plant models for verification purposes
M. PERIN, J.-M. FAURE
13th IFAC symposium on Information Control Problems in Manufacturing, INCOM'09, Moscou(Russie), 3-5 juin 2009, pp. 970-975 - Construction d'une séquence de test minimale à partir d'une spécification GRAFCET
J. PROVOST, J.M. ROUSSEL, J.M. FAURE
3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'09), CDRom papier N°19, 6p., Angers, France, 17-18 mars 2009 - Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d’une modélisation par machines de Mealy
J. PROVOST , J.-M. ROUSSEL , J.-M. FAURE
7ième colloque francophone sur la Modélisation des Systèmes Réactifs, pp. 889-904, Nantes (France), 16-18 novembre 2009 - Test sequence construction from SFC specification,
J. PROVOST J.-M. ROUSSEL J.-M. FAURE
Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp. 341-346, Bari, Italy, 10-12 juin 2009 - Distributed identification of concurrent discrete event systems for fault detection purposes
M. ROTH, J.-J. LESAGE, L. LITZ
European Control Conference 2009, ECC 2009, Budapest (Hungary), August 23-26 2009 - An FDI Method for Manufacturing Systems Based on an Identified Model
M. ROTH, J.-J. LESAGE, L. LITZ
13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, Moscow (Russia), pp. 1389 - 1394, June 3-5 2009 - A residual inspired approach for fault localization in DES
M. ROTH, J.-J. LESAGE, L. LITZ
Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Event Systems (DCDS'09), pp. 347-352 - Finding the bounds of response time of networked automation systems by iterative proofs,
S. RUEL, O. DE SMET, J.-M. FAURE
INCOM'09 : Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing,
Y.HIETTER
Thèse de l'ENS Cachan, 162 pages, 28 mai 2009
S. LIMAL
Thèse de l'ENS Cachan, 122 pages, 8 janvier 2009
S. RUEL
Thèse de l'ENS Cachan, 148 pages, 9 juillet 2009
P.-Y.CHAUX
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2009
T. LEMATTRE
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2009
- 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
B. ADDAD, S. AMARI
16th International Conference on Real-Time and Network Systems, RTNS’08, Rennes, France, 10 p., octobre 2008
B. ADDAD, S. AMARI
Fourth annual IEEE Conference on Automation Science and Engineering (IEEE CASE 2008), Washington DC, U.S.A, 6 p., August 2008
B. ADDAD, S. AMARI
2nd International Workshop on Verification and Evaluation of Computer and Communication Systems, Leeds, 11 p., July 2008
S. AMARI, C. MARTINEZ
5ème Conférence Internationale Francophone d\'Automatique (CIFA’08), Bucarest, Roumanie, 6 p., septembre 2008
A. M. ATTO, C. MARTINEZ, S. AMARI
9th International Workshop on Discrete Event Systems, WODES'08, 6 p.,May 2008
M. CANTARELLI, J.-M. ROUSSEL
9th International Workshop On Discrete Event Systems, WODES'08, pp. 200-205, Göteborg (Sweden), May 2008
V. GOURCUFF, O. DE SMET, J.-M. FAURE
17th IFAC World Congress, Seoul (Korea), July 2008
Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
17th IFAC World Congress, Seoul (Korea), pp. 4132-4137, July 2008
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
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
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
M. PERIN, J.-M. FAURE
Conférence Internationale Francophone d'Automatique, CIFA'08, Bucarest (Roumanie), CDRom paper N°381, 6 p., septembre 2008
S. RUEL, O. DE SMET, J.-M. FAURE
9th International Workshop On Discrete Event Systems, WODES'08, pp. 334-339, Göteborg (Sweden), May 2008
S. RUEL, O. DE SMET, J.-M. FAURE
17th IFAC World Congress, Seoul (Korea), pp. 5119-5124, July 2008
Z. JUÀREZ-OROZCO
Thèse de l'ENS Cachan, 135 pages, 20 juin 2008
B. ADDAD
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2008
J. PROVOST
Mémoire du Master IS en EAAPR de l'ENS Cachan, juillet 2008
- 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
B. DENIS
Journées Techniques AIP-PRIMECA, Ethernet Industriel : Quelle place pour le développement des applications d’automatisme ? Nantes, 18 et 19 janvier 2007
B. DENIS, S. RUEL, J.-M. FAURE, G. MARSAL, G. FREY
12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 532-539, Sep. 2007
S. LIMAL, S. POTIER, B. DENIS, J.-J. LESAGE
12th IEEE Conference on Emerging Technologies and Factory Automation, ETFA'07, Patras (Greece), pp. 1045-1052, Sep. 2007
G. MERLE, J.-M. ROUSSEL
Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 175-180, Cachan, France, 13-15 juin 2007.
G. MERLE, J.-M. ROUSSEL
2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°40, 6p., Reims, France, 9-11 juillet 2007.
P. MEUNIER, B. DENIS, J.-J. LESAGE
6th EUROSIM Congress on Modelling and Simulation, EUROSIM 2007, Ljubljana (Slovenia), CDRom paper N°392, 9 p., Sept. 2007
M. SAYED MOUCHAWEH, A. PHILIPPOT, V. CARRE MENETRIER
4th International Conference on Informatics in Control, Automation and Robotics (ICINCO'07), Angers (France), pp.124-129 , May 2007
A. PHILIPPOT, M. SAYED MOUCHAWEH, V. CARRE MENETRIER
Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp. 255-260, Cachan, France, 13-15 juin 2007
B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J.-M. ROUSSEL
2èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'07), CDRom papier N°62, 6p., Reims, France, 9-11 juillet 2007
M. ROTH, S. KLEIN, L. LITZ
1er IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, Cachan (France), 13-15 juin 2007
I. BARRAGAN SANTIAGO
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 153 p., juillet 2007
V. GOURCUFF
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 131 p., décembre 2007
A. MEDINA RODRIGUEZ
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 185 p., décembre 2007
G. MERLE
Mémoire de Master, ENS de Cachan, Juillet 2007
M. PERIN
Mémoire de Master, ENS de Cachan, Juillet 2007
A. PHILIPPOT, O. DE SMET
Rapport d’activité Post Doctoral, 27p., Septembre 2007
- 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
I. BARRAGAN SANTIAGO, J.-M. FAURE and Y. PAPADOPOULOS
Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Aug 30 - Sep 1, 2006, Beijing, P. R. China, pp. 811-816
I.S. BARRAGAN SANTIAGO, Matthias ROTH,J.M. FAURE
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne, France, May, 17-19, 2006, pp. 243-248
B. DENIS, J.-J. LESAGE, Z. JUÀREZ OROZCO
2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'06, Alghero (Italy), pp. 365-370, June 2006
V. GOURCUFF, O. DE SMET, J.-M. FAURE
Conference Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'06, ENST 2006 S 002, pp. 111-125, Paris, 15-17 mars 2006
V. GOURCUFF, O. DE SMET, J-M. FAURE
8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp. 182-187
J. MACHADO, B. DENIS, J.-J. LESAGE
7th Portuguese Conference on Automatic Control, CONTROLO'2006, Lisbon (Portugal), CDRom paper N°80, 6 p., September 2006
J. MACHADO, B. DENIS, J.-J. LESAGE
8th International Workshop On Discrete Event Systems, WODES'06, Ann Arbor (USA), July 2006, pp.407-412
J. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. FERREIRA DA SILVA
3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 37-42, September 2006
G. MARSAL, B. DENIS, J.-M. FAURE
Conférence Internationale Francophone d'Automatique, CIFA 2006, Bordeaux (France), CDRom paper N°283, 6 p., mai 2006
G. MARSAL, B.DENIS, J.-M. FAURE, G. FREY
6th IEEE International Workshop on Factory Communication Systems, WFCS'2006, Turin (Italy), pp. 95-98, June 27-30 2006
G. MARSAL, B. DENIS, J.-M. FAURE, G. FREY
11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'06, Prague (Czech Republic), pp. 380-387, September 2006
Y. PAPADOPOULOS, A. TRAN, J.-M. FAURE, C. GRANTE
SAE 2006 World Congress, Detroit, USA paper n° 06AE-287 , April, 3-6, 2006
B. ROHEE, B. RIERA, V. CARRE-MENETRIER, J-M. ROUSSEL
3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna (Poland), pp. 246-250, September 2006
D. WITSCH, B. VOGEL-HEUSER, J.M. FAURE, G. POULARD-MARSAL
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne (France), pp. 101-106, May 2006
R. ZEMOURI, J-M. FAURE
6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processe, SAFEPROCESS 2006, Beijing (China), CDRom paper N°1286, 6p., August 29-September 1 2006
R. ZEMOURI, J-M. FAURE
IEEE International Conference on Control Applications (CCA/CACSD/ISIC), Munich (Germany), CDRom paper N°307, 6p., October 4-6 2006.
J. MACHADO
Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 158 p., juin 2006
P. MEUNIER
Thèse de L'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 209 p., mars 2006
G. POULARD
Thèse de l'Ecole Normale Supérieure de Cachan, Spécialité "Electronique, Electrotechnique et Automatique", 150 p., décembre 2006
M.CANTARELLI
Mémoire de Master, ENS de Cachan, Juillet 2006
P.COCHETEUX
Mémoire de Master, ENS de Cachan, Juillet 2006
B.MILLION
Mémoire de Master, ENS de Cachan, Juillet 2006
S.RUEL
Mémoire de Master, ENS de Cachan, Juillet 2006
N.SALLES
Mémoire de Master, ENS de Cachan, Juillet 2006
- 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
I. SANTIAGO BARRAGAN, J.-M. FAURE,
16th IFAC World Congress, CDROM paper n°04596, 6 pages, Praha(CZ), July 4-8, 2005
H. BEL MOKADEM, B. BERARD, V. GOURCUFF, J.-M. ROUSSEL, O. DE SMET
10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'05, Catania (Italy), CDROM paper CF-000606, September 2005
S. KLEIN, L. LITZ,J.-J. LESAGE
16th IFAC World Congress, CDROM paper n°02643, 6 pages, Praha(CZ), July 4-8, 2005
S.KLEIN, J.-J.LESAGE, L.LITZ
Workshop Modélisation des Systèmes Réactifs, MSR'05, Autrans (France), p. 111-126, octobre 2005
S. LIMAL, B. DENIS, R. ZEMOURI, J.-J. LESAGE
3e Conférence Internationale sur la Productique, CIP'05, Tlemcen (Algerie), 3-4 décembre 2005
G. POULARD-MARSAL, D. WITSCH, B. DENIS, J.-M. FAURE, G. FREY
1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005, RJCITR'05, pp. 27-30, Nancy, France, septembre 2005
G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. PEREIRA, C. DIEDRICH
Selected Plenaries, Milestones and Surveys of the 16th IFAC World Congress, Praha(CZ), , pp. 280-290, July 4-8, 2005
J.-M. ROUSSEL, A. GIUA
16th IFAC World Congress, CDROM paper n°04427, 6 pages, Praha(CZ), July 4-8, 2005
S.KLEIN
Doctorat de l’Ecole Normale Supérieure de Cachan, Spécialité : Electronique Electrotechnique et Automatique
M. ALBRECHT
Mémoire de DEA, 33p., juin 2005
G. COLOMBIER
Mémoire de DEA, 26p., juin 2005
Y. HIETTER
Mémoire de DEA, 26p., juin 2005
B. ROHEE
Mémoire de DEA, 29p., juin 2005
- 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
M.E.M. BEN GAID, B.BERARD, O. DE SMET
Conférence AFADL'2004 (Approches Formelles dans l'Assistance au Développement de Logiciels),Besançon, 16-18 juin 2004
G. POULARD, B. DENIS, J.-M. FAURE
5ème Conférence francophone de MOdélisation et SIMulation, MOSIM04, Nantes (France), pp. 405-412, septembre 2004
J.-M. ROUSSEL, J.-M. FAURE
7th International Workshop on Discrete Event Systems (WODES'04), Reims (France), pp. 313-318, September 22-24, 2004
R. ZEMOURI, D. RACOCEANU, N. ZERHOUNI
CIFA 2004 (Conférence Internationale Francophone d’Automatique), Douz/Tunisie, 22-24 novembre 2004 CD ROM.
O.CARDIN
Mémoire de DEA, juillet 2004
D. EVROT
Mémoire de DEA, juillet 2004
V. GOURCUFF
Mémoire de DEA, juillet 2004
Z. JUAREZ-OROZCO
Mémoire de DEA, septembre 2004
S. LIMAL
Mémoire de DEA, juillet 2004
- Conference Papers (9)
- Elaboration of invariant safety properties from fault-tree analysis
S. HENRY, J.-M. FAURE
Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003 - Designing fault-tolerant controllers using Model-Checking
S. KLEIN, G. FREY, L. LITZ
IFAC-Safeprocess 2003, Washington (USA), pp. 115-120, June 2003 - Supporting the changeability of SIPN-based logic control algorithms by verification and validation
S. KLEIN, G. FREY, J.-J. LESAGE, L. LITZ
Proceedings of IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", CD ROM Procedings, Paper S2-I-04-0372, 6 pages, Lille (France), 9-12 July 2003 - SIPN Editor : A Tool for PLC Programming with Petri Nets
S. KLEIN, G. FREY, M. MINAS
ICATPN 2003, Eindhoven (The Netherlands), pp. 440-449, June 2003 - Increasing the efficiency of PLC Program Verification using a plant model
J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. C. L. FERREIRA DA SILVA
6th Industrial Engineering and Production Management IEMP'03, CDRom proceedings, Paper ormhm-4, 10 pages, Porto (Portugal), May 2003 - Model of mechanism behavior for verification of PLC programs
J. M. MACHADO, B. DENIS, J.-J. LESAGE, J.-M. FAURE, J. F. DA SILVA
17th International Congress of Mechanical Engineering COBEM'03, CDRom proceedings, Paper 0831, 10 pages, São Paulo (Brazil), Nov. 2003 - Modélisation d'un système logique séquentiel élémentaire à partir d'une spécification algébrique
ANTONIO MEDINA, JEAN-MARC ROUSSEL
Journées Doctorales d'Automatique, JDA'03, Valenciennes (France), pp. 245-250, 25-27 juin 2003 - Synthèse d'un programme de commande d'un système logique à partir de l'expression algébrique de ses spécifications
J.-M. ROUSSEL, A. MEDINA, J.-M. FAURE
Congrès Francophone Modélisation des Systèmes Réactifs MSR'03, pp. 77-93, Metz (France), 6-8 octobre 2003 - Towards automatic verification of ladder logic programs
B. ZOUBEK, J.-M. ROUSSEL, M. KWIATKOWSKA
Proceedings of IMACS-IEEE "CESA'03" : "Computational EngineePhD thesis, ENS de Cachan, 225 p., October 2010ring in Systems Applications", CD ROM paper S2-I-04-0169, 6 pages, Lille (France), 9-12 July 2003
O. ROSSI
Thèse de Doctorat en EEA, ENS de Cachan, 208 p., juin 2003
J. ANTOINE
Mémoire de DEA, 32 p., juillet 2003
G. POULARD
Mémoire de DEA, 47 p., juillet 2003
J. TARDIF
Mémoire de DEA, 30 p., juillet 2003
J.-M. ROUSSEL, J.-M. FAURE
Rapport n°3 du contrat EDF R&D - LURPA n°P11/F01377/0, 47 pages, Décembre 2003
- 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
O. DE SMET, O. ROSSI
21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°734, pp. 4147-4152, May 2002
J.-M. FAURE, C. SCHNACKENBOURG, J.-J. LESAGE
IEEE International Conference on Systems Man and Cybernetics, SMC'2002, Hammamet (Tunisia), CDRom paper N°TA1C2, 6 pages, Oct. 2002
J.-M. FAURE
Journée d’étude du Club AUTOMATION Qualité du développement des logiciels applicatifs industriels, Paris, avril 2002
S. KLEIN, X. WENG, G. FREY, J.-J. LESAGE, L. LITZ
21th American Control Conference, ACC’02, Anchorage (USA), CDRom paper N°733, pp. 4141-4146, May 2002
S. KLEIN, G. FREY, L. LITZ
Second International Workshop on Integration of Specification Techniques for Applications in Engineering, INT’02, pp. 116-129, Grenoble (France), April 2002
N. PERPERE, J.-J. LESAGE, G. MOREL
Conférence Internationale Francophone d’Automatique CIFA’02, CDRom paper N°16, pages 80 à 85, Nantes, juillet 2002
J.-M. ROUSSEL, J.-M. FAURE
6th International Workshop on Discrete Event Systems (WODES'02), Zaragoza, Spain, pp. 303-308, 2-4 October, 2002
C. SCHNAKENBOURG
Doctorat de l'Ecole Normale Supérieure de Cachan, 14 janvier 2002, LURPA-Ens de Cachan, 14 janvier 2002, LURPA-Ens de Cachan
G.GOUSSET
Mémoire de DEA, 32 p., juin 2002
O. GRABINSKI
Mémoire de DEA, 24 p., juin 2002
S. HENRY
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, septembre 2002
N. DANGOUMAU, J.-M. FAURE, E. CRAYE, J.-J. DUMERY
"Pilotage des systèmes de production", coordinateurs J.P. Kieffer et P. Pujo, Ed. Hermès,Traité IC2, chap. 12, pp. 155-180, ISBN 2-7462-0513-0, 2002
JEAN-MARC ROUSSEL, JEAN-MARC FAURE
Rapport n°1 du contrat EDF R&D - LURPA n°P11/F01377/0, 40 pages, Décembre 2002
JEAN-MARC ROUSSEL, JEAN-MARC FAURE
Rapport n°2 du contrat EDF R&D - LURPA n°P11/F01377/0, 25 pages, Décembre 2002
- 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
A. COLLAINE, P. LUTZ, J.-J. LESAGE
Congrès International de Génie Industriel, CGI'2001, Aix-Marseille (France), pp. 701-710, juin 2001
A. COLLAINE, P. LUTZ, J.-J. LESAGE
International Conference on Industrial Engineering and Production Management, IEPM'2001, Québec (Canada), CDRom paper 10 pages, August 2001
O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
J.-M. FAURE, J.-J. LESAGE
INCOM'2001, Vienna (Austria), CDRom paper, 6 pages, September 2001
J.M. MACHADO, F. LOUNI, J.-M. FAURE, J.-J. LESAGE, J.C. FERREIRA DA SILVA, J.-M. ROUSSEL
European Control Conference, ECC'2001, Porto (Portugal), pp. 1019-1024, September 2001
J.-M. ROUSSEL, B. DENIS
Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 225-240
C. SCHNAKENBOURG, F. COUFFIN, J.-M. FAURE
Congrès Francophone Modélisation des Systèmes Réactifs MSR’01, Toulouse (France), 17-19 octobre 2001, pp. 209-224
A. COLLAINE
Doctorat de l'Ecole Normale Supérieure de Cachan, 11 Déc. 2001, LURPA-Ens de Cachan
Y. CHARLEMAGNE
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001
S. KLEIN
Mémoire de DEA de Production Automatisée, LURPA/ENS Cachan, juin 2001
G. CANET, S. COUFFIN, O. ROSSI, J.-J. LESAGE
Rapport final de Contrat ALCATEL - LURPA - LSV, 215 pages plus annexes, mai 2001
B. DENIS, O. DE SMET, J.-J. LESAGE, J.-M. ROUSSEL
Brevet N° 01 110 933, août 2001
J.-M. ROUSSEL
rapport intermédiaire de contrat ALSTOM POWER - LURPA, 25 pages, mai 2001
J.-M. ROUSSEL
rapport intermédiaire de contrat ALSTOM POWER - LURPA, 15 pages, avril 2001
J.-M. ROUSSEL
Rapport final de contrat ALSTOM POWER - LURPA, 15 pages, juin 2001
- 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
G. CANET, B. DENIS, A. PETIT, O. ROSSI, P. SCHNOEBELEN
1ère Conférence Internationale Francophone d'Automatique, IEEE-CNRS-GRAISyHM, CIFA'2000, Lille (France), pp. 693-698, juil. 2000
G. CANET, S. COUFFIN, J.-J. LESAGE, A. PETIT, P. SCHNOEBELEN
IEEE International Conference on Systems Man and Cybernetics, SMC'2000, Nashville (USA), pp. 2449-2454, Oct. 2000
A. COLLAINE, P. LUTZ, J.-J. LESAGE
Advances in concurrent engineering, CE'2000, Lyon (France), pp. 759-765, July 2000
O. DE SMET, S. COUFFIN, O. ROSSI, G. CANET, J.-J. LESAGE, P. SCHNOEBELEN, H. PAPINI
4th International PLCopen conference on Industrial Control Programming, ICP'2000, Utrecht (The Netherlands), pp. 73-78, October 2000
S. LAMPERIERE-COUFFIN, J.-J. LESAGE
5th Workshop on Discrete Event Systems, WODES'2000, Ghent (Belgium), pp. 247-254, August 2000
P. MEUNIER, B. DENIS, J.-J. LESAGE
IFAC Conference on Control Systems Design, CSD'2000, Bratislava (Slovaquie), pp. 305-310, June 2000
P. MEUNIER, B. DENIS, J.-J. LESAGE
4th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 874-879, June 2000
O. ROSSI, P. SCHNOEBELEN
4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM'2000, Dortmund (Germany), pp. 177-182, Sept. 2000
O. ROSSI, O. DE SMET, S. COUFFIN, J.-J. LESAGE, H.PAPINI, H. GUENNEC
4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2000, Budapest (Hungary), pp. 885-890, June 2000
J.-M. ROUSSEL
Journée technique du Club AUTOMATION, Paris , sept. 2000
C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Lausanne (Switzerland), CDRom paper N° 320 - 6 pages, August 2000
C. THIERRY, J.-M. ROUSSEL, J.-J. LESAGE
3th MATHMOD Conference, Vienna (Austria), pp. 445-448, Feb. 2000
P. BERNARDONI
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000
O. BOSIO
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 2000
- Conference Papers (7)
- Identification de machine séquentielle binaire : application à un système réactif
O. DE SMET, J.-M. ROUSSEL, N. HEVIN
2ème congrès sur la modélisation des systèmes réactifs, MSR'99, Cachan (France), pp. 351-360, mars 1999 - Formal Validation of PLC programs : a survey
S. LAMPERIERE-COUFFIN, O. ROSSI, J.-J. LESAGE, J.-M. ROUSSEL
European Control Conference 1999, ECC'99, Karlsruhe (Germany), CD-ROM paper n°741, 6 pages, Sept. 1999 - Formal verificaion of PLC programs described in IEC 61131-3 languages
S. LAMPERIERE-COUFFIN
Talk in a lecture series, Department of Electrical Engineering and Information Technology - Institute of Process Automation, Kaiserslautern University (Germany), Nov. 1999 - An approach of formal meta-modeling for the design methods of automated manufacturing system
L. PIETRAC, B. DENIS, J.-J. LESAGE
International Workshop on Formal Methods and Manufacturing, Zaragoza (Spain), pp. 65-74, Sept. 1999 - Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production
L. PIETRAC, B. DENIS
Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 285-288, sept. 1999 - IEC 60848 et IEC 61131-3 : deux normes complémentaires, Journée d'études "Nouvelles percées dans les langages pour l'automatique"
J.-M. ROUSSEL, S. LAMPERIERE-COUFFIN, J.-J. LESAGE
SEE - Club 18 (Automatique et Automatisation Industrielle), Amiens, Nov. 1999 - Formalisation des opérateurs temporels utilisés pour la description des systèmes à événements dicrets
C. THIERRY, J.-M. ROUSSEL
Journées Doctorales d'Automatique, JDA'99, Nancy (France), pp. 289-292, sept. 1999
L. PIETRAC
Doctorat de l'Ecole Normale Supérieure de Cachan, 12 janv. 1999, LURPA-Ens de Cachan
Y. LESPINAS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
R. LOCHOUARN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
N. PERPERE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juillet 1999
S. COUFFIN, J.-J. LESAGE, J.-M. ROUSSEL
Contrat n° UAI/1.98 avec Alcatel CRC, 151 pages, Novembre 1999
J.-J. LESAGE EDITOR
special issue of JESA, 33(8-9), 193 pages, 1999
O. ROSSI, S. COUFFIN
Contrat n° UAI/1.98 avec Alcatel CRC, 55 pages, septembre 1999
- Conference Papers (4)
- Approche hybride pour la planification et l'ordonnancement d'un système flexible de production sujet à pannes
O. DE SMET
3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 360-367, mars 1998 - Réactivité et déterminisme du comportement temporel du grafcet
J.-J. LESAGE, J.-M. ROUSSEL, J.-M. FAURE, P. LHOSTE, J. ZAYTOON
3ème conférence internationale sur l'Automatisation Des Processus Mixtes, ADPM'98, Reims (France), pp. 99-106, mars 1998 - Validation de spécifications : une expérience sur le grafcet
J.-M. ROUSSEL
Journée technique : Sûreté de fonctionnement des systèmes automatisés de production, Lycée R. DAUTRY, Limoges, Déc. 1998 - Eco problem solving for the adaptive control of production systems : the CASPER project
C. SOHIER, B. DENIS, J.-J. LESAGE
9th symposium on Information Control in Manufacturing, INCOM'98, Nancy-Metz (France), pp. 65-70 vol. 3, June 1998
M. LAVANDIER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998
O. ROSSI
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1998
- 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
P. MEUNIER, B. DENIS
1ère conférence francophone de MOdélisation et de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 229-238, juin 1997
J.-M. ROUSSEL, J.-J. LESAGE
Journées d'Etude sur les Logiciels pour le traitement de l'Image, du Signal et l'Automatique, ELISA'97, Vandoeuvre-les-Nancy (France), 8 pages , mars 1997
C. SOHIER, B. DENIS, C. VIGNY
1ère conférence francophone de MOdélisationet de SIMulation : Systèmes de Production et de Logistique, MOSIM'97, Rouen (France), pp. 549-557, juin 1997
J. ZAYTOON, C. NDJAB, J.-M. ROUSSEL
2nd Mathmod Conference, MATHMOD'97, Vienna (Austria), pp. 371-376, Feb. 1997
N. HEVIN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
C. ROESLIN
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
C. VIGNY
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1997
J.-J. LESAGE EDITOR
special issue of JESA, 31(3), 186 pages, 1997
- Conference Papers (7)
- Representation Et Manipulation d'un Automate Equivalent A un Grafcet A l'Aide De Bdd
M. GATAA, J.M. ROUSSEL
Actes du Congrès AGI'96 pp. 233-236, Tours, 6-7 juin 1996 - Agregation Et Calcul De Taux De Production Pour un Atelier Multi-Machines Soumises A Des Pannes
S. JUHEL, H. ABOU-KANDIL, O. DE SMET
Actes du 5ième congrès international de génie industriel (GI5) p.41 tome 2, Grenoble, France, 2-4 avril 1996 - A Theory Of Binary Signal
J.J. LESAGE, J.M. ROUSSEL, C. THIERRY
Proceedings of IMACS-IEEE "CESA'96" pp. 590-595, Lille, 9-12 July 1996 - Formalization Of The Design Of Control Systems
L. PIETRAC, B. DENIS, J.J. LESAGE
Proceedings of the Sixth International Symposium on Robotics and Manufacturing (ISRAM'96), Second World Automation Congress (WAC'96), Montpellier, France, May 27-30, 1996 - Definition d'un Cadre Formel Pour l'Expression Et La Verification De Proprietes d'un Modele Grafcet
J.M. ROUSSEL, J.J. LESAGE
Actes du Congrès Modélisation des Systèmes Réactifs MSR'96 pp 229-237, Brest, 28-29 mars 1996 - Validation And Verification Of Grafcet Using State Machine
J.M. ROUSSEL, J.J. LESAGE
Proceedings of IMACS-IEEE "CESA'96" pp. 758-764, Lille, 9-12 July 1996 - Applying Eco Problem Solving To The Control Of An Adaptative Manufacturing Cell
C. SOHIER, B. DENIS, P. BOURDET
Proceedings of IMACS-IEEE "CESA'96", Lille, 9-12 July 1996
C. SOHIER
Doctorat de l'Ecole Normale Supérieure de Cachan, janvier 1996
A. COLLAINE
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil. 1996
A. COLLAINE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1996
P. MEUNIER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
P. MEUNIER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
C. THIERRY
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
C. THIERRY
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1996
- Conference Papers (3)
- Formalisation De La Conception d'Architecture De Conduite Des Systèmes De Production
B. DENIS, J.J. LESAGE
Proceedings of the Second International Conference on Industrial Automation, AIAI'95, pp. 257-264, Nancy (France), 7-9 june 1995 - A Method For Design And Valuation Of Manufacturing System Control Architecture
B. DENIS, J.J. LESAGE, J.M. ROUSSEL
Proceeding of 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, pp. 4486-4491, Vancouver, British Columbia, Canada, Oct. 22-25, 1995 - Un Panorama De La Recherche En Conception De La Conduite Des Systèmes De Production
B. DENIS, J.J. LESAGE
Actes du congrès international de génie industriel de Montréal, Ecole Polytechnique de Montréal, pp. 1537-1549, Montréal, Quebec, Canada, 7-9 Oct. 1995
C. BONARDEL
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
C. BONARDEL
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1995
L. CABARROCAS, S. COSSART
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995
S. COSSART
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1995
L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 46 pages, avril 95
L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 135 pages, avril 95
B. DENIS, J.J. LESAGE
Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensemble de Production, 29 pages, Nov. 95
- Conference Papers (3)
- A Boolean Algebra For A Formal Expression Of Events In Logical Systems
B. DENIS, J.J. LESAGE, J.M. ROUSSEL
Proc. of IMACS Mathmod, pp. 859-862, Vienna (Austria), february 1994 - Modèles De Spécification Fonctionnelle De La Commande Des Systèmes De Production : Synthèse De Trois Etudes De Cas
L. PIETRAC, G. TIMON, B. DENIS, J.J. LESAGE, J.M. ROUSSEL
actes de la journée PRIMECA les systèmes de production, Clermont-Ferrand, Décembre 1994 - Specification Fonctionnelle Du Controle/Commande De Tranche Nucleaire
L. PIETRAC, J.J. LESAGE, G. TIMON, F. CHERIAUX, M. BRUNET
actes du Symposium ADPM'94 sur l'automatisation des processus mixtes, BRUXELLES, pp. 83-92, Novembre 1994
B. DENIS
Doctorat de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
J.J. LESAGE
Habilitation à Diriger les Recherches de l'Université de Nancy I, spécialité automatique et production automatisée, février 1994
J.M. ROUSSEL
Doctorat de l'Ecole Normale Supérieure de Cachan, Décembre 1994
D. CHEVREAU
Mémoire, DEA de Robotique, LURPA / ENS Cachan, juil. 1994
C. DUCHE
Recherche bibliographique DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994
C. DUCHE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1994
L. CABARROCAS, S. COSSART, B. DENIS, J.J. LESAGE
Rapport d'étude, Contrat n°P312L8602/EP685 avec EDF Direction des Etudes et Recherches Service Ensembles de Production, 27 p., avril 94
B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
Rapport de synthèse - Contrat METRAUMAT/ENS de Cachan N°9110, 32 pages, Avril 1994
- 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
J.J. LESAGE
actes de la journée d'étude De l'analyse des besoins au cahier des charges d'un SAP organisée par l'EXERA, non paginés, CACHAN, Décembre 1993
C. SOHIER, P. BOURDET
Proceedings of International Conference on Industrial Engineering and Production Management, MONS BELGIUM, 2-4 juin 1993
L. PIETRAC
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1993
L. PIETRAC
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1993
B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
Rapport de fin d'étude - Contrat METRAUMAT/ENS de Cachan N° 9110 , 194 pages, mai 1993
L. PIETRAC, J.J. LESAGE, G. TIMON
Rapport de fin d'étude - Contrat EDF/Direction des Etudes et Recherches/Etablissement Chatou N° 9306, 182 pages, Nov. 1993
L. PIETRAC, J.J. LESAGE, G. TIMON
Rapport de fin d'étude - Contrat EDF/Direction des Etudes et Recherches/Etablissement Chatou N° 9306, 175 pages, sept. 1993
- 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
B. DENIS, J.J. LESAGE, G. TIMON
Proceedings of IFAC Workshop on CIM in Process and Manufacturing Industries, Espoo, Finland, Nov. 23-25, 1992
D. GENDREAU
Actes du Congrès GRAFCET'92, PARIS, 25-26 mars 1992
J.J. LESAGE, B. DENIS, G. TIMON
Actes du Symposium International "La conception en 2000 et au-delà" pp. 343-353, STRASBOURG, France - 24/27 Nov. 1992
J.J. LESAGE, J.M. ROUSSEL
Actes du Congrès GRAFCET'92, pp. 125-134, PARIS, 25-26 mars 1992
B. ANGLADE
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juil.1992
B. ANGLADE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juil. 1992
P. LE BRETON
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1992
P. LE BRETON
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1992
B. DENIS, J.J. LESAGE, J.M. ROUSSEL, G. TIMON
Rapport de fin d'étude : Réf.: EXERA S 3609X92, 178 pages - Contrat METRAUMAT/ENS de Cachan N° 9110, avril 1992
G. DERROISNE, F. KIEFER, J.J. LESAGE
Rapport final - Contrat AEROSPATIALE de CHATILLON - ENS de Cachan N° 9124, 59 pages, juil. 1992
- Conference Papers (7)
- Prise En Compte De l'Existant Dans La Conception De La Conduite Des Systemes Integres De Production
P. BOURDET, F. KIEFER, M. LE ROY, J.J. LESAGE, G. TIMON
Actes du 3ème Congrès International de Génie Industriel, pp. 51-60, TOURS, mars 1991 - Le Grafcet : Nouvelles Evolutions Et Aspects Normatifs
B. FROMENT, D. GENDREAU
Les 9èmes Journées Robotique et Productique - SAINT ETIENNE, Maison de la Productique, 3 et 4 Décembre 1991 - Utilisation Des Graphiques De Deroulement Matiere Dans l'Analyse Et La Conception Des Systemes De Conduite
D. GENDREAU, J.J. LESAGE
Actes du 3ème Congrès International de Génie Industriel, pp. 583-592, TOURS, mars 1991 - An Extension Of The Production Management Concepts Towards The Real Time Cell Production Control
J.J. LESAGE, G. TIMON
Proc. of the 4th IFIP Conf. on Computer in Production and Engineering, pp. 659-666, North - Holland, BORDEAUX, Sept.1991 - Le Grafcet Dans Le Genie Automatique
J.J. LESAGE
Actes du Congrès MESUCORA 91, pp 3-15, PARIS, Novembre 1991 - A Methodological Integration Between Functional And Data Analysis
J.J. LESAGE, F. KIEFER
23th international CIRP Conference on Production Systems, NANCY, juin 1991 - CIRP Proceedings-Manufacturing Systems, Vol. 21, N°2, pp. 121-128, 1992 - Les Outils De Modelisation Pour Le Cycle De Vie Des Systemes Automatises De Production
J.J. LESAGE
Actes du Colloque Génie Automatique et Product. Ind., non paginés, ISMCM/ST OUEN - mars 1991
D. GENDREAU
Thèse de Doctorat de L'ECOLE CENTRALE PARIS - LURPA/ENS de CACHAN, 20 Décembre 1991
J.M. REYNAUD
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1991
J.M. ROUSSEL
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1991
J.M. ROUSSEL
Recherche Bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1991
J.J. LESAGE, J.M. ROUSSEL
Rapport de fin d'étude, réf : EXERA S 3601X91, 58 pages - Contrat METRAUMAT/ENS de Cachan N° 9110 - Nov. 1991
G. SUCHEY
Notice interne, ENS/LURPA - 91/03"
G. SUCHEY
Notice interne, ENS/LURPA - 91/02"
G. SUCHEY
Notice interne, ENS/LURPA - 91/04"
- Conference Papers (3)
- A New Approach To Cell Automatic Supervision In F.M.S
P. BOURDET, J.J. LESAGE, D. GENDREAU, F. KIEFER, G. TIMON
Proceedings CIRP - AC'90, Vol.3 pp.32-39, Rydzna, POLOGNE, Sept. 1990 - Les Relations Entre La Gamme Automatique Et Le Pilotage d'Une Cellule Flexible De Production
D. GENDREAU
Séminaire Gamme Automatique en Usinage, 21-22 Nov. 1990 - Groupe GAMA, HERMES, N° ISBN 2-86601-255-0 - Conception Integree Des Systemes De Commande En Ingenierie Productique : Une Approche Multidisciplinaire Appliquee Au Systeme Logistique d'un Atelier Flexible
F. KIEFER, J.J. LESAGE, G. TIMON
Actes du Congrès International CIM 90, pp. 251-259, Bordeaux, juin 1990
G. TIMON
Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA-ENS CACHAN, sept.1990
G. CORTHIER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
F.CHEVALIER, J.L. DEUTSCH
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1990
L. HELETA
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990
L. HELETA
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1990
S. THEALLIER, D. THOME
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1990
F. KIEFER, J.J. LESAGE, G. TIMON
Rapport Interne, ENS/LURPA-90/26, 29 pages, Novembre 1990
- Conference Papers (1)
- Expertise De La Repartition Des Fonctions De Commande Dans Une Architecture Operationnelle
M. BOSOM, D. GENDREAU, J.J. LESAGE
Actes du Congrès AUTOMATION 89, pp 33-39, PARIS, mai 1989
J.J. LESAGE
Thèse de Doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, janv.1989
D. COSTES
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
Y. DE GELIS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
Y. DE GELIS
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
P. GORCE
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, juin 1989
P. GORCE
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, juin 1989
B. HOUX
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan juin 1989
F. KIEFER
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
G. MONNERET, F. KIEFER
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept. 1989
G. MONNERET
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1989
CH. MONY
Mémoire, DEA de Production Automatisée, ECOLE CENTRALE PARIS/LURPA-ENS Cachan, sept.1989
D. COSTES
Notice interne, ENS/LURPA - 89/13, juin 1989
D. COSTES
Notice interne, ENS/LURPA - 89/22, juin 1989
D. COSTES
Notice interne, ENS/LURPA - 89/21, juin 1989
Y. DE GELIS, A. SUCHEY
Notice interne, ENS/LURPA - 89/20, juillet 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/12, mai 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/10, mars 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/16, juin 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/15, juin 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/14, juin 1989
M. ETIENNE
Notice interne, ENS/LURPA - 89/11, mai 1989
D. GENDREAU
Rapport interne, ENS/LURPA - 89/24, juin 1989
B. HOUX
Notice interne, ENS/LURPA - 89/06, juin 1989
B. HOUX
Notice interne, ENS/LURPA - 89/08, juin 1989
B. HOUX
Notice interne, ENS/LURPA - 89/04, juin 1989
B. HOUX, M. ETIENNE, S. PLANCHAIS
Notice interne, ENS/LURPA - 89/09, juin 1989
B. HOUX
Notice interne, ENS/LURPA - 89/07, juin 1989
B. HOUX
Notice interne, ENS/LURPA - 89/05, juin 1989
J.J. LESAGE
Rapport Interne, ENS/LURPA-89/25, 28 pages, Nov. 1989
M. RAFIQUI
Notice interne, ENS/LURPA - 89/03
- Conference Papers (2)
- Conception Et Modelisation Des Systemes De Production: Une Approche Nouvelle De La Conduite Optimale
B. FROMENT, J.J. LESAGE, P. BOURDET
Actes du 2ème congrés international de Génie Industriel, pp 563-570, NANCY, Déc.1988 - Criteres De Performance De La Fonction Stockage En Atelier Flexible
J.J. LESAGE, P. BOURDET, D. RIOPEL, L. VILLENEUVE
Actes du 2ème congrés international de Génie Industriel, PP 393-400, NANCY, Déc.1988
B. FROMENT
Thèse de doctorat - ECOLE CENTRALE PARIS/LURPA/ENS CACHAN, avril 1988
M. ARAUJO
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988
M. ARAUJO
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
B. DENIS
Recherche bibliographique, DEA de Production Automatisée, LURPA/ENS de Cachan, sept.1988
B. DENIS
Mémoire, DEA de Production Automatisée, LURPA/ENS Cachan, sept.1988
N. ARNAUD, J.J. LESAGE, C. DESTOMBES
Rapport interne, ENS/LURPA - 88/01, 81 pages, mars 1988
B. DENIS
Notice interne, ENS/LURPA - 88/26 - juil. 1988
A. SOUCHAY
Notice interne, ENS/LURPA - 88/25
A. SOUCHAY
Notice interne, ENS/LURPA - 88/03
- Other publications (1)
- Entreposage En Atelier Automatise Flexible : Solution d'un Laboratoire De Recherche
P. BOURDET, J.J. LESAGE, D. RIOPEL, L. VILLENEUVE
Rapport interne, ENS/LURPA - 87/01, 24 pages, janv. 1987
- Other publications (1)
- Preliminaires A La Conception Du Systeme De Commande d'Une Cellule De Fraisage En Atelier Automatise Flexible
P. CHARTIER, J.J. LESAGE
Contrat ADEPA-ENS CACHAN, N°8613, Déc. 1986