×
迈克尔·汉森。;帕里托什·K·潘迪亚。;周朝晨

有限发散。 （英语） Zbl 0874.68269号

西奥。计算。科学。 138，第1期，113-139（1995）。
摘要：到目前为止，人们已经在有限可变性的假设下研究了实时和混合系统。我们考虑的模型中，表现出有限散度的系统也可以被分析。在这样的系统中，系统的状态可以在有限的时间内无限频繁地改变。这种行为出现在混合系统的许多表示中，也出现在非线性系统的理论中。这里的目的是提供一种理论，用于分析诸如有限散度这样的病理行为——如果只是为了证明它不会发生在感兴趣的系统中。利用持续演算的框架研究了有限散度。给出公理和证明规则。根据适当的公理，将散度的发生模式分为密集散度、累积散度和离散散度。给出了离散散度推理的归纳规则。

引用于8文件

MSC公司：

第68页第27页 人工智能中的逻辑
68岁20岁 模拟（MSC2010）

关键词：

混合系统;离散发散
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Hansen}等人，Theor。计算。科学。138，编号1，113--139（1995；Zbl 0874.68269）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；亨辛格，T。；Hybrid Ho，P.-H.，《混合自动机：混合系统规范和验证的算法方法》，（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，《混合系统》，《计算机科学讲义》，第736卷（1993），施普林格：施普林格柏林），209-229
[2] 阿鲁尔（Alur，R.）。；Dill，D.，《时间自动机理论》（Real-Time:理论在实践中），《实时：理论在实践》，计算机科学讲义，第600卷（1992年），施普林格：施普林格柏林），45-73
[3] 巴林杰，H。；Kuiper，R。；Pnueli，A.，《一个真正抽象的并发模型及其时序逻辑》（Proc.13th ACM Symp.Principles of Programming Languages（1986），ACM:ACM New York），173-183
[4] N.Bourbaki，数学基础：一般拓扑（艾迪森·韦斯利，雷丁，马萨诸塞州）。；N.Bourbaki，数学基础：一般拓扑（Addison-Wesley，马萨诸塞州雷丁）·Zbl 0145.19302号
[5] 库兰特，R。；John，F.，（微积分与分析导论，第1卷（1965年），威利：威利纽约），37-40·Zbl 0137.02902号
[6] 戴维斯，J。；Schneider，S.，定时CSP简史，（技术专著PRG-96（1992），牛津大学计算实验室）·Zbl 0874.68162号
[7] （Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，《混合系统》，《计算机科学讲义》，第736卷（1993），施普林格：施普林格柏林）·Zbl 0825.00044号
[8] Hooman，J.，《混合系统设计的组合方法》（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，hybrid systems.hybrid-systems，计算机科学讲稿，第736卷（1993），Springer:Springer Berlin），121-148
[9] Kesten，Y。；Pnueli，A。；Sifakis，J。；Yovine，S.，《集成图：一类可判定的混合系统》（Grossman，R.L.；Nerode，a.；Ravn，a.P.；Rischel，H.，《混合系统》，《计算机科学讲义》第736卷（1993），Springer:Springer-Berlin），179-208
[10] Lamport，L.，《混合系统在（TLA^+）中的应用》，（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，《杂交系统》，《计算机科学讲稿》，第736卷（1993），施普林格：施普林格柏林），77-102·Zbl 0825.00044号
[11] 李晓山，平均值时长演算（博士论文（1993），中国科学院软件研究所：中国科学院北京软件研究所）·Zbl 0919.03009号
[12] Moszkowski，B.，硬件多级推理的时序逻辑，IEEE计算。，18, 2, 10-19 (1985)
[13] Manna，Z。；Pnueli，A.，《反应和并发系统的时间逻辑：规范》（1991），Springer:Springer New York·Zbl 0753.68003号
[14] Manna，Z。；Pnueli，A.，《验证混合系统》（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，《混合系统》，《计算机科学讲义》，第736卷（1993），施普林格：施普林格-柏林），4-35·Zbl 0825.00044号
[15] Nerode，A。；Kohn，W.，《混合系统的模型：自动机、拓扑、可控性、可观测性》，（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，混合系统。混合系统，计算机科学讲义，第736卷（1993），Springer:Springer Berlin），317-356
[16] 尼克林，X。；Richier，J.L。；Sifakis，J。；Voiron，J.，《ATP：定时过程的代数》（Proc.IFIP TC 2 Working Conf.Programming Concepts and Methods（1990），《加利利海：以色列加利利海》）
[17] 尼克林，X。；Sifakis，J。；Yovine，S.，《从ATP到定时图和混合系统》，（实时：实践中的理论。实时：实践的理论，计算机科学课堂讲稿，第600卷（1992），施普林格：施普林格柏林），549-572
[18] Ravn，A.P。；Rischel，H。；Hansen，K.M.，《指定和验证实时系统的要求》，IEEE Trans。软件工程，19，1，41-55（1993）
[19] 里德·G·M。；Roscoe，A.W.，《通信顺序过程的时间模型》（ICALP 86）。ICALP 86，《计算机科学讲义》，第266卷（1986年），施普林格出版社：柏林施普林格），314-323·Zbl 0594.68025号
[20] 里德，G.M。；Roscoe，A.W.，《作为实时并发模型的度量空间》，（编程的数学基础。编程数学基础，计算机科学讲义，第298卷（1987），施普林格：施普林格柏林），331-343·兹比尔0644.68040
[21] Chaochen，Zhou，持续时间演算：概述，（编程中的形式化方法及其应用。编程中的形式化方法及其应用，计算机科学讲义，第735卷（1993），施普林格：施普林格柏林），256-266
[22] 周朝晨；霍尔，C.A.R。；Ravn，A.P.，《持续时间的计算》，Inform。过程。莱特。，40, 5, 269-276 (1991) ·Zbl 0743.68097号
[23] 周朝晨；李晓山，《平均值持续时间微积分》（Roscoe，A.W.，《经典思维：纪念C.A.R.Hoare的论文》（1994），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格伍德悬崖，新泽西州），431-451
[24] 周朝晨；Ravn，A.P。；Hansen，M.R.，《混合实时系统的扩展持续时间演算》，（Grossman，R.L.；Nerode，A.；Ravn，A.P.；Rischel，H.，混合系统。混合系统，计算机科学讲稿，第736卷（1993），施普林格：施普林格柏林），36-59·Zbl 0825.00044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。