Publications du projet TELOCO (10 réponses)

2014 (1 publication(s))

Publications en revue à comité de lecture (1)

• 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

2011 (3 publication(s))

Communications dans des congrès (2)

• A formal semantics for Grafcet specifications
  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
• Testing Programmable Logic Controllers from Finite State Machines specification
  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

Thèses et habilitations à diriger les recherches (1)

• Test de conformité de contrôleurs logiques spécifiés en Grafcet
  J. PROVOST
  Thèse de l'ENS Cachan, 170 pages, 8 juillet 2011

2010 (3 publication(s))

Publications en revue à comité de lecture (1)

• 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

Communications dans des congrès (2)

• Un démonstrateur pour le test de conformité de contrôleurs logiques
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  3èmes Journées Démonstrateurs 2010. 30/11 - 1/12 2010, Angers ,France
• SIC-testability of sequential logic controllers
  J. PROVOST, J.-M. ROUSSEL, J.-M. FAURE
  WODES 2010, Berlin, Germany, pp. 203-208, August 30 - September 1, 2010

2009 (3 publication(s))

Communications dans des congrès (3)

• 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