跳到主要内容
10.1145/3365365.3382204acm会议文章/章节视图摘要出版物页面cpsweek公司会议记录会议集合
研究论文

稳定仿射系统间多面体切换的分段解析轨迹计算

出版:2020年4月22日出版历史

摘要

我们的问题是计算在稳定仿射ODE之间切换的混合系统的轨迹,切换由超平面交叉触发。我们建议解析计算切换时间之间的仿射ODE轨迹,而不是在相对较短的时间步长上进行积分。我们的算法通过解析轨迹片的切比雪夫插值和多项式求根来计算切换时间。我们使用仿射ODE轨迹进入某些Lyapunov子水平集所需时间的界来缩小插值时间间隔。基于Chebfun包,我们给出了算法的MATLAB实现。我们发现,这种实现与传统算法一样精确地模拟继电器反馈系统,有时甚至更快。

工具书类

  1. 卡尔·奥斯特罗姆。1995.具有继电器反馈的系统中的振荡。自适应控制、滤波和信号处理、K.J.O.ström、G.C.Goodwin和P.R.Kumar(编辑)。纽约州纽约市施普林格,1-25。谷歌学者谷歌学者
  2. Inga Blundell、Dimitri Plotnikov、Jochen M.Eppler和Abigail Morrison。2018.为神经元模型中的微分方程组自动选择合适的积分方案。神经信息学前沿12 (2018), 50.谷歌学者谷歌学者交叉引用交叉引用
  3. O.Bouissou、S.Mimram和A.Chapoutot。2012.海森:基于集合的混合系统仿真。2012年第23届IEEE快速系统原型(RSP)国际研讨会。79到85之间。谷歌学者谷歌学者交叉引用交叉引用
  4. 约翰·博伊德(John P.Boyd)。2014求解超越方程。工业和应用数学学会,宾夕法尼亚州费城,xvii+460页。切比雪夫多项式代理和其他数值寻根器、扰动级数和预言。谷歌学者谷歌学者交叉引用交叉引用
  5. C.W.Clenshaw和A.R.Curtis。1960年。在自动计算机上进行数值积分的方法。数字。数学。2、1(1960年12月1日),197--205。谷歌学者谷歌学者数字图书馆数字图书馆
  6. David A.Copp和Ricardo G.Sanfelice。2016.用于在表面跳跃的混合系统鲁棒仿真的零交叉检测算法。仿真建模实践与理论68 (2016), 1 -- 17.谷歌学者谷歌学者交叉引用交叉引用
  7. F.Cremona、M.Lohstroh、D.Broman、M.Di Natale、E.A.Lee和S.Tripakis。2016年,逐步修订与FMI的混合协同模拟。2016年ACM/IEEE系统设计形式方法和模型国际会议(MEMOCODE)。173--183.谷歌学者谷歌学者交叉引用交叉引用
  8. 弗里吉斯·卡基。1974.从相位变量到规范形式的转换方法。布达佩斯周期理工学院电气工程18, 4 (1974), 341--379. https://pp.bme.hu/ee/article/download/4989/4094/谷歌学者谷歌学者
  9. T.A.Driscoll、N.Hale和L.N.Trefethen(编辑)。2014Chebfun指南。牛津Pafnuty出版社。谷歌学者谷歌学者
  10. Joel M.Esposito、Vijay Kumar和George J.Pappas。2001.模拟混合系统的准确事件检测。混合系统:计算与控制Maria Domenica Di Benedetto和Alberto Sangiovanni-Vincentelli(编辑)。施普林格柏林海德堡,柏林,海德堡,204-217。谷歌学者谷歌学者
  11. Rebeka Farkas、Gábor Bergmann和Al kos Horvath。2019.混合CT仿真的自适应步长控制,无需回滚。第十三届国际Modelica会议。OTH Regensburg,德国。谷歌学者谷歌学者交叉引用交叉引用
  12. R.Goebel、R.G.Sanfelice和A.R.Teel。2009年,混合动力系统。控制系统杂志29,2(2009年4月),28--93。谷歌学者谷歌学者交叉引用交叉引用
  13. A.Hanuschkin、S.Kunkel、M.Helias、A.Morrison和M.Diesmann。2010.一种在全球时间驱动模拟中引入精确尖峰时间的通用有效方法。前Neuroninform4 (2010), 113.谷歌学者谷歌学者交叉引用交叉引用
  14. J.A.Heinen和R.J.Niedejohn。1997.关于“VanderMonde矩阵的反演”的评论。IEEE信号处理信件4、4(1997年4月)、115--。谷歌学者谷歌学者交叉引用交叉引用
  15. C.Johnson和W.Wonham。1964.关于转换为规范(相变量)形式的注释。IEEE传输。自动化。控制9、3(1964年7月)、312--313。谷歌学者谷歌学者交叉引用交叉引用
  16. C.Johnson和W.Wonham。1966.关于正则(相变量)形式转换的另一个注记。IEEE传输。自动化。控制11、3(1966年7月),609--610。谷歌学者谷歌学者交叉引用交叉引用
  17. I.考夫曼。1969.范德蒙德矩阵的反演和乔丹标准形的转换。IEEE传输。自动化。控制第14、6页(1969年12月),第774-777页。谷歌学者谷歌学者交叉引用交叉引用
  18. J.Krishnan、P.Porta Mana、M.Helias、M.Diesmann和E.Di Napoli。2017.完美检测点神经元线性亚阈值动力学中的尖峰。前Neuroninform11 (2017), 75. [公共医疗中心:PMC5770835][][公共医疗:12184844]。谷歌学者谷歌学者交叉引用交叉引用
  19. 科尼利厄斯·兰佐斯(Cornelius Lanczos)。1956应用分析。Prentice Hall,Inc.,Englewood Cliffs,N.J.xx+539页。谷歌学者谷歌学者
  20. C.Lánczos。1973.勒让德多项式与切比雪夫多项式。数值分析主题(罗伊博士,爱尔兰学院,都柏林大学学院,1972年)。191--201.谷歌学者谷歌学者
  21. 郝璐.1996。Vandermond-Like系统和汇流Vandermonde-Like系统的解决方案。SIAM J.矩阵分析。申请。17,1(1996年1月),127-12。http://ezproxy.bib.hh.se/login?url=https://search-proquest-com.ezproxy.bib.hh.se/docview/923766835?accountid=11261版权所有:1996年工业和应用数学学会;上次更新日期:2012-02-28。谷歌学者谷歌学者数字图书馆数字图书馆
  22. Cleve B.Moler和Charles Van Loan。2003.计算矩阵指数的十九种可疑方法,二十五年后。SIAM版本。45, 1 (2003), 3--49.谷歌学者谷歌学者数字图书馆数字图书馆
  23. 马本·拉比,2020年。代码海洋舱:利用切比雪夫插值在开关之间模拟分段仿射ODE。谷歌学者谷歌学者交叉引用交叉引用
  24. D.拉内。1966.(相位变量)标准形式的简化转换。IEEE传输。自动化。控制11、3(1966年7月)、608-608。谷歌学者谷歌学者交叉引用交叉引用
  25. 亚历山大·罗卡(Alexandre Rocca)、陶当(Thao Dang)和埃里克·范冲(Eric Fanchon)。2015.利用线性系统的特征结构加快可达性计算。混合系统生物学奥德·马勒(Oded Maler)、阿尔达姆·哈拉兹(Al dám Halász)、托·丹(Thao Dang)和卡拉·皮亚扎(Carla Piazza)(编辑)。施普林格国际出版社,查姆,111-127。谷歌学者谷歌学者
  26. 里卡多·桑费利斯(Ricardo Sanfelice)、大卫·科普(David Copp)和巴勃罗·纳内兹(Pablo Nanez)。2013年,Matlab/Simulink混合系统仿真工具箱:混合方程(HyEQ)工具箱。第16届混合系统国际会议论文集:计算与控制(HSCC’13)。ACM,美国纽约州纽约市,101-106。谷歌学者谷歌学者数字图书馆数字图书馆
  27. C.斯洛斯和R.维斯涅夫斯基。2010年,利用李亚普诺夫函数抽象连续动力系统。第四十九届IEEE决策与控制会议(CDC)。3760--3765.谷歌学者谷歌学者交叉引用交叉引用
  28. 豪尔赫·斯托尔菲和路易斯·恩里克·德菲格雷多。1997自我验证的数值方法和应用。查姆施普林格。https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.8089谷歌学者谷歌学者
  29. 西图埃尔。1966.关于向(相变量)标准形的转换。IEEE传输。自动化。控制11、3(1966年7月),607--607。谷歌学者谷歌学者交叉引用交叉引用
  30. H.Wang、L.Chen和Y.Hu.2015。一种混合动态系统的状态事件检测算法。模拟91, 11 (2015), 959--969. 被0引用。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 稳定仿射系统间多面体切换的分段解析轨迹计算

        建议

        评论

        登录选项

        请检查您是否可以通过登录凭据或您的机构访问此文章以获得完全访问权限。

        登录

        完全访问权限

        • 发布于

          封面图片ACM会议
          HSCC’20:第23届混合系统国际会议论文集:计算与控制
          2020年4月
          324页
          国际标准图书编号:9781450370189
          内政部:10.1145/3365365

          版权所有©2020 ACM

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

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2020年4月22日

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文

          验收费率

          总体验收率153属于373提交文件,41%

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器