Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.

• 理论上证得，DCM可以大大降低可达性分析算法的复杂度。