Object Oriented Design of Software Tool for Finite Abstractions of Max-Plus-Linear Systems using Unified Modeling Language

Muhammadun Muhammadun (Department of Mathematics, Institut Teknologi Sepuluh Nopember, Surabaya 60111, Indonesia.)
Dieky Adzkiya (Department of Mathematics, Institut Teknologi Sepuluh Nopember, Surabaya 60111, Indonesia.)
Imam Mukhlash (Department of Mathematics, Institut Teknologi Sepuluh Nopember, Surabaya 60111, Indonesia.)

International Journal of Computing Science and Applied Mathematics
Vol 3, No 1 (2017)

Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. There is a formal approach to analyze these systems based on finite abstractions. The abstraction algorithms have been in MATLAB using list data structure and in JAVA using tree data structure. The MATLAB implementation requires long computational time, whereas the JAVA one requires larger memory allocation. In this work, we discuss an object oriented design in C++ using tree data structure without recursive functions in the hope of improving the results obtained by the two previous implementations.