Abstract

The optimization problems, such as scheduling or project management, in which the objective function depends on the operations maximum and plus, can be naturally formulated and solved in max-plus algebra. A system of discrete events, e.g., activations of processors in parallel computing, or activations of some other cooperating machines, is described by a systems of max-plus linear equations. In particular, if the system is in a steady state, such as a synchronized computer network in data processing, then the state vector is an eigenvector of the system. In reality, the entries of matrices and vectors are considered as intervals. The properties and recognition algorithms for several types of interval eigenvectors are studied in this paper. For a given interval matrix and interval vector, a set of generators is defined. Then, the strong and the strongly universal eigenvectors are studied and described as max-plus linear combinations of generators. Moreover, a polynomial recognition algorithm is suggested and its correctness is proved. Similar results are presented for the weak eigenvectors. The results are illustrated by numerical examples. The results have a general character and can be applied in every max-plus algebra and every instance of the interval eigenproblem.

Highlights

  • In many practical problems, the standard algebraic operations “plus” and “product” are inadequate, e.g., in scheduling problems, synchronization problems, or in project management, and binary operations “maximum” and “plus” seem to be more appropriate

  • The standard algebraic operations “plus” and “product” are inadequate, e.g., in scheduling problems, synchronization problems, or in project management, and binary operations “maximum” and “plus” seem to be more appropriate. This observation leads to the definition and use of so-called max-plus algebra, which has been used by many authors, see e.g., [1,2,3,4]

  • Max-plus algebras represent a suitable mathematical tool for exploration of systems working in discrete steps called discrete event systems (DES, for short)

Read more

Summary

Introduction

The standard algebraic operations “plus” and “product” are inadequate, e.g., in scheduling problems, synchronization problems, or in project management, and binary operations “maximum” and “plus” seem to be more appropriate This observation leads to the definition and use of so-called max-plus algebra, which has been used by many authors, see e.g., [1,2,3,4]. It is assumed that an eigenvector is different from the ‘zero’ vector with all entries equal to ε In this notation, the intervals between the beginnings of consecutive cycles on every component of DES are equal to a scheduled value λ ∈ B. The strong, strongly universal and weak interval eigenvectors in max-plus algebra are investigated, and polynomial algorithms for the recognition versions of these problems are presented. The results can be applied in every max-plus algebra and every instance of the interval eigenproblem

Definitions and Basic Properties
Strong Interval Eigenvectors in a Max-Plus Algebra
Strongly Universal Interval Eigenvectors in a Max-Plus Algebra
Weak Interval Eigenvectors in a Max-Plus Algebra
Conclusions
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call