×
彼得·柯林斯

可达集的连续性和可计算性。 （英语） Zbl 1154.93351号

西奥。计算。科学。 341，第1-3号，162-195（2005）.
摘要：非线性动态和控制系统可达集的计算是系统理论的一个重要问题。在本文中，我们考虑使用图灵机进行近似计算的可达集的可计算性。我们将Weihrauch的第二类有效性理论用于可计算分析和拓扑，这为在集合和地图上进行计算提供了一个自然的设置。主要结果是可达集是较低的可计算集，但只有当它等于链可达集时才是外部可计算集。在分析过程中，我们将可计算拓扑理论扩展到局部紧Hausdorff空间和半连续集值映射，并提供了计算近似的框架。

引用于1审查
引用于20文件

MSC公司：

93B40码 系统理论中的计算方法（MSC2010）
93个B03 可达集，可达性
03层60 构造性和递归分析

关键词：

可计算分析;可到达集合;可计算拓扑空间;半连续函数;近似表示法

软件：

日/日;盖奥
PDF格式BibTeX公司 XML格式引用
\提奥，textit{P.柯林斯}。计算。科学。341，编号1--3，162-195（2005；Zbl 1154.93351）
全文： 内政部 链接

参考文献：

[1] E.Asarin，A.Bouajjani，扰动图灵机和混合系统，收录于：Proc。第十六年。IEEE交响乐。《计算机科学中的逻辑》，IEEE，2001年。；E.Asarin，A.Bouajjani，扰动图灵机和混合系统，在：Proc。第十六年。IEEE交响乐。《计算机科学中的逻辑》，IEEE，2001年。
[2] E.Asarin，T.Dang，O.Maler，d/dt:混合系统的验证工具，in：Proc。第40届IEEE决策与控制大会，IEEE出版社，纽约，2001年。；E.Asarin，T.Dang，O.Maler，d/dt:混合系统的验证工具，in：Proc。第40届IEEE决策与控制大会，IEEE出版社，纽约，2001年。
[3] Asarin，E。；马勒，O。；Pnueli，A.，具有分段常数导数的动力系统的可达性分析，Theoret。计算。科学。，138, 1, 35-65 (1995) ·Zbl 0884.68050号
[4] Aubin，J.-P.，《可行性理论，系统与控制：基础与应用》（1991），Birkhäuser:Birkháuser Boston·Zbl 0755.93003号
[5] 奥宾，J.-P。；Frankowska，H.，集值分析，系统与控制：基础与应用（1990），Birkhäuser:Birkháuser Boston·Zbl 0713.49021号
[6] E.Bishop，D.Bridges，建设性分析，摘自：Grundlehren der Mathematischen Wissenschaften Springer，柏林，第279卷，1985（数学科学基本原理）。；E.Bishop，D.Bridges，建设性分析，收录于：Grundlehren der Mathematischen Wissenschaften Springer，柏林，第279卷，1985（数学科学基本原理）·Zbl 0656.03042号
[7] Brattka，V.，《拓扑结构上的可计算性》（Cooper，S.B.；Goncharov，S.S.，《可计算性和模型大学Ser.Math》（2003），Kluwer/Plenum:Kluwer/Plenum New York），93-136
[8] V.Brattka，可绘制实数函数，载：RNC’5实数与计算机，法国里昂，2003年，第13-30页。；V.Brattka，可绘制实数函数，见：RNC’5 real Numbers and Computers，法国里昂，2003年，第13-30页。
[9] 布拉特卡，V。；Presser，G.，度量空间子集的可计算性，理论。公司。科学。，305, 43-76 (2003) ·Zbl 1071.03027号
[10] 布拉特卡，V。；Weihrauch，K.，欧几里得空间子集的可计算性。I.闭紧子集，定理。计算。科学。，219，1-2，65-93（1999），分析中的可计算性和复杂性（Castle Dagstuhl，1997）·Zbl 0916.68042号
[11] Cardaliaguet，P。；Quincampoix，医学博士。；Saint-Pierre，P.，最优控制和微分对策的集值数值分析，（《随机和微分对策》，第4期，国际社会动力游戏（1999年），Birkhä用户：Birkhá用户Boston），177-247·Zbl 0982.91014号
[12] C.Conley，孤立不变集和莫尔斯指数，CBMS地区会议。《数学》，第38卷，美国数学学会，普罗维登斯，RI，1978年。；C.Conley，孤立不变集和莫尔斯指数，CBMS地区会议。《数学》第38卷，美国数学学会，普罗维登斯，RI，1978年·兹伯利0397.34056
[13] Dellnitz，M。；弗罗兰德，G。；Junge，O.，面向GAIO-set的动力学系统数值方法背后的算法，（Fiedler，B.，遍历理论分析和动力学系统的高效模拟（2001），Springer:Springer-Belin），145-174805-807·Zbl 0998.65126号
[14] M.Frázle，《混合系统分析：一盎司现实主义可以拯救无限状态》，载于：J.Flum，M.Rodriguez-Artalejo（编辑），《计算机科学逻辑》，计算机科学讲稿，第1683卷，斯普林格，柏林，海德堡，纽约，1999年。；M.Fräzle，《混合系统分析：一盎司现实主义可以拯救无限状态》，载于：J.Flum，M.Rodriguez-Artalejo（编辑），《计算机科学逻辑，计算机科学讲义》，第1683卷，斯普林格，柏林，海德堡，纽约，1999年·Zbl 0944.68119号
[15] M.Fräzle，多项式混合自动机的最终真相，见：N.Kobayashi，B.C.Pierce（编辑），《计算机软件的理论方面，计算机科学讲义》，第2215卷，施普林格，柏林，海德堡，纽约，2001年，第340-359页。；M.Fräzle，多项式混合自动机的最终真相，见：N.Kobayashi，B.C.Pierce（编辑），《计算机软件的理论方面》，计算机科学讲稿，第2215卷，施普林格，柏林，海德堡，纽约，2001年，第340-359页·Zbl 1087.68571号
[16] 克莱因，E。；汤普森，A.C.，《对应理论》。包括数学经济学应用，加拿大数学学会专著和高级文本系列（1984），威利：威利纽约·Zbl 0556.28012号
[17] Kurzhanski，A.B。；István Vályi，估计和控制的椭球微积分，系统与控制：基础与应用（1997），Birkhäuser:Birkháuser Boston，MA·Zbl 0865.93001号
[18] Kurzhanski，A.B。；Varaiya，P.，关于可达性分析的椭球技术。I.外部近似，Optim。方法软件。，17, 2, 177-206 (2002) ·Zbl 1017.93008号
[19] Kurzhanski，A.B。；Varaiya，P.，关于可达性分析的椭球技术。二、。内部近似箱值约束，Optim。方法软件。，17, 2, 207-237 (2002) ·Zbl 1017.93009号
[20] Manna，Z。；Pnueli，A.，反应和并发系统的时间逻辑，规范（1992），施普林格：施普林格纽约
[21] K.Mischaikow、M.Mrozek、Conley指数。，in：《动力系统手册》，第2卷，荷兰北部，阿姆斯特丹，2002年，第393-460页。；K.Mischaikow、M.Mrozek、Conley指数。，见：《动力系统手册》，第2卷，荷兰北部，阿姆斯特丹，2002年，第393-460页·Zbl 1035.37010号
[22] Munkres，J.R.，《拓扑学：第一课程》（1975年），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，新泽西州恩格尔伍德克利夫斯·Zbl 0306.54001号
[23] A.Puri，P.Varaiya，V.Borkar，微分包裹体的Epsilon近似，收录于：R.Alur，T.A.Henzinger，E.D.Sontag（编辑），混合系统III，计算机科学讲稿，第1066卷，柏林斯普林格，1996年，第362-376页。；A.Puri，P.Varaiya，V.Borkar，微分包裹体的Epsilon近似，收录于：R.Alur，T.A.Henzinger，E.D.Sontag（编辑），混合系统III，计算机科学讲稿，第1066卷，柏林斯普林格，1996年，第362-376页。
[24] M.Schröder，具有可容许表示的非极限空间的自然弱极限空间，Elector。理论注释。计算。科学。66(1).; M.Schröder，一个具有可容许表示的自然弱极限空间，它不是极限空间，Electr。理论注释。计算。科学。66(1).
[25] Szolnoki，D.，计算可达集和控制集的面向集方法，离散Contin。动态。系统。序列号。B、 3、3、361-382（2003）·Zbl 1120.93007号
[26] Weihrauch，K.，《可计算分析导论》，《理论计算机科学文本》（2000），施普林格出版社：柏林施普林格·Zbl 0956.68056号
[27] Ziegler，M.，正则集上的可计算运算符，MLQ数学。日志。Q.，50，4-5，392-404（2004）·Zbl 1058.03071号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。