超级控制理论中的可控性定义概览

在超级控制理论领域，文献常对同一概念提出不同的定义，这使得理解这些定义之间的关系变得困难。这一点尤其适用于关于监督器相对于植物的可控性这一基本概念。本文列出了文献中发现的可控性定义，并研究了它们在确定性和非确定性自动机中的关系。在一般语境下，即监督器和植物均可为非确定性时，Flordal 和 Malik 描述的可控性概念，以及 Kushi 和 Takai 的不可控事件可接受性是等价的。这两种概念也是唯一暗示传统（语言）可控性概念的概念。从实用角度来看，人们往往更关心监督植物相对于植物的可控性。在此语境下，除了前两种可控性概念之外，Zhou 等人提出的状态可控性也暗示了语言可控性。