跳到主要内容
10.1145/2933575.2934556acm会议文章/章节视图摘要出版物页面低收入国家会议记录会议集合
研究论文

开放互联动力系统的分类方法

出版:2016年7月5日出版历史

摘要

Willems在1986年发表的Automatica论文中,通过对线性时不变(LTI)离散动力系统的研究,介绍了控制理论中颇具影响力的行为方法。行为方法以开放系统为中心,通过撕裂、缩放和链接进行建模。我们证明了这些思想是用对称单体范畴的语言自然表达的。

我们的主要结果给出了一个直观的、完整的字符串图代数,用于LTI系统的推理。这些字符串图与信号流图的经典概念密切相关,被赋予了处理具有无限过去和无限未来的离散流的多输入多输出传感器的语义。在范畴层次上,代数表征是相关关系的支柱。

利用这个框架,我们导出了可控性的一个新的结构特征,从而为分析网络化和互连系统的可控性提供了一种方法。我们认为,这有可能为网络系统分析中出现的问题提供优雅、简单和有效的解决方案,这是控制理论和计算机科学交叉的一个活跃的研究领域。

工具书类

  1. M.A.Arbib,E.G.Manes,《类别中的机器》,《纯粹应用代数杂志》19,第9-20页,1980年。谷歌学者谷歌学者交叉引用交叉引用
  2. J.C.Baez,J.Erbele,《控制中的类别,类别的理论和应用》,第30卷,第24期,第836--881页,2015年。谷歌学者谷歌学者
  3. J.Bénabou,《双类别导论I.中西部类别研讨会报告》,LNM第41卷,第1-77页,斯普林格出版社,1967年。谷歌学者谷歌学者
  4. F.Bonchi,P.Sobocinnski,F.Zanasi,《信号流图的分类语义》,CONCUR 2014,LNCS 8704,第435--450页,2014年。谷歌学者谷歌学者交叉引用交叉引用
  5. F.Bonchi,P.Sobocinnski,F.Zanasi,交互Hopf代数。出现在J纯应用代数。谷歌学者谷歌学者
  6. F.Bonchi,P.Sobocinnski,F.Zanasi,《信号流图的完全抽象》,PoPL’15,第515-526页。谷歌学者谷歌学者数字图书馆数字图书馆
  7. B.Coya,B.Fong,Corelation是超特殊交换Frobenius monoid的命题。arXiv:1601.02307。谷歌学者谷歌学者
  8. P.A.Fuhrmann和U.Helmke,《线性系统网络的数学》,Springer-Verlag出版社,2015年。谷歌学者谷歌学者交叉引用交叉引用
  9. B.Fong,装饰核心关系,正在准备中。谷歌学者谷歌学者
  10. J.Goguen,封闭单体类I中的离散时间机器,《计算系统科学杂志》,第10卷,第1期,第1-43页,1975年。谷歌学者谷歌学者数字图书馆数字图书馆
  11. R.Jayawardene和O.Wyler,关系的类别和功能关系,应用分类标准8(1),第279--3052000页。谷歌学者谷歌学者交叉引用交叉引用
  12. A.Joyal,R.Street,《张量微积分的几何I》,《数学进展》,第88卷,第1期,第55-1121991页。谷歌学者谷歌学者交叉引用交叉引用
  13. T.Kailath,《线性系统》,普伦蒂斯·霍尔出版社,新泽西州,1980年。谷歌学者谷歌学者
  14. U.Oberst,多维常线性系统,《应用数学学报》,第20卷,第1-175页,1990年。谷歌学者谷歌学者交叉引用交叉引用
  15. R.Olfati Saber,J.A.Fax和R.M.Murray,网络多智能体系统中的共识与合作,Proc。IEEE,96(1),第215--2332007页。谷歌学者谷歌学者交叉引用交叉引用
  16. H.H.Rosenbrock,状态空间和多变量理论,威利,纽约,1970年。谷歌学者谷歌学者
  17. J.M.Schumacher,外部等价下线性系统的变换,线性代数及其应用102,第1-33页,1988年。谷歌学者谷歌学者交叉引用交叉引用
  18. C.E.Shannon,《线性微分方程机的理论与设计》,国防研究委员会,1942年。谷歌学者谷歌学者
  19. D.Vagner,D.I.Spivak,E.Lerman,《开放动力系统在线路图操作上的代数》,《范畴的理论与应用》,第30卷,第51期,第1793-1822页,2015年。谷歌学者谷歌学者
  20. J.C.Willems,《开放互联系统的行为方法:通过撕裂、缩放和链接进行建模》,IEEE控制系统杂志,2007年。谷歌学者谷歌学者
  21. J.C.Willems,《动力学模型》,《动力学报告》,第2卷,编辑:U.Kirchgraber和H.O.Walther,John Wiley&Sons Ltd和B.G.Teubner,1989年。谷歌学者谷歌学者交叉引用交叉引用
  22. J.C.Willems,《从时间序列到线性系统——第一部分:有限维线性时不变系统》,《自动机》,第22卷,第5期,第561-580页,1986年。谷歌学者谷歌学者数字图书馆数字图书馆
  23. F.Zanasi,《相互作用的Hopf代数——线性系统理论》,博士论文,ENS Lyon,2015年。谷歌学者谷歌学者
  1. 开放互联动力系统的分类方法

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      LICS’16:第31届ACM/IEEE计算机科学逻辑年会论文集
      2016年7月
      901页
      国际标准图书编号:9781450343916
      内政部:10.1145/2933575

      版权所有©2016 ACM

      如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。向请求权限[电子邮件保护]

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2016年7月5日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文
      • 研究
      • 推荐有限公司

      接受率

      总体验收率143属于386提交文件,37%

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器