Publicaciones

Affichage de 1161 à 1170 sur 5525

ART

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⟩

COMM

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⟩

COMM

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⟩

ART

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⟩

COMM

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⟩

ART

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⟩

COMM

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⟩

COUV

Human-Machine Cooperation for the Distributed Control of a Hybrid Control Architecture

Yenny Paredes-Astudillo, José-Fernando Jimenez Gordillo, Gabriel Zambrano Rey, Damien Trentesaux

The fourth industrial revolution features smart and connected technologies that improve significantly business operations. Certainly, there is an increase of efficiency and productivity of smart factories due to the implementation of these innovative technologies. Nevertheless, this new industrial...

Borangiu; Trentesaux; Leitão; Giret; Botti. Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 853, Springer International Publishing, pp.98-110, 2020, Studies in Computational Intelligence, 978-3-030-27477-1. ⟨10.1007/978-3-030-27477-1_8⟩. ⟨hal-03406721⟩

ART

Behavior of the square-back Ahmed body global modes at low ground clearance

Baptiste Plumejeau, Laurent Keirsbulck, Sebastien Delprat, Marc Lippert, Wafik Abassi

The present work aims to study the evolution of the wake-flow dynamic, including the shear-layers interactions phenomena and the global modes behavior of a square-back Ahmed body with a width to height aspect ratio, w/h, of 1.346. Various ground-clearance configurations around the critical case...

Physical Review Fluids, 2020, 5 (8), ⟨10.1103/PhysRevFluids.5.084701⟩. ⟨hal-03342285⟩