7 papers
On the maxmin- eigenspaces and their over-approximation by zones
Muhammad Syifa'ul Mufid, Ebrahim Patel, Sergei Sergeev
Maxmin- dynamical systems were previously introduced as a generalization of dynamical systems expressed by tropical linear algebra. To describe steady states of such systems one…
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…
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…
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…
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
Alessandro Abate, Alessandro Cimatti, Andrea Micheli +1
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…
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
This paper introduces the abstraction of max-plus linear (MPL) systems via predicates. Predicates are automatically selected from system matrix, as well as from the specifications…
Tropical Abstractions of Max-Plus-Linear Systems
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessndro Abate
This paper describes the development of finite abstractions of Max-Plus-Linear (MPL) systems using tropical operations. The idea of tropical abstraction is inspired by the fact tha…