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.

Logic-based Solvability of Max-plus Linear Equations

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

MINLP Algorithms Mixed with Constraint Programming

Complexity of Comparing Expressions in Max-Plus Algebra

Solving Linear Equations Over Maxmin-$ω$ Systems

Formal Analysis and Verification of Max-Plus Linear Systems

A Sufficient Condition on the Existence of Maximal Andminimal Solvents of the Quadratic Matrix Equation

Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra

Algebraic characteristics and satisfiability threshold of random Boolean equations.

A Solvable Lie Algebra Condition for Stability of Linear Multidimensional Systems

Synchronization and Sub-synchronization Problems for Switching Max-Plus Systems: Structural Solvability Conditions

Polylinear Transformation Method for Solving Systems of Logical Equations

On the Resolution of Bipolar Max-Min Equations

Simplex Method for Solving Linear Programs

On the solvability of bipolar max-product fuzzy relation equations with the standard negation

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic

A New Computational Approach for Solving Linear Bilevel Programs Based on Parameter-Free Disjunctive Decomposition

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

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

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