2007 | ||
---|---|---|
5 | EE | 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) |
2005 | ||
4 | EE | Yiping Cheng: A Survey of the Theory of Min-Max Systems. ICIC (2) 2005: 616-625 |
3 | EE | Yiping Cheng, Da-Zhong Zheng: Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints. Discrete Event Dynamic Systems 15(2): 119-143 (2005) |
2 | EE | Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao: Contributing Authors. Discrete Event Dynamic Systems 15(2): 199-200 (2005) |
2004 | ||
1 | EE | Yiping Cheng, Da-Zhong Zheng: A Cycle Time Computing Algorithm and its Application in the Structural Analysis of Min-max Systems. Discrete Event Dynamic Systems 14(1): 5-30 (2004) |
1 | Xi-Ren Cao | [2] |
2 | Stéphane Lafortune | [2] |
3 | Kurt Rohloff | [2] |
4 | Da-Zhong Zheng | [1] [2] [3] [5] |