Showing 1–4 of 4 results for author: Hardouin, L

The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++

Authors: Davide Zorzenon, Germano Schafaschek, Dominik Tirpák, Soraia Moradi, Laurent Hardouin, Jörg Raisch

Abstract: This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms have been implemented in the C++ toolbox ETVO ((Event|Time)-Variant Operators). After proving the correctness of the algorithms, we present a user guide for the C++ implementation. This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms have been implemented in the C++ toolbox ETVO ((Event|Time)-Variant Operators). After proving the correctness of the algorithms, we present a user guide for the C++ implementation. △ Less

Submitted 4 May, 2023; v1 submitted 24 March, 2022; originally announced April 2022.

Comments: 26 pages, 2 figures, technical report, fixed wrong result in Section 4.3

Observer Design for (max,plus) Linear System

Authors: L. Hardouin, C. A. Maia, B. Cottenceau, M. Lhommeau

Abstract: This paper deals with the state estimation for max-plus linear systems. This estimation is carried out following the ideas of the observer method for classical linear systems. The system matrices are assumed to be known, and the observation of the input and of the output is used to compute the estimated state. The observer design is based on the residuation theory which is suitable to deal with li… ▽ More This paper deals with the state estimation for max-plus linear systems. This estimation is carried out following the ideas of the observer method for classical linear systems. The system matrices are assumed to be known, and the observation of the input and of the output is used to compute the estimated state. The observer design is based on the residuation theory which is suitable to deal with linear mapping inversion in idempotent semiring. △ Less

Submitted 5 June, 2013; originally announced June 2013.

Journal ref: IEEE Trans. on Automatic Control, vol.55-2, 2010, pp 538-543

Interval systems over idempotent semiring

Authors: Laurent Hardouin, Bertrand Cottenceau, Mehdi Lhommeau, Euriell Le Corronc

Abstract: This paper deals with solution of inequality $\textbf{A}\otimes \textbf{x}\preceq \textbf{b}$, where $\textbf{A}, \textbf{x}$ and $\textbf{b}$ are interval matrices with entries defined over idempotent semiring. It deals also with the computation of a pair of intervals, ($\textbf{x},\textbf{y}$) which satisfies the equation $\textbf{A} \otimes \textbf{x}=\textbf{B}\otimes \textbf{y}$. It will be s… ▽ More This paper deals with solution of inequality $\textbf{A}\otimes \textbf{x}\preceq \textbf{b}$, where $\textbf{A}, \textbf{x}$ and $\textbf{b}$ are interval matrices with entries defined over idempotent semiring. It deals also with the computation of a pair of intervals, ($\textbf{x},\textbf{y}$) which satisfies the equation $\textbf{A} \otimes \textbf{x}=\textbf{B}\otimes \textbf{y}$. It will be shown that this equation may be solved by considering the interval version of the iterative scheme proposed by Cuninighame-Green and Butkovic in 2003. △ Less

Submitted 5 June, 2013; originally announced June 2013.

Journal ref: Linear Algebra and its Applications, vol. 431, number 5-7, p. 855-862, 2009

Duality and interval analysis over idempotent semirings

Authors: T. Brunsch, L. Hardouin, J. Raisch, C. A. Maia

Abstract: In this paper semirings with an idempotent addition are considered. These algebraic structures are endowed with a partial order. This allows to consider residuated maps to solve systems of inequalities $A \otimes X \preceq B$. The purpose of this paper is to consider a dual product, denoted $\odot$, and the dual residuation of matrices, in order to solve the following inequality… ▽ More In this paper semirings with an idempotent addition are considered. These algebraic structures are endowed with a partial order. This allows to consider residuated maps to solve systems of inequalities $A \otimes X \preceq B$. The purpose of this paper is to consider a dual product, denoted $\odot$, and the dual residuation of matrices, in order to solve the following inequality $ A \otimes X \preceq X \preceq B \odot X$. Sufficient conditions ensuring the existence of a non-linear projector in the solution set are proposed. The results are extended to semirings of intervals. △ Less

Submitted 5 June, 2013; originally announced June 2013.

Journal ref: Linear Algebra and its Applications, year 2012, number 437, pages 2436-2454