TY - GEN
T1 - Backward reachability of autonomous Max-Plus-Linear systems
AU - Adzkiya, Dieky
AU - De Schutter, Bart
AU - Abate, Alessandro
N1 - Publisher Copyright:
© IFAC.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
KW - Backward reach tube
KW - Backward reachability analysis
KW - Difference-bound matrices
KW - Max-plus-linear systems
KW - Piecewise affine systems
KW - Safety and transient analysis
UR - http://www.scopus.com/inward/record.url?scp=84945919529&partnerID=8YFLogxK
U2 - 10.3182/20140514-3-FR-4046.00056
DO - 10.3182/20140514-3-FR-4046.00056
M3 - Conference contribution
AN - SCOPUS:84945919529
SN - 9783902823618
T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)
SP - 117
EP - 122
BT - IFAC Proceedings Volumes (IFAC-PapersOnline)
A2 - Lesage, Jean-Jacques
A2 - Faure, Jean-Marc
A2 - Cury, José E. Ribeiro
A2 - Lennartson, Bengt
PB - IFAC Secretariat
T2 - 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104
Y2 - 14 May 2014 through 16 May 2014
ER -