Backward reachability of autonomous max-plus-linear systems


Reference:
D. Adzkiya, B. De Schutter, and A. Abate, "Backward reachability of autonomous max-plus-linear systems," Proceedings of the 12th IFAC/IEEE Workshop on Discrete Event Systems, Cachan, France, pp. 117-122, May 2014.

Abstract:
This work discusses the backward reachability of autonomous Max-Plus-Linear (MPL) systems, a class of continuous-space discrete-event models that are relevant for applications dealing with synchronization and scheduling. Given an MPL system and a continuous set of final states, we characterize and compute its "backward reach tube" and "backward reach sets," namely the set of states that can reach the final set within a given event interval or at a fixed event step, respectively. We show that, in both cases, the computation can be done exactly via manipulations of difference-bound matrices. Furthermore, we illustrate the application of the backward reachability computations over safety and transient analysis of MPL systems.


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


Bibtex entry:

@inproceedings{AdzDeS:14-028,
        author={D. Adzkiya and B. {D}e Schutter and A. Abate},
        title={Backward reachability of autonomous max-plus-linear systems},
        booktitle={Proceedings of the 12th IFAC/IEEE Workshop on Discrete Event Systems},
        address={Cachan, France},
        pages={117--122},
        month=may,
        year={2014},
        doi={10.3182/20140514-3-FR-4046.00056}
        }



Go to the publications overview page.


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