Data processing tools to handle periodic series in dioid
Link for an overview about idempotent semiring theory and usefull links.
proposed algorithms in order
to compute the sum, the product and the star of the periodic series
in dioid (e.g. in dioid Zmax of Gamma, see the book entitled SYNCHRONIZATION AND LINEARITY for the original construction). We propose algorithms computing the inf and the
residuation of these same series.
The library is developed in C++
Download C++ sources and examples:
You can start from a cpp file from the example folder.
Download Scicoslab package :
We propose also an interface in order to use the Scicoslab Software.
This Scicoslab contribution is supplementary of the max plus toolbox developed by
Inria MaxPlus Working Group. (see
Max plus Contribution
or ScicosLab :
In order to run with the INRIA Maxplus toolbox, the function star is renamed stargd( ).
Operators + (oplus), * (otimes), ^ (inf), \ (left residuation) , / (right residuation) are overloaded.
For ScicosLab : : minmaxgd1.1.tar.gz or minmaxgd1.1.zip . (Deflate in contrib directory of Scicoslab, version tested for a distribution linux debian and windows 7, must be compiled for all other distributions, if you meet some problems, contact us, we will compile it to you)
Additional samples may be found here :
R12, R14, I14, among others.
Additional tools :An interface with software Romeo (Petri net software Tool) can be downloaded here : RomeoToMinmaxgd .
Technical Note : Algorithms implemented in minmaxgd and some complexity comments MinMaxgd, A Toolbox to Handle Periodic Series in Semiring Minmax[[gamma,delta]] ..
if you wish to be informed of the updates, you can
be recorded by
|Comments : All comments are welcome. Send them to L. Hardouin or to M. Lhommeau .|
|Authors : This work is due to : B. Gruet, B. Cottenceau , M. Lhommeau and L. Hardouin.|
|Last modification : 2015, May 19th|