共 50 条
- [1] A hoare logic for single-input single-output continuous-time control systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 113 - 125
- [2] Dissipativity Enforcement of Linear Continuous-time Single-Input Single-Output Systems [J]. 2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 3324 - 3328
- [3] DEADBEAT CONTROL OF SINGLE-INPUT SINGLE-OUTPUT LINEAR TIME-DISCRETE [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES TECHNIQUES, 1979, 27 (12): : 979 - 984