An algorithm for timing verification of systems constrained by min-max inequalities
From MaRDI portal
Publication:2643633
DOI10.1007/S10626-006-0004-XzbMATH Open1117.93046OpenAlexW2023198549MaRDI QIDQ2643633FDOQ2643633
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Eigenvalues of dynamic max-min systems
- Min-max functions
- Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
- The duality theorem for min-max functions
- A constructive fixed point theorem for min-max functions
- On the equivalence of linear complementarity problems
- A cycle time computing algorithm and its application in the structural analysis of min-max systems
- An algorithm for exact bounds on the time separation of events in concurrent systems
- 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
- Min-max inequalities and the timing verification problem with max and linear constraints
Cited In (4)
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)
