Publications of Algebraic Synthesis of Controllers project (7 réponses)

2014 (1 publication(s))

Journal Papers (1)

• 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

2012 (2 publication(s))

Conference Papers (2)

• Algebraic synthesis of logical controllers with optimization criteria
  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
• Algebraic synthesis of logical controllers despite inconsistencies in specifications
  J.-M. ROUSSEL, J.-J. LESAGE
  11th International Workshop On Discrete Event Systems (WODES'12), Guadalajara (Mexico), pp. 307-314, October 2012

2009 (1 publication(s))

PhD theses and French "Habilitation à diriger des Recherches" (1)

• Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
  Y.HIETTER
  Thèse de l'ENS Cachan, 162 pages, 28 mai 2009

2008 (3 publication(s))

Conference Papers (3)

• Algebraic synthesis of dependable logic controllers
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  17th IFAC World Congress, Seoul (Korea), pp. 4132-4137, July 2008
• Algebraic Synthesis of Transition Conditions of a State Model
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  9th International Workshop On Discrete Event Systems, WODES'08, pp. 187-192, Göteborg (Sweden), May 2008
• Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique
  Y. HIETTER, J.-M. ROUSSEL, J.-J. LESAGE
  Conférence Internationale Francophone d'Automatique, CIFA 2008, Bucarest (Roumanie), CDRom papier N°83, 6p., septembre 2008