共 50 条
- [42] Towards Bounded Model Checking using Nonlinear Programming Solver 2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2016, : 560 - 565
- [43] Automatic Differentiation based Nonlinear Model Predictive Control of Satellites using Magneto-Torquers ICIEA: 2009 4TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-6, 2009, : 904 - +
- [45] A higher-order parametric nonlinear reduced-order model for imperfect structures using Neumann expansion Nonlinear Dynamics, 2021, 104 : 3039 - 3063