×
罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦

线性系统的霍尔逻辑。 （英语） Zbl 1298.68163号

正式Asp。计算。 25，第3期，345-363（2013）.

引用于三文件

MSC公司：

第68季度第60季度 规范和验证（程序逻辑、模型检查等）
93二氧化碳 控制理论中的线性系统

关键词：

霍尔逻辑;形式验证;线性系统;控制系统

软件：

自旋蛋白;爪Z;马戏团
PDF格式BibTeX公司 XML格式引用
\textit{R.Arthan}等人，正式Asp。计算。25，第3号，345--363（2013；Zbl 1298.68163）
全文： 内政部

参考文献：

[1] Abrial J-R，Börger E，Langmaack H（eds）（1996）工业应用的形式化方法，规定和编程蒸汽锅炉控制。计算机科学讲义，第1165卷。柏林施普林格·Zbl 1060.68501号
[2] Arthan R，Caseley P，O'Halloran C，Smith A（2000）ClawZ:Z中的控制律。in:第三届正式工程方法国际会议（ICFEM 2000）·Zbl 0845.18005号
[3] Abramsky S、Gay SJ、Nagarajan R（1995）《并发的规范结构和命题as-types》。In：Moller F，Birtwistle G（eds）并发逻辑：第八届Banff高阶研讨会的结构与自动机。柏林施普林格
[4] Arthan R、Martin U、Mathiesen EA、Oliva P（2007）《线性系统推理》。摘自：第五届IEEE软件工程和正式方法国际会议SEFM 2007，第123-134页。IEEE出版社·Zbl 1126.68103号
[5] Arthan R、Martin U、Mathiesen EA、Oliva P（2009）《完善的霍尔逻辑的一般框架》。ACM跨计算逻辑11（1）：1-31·Zbl 1351.03020号 ·数字对象标识代码：10.1145/1614431.1614438
[6] Bloom SL，Ed sik Z（1993）迭代理论：迭代过程的等式逻辑。柏林施普林格·Zbl 0773.03033号
[7] Boulton RJ、Hardy R、Martin U（2003）单输入单输出连续时间控制系统的Hoare逻辑。摘自：第六届混合系统、计算和控制国际研讨会论文集。LNCS，第2623卷，第113-125页。柏林施普林格·Zbl 1032.93529号
[8] Cavalcanti ALC、Clayton P、O'Halloran C（2005）《马戏团中的控制律图》。In:Fitzgerald J，Hayes IJ，Tarlecki A（eds）FM 2005：形式方法。计算机科学课堂讲稿，第3582卷，第253-268页。柏林施普林格·Zbl 1120.68412号
[9] Gottliebsen H，Kelsey T，Martin U（2005）《计算数学的隐藏验证》。符号计算杂志39:539-567·Zbl 1126.68103号 ·doi:10.1016/j.jsc.2004.12.005
[10] Hoare CAR（1969）计算机编程的公理基础。通用ACM 12（10）·Zbl 0179.23105号
[11] Haghverdi E，Scott P（2005）《走向类型化交互几何》。In:Ong L（ed）CSL’05。LNCS，第3634卷，第216-231页。柏林施普林格·Zbl 1136.03339号
[12] Jones CB（2003）早期对程序推理方法的研究。Ann Hist计算25（2）·Zbl 1077.68032号
[13] Joyal A，Street R，Verity D（1996）跟踪单体分类。剑桥Philos Soc数学课程119：447-468·Zbl 0845.18005号 ·doi:10.1017/S0305004100074338
[14] Kozen D（1997）Kleene代数与测试。ACM Trans程序语言系统19（3）：427-443·doi:10.145/256167.256195
[15] Leitner F（2008）Matlab Simulink设计验证程序与模型检查器SPIN的评估。康斯坦茨大学技术报告soft-08-05
[16] Mac Lane S（1975）《同源性》。收录：Der Grundlehren Der mathematischen Wissenschaften，第114卷。柏林施普林格·Zbl 0328.18009号
[17] Martin U，Mathiesen EA，Oliva P（2006）抽象霍尔逻辑。载于：2006年CSL会议记录。LNCS，第4207卷，第501-515页·Zbl 1225.03032号
[18] Platzer A（2010）《混合系统的逻辑分析：复杂动力学定理的证明》。海德堡施普林格·Zbl 1211.68412号 ·数字对象标识代码：10.1007/978-3-642-14509-4
[19] Polderman JW，Willems JC（1998）《数学系统理论导论：行为方法》。纽约州施普林格·doi:10.1007/978-1-4757-2953-5
[20] Rutten JJMM（2005）共导流演算和信号流图教程。计算机科学理论343（3）：443-481·Zbl 1077.68032号 ·doi:10.1016/j.tcs.2005.06.019
[21] Sheeran M（2005）《硬件设计与功能编程：完美匹配》。大学计算科学杂志11（7）：1135-1158
[22] Sontag ED（1998）《数学控制理论：确定性有限维系统》，第2版。纽约州施普林格·Zbl 0945.93001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。