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.
Publisher page
Downloads
BibTeX
@inproceedings{AdzDeS:14-028,
author = {Adzkiya, Dieky and De Schutter, Bart and Abate, Alessandro},
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}
}