Publications de l'équipe ISA (18 réponses)
- 2007 (2 publication(s))
- Publications en revue à comité de lecture (2)
- Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet
G. MARSAL, B. DENIS, J.-M. FAURE
Revue des Sciences et Technologies de l'Automatique, e-STA, Volume 4, n° 2, 2ème trimestre 2007
- Manufacturing plant control challenges and issues
G. MOREL, P. VALCKENAERS, J.-M. FAURE, C. E. PEREIRA, C. DIEDRICH
Control Engineering Practice, Volume 15, Issue 11, pp. 1321-1331, November 2007
2006 (1 publication(s))
2005 (1 publication(s))
- Publications en revue à comité de lecture (1)
- Verification of an evaporator system with UPPAAL
M. BEN GAID, B. BERARD, O. DE SMET
Journal Européen des Systèmes Automatisés, Vol. 39/9-10, pp. 1079-1098, Ed. Hermès, 2005
2004 (2 publication(s))
- Publications en revue à comité de lecture (2)
- Spezifikaktion von Betriebszuständen und Betriebsartenumschaltungen - GEMMA: Ein Ansatz aus Frankreich
G. FREY, S. KLEIN
atp - Automatisierungstechnische Praxis, 46(2004) 3, pp. 37-40, Oldenbourg Verlag, March 2004
- Algebraic approach for dependable logic control systems design
J.-M. ROUSSEL, J.-M. FAURE, J.-J. LESAGE, A. MEDINA
International Journal of Production Research, 42(14), pp. 2859-2876
2002 (2 publication(s))
- Publications en revue à comité de lecture (2)
- A method for assessing the impact of product development on the company
A. COLLAINE, P. LUTZ, J.-J. LESAGE
International Journal of Production Research, 40(14), pp. 3311-3336, 2002
- Safety properties verification of ladder diagram programs
J.-M. ROUSSEL, B. DENIS
Journal Européen des Systèmes Automatisés, 36(7), pp. 905-917, 2002
2001 (1 publication(s))
- Publications en revue à comité de lecture (1)
- Génération de la commande des systèmes de production en ingénierie intégrée produit/processus
J.-M. FAURE, F. COUFFIN
Mécanique et Industries, Elsevier, 2(2), pp.133-142, 2001
2000 (1 publication(s))
- Publications en revue à comité de lecture (1)
- Réutilisation d'un modèle de référence en Génie Automatique - application à l'intégration des activités de conception des systèmes automatisés de production
F. COUFFIN, S. LAMPERIERE, E. HOSPITAL, J.-M. FAURE
JESA, 34(1), pp. 35-62, 2000
1997 (2 publication(s))
- Publications en revue à comité de lecture (2)
- Comportement temporel du Grafcet
P. LHOSTE, J.-M. FAURE, J.-J. LESAGE, J. ZAYTOON
JESA, 31(4), pp. 695-711, 1997
- Vérification et validation du Grafcet
J. ZAYTOON, J.-J. LESAGE, L. MARCE, J.-M. FAURE, P. LHOSTE
JESA, 31(4), pp. 713-740, 1997
1993 (4 publication(s))
- Publications en revue à comité de lecture (4)
- Towards A Theory Of Integrated Modelling
B. DENIS, J.J. LESAGE, G. TIMON
Journal of Design Sciences and Technology, Ed. Hermes, Vol. 2 N° 1/93, pp. 87-96, Oct. 1993
- An Integration Of Production Management Rules And Fabrication Know-How For Real Time Cell Production Control
D. GENDREAU, J.J. LESAGE, G. TIMON
International Journal of Robotics and CIM , Pergamon Press Ltd, Vol. 10, N° 1/2, pp.115-122, Feb. 1993
- Hierarchical Approach To Grafcet Using Forcing Order
J.J. LESAGE, J.M. ROUSSEL
Automatique Productique Informatique Industrielle - AFCET - CNRS, Ed. HERMES, Vol. 27, N° 1/93, pp 25-38, mars 1993
- Une Algebre De Boole Pour l'Approche Evenementielle Des Systemes Logiques
J.M. ROUSSEL, J.J. LESAGE
APII-AFCET/CNRS, Ed Hermes, Vol. 27-N°5, pp. 541-560, Décembre 1993
1992 (2 publication(s))
- Publications en revue à comité de lecture (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