CSMD的∑-模结构,可达性,稳定性

本文讨论了如何将控制与管理科学理论中的一些基本概念,例如系统的动态过程,稳定性、可达性等,用统一的形式化算法-Σ-模结构语言来描述。用这种算法不仅可以描述这些基本概念,而且可以将性质的判别过程算法化。这样就更能符合计算机控制与管理的工作特点。文章分三部分:(一)给出一般代数集上控制系统的Σ-模结构。这是整个文章的基础。Σ-模结构的概念在自动机理论中已出现过,这儿将它与控制问题联系起来讨论;(二)用Σ-模语言描述稳定性,及其它的有关性质;(三)用Σ-模语言描述可达性并研究了它的进一步性质。