共 50 条
- [21] Interpolation-based H2 Model Reduction for port-Hamiltonian Systems [J]. PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 5362 - 5369
- [24] Stability Preservation for Parametric Model Order Reduction by Matrix Interpolation [J]. 2014 EUROPEAN CONTROL CONFERENCE (ECC), 2014, : 1098 - 1103
- [26] An Improved Method for Parametric Model Order Reduction by Matrix Interpolation [J]. Journal of Vibration Engineering & Technologies, 2019, 7 : 603 - 610
- [27] Coverage in Interpolation-based Model Checking [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 182 - 187
- [28] Adaptive Interpolation-Based Model Checking [J]. 2014 19TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2014, : 744 - 749