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.

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

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

On Quadratic Stability of Discrete-time Interval 2-D Systems

Time separations of cyclic event rule systems with min-max timing constraints

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

Verifying timing constraints in real-time systems

Complexity of Comparing Expressions in Max-Plus Algebra

Time-Bounded Verification of CTMCs Against Real-Time Specifications

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

Formal Analysis and Verification of Max-Plus Linear Systems

A Remark on Inseparability of Min&#8211 Max Systems

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

Computation of the Maximal Invariant Set of Linear Systems with Quasi-Smooth Nonlinear Constraints.

A Remark on Inseparability of Min-Max Systems

Verification of Linear Duration Properties over Continuous-Time Markov Chains

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

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

Analysis Of Max-Min Eigenvalue Of Constrained Linear Combinations Of Symmetric Matrices

Structure Properties of Min-Max Systems and Existence of Global Cycle Time

On max-plus two-sided linear systems whose solution sets are min-plus linear

Solving Linear Equations Over Maxmin-$ω$ Systems