2 papers
cs.FL2023
Formal Analysis and Verification of Max-Plus Linear Systems
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate +1
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in transportation networks, manufacturing and biological systems. In this paper, we investigate…
math.RA2023
Solving Linear Equations Over Maxmin- Systems
Muhammad Syifa'ul Mufid, Ebrahim Patel, Sergei Sergeev
Maxmin- dynamical systems were previously introduced as an ``all-in-one package'' that can yield a solely min-plus, a solely max-plus, or a max-min-plus dynamical system by vary…