Publications

Type of document

Keywords

Author

Of

At

Affichage de 701 à 710 sur 1985

Article dans une revue

Simultaneous Estimation of State and Unknown Input with Hinfinity Guarantee on Error-Bounds for Fuzzy Descriptor Systems

Tran Anh-Tu Nguyen, Thierry-Marie Guerra, Victor Campos

This paper proposes a new l_infty observer design for fuzzy descriptor systems with unknown inputs. The descriptor form is treated using a singular redundancy system representation. To keep the consistency of the resulting fuzzy observer structure, we make use of a virtual variable playing the role…

IEEE Control Systems Letters, 2019, 3 (4), pp.1020-1025. ⟨10.1109/LCSYS.2019.2920768⟩. ⟨hal-03480286⟩

Article dans une revue

Artificial intelligence for forecasting in supply chain management: a case study of White Sugar consumption rate in Thailand

Anirut Kantasa-Ard, Abdelghani Bekrar, Abdessamad Ait El Cadi, Yves Sallez

This paper proposes an appropriate model to forecast the trend of white sugar consumption rate in Thailand due to the fluctuation of consumption rate nowadays. This paper will focus on two main forecasting model types, which are the regression models and neural network models. Moreover, the…

IFAC-PapersOnLine, 2019, 52 (13), pp.725-730. ⟨10.1016/j.ifacol.2019.11.201⟩. ⟨hal-03675865⟩

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⟩

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⟩

Article dans une revue

Data-Efficient Reinforcement Learning for Energy Optimization Under Human Fatigue Constraints of Power-Assisted Wheelchairs

Guoxi Feng, Lucian Buşoniu, Thierry-Marie Guerra, Sami Mohammad

The objective of this paper is to develop a method for assisting users to push Power-Assisted Wheelchairs (PAW) in such a way that the electrical energy consumption over a predefined distance-to-go is optimal, while at the same time bringing users to a desired fatigue level. This assistive task is…

IEEE Transactions on Industrial Electronics, 2019, 66 (12), pp.9734-9744. ⟨10.1109/TIE.2019.2903751⟩. ⟨hal-03468370⟩

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

Unsteady behavior in forced ow over a backward-facing step

Camila Chovet, Marc Lippert, Laurent Keirsbulck, Jean-Marc Foucaut

The unsteady behavior of a turbulent ow over a backward-facing step was investigated under controlled actuation at a Re h = 31500. Initial measurements were made changing the periodic forcing frequency St a from 0.045 to 0.453. The best forcing frequency was observed at a dimensionless frequency of…

Flow, Turbulence and Combustion, 2019, 102 (1), pp.145-165. ⟨10.1007/s10494-018-9944-0⟩. ⟨hal-02877329⟩

Article dans une revue

A rolling horizon approach for the integrated multi-quays berth allocation and crane assignment problem for bulk ports

Issam Krimi, Rachid Benmansour, Abdessamad Ait El Cadi, Laurent Deshayes, David Duvivier, Nizar Elhachemi

In this paper, an efficient rolling horizon-based heuristic is presented to solve the integrated berth allocation and crane assignment problem in bulk ports. We were guided by a real case study of a multi-terminal port, owned by our Moroccan industrial partner, under several restrictions as high…

International Journal of Industrial Engineering Computations, 2019, 10 (4), pp.577-591. ⟨10.5267/j.ijiec.2019.4.003⟩. ⟨hal-03576770⟩

Article dans une revue

Machine Learning in Production Planning and Control: A Review of Empirical Literature

Juan Pablo Usuga Cadavid, Samir Lamouri, Bernard Grabot, Arnaud Fortin

Proper Production Planning and Control (PPC) is capital to have an edge over competitors, reduce costs and respect delivery dates. With regard to PPC, Machine Learning (ML) provides new opportunities to make intelligent decisions based on data. Therefore, this paper provides an initial systematic…

IFAC-PapersOnLine, 2019, 52 (13), pp.385-390. ⟨10.1016/j.ifacol.2019.11.155⟩. ⟨hal-03467620⟩