共 50 条
- [45] Optimal model reduction of discrete-time systems PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 2584 - 2589
- [46] Discrete-time rewards model-checked FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 88 - 104
- [48] DISCRETE-TIME MODEL OF AN INDUCTION-MOTOR EUROPEAN TRANSACTIONS ON ELECTRICAL POWER ENGINEERING, 1991, 1 (02): : 65 - 71