Showing eess.SYShow all
2 papers · 1 filter
eess.SY2020
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…
eess.SY2018
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…