Johannes Braun a,∗, Florian Volk b, Jiska Classen c, Johannes Buchmann a and Max Mühlhäuser b a Theoretical Computer Science, Cryptography and Computer Algebra, Technische Universität Darmstadt, Darmstadt, Germany E-mails: {jbraun, buchmann}@cdc.informatik.tu-darmstadt.de b Telecooperation Lab, Technische Universität Darmstadt and CASED, Darmstadt, Germany E-mails: [email protected], max@in...

für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...

We consider the two-sided eigenproblem A⊗ x = λ⊗ B ⊗ x over max algebra. It is shown that any finite system of real intervals and points can be represented as spectrum of this eigenproblem.

We describe a hierarchical technique that allows a class of non-deterministic timed Petri nets to be analyzed using the (max,+) algebra of periodic signals. We show that the timing and controllability analysis of such systems is possible via the use of (supand) inf-convolution operations within the (max,+) framework. We apply this technique to the verification of timing constraints in an intell...

We demonstrate that the minimal state space realization problem in the max algebra can be transformed into an Extended Linear Complementarity Problem (ELCP). We use an algorithm that finds all solutions of an ELCP to find all equivalent minimal state space realizations of a single input single output (SISO) discrete event system. We also give a geometrical description of the set of all minimal ...

Recall that for C-algebras A and B there are many possible norms on A ⊗ B for which the completion is a C-algebra. In particular there are two standard completions A ⊗min B and A⊗max B corresponding to the ‘smallest’ and ‘largest’ possible tensor norms. We say that A is nuclear if these two tensor products correspond for all C-algebras B. We say that a C-algebra A is exact if given any short ex...