In general semimodules, we say that the image of a linear operator B and the kernel of a linear operator C are direct factors if every equivalence class modulo C crosses the image of B at a unique point. For linear maps represented by matrices over certain idempotent semifields such as the (max,+)-semiring, we give necessary and sufficient conditions for an image and a kernel to be direct facto...

In this paper, we focus on the cyclic job-shop problem. This problem consists in determining the order of a set of generic tasks on machines in order to minimize the cycle time of the sequence. We propose an exact method to solve this problem. For each solution, a linear max-plus model (possibly non causal) is obtained. To evaluate the performance of a considered schedule, we build the causal m...

A class of queueing networks which may have an arbitrary topology, and consist of single-server fork-join nodes with both infinite and finite buffers is examined to derive a representation of the network dynamics in terms of max-plus algebra. For the networks, we present a common dynamic state equation which relates the departure epochs of customers from the network nodes in an explicit vector ...

Exotic semirings such as the “(max,+) semiring” (R ∪ {−∞},max,+), or the “tropical semiring” (N ∪ {+∞},min,+), have been invented and reinvented many times since the late fifties, in relation with various fields: performance evaluation of manufacturing systems and discrete event system theory; graph theory (path algebra) and Markov decision processes, Hamilton-Jacobi theory; asymptotic analysis...

In this paper, we deene a max-plus algebra of signals for the evaluation of timing behavior of discrete event systems modeled by timed event graphs. We restrict ourselves to innnite, periodic sequences for which we can compute nite representations called signals. This framework allows us to implement a max-plus algebra for computing supremal controllers for real-time, discrete event systems.

In this paper we discuss the characteristic equation of a matrix in the maxplus algebra. In their Linear Algebra and Its Applications paper (vol. 101, pp. 87– 108, 1988) Olsder and Roos have used a transformation between the max-plus algebra and linear algebra to show that the Cayley-Hamilton theorem also holds in the max-plus algebra. We show that the derivation of Olsder and Roos is not entir...