×
JoséE.R.Cury。;马克斯·赫林·德奎罗斯;古斯塔沃·布松;马塞洛·泰西拉

具有区分器的离散事件系统的监督控制。 （英语） Zbl 1323.93049号

Automatica公司 56, 93-104 (2015).
摘要：本文讨论了离散事件系统（DES）的监督控制问题（SCP）的两个相关方面：建模受控系统要满足的规范时所面临的困难程度，以及合成过程的计算复杂性。该方法包括将DES模型的事件集细化为一个新的事件集。每一个细化都经过适当选择，以识别系统中原始事件的特定实例，这可能会简化规范的建模。然后，提出了一个名为distinguisher的映射来建立原始字母串和精炼字母串之间的关系。最初的研究表明，使用一组精确的事件来求解SCP，可以直接得到最优控制解，但与非精确方法相比，在综合中没有提供计算优势。然后，我们建议对改进的DES模型使用外部近似，以降低合成成本，同时保持控制解的可控性、最小限制性和非阻塞性。两个制造系统示例说明了我们的结果。

引用于4文件

MSC公司：

93元65角 离散事件控制/观测系统
93甲13 层次系统
93亿B50 合成问题
93B30型 系统标识

关键词：

离散事件系统;监督控制;区分器;近似值

软件：

UMDES公司;苏普雷米卡
PDF格式BibTeX公司 XML格式引用
\textit{J.E.R.Cury}等人，《自动化》56，93--104（2015；Zbl 1323.93049）
全文： DOI程序

参考文献：

[4] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2008），《Springer科学：Springer Science NY》·兹比尔1165.93001
[6] Cieslak，R。；Desclaux，C。；Fawaz，A.S。；Varaiya，P.，带部分观测的离散事件过程的监督控制，IEEE自动控制汇刊，33，3，249-260（1988）·Zbl 0639.93041号
[7] 达库尼亚，A.E.C。；Cury，J.E.R.，基于具有灵活标记的离散事件系统的分层监督控制，IEEE自动控制汇刊，52，12月，2242-253（2007）·Zbl 1366.93373号
[8] 冯·L。；Wonham，W.M.，《离散事件系统的监控体系结构》，IEEE自动控制汇刊，53，6，1449-1461（2008）·Zbl 1367.93361号
[9] Flordal，H。；Malik，R.，《监控中的成分验证》，SIAM控制与优化杂志，48,1914-1938（2009）·Zbl 1282.93176号
[10] 哈吉·瓦利扎德，A。；Loparo，K.A.，最小化离散事件动力学系统的监督者的事件集的基数，IEEE自动控制汇刊，41，115579-1593（1996）·兹比尔0868.93030
[11] 黄，Y。；Rudie，K。；Lin，F.，当监督员观察到特定事件发生时离散事件系统的分散控制，IEEE自动化控制交易，53，1，384-388（2008）·Zbl 1367.93365号
[13] 库马尔，R。；Garg，V.K.，关于分配程序框架中无限状态系统的状态避免控制计算，IEEE自动化科学与工程学报，2，1，87-91（2005）
[14] 林，F。；Wonham，W.M.，《离散事件系统的可观测性》，信息科学，44，3，173-198（1988）·Zbl 0644.93008号
[15] 林，F。；Wonham，W.M.，《具有部分观测的离散事件系统的分散控制和协调》，IEEE自动控制汇刊，35，12，1330-1337（1990）·Zbl 0723.93043号
[16] Mohajerani，S。；马利克，R。；Fabian，M.，模块化非阻塞监督器合成框架，IEEE自动控制事务，59，1，150-162（2014）·Zbl 1360.93433号
[18] 韦德拉奥戈，L。；库马尔，R。；马利克，R。；Akesson，K.，建模为扩展有限自动机的离散事件系统的非阻塞和安全控制，IEEE自动化科学与工程学报，8，3，560-569（2011）
[19] 佩纳，P.N。；Cury，J.E.R。；Lafortune，S.，使用抽象验证监督员的非冲突，IEEE自动控制事务，54，12，2803-2815（2009）·Zbl 1368.68237号
[20] Ramadge，P.J。；Wonham，W.M.，一类离散事件过程的监督控制，SIAM控制与优化杂志，25，1，206-230（1987）·Zbl 0618.93033号
[21] Rudie，K。；Wonham，W.M.，《全球思考，本地行动：分散监督控制》，IEEE自动控制事务，37，11，1692-1708（1992）·Zbl 0778.93002号
[22] 施密特，K。；穆尔，T。；Perk，S.，分散离散事件系统的非阻塞分层控制，IEEE自动控制事务，53，10，2252-2265（2008）·Zbl 1367.93373号
[25] Teixeira，M。；马利克，R。；Cury，J.E.R。；de Queiroz，M.H.，用扩展有限状态机和变量抽象对des进行监督控制，IEEE自动控制汇刊，60，1，118-129（2014）·Zbl 1360.93401号
[26] Wong，K.C。；Wonham，W.M.，离散事件系统的分层控制，离散事件动态系统：理论与应用，6，3，241-273（1996）·Zbl 0898.93005号
[27] Yoo，T。；Lafortune，S.，离散事件系统分散监督控制的通用体系结构，离散事件动态系统：理论与应用，12，335-377（2002）·兹比尔1048.93067
[28] Yoo，T。；Lafortune，S.，部分观测离散事件系统中出现的传感器选择问题的NP完备性，IEEE自动控制汇刊，47，9，1495-1499（2002）·Zbl 1364.93486号
[29] 钟，H。；Wonham，W.M.，《关于离散事件系统中分层监督的一致性》，《IEEE自动控制汇刊》，35，10，1125-1134（1990）·Zbl 0724.93051号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。