An algorithm for timing verification of systems constrained by min-max inequalities (Q2643633): Difference between revisions

@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency and satisfiability of waveform timing specifications
+Normal rank
@@ Property / cites work @@
+A cycle time computing algorithm and its application in the structural analysis of min-max systems
+Normal rank
@@ Property / cites work @@
+Min-max inequalities and the timing verification problem with max and linear constraints
+Normal rank
@@ Property / cites work @@
+A constructive fixed point theorem for min-max functions
+Normal rank
@@ Property / cites work @@
+A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra
+Normal rank
@@ Property / cites work @@
+On the equivalence of linear complementarity problems
+Normal rank
@@ Property / cites work @@
+The duality theorem for min-max functions
@@ Property / cites work: The duality theorem for min-max functions / rank @@
+Normal rank
@@ Property / cites work @@
+Min-max functions
@@ Property / cites work: Min-max functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200628
@@ Property / cites work: Q5200628 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for exact bounds on the time separation of events in concurrent systems
+Normal rank
@@ Property / cites work @@
+Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
+Normal rank
@@ Property / cites work @@
+Eigenvalues of dynamic max-min systems
@@ Property / cites work: Eigenvalues of dynamic max-min systems / rank @@
+Normal rank