Comparing Disjunctive and Concise Approaches for Set-Guaranteed Estimation in Max-Plus Linear Systems - Laboratoire Angevin de Recherche en Ingénierie des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Comparing Disjunctive and Concise Approaches for Set-Guaranteed Estimation in Max-Plus Linear Systems

Résumé

This study compares an existing method with a novel approach for state estimation of Max-Plus Linear systems with bounded uncertainties. Traditional stochastic filtering does not apply to this system class, despite computable posterior probability density function (PDF) support. Existing literature suggests a limited scalability disjunctive approach using difference-bound matrices. To overcome this, we study an alternative method recently investigated in Mufid et al. (2022) using Satisfiability Modulo Theory (SMT) techniques, which are known to be NP-hard. We propose a concise method that utilizes a pseudo-polynomial time algorithm using max-plus algebra. We evaluate its efficiency against SMT techniques through numerical experiments involving sparse matrix multiplications for enhanced computational speed.
Fichier principal
Vignette du fichier
paperWodes.pdf (802.53 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04653065 , version 1 (18-07-2024)

Licence

Identifiants

Citer

Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau. Comparing Disjunctive and Concise Approaches for Set-Guaranteed Estimation in Max-Plus Linear Systems. 17th IFAC Workshop on discrete Event Systems WODES 2024, Apr 2024, Rio de Janeiro, Brazil. pp.36-41, ⟨10.1016/j.ifacol.2024.07.007⟩. ⟨hal-04653065⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More