×
扬尼克·恩克；扬·伦泽

非确定性输入/输出自动机的控制设计。 （英语） Zbl 1403.93130号

欧洲药典控制 21, 1-13 (2015).
摘要：针对输入输出自动机描述的离散事件系统，提出了一种新的控制设计方法。形式化的设计方法保证了闭环系统规范的实现，包括系统安全性。证明了控制回路的适定性和对象相对于规范的可控性的充要条件。用间歇过程的控制来说明结果。

引用于1文件

MSC公司：

93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
93个B05 可控性
93B15号机组 从输入输出数据实现
93B52号 反馈控制
93-04 系统和控制理论相关问题的软件、源代码等

关键词：

离散通风系统；输入/输出自动机；监督控制

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nke}和\textit{J.Lunze}，《欧洲期刊控制》21，1-13（2015；Zbl 1403.93130）
全文： DOI程序

参考文献：

[1] 阿丁-埃伦菲斯特，T。；de Bruijn，N.G.，《定向线性图中的回路和树》，（Gessel，I.；Rota，G.C.，《组合数学经典论文》，（1987），现代Birkhä用户经典，Birkhá用户波士顿），149-163
[2] Alpern，B。；Schneider，F.B.，《认识安全和活力》，《分布式计算》。，2, 117-126, (1987) ·Zbl 0641.68039号
[3] 阿诺德，A。；文森特，A。；Walukiewicz，I.，部分观测控制器合成游戏，Theor。计算。科学。，303，1，7-34，（2003）·Zbl 1175.93148号
[4] Balemi，S。；霍夫曼，G.J。；Gyugyi，P。；Wong-Toi，H。；Franklin，G.F.，《快速热多处理机的监控》，IEEE Trans。自动。控制，38，7月（7），1040-1059，（1993）·Zbl 0800.93035号
[5] 巴雷特，G。；Lafortune，S.，Bisimulation，有限状态机的监控问题和强模型匹配，离散事件动态。系统。，8, 377-429, (1998) ·Zbl 0919.93005号
[6] M.Cantarelli，J.-M.Roussel，《使用监督控制理论的无功控制系统设计：可能性和限制的评估》，摘自：《第九届离散事件系统国际研讨会论文集》，哥特堡，2008年，第200-205页。
[7] C.G.Cassandras，S.Lafortune，《离散事件系统简介》，Springer Science and Business Media，LLC，纽约，2008年·Zbl 1165.93001号
[8] Charbonnier，F。；Alla，H。；David，R.，离散事件动态系统，IEEE Trans。控制系统。技术。，7, 2, 175-187, (1999)
[9] M.H.De Queiroz，J.E.R.Cury，《制造单元本地模块化监控的合成与实现》，载于《离散事件系统第六届国际研讨会》，2002年，第377-382页。
[10] 迪特里希，P。；马利克，R。；Wonham，W.M。；Brandin，B.A.，《监督控制中的实施注意事项》，（Caillaud，Benoi；Darondeau，Philippe；Lavagno，Luciano；Xie，Xiaolan，《离散事件系统的合成与控制》，（2002），Springer US），185-201·Zbl 1051.93063号
[11] Liang Du，S.L.Ricker，P.Gohari，无功离散事件系统的分散监督控制和通信，收录于：美国控制会议，2006年。
[12] M.Fabian，A.Hellgren，《离散事件系统基于Plc的监控实施》，载于：《第37届IEEE决策与控制会议论文集》，1998年，第3卷，1998，第3305-3310页。
[13] 耿，X。；Hammer，J.，异步时序机的输入/输出控制，IEEE Trans。自动。控制，1956-1970年12月（12日），（2005年）·Zbl 1365.93288号
[14] Glushkov，V.-M.，《自动机的抽象理论》，《俄罗斯数学》。调查。，1961年10月16日（5），1-53，（译自Uspekhi Matematicheskikh Nauk 16（5）（1961）3-62）·Zbl 0104.35404号
[15] 戈哈里，P。；Wonham，W.M.，《关于rw框架中监督控制设计的复杂性》，IEEE Trans。系统。人类网络。零件BCybern。，30, 5, 643-652, (2000)
[16] C.H.Golaszewski，P.J.Ramadge，《带强迫事件的离散事件过程控制》，载于：第26届IEEE决策与控制会议，1987年12月，第247-251页。
[17] Harary，F.，图论，（1969），珀尔修斯图书出版有限责任公司，博尔德·Zbl 0182.57702号
[18] 黄，J。；Kumar，R.，离散事件系统的最优定向控制框架，IEEE Trans。系统。人类网络。A部分：系统。哼哼，372007年9月5日，780-791
[19] T.Jeron，H.Marchand，V.Rusu，V.Tschaen，《使用监督控制确保无功离散事件系统的一致性》，第42届IEEE决策与控制会议，2003年第3卷，第2692-2697页·Zbl 1152.93425号
[20] Lamport，L.，《证明多进程程序的正确性》，IEEE Trans。柔和。工程师，SE-3，三月，125-143，（1977）·Zbl 0349.68006号
[21] G.-L.Li，带强迫事件的向量离散事件系统的状态反馈控制，收录于：机器学习与控制论国际会议，2007年8月，第469-471页。
[22] Li，Y.-T.S。；Malik，S.，使用隐式路径枚举的嵌入式软件性能分析，IEEE Trans。计算-辅助设计。集成。电路系统。，1477-1487年12月16日（1997年）
[23] P.Mahdavinezhad，P.Gohari，A.G.Aghdam，《带输出的离散事件系统的监督控制：在混合系统中的应用》，载于：美国控制会议，2007年，ACC，2007年7月，第4291-4296页·Zbl 1152.93426号
[24] Morgenstern，A。；Schneider，K.，《监控中的综合确定性控制器》，（Filipe，J.；Ferrier，J.-L.；Cetto，J.，Carvalho，M.，《控制、自动化和机器人信息学II》，（2007），施普林格荷兰），95-102
[25] Y.Nke〈http://www.atp.rub.de/ftcdes网站2012年12月。
[26] Y.Nke，非确定性输入/输出自动机的容错控制（博士论文），Ruhr-Universität Bochum，2013年。
[27] Y.Nke，J.Lunze，执行器故障下非确定性输入/输出自动机的容错控制，摘自：第十届离散事件系统国际研讨会，柏林，2010年9月，第360-365页。
[28] Y.Nke，J.Lunze，《非确定性输入/输出自动机的控制设计》，载《第18届国际会计师联合会大会论文集》，米兰，2011年，第6994-6999页·Zbl 1403.93130号
[29] Y.Nke，S.Drüppel，J.Lunze，《输入-输出自动机异步网络中的直接反馈》，载《第十届欧洲控制会议论文集》，布达佩斯，2009年，第2608-2613页。
[30] S.Perk，T.Moor，K.Schmidt，基于i/o的分层系统架构的控制器综合，摘自：第九届离散事件系统国际研讨会论文集，哥德堡，2008年，第474-479页。
[31] M.Petreczky、R.J.M.Theunissen、R.Su、D.A.van Beek、J.H.van Schuppen、J.E.Rooda，《输入/输出离散事件系统的控制》，摘自：《第十届欧洲控制会议论文集》，布达佩斯，2009年，第1967-1972页。
[32] Pinzon，L.E。；哈尼什，H.-M。；Jafari，医学硕士。；Boucher，T.，《离散事件控制器综合方法的比较研究》，形式方法系统。设计。，1999年9月15日（2），123-167
[33] Ramadge，P.J。；Wonham，W.M.，《离散事件系统的控制》，Proc。IEEE，77，1月（1），81-98，（1989）
[34] J.-M.Roussel，A.Giua，《利用监督控制理论设计可靠的逻辑控制器》，载于《第16届国际会计师联合会大会论文集》，布拉格，2005年。
[35] 桑切斯，A。；Rotstein，G。；阿尔索普，N。；Macchietto，S.，事件驱动操作程序控制器的合成与实现，AIChE J.，45，8，1753-1775，（1999）
[36] M.R.Shoaei，L.Feng，B.Lennartson，使用转移投影对扩展有限自动机进行监督控制，见：第51届IEEE决策与控制会议，夏威夷毛伊岛，2012年，第7259-7266页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。