hal-02527877
https://hal.univ-angers.fr/hal-02527877
doi:10.1016/j.automatica.2017.11.030
[UNIV-ANGERS] Université d'Angers
[LARIS] Laboratoire Angevin de Recherche en Ingénierie des Systèmes
[LARIS-SDO] LARIS - Systèmes Dynamiques et Optimisation
Conditional reachability of uncertain Max Plus Linear systems
Ferreira Cândido, Renato Markele
Hardouin, Laurent
Lhommeau, Mehdi
Santos-Mendes, Rafael
[SPI] Engineering Sciences [physics]
ART
Conditional reachability
Difference-Bound matrices
interval analysis
Max-Plus Linear systems
Piece-wise affine systems
Reachability
The reachability analysis problem of Max Plus Linear (MPL) systems has been properly solved using the Difference-Bound Matrices approach. In this work, the same approach is considered in order to solve the reachability analysis problem of MPL systems subjected to bounded noise, disturbances and/or modeling errors, called uncertain MPL (uMPL) systems. Moreover, using the results on the reachability analysis of uMPL systems, we solve the conditional reachability problem, herein defined as the support calculation of the probability density function involved in the stochastic filtering problem.
2018
en
Automatica
Elsevier