离散事件系统监控与状态反馈方法的等价性

摘要

本文证明控制指标以谓词形式给出时，采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同；控制指标以语言形式语言形式给出时，采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言，因而从综合角度看，这两种方法等价。