摘要
A.贾马克。 具有有界控制输入的离散时间系统的镇定。 滑铁卢大学硕士论文,2000年。 网址: http://hdl.handle.net/10012/765。 谷歌学者 S.Akshay、T.Antonopoulos、J.Ouaknine和J.Worrell。 马尔可夫链的可达性问题。 信息处理信件, 115(2):155 -- 158, 2015. 谷歌学者 数字图书馆 E.Asarin、O.Maler和A.Pnueli。 具有分段常数导数的动力系统的可达性分析。 西奥。 计算。 科学。, 138(1):35--65, 1995. 谷歌学者 数字图书馆 V.Blondel和J.Tsitsiklis。 基本混杂系统稳定性和可控性的复杂性。 Automatica、, 35(3):479--489, 1999. 谷歌学者 数字图书馆 V.Blondel和J.Tsitsiklis。 三类初等非线性系统的复杂性和可判定性结果概述。 在山本裕隆和原原真二的编辑中, 学习、控制和混合系统, 第46-58页,伦敦,1999年。 斯普林格。 谷歌学者 V.Blondel和J.Tsitsiklis。 对计算复杂性的调查导致了系统和控制。 Automatica、, 36(9):1249--1274, 2000. 谷歌学者 数字图书馆 蔡金一。 精确计算多项式时间内交换矩阵的Jordan范式。 技术报告,纽约州立大学布法罗分校,2000年。 谷歌学者 D.Cattaruzza、A.Abate、P.Schrammel和D.Kroening。 利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 在 静态分析——第22届SAS国际研讨会, 第9291卷,共页 计算机科学讲义, 第312-331页。 斯普林格,2015年。 谷歌学者 交叉引用 P.库克。 关于受有界扰动的动力系统的行为。 国际系统科学杂志, 11(2):159--170, 1980. 谷歌学者 交叉引用 纳塔娜·菲亚尔科夫、乔·瓦克宁、阿毛里·保利、乔·索萨·平托和詹姆斯·沃雷尔。 线性时不变系统可达性的可判定性。 CoRR公司, abs/1802.065752018年。 网址: http://arxiv.org/abs/1802.06575 ,arXiv:1802.06575。 谷歌学者 A.Girard和C.Le Guernic。 使用支持函数对线性系统进行有效可达性分析。 IFAC会议记录卷, 41(2):8966 -- 8971, 2008. 第17届国际会计师联合会世界大会。 谷歌学者 A.Girard、C.Le Guernic和O.Maler。 具有输入的线性时不变系统可达集的有效计算。 在 混合系统:计算与控制,第九届国际研讨会,HSCC, 第3927卷,共页 计算机科学课堂讲稿, 第257至271页。 斯普林格,2006年。 谷歌学者 数字图书馆 W.J.Grantham和T.L.Vincent。 可控性最小原则。 最优化理论与应用杂志, 17(1):93--1141975年10月。 谷歌学者 交叉引用 V.Halava、T.Harju、M.Hirvensalo和J.Karhumäki。 Skolem的问题——关于可判定性和不可判定性之间的边界。 技术报告683,图尔库计算机科学中心,2005年。 谷歌学者 M.A.哈里森。 形式语言理论导论。 Addison-Wesley Longman Publishing Co.,Inc.,美国马萨诸塞州波士顿,第1版,1978年。 谷歌学者 数字图书馆 W.P.M.H.Heemels和M.K.Cammorphil。 具有输入和状态约束的离散线性系统的零能控性。 在 2008年第47届IEEE决策与控制会议, 第3487-3492页,2008年。 谷歌学者 交叉引用 T.Hu和D.Miller。 具有输入饱和的LTI离散时间系统的零可控区域。 Automatica、, 38(11):2009 -- 2013, 2002. 谷歌学者 数字图书馆 T.Hu、D.Miller和L.Qiu。 具有饱和执行器的线性系统零可控区域的显式描述。 系统和控制信件, 47(1):65 -- 78, 2002. 谷歌学者 交叉引用 T.Hu和L.Qiu。 输入有界的线性系统的可控区域。 系统和控制信件, 33(1):55--61, 1998. 谷歌学者 交叉引用 R.Kannan和R.J.Lipton。 轨道问题的多项式时间算法。 美国医学杂志J.ACM, 33(4):808--821986年8月。 谷歌学者 数字图书馆 Shahab Kaynama和Meeko M.K.Oishi。 通过相似变换超逼近lti系统的可达集。 2010年美国控制会议记录, 第1874-1879页,2010年。 谷歌学者 交叉引用 I.Kirat和I.Kocyigit。 关于自仿射分形的凸壳。 ArXiv电子打印, 2015年4月。 arXiv:1504.07396。 谷歌学者 P.Koiran、M.Cosnard和M.Garzon。 低维动力系统的可计算性。 西奥。 计算。 科学。, 132(2):113--128, 1994. 谷歌学者 数字图书馆 杰拉尔多·拉弗里尔(Gerardo Lafferiere)、乔治·J·帕帕斯(George J.Pappas)和珊卡·萨斯特里(Shankar Sastry)。 O-最小混合系统。 MCS中, 13(1):1--21, 2000. 谷歌学者 M.Mignotte、T.Shorey和R.Tijdeman。 代数递归序列项之间的距离。 J.für die reine und angewandte数学。, 1984年第349页。 谷歌学者 J.Ouaknine和J.Worrell。 低阶线性递归序列的正性问题。 在 第二十五届ACM-SIAM离散算法年会论文集,SODA 2014, 第366-379页,2014年。 谷歌学者 数字图书馆 G.Rozenberg和A.Salomaa。 不确定性的基石。 普伦蒂斯·霍尔,1994年。 谷歌学者 数字图书馆 A.Salomaa和M.Soittola。 形式幂级数的自动机理论方面。 计算机科学的文本和专著。 施普林格,1978年。 谷歌学者 数字图书馆 W.E.Schmitendorf和B.R.Barmish。 具有约束控制的线性系统的零能控性。 SIAM控制与优化杂志, 18(4):327--345, 1980. 谷歌学者 数字图书馆 O.Shakernia、S.Sastry和G.J.Pappas。 一类线性系统的可判定控制器综合。 在 混合系统:计算与控制,第三届国际研讨会,HSCC, 第1790卷,共页 计算机科学课堂讲稿, 第407--420页。 斯普林格,2000年。 谷歌学者 数字图书馆 H.Siegelmann和E.Sontag。 关于神经网络的计算能力。 J.计算。 系统。 科学。, 50(1):132--150, 1995. 谷歌学者 数字图书馆 E.桑塔格。 线性系统有界可控性的代数方法。 国际控制杂志, 39(1):181--188, 1984. 谷歌学者 交叉引用 D.Summers、Z.Wu和C.Sabin。有界控制下线性动力系统的状态估计。 最优化理论与应用杂志, 72:299--818, 1992. 谷歌学者 数字图书馆 陶先生。 结构和随机性:数学博客第一年的页面。 美国数学学会,2008年。 谷歌学者 数字图书馆 R.van Til和W.E.Schmitendorf。离散时间系统的约束可控性。 国际控制杂志, 43(3):941-9561986年。 谷歌学者 交叉引用 J.瓦斯。 关于IFS分形的精确凸壳。 ArXiv电子打印, 2015年2月。 arXiv:1502.03788。 谷歌学者 N.K.Vereshchagin公司。 线性递归序列中零的出现问题(俄语)。 马特·扎梅特基, 38(2), 1985. 谷歌学者 赵先生。 饱和输入线性离散系统的可控丰度。 ArXiv电子打印, 2017年5月。 arXiv:1705.08064。 谷歌学者
建议
连续时间线性时不变系统可达性的判定 HSCC’21:第24届混合系统国际会议论文集:计算与控制 我们考虑连续时间上线性时不变控制系统的状态到状态可达性的可判定性。 我们根据允许的控制集来分析这个问题,这些控制集被假定为…的线性映射下的图像。。。