Publicaciones

Tipo de Documento

Palabras clave

Autor

De

Au

Affichage de 1161 à 1170 sur 5527

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⟩

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⟩

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

Communication dans un congrès

Ethical Behaviour Aspects of Autonomous Intelligent Cyber-Physical Systems

Damien Trentesaux, Stamatis Karnouskos

Industry 4.0 fosters the development of more autonomousand intelligent cyber-physical systems that interact with humans in openenvironments. While the technical aspects are heavily researched, thesame does not hold for the accompanying ethical issues that are relevantfor the design, development,...

SOHOMA 2020: Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, Oct 2020, Paris, France. pp.55-71, ⟨10.1007/978-3-030-27477-1_5⟩. ⟨hal-03406129⟩