Min-max inequalities and the timing verification problem with max and linear constraints
type: Item
instance of: scholarly article
title: Min-max inequalities and the timing verification problem with max and linear constraints
zbMATH Open document ID: 1130.93380
author: Yiping Cheng
author: Dazhong Zheng
published in: Discrete Event Dynamic Systems
publication date: 2005-04-25T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 49J35
Mathematics Subject Classification ID: 90C33
zbMATH DE Number: 2161211
zbMATH Keywords: discrete event systems
zbMATH Keywords: min-max inequalities
zbMATH Keywords: min-max functions
zbMATH Keywords: timing analysis and verification
zbMATH Keywords: maximum separation problem with max and linear timing (MSMLC)
MaRDI profile type: Publication
full work available at URL: s10626-004-6209-y
OpenAlex ID: W2082770818
cites work: Q4304869
cites work: Consistency and satisfiability of waveform timing specifications
cites work: A cycle time computing algorithm and its application in the structural analysis of min-max systems
cites work: Minimax algebra
cites work: A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra
cites work: On the equivalence of linear complementarity problems
cites work: The duality theorem for min-max functions
cites work: Min-max functions
cites work: Q4763582
cites work: An algorithm for exact bounds on the time separation of events in concurrent systems
cites work: Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
cites work: Eigenvalues of dynamic max-min systems
DOI: 10.1007/S10626-004-6209-Y
description: scientific article; zbMATH DE number 2161211