The Calculus of Signal Flow Diagrams I: Linear relations on streams
The Calculus of Signal Flow Diagrams I: Linear relations on streams
复制标题
DOI：
10.1016/j.ic.2016.03.002
复制
发表时间：
2017-02-01
影响因子：
1
通讯作者：
Zanasi, Fabio
中科院分区：
文献类型：
--
作者：
Bonchi, Filippo;Sobocinski, Pawel;Zanasi, Fabio
我们介绍了一个图形语法的信号流图的对称monoidal类别的语言的基础上。利用泛范畴结构，我们提供了一个流语义和一个完整的公理化.某类图捕获了控制理论中使用的信号流图的正统概念;我们证明了我们的语法的任何图都可以通过在方程理论中重写而实现为信号流图. (C)2016 Elsevier Inc. All rights reserved.
We introduce a graphical syntax for signal flow diagrams based on the language of symmetric monoidal categories. Using universal categorical constructions, we provide a stream semantics and a sound and complete axiomatisation.A certain class of diagrams captures the orthodox notion of signal flow graph used in control theory; we show that any diagram of our syntax can be realised, via rewriting in the equational theory, as a signal flow graph. (C) 2016 Elsevier Inc. All rights reserved.