共 50 条
- [7] Invariant-Based Inverse Engineering of Crane Control Parameters PHYSICAL REVIEW APPLIED, 2017, 8 (05):
- [8] Invariant-based synthesis of fault-tolerant systems FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 46 - 57