Min-max inequalities and the timing verification problem with max and linear constraints

DOI10.1007/s10626-004-6209-yzbMath1130.93380OpenAlexW2082770818MaRDI QIDQ1773101

Yiping Cheng, Da Zhong Zheng

Publication date: 25 April 2005

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-004-6209-y

zbMATH Keywords

discrete event systemsmin-max functionsmaximum separation problem with max and linear timing (MSMLC)min-max inequalitiestiming analysis and verification

Mathematics Subject Classification ID

Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming) (90C33) Discrete event control/observation systems (93C65) Existence of solutions for minimax problems (49J35)

Related Items (1)

An algorithm for timing verification of systems constrained by min-max inequalities

Cites Work

• Unnamed Item
• Unnamed Item
• Eigenvalues of dynamic max-min systems
• Minimax algebra
• Min-max functions
• A cycle time computing algorithm and its application in the structural analysis of min-max systems
• On the equivalence of linear complementarity problems
• A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra
• Consistency and satisfiability of waveform timing specifications
• Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
• The duality theorem for min-max functions
• An algorithm for exact bounds on the time separation of events in concurrent systems

This page was built for publication: Min-max inequalities and the timing verification problem with max and linear constraints