×
苏荣；van Schuppen，Jan H。；雅各布斯·E·罗达。

非确定性离散事件系统的最大允许协调分布式监控。 （英语） Zbl 1246.93004号

Automatica公司 48，第7期，1237-1247（2012）.
摘要：离散事件系统的监督合成实现非阻塞性对于大型系统来说是一个重大挑战。为了克服这一问题，我们提出了一种在部分观测下合成确定性协调分布式管理器的方法，其中设备由一组非确定性有限状态自动机建模，而需求由一组确定性有限状态自动机建模。然后，我们提供了一个充分条件，以确保由所提出的综合方法生成的协调分布式监管器的最大允许性。

引用于11文件

MSC公司：

93甲13 层次系统
93元65角 离散事件控制/观测系统
93E03型 控制理论中的随机系统（一般）

关键词：

离散通风系统；非确定性有限状态自动机；自动机抽象；协调分布式监控；最大允许度

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Su}等人，Automatica 48，第7期，1237--1247（2012；Zbl 1246.93004）
全文： 内政部

参考文献：

[1] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2007），施普林格出版社
[2] de Queiroz，M.H。；Cury，J.E.R.，《大规模离散事件系统的模块化监督控制》（Boel，R.；Stremersch，G.，《离散事件系统-分析和控制》（2000），Kluwer:Kluwer-Boston），103-110·Zbl 1051.93066号
[3] 冯·L。；Wonham，W.M.，《离散事件系统的监控体系结构》，IEEE自动控制汇刊，53，6，1449-1461（2008）·Zbl 1367.93361号
[4] Fernandez，J.C.，互模拟等效有效算法的实现，计算机程序设计科学，13，2-3，219-236（1990）·Zbl 0711.68058号
[5] Flordal，H.和Malik，R.（2006年）。使用冲突等价进行模块化非阻塞验证。在程序。第八届离散事件系统国际研讨会; Flordal，H.和Malik，R.（2006年）。使用冲突等价进行模块化非阻塞验证。在程序。第八届离散事件系统国际研讨会
[6] Flordal，H。；马利克，R。；费边，M。；Akesson，K.，使用监督员等价性的最大允许监督员合成，离散事件动态系统，17，4，475-504（2007）·Zbl 1125.93018号
[7] Hill，R.和Tilbury，D.（2006年）。具有抽象和增量分层结构的离散事件系统的模块化监督控制。在程序。第八届离散事件系统国际研讨会; Hill，R.和Tilbury，D.（2006年）。具有抽象和增量分层结构的离散事件系统的模块化监督控制。在程序。第八届离散事件系统国际研讨会
[8] 希尔，R.C。；蒂尔伯里，D.M。；Lafortune，S.，具有基于等价的抽象和基于覆盖的冲突解决的模块化监督控制，离散事件动态系统，20，1139-185（2010）·Zbl 1195.93021号
[9] Komenda，J.、van Schuppen，J.，Gaudin，B.和Marchand，H.（2005）。具有通用不可分解规范语言的模块化监控。在程序。第44届IEEE决策与控制会议; Komenda，J.、van Schuppen，J.，Gaudin，B.和Marchand，H.（2005）。具有通用不可分解规范语言的模块化监控。在程序。第44届IEEE决策与控制会议·Zbl 1283.93011号
[10] Leduc，R.J。；劳福德，M。；Wonham，W.M.，基于分层接口的监控第二部分：并行案例，IEEE自动控制事务，50，9，1336-1348（2005）·Zbl 1365.93297号
[11] Lee，S.H。；Wong，K.C.，并发离散事件系统的结构分散控制，《欧洲控制杂志》，8，5，477-491（2002）·Zbl 1293.93524号
[12] Malik，R.和Flordal，H.（2008）。离散事件系统合成的另一种方法。在程序。第九届离散事件系统国际研讨会; Malik，R.和Flordal，H.（2008）。离散事件系统合成的另一种方法。在程序。第九届离散事件系统国际研讨会
[13] Malik，P.、Malik（R.）、Streader，D.和Reeves，S.（2007）。离散控制器的模块化综合。在程序。第十二届IEEE复杂计算机系统工程国际会议; Malik，P.、Malik（R.）、Streader，D.和Reeves，S.（2007）。离散控制器的模块化综合。在程序。第十二届IEEE复杂计算机系统工程国际会议
[14] 马，C。；Wonham，W.M.，状态树结构的非阻塞监督控制，IEEE自动控制事务，51，5，782-793（2006）·Zbl 1366.93355号
[15] Ramadge，P.J。；Wonham，W.M.，一类离散事件系统的监督控制，SIAM控制与优化杂志，25，1，206-230（1987）·Zbl 0618.93033号
[16] Rohloff，K.和Lafortune，S.（2003）。在广播网络环境中运行的类似代理的控制和验证。在程序。第42届IEEE决策与控制会议; Rohloff，K.和Lafortune，S.（2003）。在广播网络环境中运行的类似代理的控制和验证。在程序。第42届IEEE决策与控制会议
[17] 施密特，K。；Breindl，C.，分散离散事件系统的最大允许分级控制，IEEE自动控制汇刊，56，4723-737（2011）·Zbl 1368.93386号
[18] 施密特，K。；穆尔，T。；Perk，S.，分散离散事件系统的非阻塞分层控制，IEEE自动控制事务，53，10，2252-2265（2008）·Zbl 1367.93373号
[19] Su，R.和Thistle，J.G.（2006年）。一种基于弱互模拟的分布式监控综合方法。在程序。第八届离散事件系统国际研讨会; Su，R.和Thistle，J.G.（2006年）。一种基于弱互模拟的分布式监控综合方法。在程序。第八届离散事件系统国际研讨会
[20] 苏·R。；van Schuppen，J.H。；Rooda，J.E.，基于自动机抽象的分布式监管器聚合合成，IEEE自动控制事务，55，7，1627-1640（2010）·Zbl 1368.93387号
[21] 苏·R。；van Schuppen，J.H。；Rooda，J.E.，监管合成中非确定性有限状态自动机的模型抽象，IEEE自动控制汇刊，55，11，2527-2541（2010）·Zbl 1368.93388号
[22] 苏·R。；van Schuppen，J.H。；Rooda，J.E。；Hofkamp，A.T.，使用顺序自动机抽象进行非冲突检查，Automatica，46，6，968-978（2010）·Zbl 1192.93078号
[23] Tripakis，S.，正规语言分散观测和控制的不可判定问题，《信息处理快报》，90，1，21-28（2004）·Zbl 1178.68327号
[24] Willner，Y。；Heymann，M.，并发离散事件系统的监督控制，国际控制杂志，54，5，1143-1169（1991）·兹比尔0752.93043
[25] Wong，K.C。；Wonham，W.M.，离散事件系统的分层控制，离散事件动态系统：理论与应用，6，3，241-273（1996）·Zbl 0898.93005号
[26] Wonham，W.M.（2007年）。离散通风系统的监督控制。多伦多大学ECE系系统控制小组。网址：www.control.utoronto.ca/DES；Wonham，W.M.（2007年）。离散通风系统的监督控制。多伦多大学ECE系系统控制小组。网址：www.control.utoronto.ca/DES·Zbl 0679.68042号
[27] 沃纳姆，W.M。；Ramadge，P.J.，《关于给定语言的上可控子语言》，SIAM控制与优化杂志，25，3，637-659（1987）
[28] Yi，J.、Ding，S.、Zhang，M.T.和van der Meulen，P.（2007）。线性集群工具的吞吐量分析。在程序。第三届IEEE自动化科学与工程国际会议; Yi，J.、Ding，S.、Zhang，M.T.和van der Meulen，P.（2007）。线性集群工具的吞吐量分析。在程序。第三届IEEE自动化科学与工程国际会议
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。