FrançaisEnglishEspañol

accès directs

Annuaire
Espace numérique de travail
Laboratoires de recherche

Publications

Affichage de 1741 à 1750 sur 5541

  • Article dans une revue

A comparative Study of Sorting Algorithms with FPGA Acceleration by High Level Synthesis

Yomna Ben Jmaa Chtourou, Ahmed Ben Atitallah, David Duvivier, Maher Ben Jemaa

Nowadays, sorting is an important operation for several real-time embedded applications. It is one of the most commonly studied problems in computer science. It can be considered as an advantage for some applications such as avionic systems and decision support systems because these applications…

Computación y sistemas, 2019, 23 (1), pp.213-230. ⟨10.13053/cys-23-1-2999⟩. ⟨hal-03479553⟩

  • Article dans une revue

Model free active flow control of a simplified car model

Baptiste Plumejeau, Sebastien Delprat, Laurent Keirsbulck

A model free control (MFC) approach is presented and used to symmetrize the unstable wake flow of a simplified car model named Ahmed body. Such unstable phenomena with regards to the space-time evolution of the low pressure wake vortex core, is known to increase the global drag of square back…

IFAC-PapersOnLine, 2019, 52 (5), pp.115-120. ⟨10.1016/j.ifacol.2019.09.019⟩. ⟨hal-03679783⟩

  • Article dans une revue

State estimation of rotary inverted pendulum using HOSM observers: Experimental results

F. A. Haouari, Quoc Viet Dang, J. y Jun, Mohamed Djemai, Brahim Cherki

This paper presents the observer design for the state estimation of the rotary inverted pendulum (RIP) system. A Takagi-Sugeno (T-S) fuzzy descriptor ap- proach is used for modeling the nonlinear dynamic system. Two higher-order sliding mode (HOSM) observers, based on the super-twisting algorithm,…

Nonlinear Dynamics and Systems Theory, 2019, 19 (3), pp.405-415. ⟨hal-03677981⟩

  • Article dans une revue

Horizontal collaborative transport: survey of solutions and practical implementation issues

Shenle Pan, Damien Trentesaux, Eric Ballot, George Q. Huang

Horizontal collaboration has been considered as effective practice for sustainable logistics and freight transport and it has gained increased attention in recent years. This paper aims to provide a survey of the development of horizontal collaborative transport (HCT) over the past ten years, to…

International Journal of Production Research, 2019, 57 (15-16), pp.5340-5361. ⟨10.1080/00207543.2019.1574040⟩. ⟨hal-02008934⟩

  • Communication dans un congrès

On the Eco-driving Trajectory for Tramway System

Simon Enjalbert, Yassine Boukal

In this work, the problem of reduction of energy consumption based on calculated speed, called eco-driving trajectory for tramway system is investigated, where some constraints on the states, control input and travel time are considered. Thanks to the operating speed range of the tramway, the non-…

14th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems HMS 2019, Sep 2019, Tallinn, Estonia. pp.115-120, ⟨10.1016/j.ifacol.2019.12.121⟩. ⟨hal-03519034⟩

  • Communication dans un congrès

Optimization of Maintenance Planning and Routing Problems

Lamiaa Dahite, Abdeslam Kadrani, Rachid Benmansour, Rym Nesrine Guibadj, Cyril Fonlupt

This paper addresses a problem that maintenance service providers often face: determining the best routing-maintenance policy for all technicians and machines. It consists of defining for each technician the sequence of the maintenance operations to perform so that the total expected costs are…

ICVNS 2019 - 7th International Conference on Variable Neighborhood Search, Oct 2019, Rabat, Morocco. pp.95-111, ⟨10.1007/978-3-030-44932-2_7⟩. ⟨hal-03573450⟩

  • Communication dans un congrès

Practical approach of input delay nonlinear systems: Application to spinal cord injury sitting stability

Thierry-Marie Guerra, Mathias Blandeau, Tran Anh-Tu Nguyen, J. Pan

This paper is concerned with the design of an application-oriented control law for a biomechanical model of people living with spinal cord injury sitting stability. A major difficulty is to stabilize the resulting open-loop unstable nonlinear system with a delayed control input. A solution is…

5th IFAC Conference on Intelligent Control and Automation Sciences ICONS 2019, Aug 2019, Belfast, United Kingdom. pp.67-72, ⟨10.1016/j.ifacol.2019.10.001⟩. ⟨hal-03455470⟩

  • Article dans une revue

On Challenges in Engineering IoT Software Systems

Rebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos

Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into question our traditional form of developing software. They are a promising paradigm for the…

Journal of Software Engineering Research and Development, 2019, 7, pp.5. ⟨10.5753/jserd.2019.15⟩. ⟨hal-03400380⟩

  • Article dans une revue

Application Source Code Modification for Processor Architecture Lifetime Improvement

Montassir Bensaada, Ahmed Jedidi, Smail Niar, Mohamed Abid

In the optimal functioning of SoCs, two significant metrics of quality are the most important; lifetime and reliability. The context of this paper focuses on methods to increase the lifetime of a processor. Two methods are presented: relax point injection (RPI) and code structure adaptation (CSA).…

International Journal of Embedded Systems, 2019, 11 (2), pp.125 - 138. ⟨10.1504/IJES.2019.098289⟩. ⟨hal-03479566⟩

  • Article dans une revue

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

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

The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requires some knowledge on mathematical logic and set…

Journal of Communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩