Tropical abstractions of MAX-plus linear systems

DOI10.1007/978-3-030-00151-3_16OpenAlexW2963977175MaRDI QIDQ1631239

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Publication date: 6 December 2018

Full work available at URL: https://arxiv.org/abs/1806.04604

zbMATH Keywords

reachabilityabstractiontropical algebradefinite formdifference-bound matrixMPL system

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Computation of the transient in max-plus linear systems via SMT-solving

This page was built for publication: Tropical abstractions of MAX-plus linear systems