Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a class of continuous-space, discrete-event models defined over the max-plus algebra. Given the…