Computational techniques for reachability analysis of max-plus-linear systems

D. Adzkiya, B. De Schutter, and A. Abate, "Computational techniques for reachability analysis of max-plus-linear systems," Automatica, vol. 53, pp. 293-302, Mar. 2015.

This work discusses a computational approach to reachability analysis of Max-Plus-Linear (MPL) systems, a class of discrete-event systems widely used in synchronization and scheduling applications. Given a set of initial states, we characterize and compute its "reach tube," namely the collection of set of reachable states (regarded step-wise as "reach sets"). By an alternative characterization of the MPL dynamics, we show that the exact computation of the reach sets can be performed quickly and compactly by manipulations of difference-bound matrices, and further derive worst-case bounds on the complexity of these operations. The approach is also extended to backward reachability analysis. The concepts and results are elucidated by a running example, and we further illustrate the performance of the approach by a numerical benchmark: the technique comfortably handles twenty-dimensional MPL systems (i.e. with twenty continuous state variables), and as such it outperforms the state-of-the-art alternative approaches in the literature.

 * Online version of the paper
 * Corresponding technical report: pdf file (330 KB)
      Note: More information on the pdf file format mentioned above can be found here.

Bibtex entry:

        author={D. Adzkiya and B. {D}e Schutter and A. Abate},
        title={Computational techniques for reachability analysis of max-plus-linear systems},

Go to the publications overview page.

This page is maintained by Bart De Schutter. Last update: July 2, 2018.