互模拟等价的控制器综合

本文旨在解决多种场景下的互模拟等价控制器综合问题，这些场景包括离散事件系统、非线性控制系统、行为系统、混合系统以及许多其他系统。实现这一目标的途径是证明：支撑存在性证明与控制器构造方法的论证，与所考虑的具体系统类别无关，从而可以在更具一般性的层面上进行表述。