本诺伊·高丁;埃尔文·默坎德 并发离散事件系统的有效模块化控制方法：基于语言的方法。 （英语） Zbl 1116.93038号 离散事件动态。系统。 第2179-209号（2007年）. 摘要：在本文中，我们感兴趣的是控制一类由相互交互的组件集合定义的并发离散事件系统。我们研究规范语言中包含的上确界可控语言的计算。我们不采用分散的方法。相反，我们选择使用模块化的集中式方法，并根据每个组件的行为对电厂的一些近似值进行控制。这些近似的行为受到限制，因此它们尊重离散事件系统的一种新的语言属性，称为“部分可控条件”，这取决于规范。结果表明，在某些假设下，这些“受控近似”的交集对应于规范中包含的关于对象的上确界可控语言。该计算无需构建整个工厂，因此避免了工厂并发性引起的状态空间爆炸。最后证明了我们的方法可以严格应用的规范类包含可分离规范类。 引用于2文件 MSC公司： 93元65角 离散事件控制/观测系统 93B40码 系统理论中的计算方法（MSC2010） 93个B05 可控性 关键词：离散事件系统;监督控制问题;并发有限状态机;部分可控性 软件：UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Gaudin}和\textit{H.Merchand}，离散事件动态。系统。17，No.2，179--209（2007；Zbl 1116.93038） 全文： 内政部 链接 参考文献： [1] Abdelwahed S，Wonham W（2002）交互离散事件系统的监督控制。收录于：第41届IEEE决策与控制会议，美国拉斯维加斯，第1175-1180页，12月 [2] Akesson K，Flordal H，Fabian M（2002）利用模块化来合成和验证主管。In:IFAC会议记录，西班牙巴塞罗那，7月 [3] Brandin B、Malik R、Dietrich P（2000）《最小限制行为的增量系统验证和合成》。摘自：《美国控制会议记录》，伊利诺伊州芝加哥，第4056-4061页，6月 [4] Bryant RE（1992）有序二元决策图的符号布尔运算。ACM计算调查293-318，9月 [5] 卡桑德拉斯，C。；Lafortune，S.，《离散事件系统导论》（1999），马萨诸塞州诺威尔市：克鲁沃市，诺威尔市·Zbl 0934.93001号 [6] Cieslak，R。；Desclaux，C。；Fawaz，A。；Varaiya，P.，带部分观测的离散事件过程的监督控制，IEEE Trans Autom control，33，3，249-260（1988）·Zbl 0639.93041号 ·数字对象标识代码：10.1109/9.402 [7] de Queiroz MH，Cury JER（2000）组合系统的模块化控制。摘自：《美国控制会议论文集》，伊利诺伊州芝加哥。第4051-4055页，6月 [8] de Queiroz MH，Cury JER（2000）大型离散事件系统的模块化监督控制。摘自：第五届离散事件系统研讨会论文集，WODES 2000，比利时根特，8月·Zbl 1051.93066号 [9] Gaudin B（2004）《独立系统结构控制综合》。雷恩大学博士论文，11月1日 [10] Gaudin B，Marchand H（2004a）一类并发离散事件系统的模块化监督控制。In:第七届离散事件系统研讨会进程，WODES’04，9月·Zbl 1293.93037号 [11] Gaudin B，Marchand H（2004b）并发离散事件系统的监督控制。研究代表1593，IRISA，2004年2月。可在http://www.irisa.fr/vertecs/Publis/Ps/1593.Ps，2月·Zbl 1293.93037号 [12] Gaudin B，Marchand H（2004c）产品和分层离散事件系统的监督控制。欧洲药典控制10（2）·Zbl 1293.93037号 [13] Gaudin B，Marchand H（2005）松散同步离散事件系统监管器的高效计算：基于状态的方法。地点：7月在捷克共和国布拉格举行的第六届国际会计师联合会世界大会 [14] Gunnasson J（1997）离散事件动态系统的符号方法和工具。林雪平大学博士论文 [15] Hoffmann G，Wong-Toi H（1992）监控控制器的符号合成。载于：《1992年美国控制会议记录》，伊利诺伊州芝加哥，第2789-2793页 [16] 霍洛韦，LE；Krogh，B.，一类受控Petri网的反馈控制逻辑综合，IEEE Trans-Autom control，35，5，514-523（1990）·Zbl 0709.68035号 ·数字对象标识代码：10.1109/9.53517 [17] 江，S。；Kumar，R.，离散事件系统的分散控制，专门用于本地控制和并发系统，IEEE Trans-Syst Man Cyber第B部分，30，5，653-660（2000）·数字对象标识代码：10.1109/3477.875442 [18] Leduc RJ、Brandin BA、Wonham WM、Lawford M（2001）《基于层次接口的监控：串行案例》。摘自：《第40届国会决议控制会议记录》，第4116-4121页，12月·Zbl 1365.93296号 [19] Lee S-H，Wong KC（2002）并发离散事件系统的结构分散控制。欧洲药典控制8（5）·Zbl 1293.93524号 [20] Ma C（2004）状态树结构的非阻塞监督控制。博士论文。多伦多大学，2月 [21] Marchand，H。；Bournai，P。；勒博涅，M。；Le Guernic，P.，基于信号环境的离散事件控制器的合成，Dis event Dynamic Syst Theory Appl，10，43447-368（2000）·Zbl 0976.93057号 ·doi:10.1023/A:1008363704766 [22] Papadimitriou，Ch，计算复杂性（1994），马萨诸塞州：Addison-Wesley Reading·兹比尔083368049 [23] Rohloff K，Lafortune S（2003）在广播网络环境中运行的类似代理的控制和验证。In:第42届IEEE决策与控制会议，美国夏威夷，12月·Zbl 1364.93032号 [24] Rudie，K。；Wonham，WM，《全球思考，本地行动：分散监督控制》，IEEE Trans-Autom control，31，11，1692-1708（1992）·兹比尔0778.93002 ·数字对象标识代码：10.1109/9.173140 [25] Vahidi A、Lennaston B、Fabian M（2004）《大型系统的高效监督综合》。摘自：第七届离散事件系统研讨会论文集，WODES’04，9月 [26] Willner，Y。；Heymann，M.，并发离散事件系统的监督控制，国际J控制，54，5，1143-1169（1991）·Zbl 0752.93043号 [27] Wonham WM（2003）《离散事件系统控制注释》。技术代表ECE 1636F/1637S。多伦多大学电气与计算机工程系，7月 [28] WM Wonham；Ramadge，PJ，离散事件系统的模块化监控，数学控制信号系统，1，13-30（1988）·Zbl 0661.93053号 ·doi:10.1007/BF02551233 [29] Yoo T，Lafortune S（2000）离散事件系统分散监督控制的一般架构。在：离散事件系统第五次研讨会论文集，WODES 2000，比利时根特，8月·Zbl 1051.93065号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。