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:
libminmaxgd27022014.zip or libminmaxgd27022014.tar.gz (the source files are not compiled (folder src), you have to do it, in the tar gz a makefile is given, see in folder examples, if you meet some problems, contact us, we will compile it to you).
You can also find some examples in order to use this C++ library in ExamplesFilesCPP.zip.

We propose also an interface in order to use the Scilab Software.

This Scilab 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.

  Download Scilab package :

For Scilab 4.0 or ScicosLab : : minmaxgd1.1.tar.gz or minmaxgd1.1.zip . (Deflate in contrib directory of Scilab, version tested for a distribution linux debian, must be compiled for all other distributions, if you meet some problems, contact us, we will compile it to you)

For Scilab 5.1 or ScicosLab : minmaxgd1.1.tar.gz or minmaxgd1.2.zip .(Deflate in contrib directory of Scilab, version tested for a distribution linux Ubuntu, 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 .

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 Download.

 
   
  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 : 2013, March 23th