摘要
马蒂亚斯·阿尔霍夫。 2015年CORA 2015简介。 在 建筑@CPSWeek。 120--151. 谷歌学者 马蒂亚斯·阿尔霍夫(Matthias Althoff)、奥拉夫·斯图斯伯格(Olaf Stursberg)和马丁·巴斯(Martin Buss)。 2007.具有不确定参数和输入的线性系统的可达性分析。 在 第46届IEEE决策与控制会议。 IEEE,726--732。 谷歌学者 交叉引用 David Angeli和Eduardo D.Sontag。 2003.单音控制系统。 IEEE传输。 自动化。 控制 48, 10 (2003), 1684--1698. 谷歌学者 交叉引用 M.Arcak和J.Maidens。 2018.使用组件收缩特性对非线性系统进行基于仿真的可达性分析。 在 建模原理, M.Lohstroh、P.Derler和M.Sirjani(编辑)。 施普林格,61-76。 谷歌学者 Gilles Chabert和Luc Jaulin。 2009年。承包商规划。 人工智能 173 (2009), 1079--1100. 谷歌学者 数字图书馆 Xin Chen、Erika Al brahám和Sriram Sankaranarayanan。 2013.流量*:非线性混合系统分析仪。 在 计算机辅助核查国际会议。 施普林格,258-263。 谷歌学者 交叉引用 朱天光和黄琳。 动力系统的混合单调分解及其应用。 科学通报 43, 14 (1998), 1171--1175. 谷歌学者 Samuel Coogan和Murat Arcak。 {n.d.}。 运输网络中的基准问题。 arXivprent arXiv:1803.00367 ({n.d.})。 谷歌学者 塞缪尔·库根和穆拉特·阿萨克。 2015.混合单调系统的有效有限抽象。 在第18届混合系统国际会议:计算和控制。 美国医学会,58-67。 谷歌学者 数字图书馆 Samuel Coogan、Murat Arcak和Alexander A.Kurzhanskiy。 2016.部分先进先出交通流模型的混合单调性。 在 第55届IEEE决策与控制会议。 IEEE,7611--7616。 谷歌学者 朱利安·亚历山大·迪特·桑德雷托和亚历山大·查普特。 2016.验证了显式和隐式Runge-Kutta方法。 可靠的计算 第22、1页(2016年7月),第79-103页。 谷歌学者 托马索·德罗西。 2017.Sapo:多项式动力系统的可达性计算和参数合成。 在 第20届混合系统国际会议:计算与控制。 美国医学会,29-34。 谷歌学者 数字图书馆 戈兰·弗雷泽(Goran Frehse)、科拉斯·勒格尼奇(Colas Le Guernic)、亚历山大·唐泽(Alexandre Donzé)、斯科特·科顿(Scott Cotton)、拉贾西·雷(Rajarshi Ray)、奥利维尔·勒贝泰尔(Olivier Lebeltel)、鲁道夫·里帕多(Rodolfo Ri。 2011年,SpaceEx:混合系统的可扩展验证。 在 计算机辅助核查国际会议。 施普林格,379-395。 谷歌学者 数字图书馆 莫里斯·W·赫希(Morris W.Hirsch)和哈尔·史密斯(Hal Smith)。 2005年。单色地图:综述。 差分方程与应用杂志 11, 4--5 (2005), 379--398. 谷歌学者 交叉引用 Luc Jaulin、Michel Kieffer、Olivier Didrit和Eric Walter。 2001 应用区间分析:以参数和状态估计、鲁棒控制和机器人为例。 第1卷。 施普林格科技与商业媒体。 谷歌学者 托马斯·卡佩拉和彼得·兹格利琴斯基。 2009年,控制系统和普通微分包含的Lohner型算法。 离散和连续动力系统。 B系列 11, 2 (2009), 365--385. 谷歌学者 Alex A.Kurzhanskiy和Pravin Varaiya。 2006.椭球工具箱(ET)。 在 第45届IEEE决策与控制会议。 IEEE,1498-1503。 谷歌学者 小曼纽尔·马佐(Manuel Mazo Jr)、安娜·戴维蒂安(Anna Davitian)和保罗·塔布阿达(Paulo Tabuada)。 2010年,PESSOA:嵌入式控制器综合工具。。 在 国际计算机辅助验证会议。 斯普林格,566-569。 谷歌学者 数字图书馆 Pierre-Jean Meyer、Samuel Coogan和Murat Arcak。 2018年。使用灵敏度和混合单调性进行采样数据可达性分析。 IEEE控制系统信件 2, 4 (2018), 761--766. 谷歌学者 交叉引用 Pierre-Jean Meyer和Dimos V.Dimarogonas。 2018.非线性控制系统LTL综合问题的层次分解。 arXiv预打印arXiv:1712.06014 (2018). 谷歌学者 Ian M.Mitchell和Jeremy A.Templeton。 2005.用于分析非确定性连续和混合系统的Hamilton-Jacobi解算器工具箱。 在 混合系统国际研讨会:计算与控制。 施普林格,480-494。 谷歌学者 数字图书馆 托马斯·摩尔(Thomas Moor)和约格·赖斯(Jörg Raisch)。 高阶单调连续系统基于抽象的监督控制器综合。 在 混合系统的建模、分析和设计。 施普林格,247-265。 谷歌学者 内德·内迪亚科夫。 2006 VNODE-LP。 技术报告CAS-06-06-NN。 加拿大安大略省麦克马斯特大学计算与软件系。 谷歌学者 冈特·雷西格(Gunther Reissig)、亚历山大·韦伯(Alexander Weber)和马蒂亚斯·伦格(Matthias Rungger)。 2016.符号控制器合成的反馈细化关系。 IEEE传输。 自动化。 控制 62, 4 (2016), 1781--1796. 谷歌学者 交叉引用 马蒂亚斯·伦格和马吉德·扎马尼。 2016年,SCOTS:符号控制器合成工具。 在 第19届混合系统国际会议论文集:计算与控制。 美国医学会,99-104。 谷歌学者 数字图书馆 白雪(Bai Xue)、马丁·弗兰泽尔(Martin Fránzle)和彼得·纳齐尔·莫萨德(Peter Nazier Mosaad)。 2017年,《只需划破表面:河段集计算中初始值的部分探索》(Just Scratch the Surface:Partial Exploration of Initial Values in Reach-Set Computation)。 在 第56届IEEE决策与控制会议。 1769--1775. 谷歌学者 杨利仁(Liren Yang)、奥斯卡·米克林(Oscar Mickelin)和内克米耶·奥扎伊(Necmiye Ozay)。 2018。关于混合单调性的充分条件。 arXiv预打印arXiv:1803.04528 (2018). 谷歌学者
建议
一类非线性系统的符号可达性计算 ICIS’09:2009年IEEE/ACIS第八届计算机和信息科学国际会议论文集 在形式化方法社区中,可达性被认为是设计物理控制系统(大多数是非线性系统)的关键问题。 与物理系统的稳定性和可控性有关的问题在控制理论中得到了很好的研究。 然而。。。 高频增益符号未知的严格反馈非线性系统的自适应模糊反推输出反馈控制 针对一类高频增益符号未知且状态未知的SISO非线性严格反馈系统,提出了一种自适应模糊鲁棒输出反馈控制方法。 本文讨论的非线性系统。。。