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

DOI10.1007/S10626-006-0004-XMaRDI QIDQ2643633zbMATH OpenOpenAlexFDO

Authors Yiping Cheng, Dazhong Zheng

Publication date 27 August 2007

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

Full work available at URL https://doi.org/10.1007/s10626-006-0004-x

zbMATH Keywords

Asynchronous systemsMax-plus algebraMin-max functionsTiming verification

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Min-max inequalities and the timing verification problem with max and linear constraints
• Time separations of cyclic event rule systems with min-max timing constraints
• Efficient algorithms for approximate time separation of events
• An algorithm for exact bounds on the time separation of events in concurrent systems
• Time separation of events: an inverse method

Cites work

• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 5018129 (Why is no real title available?)
• A constructive fixed point theorem for min-max functions
• A cycle time computing algorithm and its application in the structural analysis of min-max systems
• A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra
• An algorithm for exact bounds on the time separation of events in concurrent systems
• Consistency and satisfiability of waveform timing specifications
• Eigenvalues of dynamic max-min systems
• Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
• Min-max functions
• Min-max inequalities and the timing verification problem with max and linear constraints
• On the equivalence of linear complementarity problems
• The duality theorem for min-max functions

Cited in

(4)

• Time separations of cyclic event rule systems with min-max timing constraints
• Min-max inequalities and the timing verification problem with max and linear constraints
• On minimising the maximum expected verification time
• Efficient algorithms for approximate time separation of events

This page was built for publication: An algorithm for timing verification of systems constrained by min-max inequalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2643633)