离散与混杂控制的代数理论（英文版）

控制理论通常处理过程的动态行为，由微分方程来进行刻画。随着计算机控制的快速普及，出现了离散事件过程和混杂过程。离散事件过程可能是展现离散行为的最简单的过程。在离散事件系统中，状态是离散的，而且状态的转移仅仅是对离散事件的响应。在离散事件过程和计算过程之间存在微小的差异，即并行与并发，也就是说，对于多数的计算性质，如顺序、不确定性、递归和抽象等，它们是相同的。混杂理论是系统理论和计算机科学的结合体。在系统理论中，系统行为通常由微分方程来刻画，而在计算机科学中，系统行为通常由离散的原子动作及其之间的计算逻辑来刻画。在本书中，我们在真并发进程代数中引入离散事件系统和混杂系统，介绍了离散事件过程的公理化、分布式离散事件过程的公理化、混杂进程代数及其在神经网络建模中的应用以及具有位置的混杂进程代数及其在分布式/联邦神经网络建模中的应用等。