×

严格因果函数的不动点理论。 (英语) Zbl 1318.68116号

小结:我们询问严格因果成分在反馈配置中安排时是否形成定义明确的系统。此类配置的标准解释在所涉及组件的功能建模上引入了定点约束。我们形式化地严格定义了因果函数,并证明了相应的不动点问题并不总是有明确的解。我们研究了这些函数与信号上的广义距离函数严格收缩的函数之间的关系,并认为这些严格收缩函数实际上是人们应该感兴趣的函数。我们证明了这些函数的一个构造性不动点定理,介绍了相应的归纳原理,并研究了相关的收敛过程。

MSC公司:

68问题55 计算理论中的语义学
06立方厘米35 连续格和偏序集,应用
54H25个 定点和重合定理(拓扑方面)
2005年第68季度 计算模型(图灵机等)(MSC2010)
第68季度10 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[4] 马丁·阿巴迪;莱斯利·兰波特(Leslie Lamport),《老式的实时食谱》(de Bakker,J.;Huizing,C.;de Roever,W.;Rozenberg,G.,《实时:理论在实践中》(real-time:Theory in Practice),计算机科学讲义,第600卷(1992),施普林格:施普林格-柏林/海德堡),1-27
[5] 拉杰夫·阿鲁尔;库库贝提斯,君士坦丁;Dill,David,实时系统的模型检验,(论文集。第五届IEEE计算机科学逻辑研讨会。论文集。IEEE第五届计算机科学逻辑年度研讨会,1990年6月,LICS’90(1990)),414-425·Zbl 0825.68599号
[6] 拉杰夫·阿鲁尔;亨廷格,托马斯,《实时逻辑与模型:一项调查》,(de Bakker,J.;Huizing,C.;de Roever,W.;Rozenberg,G.,《实时:理论在实践中》。《实时:实践中的理论,计算机科学讲义》,第600卷(1992),施普林格:施普林格柏林/海德堡),74-106·Zbl 1512.68146号
[8] 布罗伊,曼弗雷德,时间的精炼,理论。计算。科学。,253, 1, 3-26 (2001) ·Zbl 0954.68097号
[9] 保罗·卡斯皮(Paul Caspi);阿尔伯特·本文尼斯特(Albert Benveniste);罗伯托·卢布林曼(Roberto Lublinerman);Tripakis,Stavros,《没有董事的演员:异质系统的卡尼安观点》,(Majumdar,Rupak;Tabuada,Paulo,《混合系统:计算与控制》,《计算机科学讲义》,第5469卷(2009),Springer:Springer Berlin/Heidelberg),46-60·Zbl 1237.68122号
[10] 亚当·加泰罗多(Adam Cataldo);爱德华·A·李。;刘晓军;Matsikoudis,Eleftherios;郑海洋,建设性不动点定理与时间系统的反馈语义,(2006年第8届离散事件系统国际研讨会(2006年7月)),27-32
[11] 帕特里克·库索特(Patrick Cousot);库索特,拉迪亚,塔斯基不动点定理的构造性版本,太平洋数学杂志。,82, 1, 43-57 (1979) ·Zbl 0413.06004号
[12] 布莱恩·戴维(Brian A.Davey)。;希拉里·普里斯特利(Hilary A.Priestley),《格与秩序导论》(2002),剑桥大学出版社·兹比尔1002.06001
[13] Michael Dummett,《因果循环》(Flood,Raymond;Michael Lockwood,《时间的本质》(1986),Basil Blackwell),135-169,第9章
[14] 约翰·C·艾德森。;爱德华·A·李。;马蒂克,斯洛博丹;Seshia,Sanjit A。;邹佳,《用于网络物理系统的分布式实时软件》,Proc。IEEE,100,1,45-59(2012年1月)
[15] Herbert B.Enderton,《集合论的要素》(1977),学术出版社·Zbl 0383.03034号
[16] 彼得·菲勒(Peter H.Feiler)。;David P.Gluch。;John J.Hudak,《架构分析与设计语言(AADL):简介》(2006年2月),卡内基梅隆大学软件工程研究所,技术说明CMU/SEI-2006-TN-011
[17] Godskesen,Jens Chr。;Larsen,Kim G.,实时计算和扩展定理,(Shyamasundar,Rudrapatna,《软件技术和理论计算机科学基础》,软件技术和计算机理论科学基础,计算机科学讲义,第652卷(1992年),Springer:Springer Berlin/Heidelberg),302-315
[18] 托马斯·亨辛格(Thomas A.Henzinger)。;玛纳,佐哈尔;埃米尔·普努利(Amir Pnueli),《时间转换系统》(Timed transition systems),(德巴克尔(de Bakker),J.;惠泽(Huizing),C.;德罗弗(de Roever),W.;罗森伯格(Rozenberg),G.,《实时:理论在实践中》(Real-Time:Theory in Practice),计算机科学讲义,第600卷(1992),施普林格:施普林格-柏林/海德堡),226-251
[19] Hesselink,Wim H.,Naundorf不动点定理的推广,定理。计算。科学。,247, 1-2, 291-296 (2000) ·Zbl 0949.68095号
[20] Hitzler,Pascal,逻辑编程语义中的广义度量和拓扑(2001),爱尔兰国立大学数学系,科克大学学院,博士论文
[21] 希茨勒,帕斯卡;Seda,Anthony Karel,逻辑程序设计中Priess-Crampe和Ribenboim的不动点定理,(Kuhlmann,Franz-Vittor;Kuhlmann-Salma;Marshall,Murray,《估价理论及其应用》,《1999年估价理论会议论文集》。《估值理论及其应用》,1999年估值理论会议论文集,加拿大萨斯卡通萨斯喀彻温大学。《估价理论及其应用》,1999年估价理论会议论文集。《估值理论及其应用》,《1999年估值理论会议论文集》,加拿大萨斯卡通萨斯喀彻温大学,菲尔德研究所通讯,第32卷(2002),美国数学学会),219-235·Zbl 1005.68177号
[22] 希茨勒,帕斯卡;塞达(Seda)、安东尼·卡雷尔(Anthony Karel),《广义度量和唯一确定逻辑程序》(Generalized metrics and unique determined logic programs),理论。计算。科学。,305,1-3187-219(2003年)·Zbl 1071.68018号
[23] 文森特·雅克;吴,E。;弗莱德里克·格罗珊斯;弗朗索瓦·特鲁萨特;菲利普·格兰杰;Aspect,阿兰;Roch,Jean-François,Wheeler延迟选择gedanken实验的实验实现,科学,315581496-968(2007)
[24] Kahn,Gilles,《并行编程简单语言的语义》(Rosenfeld,J.L.,《信息处理》,第74期:IFIP大会会议记录(1974年8月),North-Holland出版社:瑞典斯德哥尔摩North-Hulland出版社),471-475·Zbl 0299.68007号
[25] 德克斯特·科赞;Ruozzi,Nicholas,《度量约简的应用》(CALCO’07:第二届计算机科学中代数和余代数国际会议论文集(2007),Springer-Verlag:Springer-Verlag Berlin/Heidelberg),327-341·Zbl 1214.68218号
[26] Krötzsch,Markus,定量域理论中的广义超度量空间,定理。计算。科学。,368, 1-2, 30-49 (2006) ·Zbl 1171.68542号
[27] Lee,Edward A.,《使用离散事件建模并发实时过程》,Ann.Softw。工程师,7,1,25-45(1999)
[28] 爱德华·A·李。;Sangiovanni-Vincentelli,Alberto,《计算模型比较框架》,IEEE Trans。计算。辅助设计集成。电路系统。,17、12、1217-1229(1998年12月)
[29] 爱德华·A·李。;Varaiya,Pravin,《信号和系统的结构和解释》(2011年)
[30] 刘杰;Lee,Edward,《关于混合单变量和混合模型的因果关系》,(Maler,Oded;Pnueli,Amir,hybrid Systems:Computation and Control。hybrid-Systems:计算与控制,计算机科学课堂讲稿,第2623卷(2003),Springer:Springer-Blinl/Heidelberg),328-342·Zbl 1032.93534号
[31] 刘晓军,标记信号模型的语义基础(2005年12月),加利福尼亚大学EECS系:加利福尼亚大学伯克利分校EECS系,博士论文
[32] 刘晓军;Lee,Edward A.,《时间交互演员网络的CPO语义》,Theoret。计算。科学。,409, 1, 110-125 (2008) ·Zbl 1157.68046号
[33] 刘晓军;Matsikoudis,Eleftherios;Lee,Edward A.,《建模定时并发系统》(Baier,Christel;Hermanns,Holger,CONCUR 2006-并发理论。CONCUR 2006-并发理论,计算机科学课堂讲稿,第4137卷(2006),Springer:Springer Berlin/Heidelberg),1-15·Zbl 1151.68543号
[34] 刘晓军;Matsikoudis,Eleftherios;Lee,Edward A.,《使用广义超测量对定时并发系统建模》(2006年5月),加利福尼亚大学EECS系:加利福尼亚大学伯克利分校EECS系,技术报告UCB/EECS-2006-45
[35] 马勒,奥德;玛纳,佐哈尔;埃米尔·普努利(Amir Pnueli),《从时间到混合系统》(From Time to hybrid systems),(德巴克尔(de Bakker),J.;惠辛(Huizing),C.;德罗弗(de Roever),W.;罗森伯格(Rozenberg),G.,《实时:理论在实践中》(Real-Time:Theory in Practice),计算机科学讲稿,第600卷(1992),施普林格:施普林格-柏林/
[36] Markowsky,George,链完备偏序集和有向集及其应用,代数普遍性,6,1,53-68(1976)·Zbl 0332.06001号
[37] Matsikoudis,Eleftherios;Lee,Edward A.,《从过渡到执行》,(Pattinson,Dirk;Schröder,Lutz,《计算机科学中的协同方法》,计算机科学讲义,第7399卷(2012),Springer:Springer Berlin/Heidelberg),170-190·兹比尔1318.68122
[38] Matsikoudis,Eleftherios;Lee,Edward A.,标签执行系统(2012年5月),加利福尼亚大学EECS系:加利福尼亚大学伯克利分校EECS系,技术报告UCB/EECS-2012-64
[39] Matsikoudis,Eleftherios;Lee,Edward A.,《线性信号广义超度量半格理论的公理化》,(Gąsieniec,Leszek;Wolter,Frank,《计算理论基础》,《计算机科学基础》,第8070卷(2013),Springer:Springer Berlin/Heidelberg),248-258·兹伯利1318.68115
[40] Matsikoudis,Eleftherios;Lee,Edward A.,《严格因果函数的不动点理论》(2013年6月),加利福尼亚大学EECS系:加利福尼亚大学伯克利分校EECS系,技术报告UCB/EECS-2013-122
[41] Matsikoudis,Eleftherios;Lee,Edward A.,《广义超度量半格上严格收缩函数的不动点理论》,(Baelde,David;Carayol,Arnaud,《计算机科学中不动点问题研讨会论文集》,意大利都灵,2013年9月1日。计算机科学固定点研讨会论文集。计算机科学不动点研讨会论文集,意大利都灵,2013年9月1日,理论计算机科学电子论文集,第126卷(2013),开放出版协会,56-71·Zbl 1318.68115号
[42] Matsikoudis,Eleftherios;Lee,Edward A.,《严格因果函数的不动点》,(Braberman,Víctor;Fribourg,Laurent,《时间系统的形式化建模与分析》,《计算机科学课堂讲稿》,第8053卷(2013年),Springer:Springer Berlin/Heidelberg),183-197·Zbl 1318.68114号
[43] Matsikoudis,Eleftherios;克里斯托斯·斯特吉奥;Lee,Edward A.,《实时离散事件系统的可调度性》,(第十一届ACM嵌入式软件国际会议论文集。第十一届AMM嵌入式软件会议论文集,EMSOFT’13(2013),IEEE出版社),12:12:15·Zbl 1318.68117号
[44] Matthews,Steve G.,《部分度量拓扑》,安,纽约学院。科学。,728, 1, 183-197 (1994) ·Zbl 0911.54025号
[45] 默明,N.戴维,没有人看的时候月亮在那里吗?现实与量子理论,物理学。今天,38,4,38-47(1985)
[46] 罗宾·米尔纳(Robin Milner);Tofte,Mads,关系语义学中的共诱导,Theoret。计算。科学。,87, 1, 209-220 (1991) ·Zbl 0755.68100号
[47] Faron Moller;Tofts,Chris,通信系统的时间微积分,(Baeten,J.;Klop,J.,CONCUR'90并发理论:统一和扩展。CONCUR'90并发理论:统一和扩展,计算机科学讲义,第458卷(1990),施普林格:施普林格-柏林/海德堡),401-415·Zbl 0746.68005号
[48] 穆勒,奥拉夫;Scholz,Peter,实时和混合系统的功能规范,(Maler,Oded,hybrid and real-time systems.hybrid-and real-time systems,计算机科学讲义,第1201卷(1997),Springer:Springer Berlin/Heidelberg),273-285
[49] Naundorf,Holger,严格因果函数有一个唯一的不动点,Theoret。计算。科学。,238, 1-2, 483-488 (2000) ·Zbl 0944.68121号
[50] 泽维尔·尼科林;约瑟夫·西法基斯(Joseph Sifakis);Yovine,Sergio,《从ATP到定时图和混合系统》,(de Bakker,J.;Huizing,C.;de Roever,W.;Rozenberg,G.,《实时:理论在实践中》,《实时性:理论在实际中》,计算机科学讲义,第600卷(1992),Springer:Springer Berlin/Heidelberg),549-572·Zbl 0790.68067号
[51] 阿兰·奥本海姆(Alan V.Oppenheim)。;艾伦·S·威尔斯基。;Nawab,S.Hamid,《信号与系统》(1996),普伦蒂斯·霍尔出版社
[52] Park,David,《定点归纳和程序属性证明》,(Meltzer,B.;Miehie,D.,《机器智能》,第5卷(1969年),爱丁堡大学出版社),59-78·Zbl 0219.68007号
[53] 阿米尔·普努利;Shalev,M.,《一个步骤中的内容:状态图的语义》(Ito,Takayasu;Meyer,Albert,《计算机软件的理论方面》,计算机科学讲义,第526卷(1991年),Springer:Springer-Blinl/Heidelberg),244-264·Zbl 1493.68121号
[54] 西比拉·克莱姆伯爵;保罗·里本博伊姆(Paulo Ribenboim),《不动点、梳和广义幂级数》(Fixed points,combs and generalized power series),《数学文摘》(Abh.Math)。塞明。汉堡大学,63,1,227-244(1993)·Zbl 0788.06004号
[55] 西比拉·克莱姆伯爵;Paulo Ribenboim,广义超度量空间I,Abh.Math。塞明。汉堡大学,66,1,55-73(1996)·Zbl 0922.54028号
[56] 西比拉·克莱姆伯爵;Paulo Ribenboim,《超空间和逻辑编程》,J.Log。程序。,42, 2, 59-70 (2000) ·Zbl 0944.68027号
[57] 乔治·M·里德。;Roscoe,A.William,《通信顺序过程的时间模型》,(Kott,Laurent,Automata,《语言与编程》,Automato,《语言和编程》,《计算机科学讲义》,第226卷(1986年),Springer:Springer Berlin/Heidelberg),314-323·Zbl 0594.68025号
[58] 乔治·M·里德。;Roscoe,A.William,《度量空间作为实时并发模型》,(Main,M.;Melton,A.;Mislove,M.,Schmidt,D.,《程序设计语言语义的数学基础》,《计算机科学讲义》,第298卷(1988),Springer:Springer Berlin/Heidelberg),331-343·Zbl 0644.68040号
[59] Roscoe,A.William,《拓扑学、计算机科学和收敛数学》,(Reed,G.M.;Rosco,A.W.;Wachter,R.F.,《计算机科学中的拓扑和范畴理论》(1991),牛津大学出版社:牛津大学出版社,美国纽约州纽约市),1-27,第1章·Zbl 0744.54002号
[60] Rounds,William C.,拓扑在通信过程语义中的应用,(Brookes,Stephen;Roscoe,Andrew;Winskel,Glynn,并发研讨会。并发研讨会,计算机科学讲义,第197卷(1985),施普林格:施普林格-柏林/海德堡),360-372·Zbl 0565.68022号
[61] Davide Sangiorgi,《关于互模拟和共归纳的起源》,ACM Trans。程序。语言系统。,31, 4, 1-41 (2009) ·Zbl 1285.68112号
[62] Schörner,Erwin,《超常不动点定理和应用》,(估值理论及其应用,估值理论及应用,Fields Institute Communications,第二卷(2003),美国数学学会),353-359·兹比尔1036.54015
[63] Dana S.斯科特。;de Bakker,Jaco W.,《程序理论》(1969),IBM研究中心:奥地利维也纳IBM研究中心,未出版笔记,编程研讨会
[64] 塔斯基,阿尔弗雷德,格理论不动点定理及其应用,太平洋数学杂志。,5, 2, 285-309 (1955) ·Zbl 0064.26004号
[65] Yates,Robert,实时过程网络,(Best,Eike,CONCUR'93。CONCUR’93,计算机科学讲义,第715卷(1993),施普林格:施普林格柏林/海德堡),384-397
[66] 罗伯特·耶茨(Robert Yates);Gao,Guang,非单调实时过程网络的阿卡恩原理,(Bode,Arndt;Reeve,Mike;Wolf,Gottfried,PARLE’93 Parallel Architectures and Languages Europe.PARLE‘93 Parallel-Architectures and-Languages Europe,计算机科学讲义,第694卷(1993),Springer:Springer Berlin/Heidelberg),209-227
[67] Yi,Wang,CCS+time=实时系统的交错模型,(Albert,Javier;Monien,Burkhard;Artalejo,Mario,Automata,《语言与编程》,《自动化,语言与编程,计算机科学讲义》,第510卷(1991),Springer:Springer Berlin/Heidelberg),217-228·Zbl 0769.68027号
[68] Zeigler,Bernard P.,《建模与仿真理论》(1976),John Wiley&Sons·Zbl 0352.68122号
[69] Zeigler,Bernard P。;赫伯特·普雷霍夫(Herbert Praehofer);Kim,Tag Gon,《建模与仿真理论》(2000),学术出版社
[70] 赵阳;刘杰;Lee,Edward A.,《时间同步分布式实时系统的编程模型》,(实时和嵌入式技术与应用研讨会。实时与嵌入式技术和应用研讨会,第13届IEEE 2007年,RTAS’07(2007年4月)),259-268
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。