A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems 论文
2015IEEE Transactions on Automatic Control引用 264
Formal Methods in VerificationControl and Stability of Dynamical SystemsEmbedded Systems Design Techniques