Abstract:The behavior of discrete-event systems, in which the individual components move from event to event rather than varying continuously through time, is often described by systems of linear equations in max-min algebra, in which classical addition and multiplication are replaced by $ \oplus $ and $ {\otimes} $, representing maximum and minimum, respectively. Max-min equations have found a broad area of applications in causal models, which emphasize relationships between input and output variables. Many practical situations can be described using max-min systems of linear equations. We shall deal with a two-sided max-min system of linear equations with unknown column vector $ x $ of the form $ A{\otimes} x{\oplus} c = B{\otimes} x{\oplus} d $, where $ A $, $ B $ are given square matrices, $ c $, $ d $ are column vectors and operations $ \oplus $ and $ {\otimes} $ are extended to matrices and vectors in the same way as in the classical algebra. We give an equivalent condition for its solvability. For a given max-min objective function $ f $, we consider optimization problem of type $ f^\top{\otimes} x\rightarrow \max\text{ or } \min $ constraint to $ A{\otimes} x{\oplus} c = B{\otimes} x{\oplus} d $. We solve the equation in the form $ f(x) = v $ on the set of solutions of the equation $ A{\otimes} x{\oplus} c = B{\otimes} x{\oplus} d $ and extend the problem to the case of an interval function $ {{\boldsymbol{f}}} $ and an interval value $ {{\boldsymbol{v}}} $. We define several types of the reachability of the interval value $ {{\boldsymbol{v}}} $ by the interval function $ {{\boldsymbol{f}}} $ and provide equivalent conditions for them.

An Algorithm for Timing Verification of Systems Constrained by Min–max Inequalities

Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints

Semi-on-line Scheduling Problems for Maximizing the Minimum Machine Completion Time

Scheduling to Minimize the Maximum Total Completion Time Per Machine.

Weighted Throughput Maximization with Calibrations.

On the Cycle Time of Non-Autonomous Min-Max Systems

Verifying timing constraints in real-time systems

A Cycle Time Computing Algorithm and Its Application in the Structural Analysis of Min-max Systems.

Approach to computing minimum initial marking of hybrid timed event graphs

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Formal Analysis and Verification of Max-Plus Linear Systems

Optimizing the max-min function with a constraint on a two-sided linear system

On the Equivalence of the Max-Min Transportation Lower Bound and the Time-Indexed Lower Bound for Single-Machine Scheduling Problems

Computation of the Maximal Invariant Set of Discrete-Time Linear Systems Subject to a Class of Non-Convex Constraints.

On Complexity Bounds for theMaximal Admissible Set of Linear Time-Invariant Systems

A New Solution Approach to the General Min-Max Sequencing Problem

On the Optimal Solution of the General Min-Max Sequencing Problem

The Balance Problem of Min–max Systems is Co-Np Hard

Complexity of Comparing Expressions in Max-Plus Algebra

A two-phase intensification tabu search algorithm for the maximum min-sum dispersion problem

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications