Titre :

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

Auteur(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]

Titre de la revue :

Automatica

Éditeur :

Elsevier

Date de publication :

2025-01

ISSN :

0005-1098

Mot(s)-clé(s) en anglais :

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

Discipline(s) HAL :

Mathématiques [math]
Informatique [cs]

Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Vulgarisation :

Non

Collections :

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

Source :

Harvested from HAL

Date de dépôt :

2024-09-21T02:03:25Z