.:. Listes > Par laboratoire ENS Cachan et équipe associée > Laboratoire Universitaire de Recherche en Production Automatisée .:.

212 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 16 - 17 - 18 - 19 - 20 - 21 - 22

Définition d'une pièce test pour la caractérisation d'une machine UGV Mawussi K., Tapie L. Pierre Dans 1er Conrgès International Conception et Modélisation des Systèmes Mécaniques, CMSM'05 - 1er Conrgès International Conception et Modélisation des Systèmes Mécaniques, CMSM\'05, Tunisie (2005) [hal-00422405 - version 1]

Méthode formelle de commande sous contraintes de temps dans les dioïdes Amari S., Demongodin I., Jacques Loiseau J. Dans Méthode formelle de commande sous contraintes de temps dans les dioïdes - Modélisation des Systèmes Réactifs, MSR'05, publié dans le Journal Européen des Systèmes Automatisés, RS série JESA, volume 39 - n° 1-2-3/2005, France (2005) [hal-00362941 - version 1]

Control of Linear Min-plus Systems under Temporal Constraints Amari S., Demongodin I., Jacques Loiseau J. Dans Control of Linear Min-plus Systems under Temporal Constraints - 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005), Espagne (2005) [hal-00362920 - version 1]

PERFORMANCE OF OFF-LINE POLYNOMIAL CNC TRAJECTORIES WITHIN THE CONTEXT OF HSM Lavernhe S., Duan X., Tournier C., Lartigue C. 2004 International Mechanical Engineering Congress and Exposition, United States (2004) [hal-00577232 - version 1]

Algebraic approach for dependable logic control systems design Roussel J.-M., Faure J.-M., Lesage J.-J., Medina A. International Journal of Production Research 42, 14 (2004) pp. 2859-2876 [hal-00344923 - version 1]

Description formats of tool trajectory suited to High-Speed Machining Affouard A., Tournier C., Lavernhe S., Lartigue C. International Conference on High Speed Machining, China (2004) [hal-00577227 - version 1]

SIZING, CYCLE TIME AND PLANT CONTROL USING DIOID ALGEBRA Amari S., Demongodin I., Jacques Loiseau J. In SIZING, CYCLE TIME AND PLANT CONTROL USING DIOID ALGEBRA (2004) 71-85 [hal-00362950 - version 1]

Model of mechanism behavior for verification of PLC programs Machado J. J.B., Denis B., Lesage J.-J., Faure J.-M., Ferreira Da Silva J. C. L. In Proc. of 17th International Congress of Mechanical Engineering (COBEM'03) - 17th International Congress of Mechanical Engineering (COBEM'03), Brazil (2003) [hal-00424034 - version 1]

Supporting the changeability of SIPN-based logic control algorithms by verification and validation Klein S., Frey G., Lesage J.-J., Litz L. In Proc. of IMACS-IEEE int. conf. on Computational Engineering in Systems Applications - IMACS-IEEE int. conf. on Computational Engineering in Systems Applications (CESA'03), France (2003) [hal-00425210 - version 1]

Elaboration of invariant safety properties from fault-tree analysis Henry S., Faure J.-M. In Proceedings of the IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications" - IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications", France (2003) [hal-00361624 - version 1]