×
马杜苏丹，P。;Thiagarajan，P.S。

离散事件系统的分支时间控制器。 （英语） Zbl 0992.68148号

西奥。计算。科学。 274，编号1-2，117-149（2002）.
摘要：我们研究了在分支时间框架下离散事件系统的控制器综合问题。我们使用一类标记转移系统来建模对象和规范。我们使用第一次模拟和随后的互模拟来捕捉控制器的角色；电厂的受控行为应通过模拟（互模拟）与规范相关联。对于模拟和互模拟，我们都表明，检查一对有限过渡系统（一个为工厂建模，另一个为规范建模）是否允许控制器在多项式时间内可判定的问题。我们还证明了控制器的大小，如果存在的话，可以由一个多项式来限定对象的大小和规格，并且可以在多项式时间内有效地构造。最后，我们证明了在模拟的情况下，在自然并发设置中，检查控制器存在性的问题是不可判定的。

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

离散通风系统;控制器综合;监督综合;仿真;互模拟;异步转换系统
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}和\textit{P.S.Thiagarajan}，Theor。计算。科学。274，编号1--2，117-449（2002；Zbl 0992.68148）
全文： 内政部

参考文献：

[1] M.Antoniotti，B.Mishra，《无限制CTL的监督者合成问题是NP-完全问题》，技术报告TR1995-707，美国纽约大学，1995年11月。；M.Antoniotti，B.Mishra，《无限制CTL的监督者合成问题是NP-完全问题》，技术报告TR1995-707，美国纽约大学，1995年11月。
[2] Asarin，E。；马勒，O。；Pnueli，A.，离散和定时系统的符号控制器综合，（W.Kohn，P.Antsaklis，；Nerode，A.；Sastry，S.，Hybrid systems II，计算机科学讲义，第999卷（1995），Springer:Springer Berlin），1-20
[3] G.Barrett，S.Lafortune，《利用互模拟解决离散事件控制问题》，Proc。1997年美国。控制会议，新墨西哥州阿尔伯克基，1997年6月，第2337-2341页。；G.Barrett，S.Lafortune，使用互模拟解决离散事件控制问题，Proc。1997年美国。控制会议，新墨西哥州阿尔伯克基，1997年6月，第2337-2341页。
[4] M.A.Bednarczyk，异步过渡系统的分类，博士论文，苏塞克斯大学，技术报告1/88号，1988年。；M.A.Bednarczyk，异步过渡系统的分类，博士论文，苏塞克斯大学，技术报告1/88号，1988年。
[5] Büchi，J.R。；Landweber，L.H.，通过有限状态策略求解序列条件，Trans。阿默尔。数学。《社会学杂志》，138295-311（1969）·Zbl 0182.02302号
[6] A.教会，逻辑，算术和自动机，Proc。国际。恭喜。数学。1960年，阿尔姆奎斯特和维克塞尔，乌普萨拉，1963年。；A.教会，逻辑，算术和自动机，Proc。国际。恭喜。数学。1960年，阿尔奎斯特和威克塞尔斯，乌普萨拉，1963年。
[7] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L.，《算法导论》（1992年），麻省理工学院出版社：麻省理学院出版社，剑桥
[8] V.Diekert，G.Rozenberg（编辑），《痕迹之书》，世界科学，新加坡，1995年；V.Diekert，G.Rozenberg（编辑），《痕迹之书》，世界科学，新加坡，1995年
[9] Jonsson，B。；Larsen，K.G.，（关于过程代数中方程求解的复杂性，计算机科学讲义，第493卷（1991年），Springer:Springer Berlin），381-396·Zbl 0967.68514号
[10] A.Joyal、M.Nielsen、G.Winskel，《互模拟和开放地图》，Inform。和计算。127（2）（1996）164-185，初步版本出现在Proc。第8年。IEEE交响乐。《计算机科学中的逻辑》，加拿大蒙特利尔，1993年6月。IEEE Computer Society Press，Silver Spring，MD，第418-427页。；A.Joyal、M.Nielsen、G.Winskel，《互模拟和开放地图》，Inform。和计算。127（2）（1996）164-185，初步版本出现在Proc。第8年。IEEE交响乐。《计算机科学中的逻辑》，加拿大蒙特利尔，1993年6月。IEEE计算机学会出版社，医学博士Silver Spring，第418-427页·Zbl 0856.68067号
[11] M.Jurdziñski，M.Nielsen，《金砖国家技术报告》（BRICS-RS-99-1999年6月，Proc。第17届国际。交响乐团。《计算机科学的理论方面》，2000年出版。；M.Jurdziñski，M.Nielsen，《金砖国家技术报告》（BRICS-RS-99-1999年6月，Proc。第17届国际。交响乐团。《计算机科学的理论方面》，2000年出版。
[12] P.C.Kanellakis，S.A.Smolka，CCS表达式，有限状态过程和三个等价问题，Proc。第二交响乐团。《分布式计算原理》，加拿大蒙特利尔，1983年。；P.C.Kanellakis，S.A.Smolka，CCS表达式，有限状态过程和三个等价问题，Proc。第二交响乐团。《分布式计算原理》，加拿大蒙特利尔，1983年·Zbl 0705.68063号
[13] 库马尔，R。；Garg，V.K.，《逻辑离散事件系统的建模与控制》（1995），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0875.68980号
[14] 库马尔，R。；加格，V。；马库斯，S.I.，《离散事件动力系统的可控性和正规性》，系统控制快报。，17, 3, 157-168 (1991) ·Zbl 0759.93013号
[15] R.Kumar，M.A.Shayman，部分观测下非确定性系统的集中和分散监督控制，Proc。1994年IEEE决策与控制会议，佛罗里达州奥兰多，1994年12月，第3649-3654页。；R.Kumar，M.A.Shayman，部分观测下非确定性系统的集中和分散监督控制，Proc。1994年IEEE决策与控制会议，佛罗里达州奥兰多，1994年12月，第3649-3654页。
[16] 库普夫曼，O。；Vardi，M.Y.，模块检查，（计算机辅助验证，第八届国际会议，计算机科学讲稿，第1102卷（1996），施普林格：施普林格柏林），75-86
[17] 库普夫曼，O。；Vardi，M.Y.，重温模块检查，（计算机辅助验证，第九届国际会议，计算机科学讲稿，第1254卷（1997），施普林格：施普林格柏林），36-47
[18] K.G.Larsen，L.Xinxin，使用模态转换系统求解方程，LICS’90，费城，宾夕法尼亚州，美国，1990年，第108-117页。；K.G.Larsen，L.Xinxin，使用模态转换系统求解方程，LICS’90，费城，宾夕法尼亚州，美国，1990年，第108-117页。
[19] 刘易斯，H。；Papadimitriou，C.H.，《计算理论的要素》（1981），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，美国新泽西州·Zbl 0464.68001号
[20] 林奇，N。；Vaandrager，F.，向前和向后模拟，Inform。和计算。，121, 2, 214-233 (1995) ·Zbl 0834.68123号
[21] P.Madhusudan，P.S.Thiagarajan，通过形态的离散事件系统控制器，技术报告TCS-98-02，SPIC数学研究所，印度钦奈，1998年。网址：；P.Madhusudan，P.S.Thiagarajan，通过形态的离散事件系统控制器，技术报告TCS-98-02，SPIC数学研究所，印度钦奈，1998年。可在·Zbl 0986.93041号
[22] Milner，R.，《通信系统微积分》。通信系统的微积分，计算机科学讲义，第92卷（1980），施普林格：施普林格柏林·Zbl 0452.68027号
[23] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0683.68008号
[24] Milner，R.，并发过程的运算和代数语义，（van Leeuwen，J.，理论计算机科学手册，第19章（1990），爱思唯尔：爱思唯尔北荷兰，阿姆斯特丹），1201-1242·Zbl 0900.68217号
[25] A.Overkamp，非确定性系统的监督控制，in：Proc。第11届国际。Conf.Analysis Optimization Systems，Discrete Event Systems，Sophia-Antipolis，1994年，《控制与信息科学讲义》，第199卷，Springer，纽约，1994年。；A.Overkamp，非确定性系统的监督控制，in：Proc。第11届国际。Conf.Analysis Optimization Systems，Discrete Event Systems，Sophia-Antipolis，1994年，《控制与信息科学讲义》，第199卷，Springer，纽约，1994年·兹比尔0829.93058
[26] Overkamp，A.，《使用故障语义和部分规范的监督控制》，IEEE Trans。自动化。控制，42，4，498-510（1997）·Zbl 0898.93004号
[27] A.Pnueli，R.Rosner，《关于反应性模块的合成》，Proc。第16届ACM交响乐团。《程序设计语言原理》，1989年，第179-190页。；A.Pnueli，R.Rosner，《关于反应性模块的合成》，Proc。第16届ACM交响乐团。《程序设计语言原理》，1989年，第179-190页·Zbl 0686.68015号
[28] 普努利，A。；Rosner，R.，《分布式反应系统难以合成》，（《计算机科学基础研讨会》，第二卷，密苏里州圣路易斯，1990年10月22日至24日，IEEE出版社：IEEE出版社，纽约），746-757
[29] Ramadge，P.J.G。；Wonham，W.M.，离散事件系统的控制，Proc。IEEE，77，81-98（1989）
[30] Thomas，W.，（规则无限游戏中的有限策略，计算机科学讲义，第880卷（1994），施普林格：施普林格柏林），149-158·Zbl 1044.68663号
[31] G.Winskel，M.Nielsen，并发模型，In:S.Abramsky，D.Gabby（编辑），《计算机科学逻辑手册》，第3卷，牛津大学出版社，英国牛津，1994年。；G.Winskel，M.Nielsen，并发模型，In:S.Abramsky，D.Gabby（编辑），《计算机科学逻辑手册》，第3卷，牛津大学出版社，英国牛津，1994年·Zbl 0874.68120号
[32] Wong，K.C。；Wonham，W.M.，离散事件系统的模块化控制和协调，离散事件动态系统，6，3，241-273（1996）·Zbl 0898.93005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。