Publications

Affichage de 4491 à 4500 sur 5570


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

  • Rapport

Déploiement des concepts de la Coopération Homme-Machine dans l’inspection filtrage aéroportuaire

Igor Crevits, Frédéric Vanderhaegen

[Rapport de recherche] LAMIH, Valenciennes; CHM. 2013. ⟨hal-03467548⟩

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

  • Article dans une revue

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this…

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩

  • Communication dans un congrès

Sociotechnical systems resilience : a dissonance engineering point of view

Jean-René Ruault, Frédéric Vanderhaegen, Christophe Kolski

Resilience deals with the capacity to adjust itself face disturbing events, to cope with unforeseeable conditions. Resilience is based upon the dynamic process of "visual piloting". The gap between the specified task and the done activity generates dissonance between beliefs and…

12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2013, Las Vegas, United States. pp.149-156, ⟨10.3182/20130811-5-US-2037.00042⟩. ⟨hal-03384711⟩