Computational techniques for reachability analysis of Max-Plus-Linear systems
Keywords: Max-Plus-Linear systems; Forward and backward reachability analysis; Reach tube and reach set; Piecewise affine systems; Difference-bound matrices;