然是不可判定的，但至少是准可判定的。
其他建模方式.基本的混合系统建模方式可以分为两种：隐式以及显式。显式的方式会用、混合程式或是混合Petri网表示。隐式的作法会用统御方程式来表示，因此会得到（DAE）的系统，也有可以透过混合键结图来表示。若是考虑混合系统分析的统一仿真方法，有一种以形式化为基础的方法，其中微分方程的积分子会量化为原子性的DEVS模型。该方法以离散事件系统的行为产生系统的轨迹，和离散时间系统不同。在参考资料[Kofman2004]、[CF2006]及[Nuta