互模拟等价的控制器综合
Controller synthesis for bisimulation equivalence
摘要：
本文的目的是解决控制器综合问题的互模拟等价在各种各样的情况下，包括离散事件系统，非线性控制系统，行为系统，混合系统和许多其他的。这将通过证明控制器的存在性和构造方法的基本证明参数与所考虑的特定系统类别无关，从而可以更普遍地呈现。
英文摘要：
The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
