[离散事件监督控制的定量度量]离散度量空间

　　A．雷，Vir V．菲哈，S．P．菲哈 编 　　离散事件系统属于动态系统中特殊的一类。离散事件系统的状态可以采用离散(或符号)值，而且只是在时间的离散瞬间改变(有可能是异步的)。这与物理世界中连续变化的动态系统正相反，后者可以利用微分或差分方程来建模。许多人机工程系统的动态特性通过各种离散值事件与连续变化物理过程的复杂交互作用而在时间上异步演变。本书介绍了一种用于复杂系统离散事件决策及控制的新方法，并为工程中迅速发展的技术需求(即多代理的人类与机器人系统、飞机及发电系统)以及软件系统和蓄意可执行控制提供了应用，将监督控制理论(SCT)作为一个工具去模拟和控制人机工程的复杂系统。本书首次提出了SCT量化研究的新概念，是对有关SCT诊断与控制现有研究的急需扩展。
　　全书共有9章，分成两大部分。第一部分语言度量理论与监督控制(含第1～4章)：第1章正则语言的带符号实度量；第2章正则语言的最优监督控制；第3章正则语言的健壮最优控制；第4章监督控制中的高级课题。第二部分语言度量与监督控制的工程及软件应用(含第5～9章)：第5章可移动机器人系统的离散事件监督控制；第6章使用语言度量的机器人行为最优控制；第7章燃气轮机发动机的最优离散事件控制；第8章软件系统的监督控制；第9章软件过程中蓄意可执行的监督控制。
　　本书具有如下5个特点：(1)在融入量化度量性能的新方法之前，总结了监督决策及控制的基本内容；(2)介绍了形式理论对量化方法的支持，随后为人机工程复杂系统的离散事件决策与控制提出了一个有效的模型；(3)针对商业、军事指挥、控制、计算机、通讯、智能、监视、侦察系统(C4ISR)的实际应用，概括了多种实用的结论；(4)为读者理解量化过程，阐明了重要的数学基础及证明，同时避免了不必要的数学细节及应用；(5)开发并描述了几所大学的测试方法。
　　本书汇集了该领域中第一流的研究，所介绍的基本技术与高级应用可供工程、计算机科学及应用数学专业的研究人员和研究生阅读参考。
　　胡光华，高级软件工程师
　　(原中国科学院物理学研究所)