这些模型是在Simulink中创建的,用于现代控制理论的研究。它们包括可控性和可观察性测试,稳定性和渐近稳定性等方面。