An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities

Yiping Cheng, Da-Zhong Zheng. An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities. Discrete Event Dynamic Systems, 17(1):99-129, 2007. [doi]

Abstract

Abstract is missing.