首次将仙人掌判据推广到切换系统，并给出可控子空间维数下界。
张元 · 夏元清 · 李阿明
IEEE Transactions on Automatic Control 2024
新判据能给出切换系统可控子空间通用维数的下界，这在以往结果中未曾做到。
将经典的 Lin 仙人掌判据从单一系统推广到切换系统，扩展了图形理论在混杂系统中的应用。
识别出原判据证明中的漏洞，并通过新概念给出完整证明，增强了理论可靠性。
提出多层动态图、广义茎/芽和广义仙人掌等新概念，为后续分析提供模块化架构。