Publications

Affichage de 4551 à 4560 sur 5639


  • Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

  • Article dans une revue

Évaluation de requêtes mobiles basée sur une infrastructure de services

Marie Thilliez, Mikael Desertot

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, Numéro Spécial "Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données", 18 (1), pp.107-123. ⟨hal-03517866⟩

  • Communication dans un congrès

Holonic recursiveness with multi-agent system technologies

Sonia Suárez, Paulo Leitão, Emmanuel Adam

Recursive Systems are often needed or recommended for automatically deploy or build a software system composed of multiple entities on a large network, or on distributed locations, without a central control. We use the recursive definitions proposed in holonic systems, as the recursiveness is an…

11th International Conference on Practical Applications of Agents and multi-Agents systems, May 2013, Salamanque, Spain. pp.103-111, 978-3-319-00562-1, ⟨10.1007/978-3-319-00563-8_13⟩. ⟨hal-03472711⟩

  • Communication dans un congrès

Alternative Action Plan Generator (A2PG) for elaboration an anticipated feedback

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

This paper proposes an original Alternative Action Plan Generator – A2PG, which predicts possible alternatives of the human action plans in which the human operators do not respect the safety rules. These alternatives build an anticipated feedback. Five parameters characterize A2PG. The creation of…

12th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2013, Las Vegas, Nevada, United States. pp.296-303, ⟨10.3182/20130811-5-US-2037.00069⟩. ⟨hal-03612502⟩

  • Ouvrages

Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données

Florence Sèdes, Thierry Delot

Sèdes, Florence; Delot, Thierry. Hermès Science, Numéro spécial (18 : 1), 2013, Ingénierie des Systèmes d'Information (ISI), ISSN 1633-1311. ⟨hal-03761353⟩

  • Chapitre d'ouvrage

Context-Aware MDA Approach for Content Personalization in User Interface Development

Káthia Marçal de Oliveira, Firas Bacha, Mourad Abed

Progressions and Innovations in Model-Driven Software Engineering, pp.88-105, 2013. ⟨hal-03379056⟩

  • Chapitre d'ouvrage

Estimation of Road Adhesion Coefficient Using Higher-Order Sliding Mode Observer for Torsional Tyre Model

Jagat Jyoti Rath, Kalyana Chakravarthy Veluvolu, D. Zhang, Q. Zhang, Michael Defoort

The estimation of friction coefficient for a vehicle when it traverses on different surfaces has been an important issue. In this paper, a super-twisting algorithm based sliding mode observer is proposed to estimate the road adhesion coefficient, treated as an unknown input in the dynamics of a…

Intelligent Robotics and Applications, 8103, Springer Berlin Heidelberg, pp.202-213, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-40849-6_18⟩. ⟨hal-03621911⟩