Conditional reachability of uncertain Max Plus Linear systems

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 m...

Full description

Saved in:
Bibliographic Details
Published in:Automatica (Oxford) 2018-08, Vol.94, p.426-435
Main Authors: Cândido, Renato Markele Ferreira, Hardouin, Laurent, Lhommeau, Mehdi, Santos Mendes, Rafael
Format: Article
Language:English
Subjects:
Conditional reachability
Difference-Bound matrices
Engineering Sciences
Interval analysis
Max-Plus Linear systems
Piece-wise affine systems
Reachability
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2017.11.030