Computation of the transient in max-plus linear systems via SMT-solving
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 behav...
Main Authors: | Abate, A, Cimatti, A, Micheli, A, Mufid, MS |
---|---|
Format: | Conference item |
Language: | English |
Published: |
Springer Nature
2020
|
Similar Items
-
SMT-based model checking of max-plus linear systems
by: Mufid, MSU, et al.
Published: (2021) -
Tropical abstractions of max-plus linear systems
by: Mufid, MS, et al.
Published: (2018) -
Abstractions and formal verification of max-plus linear systems
by: Syifaul Mufid, M
Published: (2021) -
Polynomial and Pseudopolynomial Procedures for Solving Interval Two-Sided (Max, Plus)-Linear Systems
by: Helena Myšková, et al.
Published: (2021-11-01) -
Sistem linear max-plus waktu-invariant
by: , RUDHITO, M. Andy, et al.
Published: (2003)