共 50 条
- [41] Predicate abstraction of programs with non-linear computation AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 352 - 368
- [43] Non-linear systems with control and state constraints Optimal Control Applications and Methods, 1997, 18 (05): : 313 - 326
- [45] INDEFINITE QUADRATIC PROGRAMMING WITH NON-LINEAR CONSTRAINTS ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1967, 47 (06): : 411 - &
- [46] Non-linear systems with control and state constraints OPTIMAL CONTROL APPLICATIONS & METHODS, 1997, 18 (05): : 313 - 326
- [47] Craig Interpolation in the Presence of Non-linear Constraints FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 240 - 255
- [48] Cortical constraints for non-linear cortical registration VISUALIZATION IN BIOMEDICAL COMPUTING, 1996, 1131 : 307 - 316
- [50] Proof Certificates and Non-linear Arithmetic Constraints 2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 429 - 434