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

Muhammadun Muhammadun (Institut Teknologi Sepuluh Nopember)
Dieky Adzkiya (Institut Teknologi Sepuluh Nopember)
Imam Mukhlash (Institut Teknologi Sepuluh Nopember)

International Journal of Computing Science and Applied Mathematics-IJCSAM
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.