Publicaciones

Affichage de 4841 à 4850 sur 5563


  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables

Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo

2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩

  • Communication dans un congrès

Higher order sliding modes in robotics

Michael Defoort, Thierry Floquet, Annemarie Kökösy, Wilfrid Perruquetti

International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. ⟨hal-00731066⟩

  • Communication dans un congrès

Human factors in studies of the safety and reliability of agro-equipment

Wided Ben Yahia, Philippe Polet, Frédéric Vanderhaegen, N. Tricot

This paper aims to show the importance of taking into account human factors in risk analysis. Safety analysis methods identify system failures and dangers, thus allowing risk to be analyzed. However, although erroneous human behaviour can affect the Human-Machine System (HMS), studies using safety...

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.6. ⟨hal-02594644⟩