Publicaciones

Tipo de Documento

Palabras clave

Autor

De

Au

Affichage de 1161 à 1170 sur 5528

Chapitre d'ouvrage

Ethique des robots intelligents dans la société humaine : Regards croisés issus du droit, de la science et de la littérature

Damien Trentesaux, Raphaël Rault

Nous nous proposons dans ce chapitre de nous intéresser aux aspects éthiques, et plus particulièrement, au comportement éthique de ces robots intelligents (dans le monde scientifique, un terme en anglais est utilisé, celui de machine ethics). Notre étude est menée dans le cadre d’une analyse à la...

Droit et robots - Droit science-fictionnel et fictions du droit, Presses Universitaires de Valenciennes, pp. 89-128, 2020, 978-2-36424-070-4. ⟨hal-03015138⟩

Communication dans un congrès

How developers believe Invisibility impacts NFRs related to User Interaction

Rainara Maia Carvalho, Rossana Maria de Castro Andrade, Káthia Marçal de Oliveira

The advance of Ubiquitous Computing (UbiComp) and Internet of Things (IoT) brought a new set of Non-Functional Requirements (NFRs), especially related to Human-Computer Interaction (HCI). Invisibility is one of these NFRs, and it refers to either the merging of technology in the user environment or...

2020 IEEE 28th International Requirements Engineering Conference (RE), Aug 2020, Zurich, Switzerland. pp.102-112, ⟨10.1109/RE48521.2020.00022⟩. ⟨hal-03379844⟩

Article dans une revue

Mathematical formulations for the parallel machine scheduling problem with a single server.

Abdelhak El Idrissi, Rachid Benmansour, Mohammed Benbrahim, David Duvivier

This paper addresses the problem of scheduling independent jobs on identical parallel machines with a single server to minimise the makespan. We propose mixed integer programming (MIP) formulations to solve this problem. Each formulation reflects a specific concept on how the decision variables are...

International Journal of Production Research, 2020, 59 (20), pp.6166-6184. ⟨10.1080/00207543.2020.1807637⟩. ⟨hal-03396848⟩

HDR

Human-machine cooperation, Coopération Humain-Machine

Marie-Pierre Pacaux

Over the last centuries, we have experienced scientific, technological and societal progress that has enabled the design of machines with increasing abilities and autonomy. Such an evolution must be attached to real advances for humans as well as for mankind. This requires a conscious distribution..., Au cours des derniers siècles, nous avons connu des progrès scientifiques, technologiques et sociétaux qui ont conduit à la conception de machines dont les capacités croissantes peuvent aujourd’hui les mener à une complète autonomie. Une telle évolution doit cependant conduire à de véritables...

Automatic. Université Polytechnique Hauts-de-France, 2020. ⟨tel-03975267⟩

HDR

HUMAN-MACHINE COOPERATION: Adaptability of shared functions between Humans and Machines - Design and evaluation aspects

Marie-Pierre Pacaux-Lemoine

The objective to obtain the "Habilitation à diriger des recherches" is not a usual way for a French research engineer to pursue a carrier. Nevertheless, the LAMIH gave me the opportunity to conduct research activities in parallel to the engineering activity. Such an organization allowed..., Au cours des derniers siècles, nous avons connu des progrès scientifiques, technologiques et sociétaux qui ont conduit à la conception de machines dont les capacités croissantes peuvent aujourd’hui les mener à une complète autonomie. Une telle évolution doit cependant conduire à de véritables...

Engineering Sciences [physics]. Université Polytechnique Hauts-de-France, 2020. ⟨tel-02959402⟩

Communication dans un congrès

Preemption-Aware Allocation and Deadline Assignment for Conditional DAGs on Partitioned EDF

Houssam Eddine Zahaf, Giuseppe Lipari, Smail Niar

Complex heterogeneous hardware platforms are increasingly used for implementing critical real-time applications like ADAS and autonomous driving. To better support real-time workloads, GPUs have evolved to allow preemption for computationally intensive tasks and for graphical tasks. However in some...

The 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2020, Seoul, South Korea. ⟨10.4230/LIPIcs.Pre⟩. ⟨hal-02077110⟩

Communication dans un congrès

Towards a Method for the Decomposition by Refinement in Event-B

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

Refinement consists of detailing the specification in order to get a more concrete model. However, this technique leads to large models. Hence, model decomposition is used to reduce model complexity. In this paper, we present the main methods of decomposition and their limitations. Then, we define...

Formal Methods. FM 2019 International Workshops, Oct 2019, Porto, Portugal. pp.358-370, ⟨10.1007/978-3-030-54997-8_23⟩. ⟨hal-04662622⟩

Article dans une revue

Leader-following consensus for multi-agent systems with nonlinear dynamics subject to additive bounded disturbances and asynchronously sampled outputs

Tomas Menard, Syed Ali Ajwad, Emmanuel Moulay, Patrick Coirault, Michael Defoort

This paper is concerned with the leader-following consensus problem for a class of Lipschitz nonlinear multi-agent systems with uncertain dynamics, where each agent only transmits its noisy output, at discrete instants and independently from its neighbors. The proposed consensus protocol is based...

Automatica, 2020, 121, pp.109176. ⟨10.1016/j.automatica.2020.109176⟩. ⟨hal-02974230⟩

Communication dans un congrès

Buckling and post-buckling analysis of frame structures using a free-locking beam-SPH model

Thanh Hai Tuan Tran, Jamila Rahmoun, Hakim Naceur, Dinh Son Nguyen

his work deals with the numerical modeling of buckling and post-buckling of thin frame structures using a newly developed Timoshenko beam-SPH model. Modeling of thin flexible structures using the 3D continuum SPH [1] formulation is not convenient, since several particles need to be used through the...

11th International Conference on Computational Methods (ICCM2020), Aug 2020, Ho Chi Minh, Vietnam. ⟨hal-03432855⟩

Article dans une revue

Constrained Output-Feedback Control for Discrete-Time Fuzzy Systems With Local Nonlinear Models Subject to State and Input Constraints

Tran Anh-Tu Nguyen, Pedro Coutinho, Thierry-Marie Guerra, Reinaldo Martinez Palhares, Jun-Tao Pan

This article presents a new approach to design static output-feedback (SOF) controllers for constrained Takagi-Sugeno fuzzy systems with nonlinear consequents. The proposed SOF fuzzy control framework is established via the absolute stability theory with appropriate sector-bounded properties of the...

IEEE Transactions on Cybernetics, 2020, 51 (9), pp.4673-4684. ⟨10.1109/TCYB.2020.3009128⟩. ⟨hal-03424920⟩