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…