共 50 条
- [44] State contractive constraint-based model predictive load frequency control Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2007, 27 (07): : 18 - 22
- [45] Constraint-Based Relational Verification COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 742 - 766
- [47] Constraint-based collaborative design 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 290 - 295