共 50 条
- [31] Approximation refinement for interpolation-based model checking VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 68 - +
- [32] Interpolation-based digital quadrature frequency synthesizer 13TH ANNUAL IEEE INTERNATIONAL ASIC/SOC CONFERENCE, PROCEEDINGS, 2000, : 48 - 52
- [33] Explicit Interpolation-Based CFD Mesh Morphing SIAM INTERNATIONAL MESHING ROUNDTABLE 2023, SIAM IMR 2023, 2024, 147 : 189 - 215
- [38] Computation of Feasible and Invariant Sets for Interpolation-based MPC International Journal of Control, Automation and Systems, 2021, 19 : 3253 - 3263
- [40] An interpolation-based method for solving Volterra integral equations Journal of Applied Mathematics and Computing, 2022, 68 : 909 - 940