Title :

On the Set-Estimation of Uncertain Max-Plus Linear Systems

Author(s) :

Espindola-Winck, Guilherme [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Hardouin, Laurent [Auteur]
Laboratoire Angevin de Recherche en Ingénierie des Systèmes [LARIS]
Lhommeau, Mehdi [Auteur]
Laboratoire Angevin de Recherche en Ingénierie des Systèmes [LARIS]

Journal title :

Automatica

Publisher :

Elsevier

Publication date :

2025-01

ISSN :

0005-1098

English keyword(s) :

Discrete Event Systems Max-Plus Algebra Set-Membership State-Estimation Conditional Reach Sets Difference-Bound Matrices Max-plus Polyhedra
Discrete Event Systems
Max-Plus Algebra
Set-Membership State-Estimation
Conditional Reach Sets
Difference-Bound Matrices
Max-plus Polyhedra

HAL domain(s) :

Mathématiques [math]
Informatique [cs]

English abstract : [en]

The paper focuses on the set-estimation for uncertain Max-Plus Linear systems, with bounded random parameters. This estimation process involves determining the conditional reach set, which is a compact set of all possible ...
Show more >The paper focuses on the set-estimation for uncertain Max-Plus Linear systems, with bounded random parameters. This estimation process involves determining the conditional reach set, which is a compact set of all possible states that can be reached from a previous set through the transition model (dynamics) and can lead to the observed measurements through the observation model. In the context of Bayesian estimation theory, this set represents the support of the posterior probability density function of the system's state. We compare two approaches, a disjunctive approach, presented in literature, and a concise approach, presented as a contribution of this paper, to exactly compute this set. Even if both approaches are with an exponential theoretical complexity, it is shown that the concise approach is more efficient.Show less >

Language :

Anglais

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Submission date :

2024-09-21T02:03:25Z