×
Chebotarev，A.N。

交互自动机的协调。 （英语。俄文原件） 兹比尔1328.68110

赛博。系统。分析。 51，第5号，676-686（2015）; 翻译自Kibern。西斯特。分析。2015年第2期，13-25（2015）。
摘要：自动机协调的问题是设计一个系统，该系统在与环境交互期间的行为满足给定的要求，而与环境的行为无关。给出了解决协调问题的一些理论结果以及基于这些结果的相应算法。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

自动机的相互作用;自动机的构成;自动机相对于输入的移位;自动机的协调;组成的正确性
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。51，编号5，676-686（2015；兹bl 1328.68110）；翻译自Kibern。西斯特。分析。2015年第2期、第13-25期（2015年）
全文： DOI程序

参考文献：

[1] A.Church，“递归算法在电路综合问题中的应用”，摘自：纽约康奈尔大学符号逻辑夏季研究所总结（1957），第3-50页·Zbl 1371.68177号
[2] O.Kupferman，“时间合成中的近期挑战和想法”，摘自：Proc。第38届计算机科学理论与实践大会（SOFSEM 2012）：Lect。注释计算。科学。，7147, 88-98 (2012). ·Zbl 0968.68083号
[3] B.Alpern和F.B.Schneider，“定义活力”，《信息处理快报》，第21期，第4期，181-185页（1985年）·兹比尔0575.68030 ·doi:10.1016/0020-0190（85）90056-0
[4] A.N.Chebotarev，“交互自动机”，《控制论与系统分析》，第27卷第6期，第810-819页（1991年）·Zbl 0875.68659号 ·doi:10.1007/BF01246512
[5] A.N.Chebotarev，“测试交互自动机与有限内存兼容性的通用方法”，《控制论与系统分析》，第35期，第6期，第867-874页（1999年）·Zbl 0968.68083号 ·doi:10.1007/BF02742277
[6] A.Pnueli和R.Rosner，“关于反应性模块的合成”，摘自：Proc。第16届ACM交响乐团。《程序设计语言原理》：纽约ACM出版社（1989年），第179-190页·Zbl 0686.68015号
[7] M.Abadi、L.Lamport和P.Wolper，“反应系统的可实现和不可实现规范”，见《实习医生》。自动化、语言和编程学术讨论会：Lect。注释计算。科学。，372, 1-17 (1989).
[8] R.Alur和S.LaTorre，“LTL片段的确定性生成器和游戏”，ACM Trans。计算逻辑，5，No.1，1-25（2004）·Zbl 1366.03181号 ·doi:10.1145/963927.963928
[9] N.Piterman、A.Pnueli和Y.Sa'ar，“反应性（1）设计的合成”，摘自：Proc。实习生。关于验证、模型检查和抽象解释的争论：Lect。注释计算。科学。，3855, 364-380 (2006). ·Zbl 1176.68126号
[10] O.Kupferman、P.Madhusudan、P.S.Thiagarajan和M.Vardi，“反应环境中的开放系统：控制和合成”，摘自：Proc。第11期实习生。并发理论的争论：Lect。注释计算。科学。，1877, 92-107 (2000). ·Zbl 0999.68124号
[11] V.Singhal和C.Pixley，“安全可替换性的验证问题”，摘自：Proc。计算机辅助验证会议：Lect。注释计算。科学。，818, 311-323 (1994). ·Zbl 1366.03181号
[12] S.Qadeer、R.K.Brayton、V.Singhal和C.Pixley，“在没有全局重置的情况下删除锁存冗余”，在：Proc。实习生。计算机设计会议，S.l:IEEE计算机学会，432-439（1996）。
[13] T.A.Henzinger、S.C.Krishnan、O.Kupferman和F.Y.C.Mang，“未初始化系统的合成”，摘自：Proc。实习生。ICALP 2002年学术讨论会：Lect。注释计算。科学。，2380, 644-656 (2002). ·Zbl 1057.68060号
[14] A.N.Chebotarev，“反应算法开发的组合方法”，《控制论与系统分析》，第49期，第5期，652-662页（2013年）·Zbl 1371.68177号 ·doi:10.1007/s10559-013-9552-x
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。