Publications

Affichage de 4861 à 4870 sur 5570


  • Article dans une revue

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions…

Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩

  • 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⟩

  • 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⟩

  • Ouvrages

Stability analysis and nonlinear observer design using Takagi-Sugeno fuzzy models

Zsofia Lendek, Thierry-Marie Guerra, Robert Babuska, Bart de Schutter

2010, ⟨10.1007/978-3-642-16776-8⟩. ⟨hal-02446398⟩