Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
复制标题
推进信息和通信技术研究 - IFIP 激动人心的第一个 60 年，技术委员会和工作组的观点
DOI：
10.1007/978-3-030-81701-5_2
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Bonchi F
中科院分区：
文献类型：
--
作者：
Bonchi F
信号流图是线性动态系统的组合模型，在控制理论和工程中起着基础性的作用。在这篇综述中，我们概述了一系列发展了这些结构的组成理论的作品[3，10，11，13，15-18，31，51，63]，并探讨了从这种方法中出现的一些引人注目的见解。特别是，使用字符串图，图形模型的分类语法，允许从传统的组合处理的信号流图切换到代数表征。在这个框架内，信号流图可以被视为一个完全成熟的（可视化）编程语言，并配备了重要的元理论属性，如一个完整的axiomatisation和一个完整的抽象定理。此外，弦图提供的抽象观点表明，同样的代数结构建模线性动力系统也可以用来解释不同类型的模型，如电路和Petri网。在这方面，我们的工作是对组合网络理论的贡献（见例如，[1，2，4-6，9，12，20，21，23，24，26，28-30，32，37，49，59]，？），一个新兴的多学科研究计划，旨在对不同种类的计算模型进行统一的成分研究。
Signal flow graphs are combinatorial models for linear dynamical systems, playing a foundational role in control theory and engineering. In this survey, we overview a series of works [3, 10, 11, 13, 15–18, 31, 51, 63] that develop a compositional theory of these structures, and explore several striking insights emerging from this approach. In particular, the use ofstring diagrams, a categorical syntax for graphical models, allows to switch from the traditional combinatorial treatment of signal flow graphs to an algebraic characterisation. Within this framework, signal flow graphs may then be treated as a fully-fledged (visual) programming language, and equipped with important meta-theoretical properties, such as a complete axiomatisation and a full abstraction theorem. Moreover, the abstract viewpoint offered by string diagrams reveals that the same algebraic structures modelling linear dynamical systems may also be used to interpret diverse kinds of models, such as electrical circuits and Petri nets.In this respect, our work is a contribution tocompositional network theory(see e.g., [1, 2, 4–6, 9, 12, 20, 21, 23, 24, 26, 28–30, 32, 37, 49, 59], ?), an emerging multidisciplinary research programme aiming at a uniform compositional study of different sorts of computational models.