This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art techniques, our approach allows the analysis of periodic behaviors for subsets of initial states, as well as the characterization of sets of initial states exhibiting the same specific periodic behavior and transient. Our experiments show that the proposed technique dramatically outperforms state-of-the-art methods based on max-plus algebra computations for systems of large dimensions.
CITATION STYLE
Abate, A., Cimatti, A., Micheli, A., & Mufid, M. S. (2020). Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12288 LNCS, pp. 161–177). Springer. https://doi.org/10.1007/978-3-030-57628-8_10
Mendeley helps you to discover research relevant for your work.