Data processing tools to handle periodic series in dioid

Link for an overview about idempotent semiring theory and usefull links.

  Stéphane Gaubert 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++ language.

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 . (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)

  Samples :

Additional samples may be found here : see publications 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]] ..

  Updates : if you wish to be informed of the updates, you can be recorded by electronic mail .


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