Academia.eduAcademia.edu

Outline

Container of (min, +)-linear systems

2014, Discrete Event Dynamic Systems

https://doi.org/10.1007/S10626-012-0148-9

Abstract

This report introduces a toolbox called ContainerMinMaxGD which handles some "container" of ultimately pseudo-periodic functions representing (min,+)-linear systems. This toolbox is a set of C++ classes where the main operations of these systems -ie. the sum, the convolution and the subadditive closure (also called the Kleene star operator) -are computed thanks to efficient algorithms of linear and quasi-linear complexity.

References (5)

  1. Baccelli et al., 1992] Baccelli, F., Cohen, G., Olsder, G.J.. et Quadrat, J.-P.. (1992). Synchronisation and linearity: an algebra for discrete event systems. Wiley and sons.
  2. Cottenceau et al., 2006] Cottenceau, B., Hardouin, L. et Lhommeau, M. (1998- 2006). MinMaxGD, une librairie de calculs dans M ax in γ, δ . Rapport technique. http://www.istia.univ-angers.fr/~hardouin/.
  3. Cottenceau et al., 2000] Cottenceau, B., Lhommeau, M., Hardouin, L. et Boimond, J.-L. (2000). Data Processing Tool for Calculation in Dioid. In 5th International Work- shop on Discrete Event Systems, WODES'00. http://www.istia.univ-angers.fr/ ~hardouin/.
  4. Heidergott et al., 2006] Heidergott, B., Olsder, G.J.. et van der Woude, J. (2006). Max plus at work, modeling and analysis of synchronized systems: a course on max-plus algebra and its applications. Princeton University Press.
  5. Le Boudec et Thiran, 2001] Le Boudec, J. et Thiran, P. (2001). Network calculus: a theory of deterministic queuing systems for the internet. Springer. http://ica1www. epfl.ch/PS_files/netCalBookv4.pdf.