一种资源共享机器的代数

动力系统是一类广泛的数学工具，用于描述物理与计算过程随时间的演化。传统上，这些过程建模的是静态世界中变化的实体。想象一个球在空桌上滚动。相比之下，开动力系统建模的是变化世界中的变化实体。想象台球游戏中一个正在进行的局面里的球。在文献中，关于开动力系统中“开”的解释存在歧义。换言之，开动力系统相互作用的机制存在歧义。对一些人而言，开动力系统是输入输出机器，通过将一个系统的输出馈入另一个系统的输入而相互作用。对另一些人而言，开动力系统与输入输出无关，通过共享资源池相互作用。在本文中，我们定义了一种开动力系统的代数，统一了这两种视角。我们详细考察了动力系统的两个具体实例——流形上的连续流与非确定性自动机。