Abstract
A large class of timed discrete event systems can be modeled by means of (max,+) automata, that is automata with weights in the so-called (max,+) algebra. In this contribution, specific recursive equations over (max,+) and (min,+) algebras are shown to be suitable for describing extremal behaviors of (max,+) automata. Several pertinent performance indicators can be easily derived or approximated from these representations with a low computation complexity. It is also shown how to define inputs which model exogenous influences on their dynamic evolution, and a new approach for the control of (max,+) automata is proposed.
Similar content being viewed by others
Notes
Beyond the scope of discrete event systems, there are important applications for image and speech processing, and more generally, weighted automata constitute a theoretical object which is extensively studied (see (Droste and Kuich 2009) for an overview).
As usual, we will often omit the multiplication sign ⊗, that is for example we write AB instead of A ⊗ B.
It must be noted that there exist automata in which |Q| < |H|, as well as others in which |Q| > |H|, and the comparison between methods complexity may then lead to contradictory conclusions.
The result is actually stated for a subclass of systems (see discussion in Section 3.4) with direct extension to any (max,+) automaton.
Note that, unlike (boolean) finite automata, nondeterministic (max,+) automata cannot always be determinized, that is transformed into equivalent deterministic (max,+) automata (see e.g. (Gaubert 1995; Lombardy and Sakarovitch 2006)). Despite the fact that it was studied by numerous researchers, this problem is still rather open, and to the best of our knowledge, strongly unambiguous (max,+) automata don’t satisfy necessarily conditions which are known in the literature to be sufficient for determinization.
At most one token can be in a place at any time.
At most a bounded number of tokens can be in a place at any time.
The case of unobservable events should be considered in future work.
Please note that the complexity of this procedure remains to be shown.
References
Amari S, Demongodin I, Loiseau J-J, Martinez C (2012) Max-plus control design for temporal constraints meeting in timed event graphs. IEEE Trans Autom Control 57(8)
Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity. Wiley, New York
Badouel E, Bouillard A, Darondeau P, Komenda J ( 2011) Residuation of tropical series: rationality issues. In: Joint 50th IEEE conference on decision and control and European control conference (CDC-ECC’11), Orlando, pp 3855–3861
Béal M-P, Czeizler E, Kari J, Perrin D (2008) Unambiguous automata. Math Comput Sci 1(4):625–638
Bernardi S, Campos J (2009) Computation of performance bounds for real-time systems using time petri nets. IEEE Trans Ind Inform 5(2):168–180
Boukra R, Lahaye S, Boimond J-L (2012) New representations for (max,+) automata with applications to the performance evaluation of discrete event systems. In: 11th international workshop on discrete event systems (WODES 2012). Guadalajara, Mexico
Butkovic P, Cuninghame-Green RA, Gaubert S (2010) Reducible spectral theory with applications to the robustness of matrices in max-algebra. SIAM J Matrix Anal Appl 31(3):1412–1431
Cochet-Terrasson J, Gaubert S, Cohen G, Mc Gettrick M, Quadrat J-P (1998) Numerical computation of spectral elements in max-plus algebra. In: IFAC conference system structure and control. Nantes, pp 667–674,
De Schutter B, van den Boom TJJ (2001) Model predictive control for max-plus-linear discrete event systems. Automatica 37(7):1049–1056
Droste M, Kuich W (2009) In: Vogler, H(eds) Handbook of weighted automata. Springer
Gaubert S (1995) Performance evaluation of (max,+) automata. IEEE Trans Autom Control 40(12):2014–2025
Gaubert S, Mairesse J (1999a) Asymptotic analysis of heaps of pieces and application to timed petri nets. In: Proceedings of the 8th international workshop on petri nets and performance models, Zaragoza, pp 158–169
Gaubert S, Mairesse J (1999b) Modeling and analysis of timed petri nets using heaps of pieces. IEEE Trans Autom Control 44(4):683–698
Heidergott B, Olsder GJ, van der Woude J (2006) Max plus at work. Princeton University Press, Princeton
Houssin L (2011) Cyclic jobshop problem and (max,plus) algebra. In: 18th IFAC world congress, Milan, pp 2717–2721
Kirsten D, Lombardy S (2009) Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata. In: Symposium on theoretical aspects of computer science, pp 589–600
Klimann I, Lombardy S, Mairesse J, Prieur C (2004) Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. Theor Comput Sci 327:349–373
Komenda J, Lahaye S, Boimond J-L (2009) Supervisory control of (max, +) automata: a behavioral approach. Discret Event Dyn Sys 19(4):525–549
Komenda J, Lahaye S, Boimond J-L (2010) Synchronous composition of interval weighted automata. In: International workshop on discrete event systems (WODES 2010). Berlin
Krob D (1994) The equality problem for rational series with multiplicities in the tropical semirings is undecidable. Int J Algebra Comp:405–425
Lahaye S, Boimond J-L, Hardouin L (1999) Optimal control of (Min, +) linear time-varying systems. In: 8th International workshop on petri nets and performance models (PNPM 1999), pp 170–178
Lahaye S, Komenda J, Boimondm J-L (2012) Compositions of (max,+) automata. In: International workshop on discrete event systems (WODES 2012). Guadalajara
Lahaye S, Komenda J, Boimond J-L (2013) Modeling of timed Petri nets using deterministic (max,+) automata. In: Submitted to 52nd IEEE conference on decision and control
Lombardy S, Sakarovitch J (2006) Sequential? Theor Comput Sci 359(1-2):224–244
Maia CA, Hardouin L, Santos Mendes R, Cottenceau B (2003) Optimal closed-loop control for timed event graphs in dioid. IEEE Trans Autom Control 48:2284–2287
Menguy E, Boimond J-L, Hardouin L, Ferrier J-L (2000) Just in time control of linear systems in dioid: cases of an update of reference input and uncontrollable input. IEEE Trans Autom Control 45(11):2155–2159
Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81–98
Su R, van Schuppen JH, Rooda JE (2012) The synthesis of time optimal supervisors by using heaps-of-pieces. IEEE Trans Autom Control 57(1):105–118
Su R, Woeginger GJ (2011) String execution time for finite languages: max is easy, min is hard. Automatica 47(10):2326–2329
Weyerman W, Warnick S (2007) Monotonically improving error bounds for a sequence of approximations for makespan minimization of batch manufacturing systems. In: IEEE conference on decision and control, pp 5288–5293
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Boukra, R., Lahaye, S. & Boimond, JL. New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems. Discrete Event Dyn Syst 25, 295–322 (2015). https://doi.org/10.1007/s10626-013-0178-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-013-0178-y