×
张志鹏;夏成义;陈增强

关于非确定性有限自动机通过静态输出反馈的镇定问题。 （英语） Zbl 1433.93111号

申请。数学。计算。 365，文章ID 124687，11 p.（2020）.
摘要：非确定性有限自动机（NDFA）在建模和分析中会表现出不确定性行为，其稳定性被视为理论研究的重要组成部分。本文在矩阵半张量积（matrix STP）框架下研究了NDFA的静态输出反馈镇定问题。首先，通过基于矩阵的建模方法，摩尔型NDFA的动力学可以描述为离散时间双线性表达式。随后，介绍了NDFA的平衡点和闭合转移矩阵，并基于新的矩阵表达式给出了相应的计算公式。利用矩阵STP方法，我们可以获得实现NDFA静态输出反馈镇定的充要条件。同时，从矩阵STP出发，设计了一个系统程序，通过扩展的输出反馈可行事件集来寻找控制器。最后，通过实例验证了新方法的有效性。当前的结果有助于更好地理解和设计离散事件系统的有效有限自动机。

引用于8文件

MSC公司：

93D15号 通过反馈稳定系统
65年第68季度 形式语言和自动机
93C55 离散时间控制/观测系统
93元65角 离散事件控制/观测系统
93立方 由微分方程以外的函数关系控制的控制/观测系统（如混合系统和开关系统）

关键词：

逻辑动力系统;有限值系统;有限自动机;代数状态空间法;静态输出反馈稳定;矩阵半张量积

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}等人，应用。数学。计算。365，文章ID 124687，11 p.（2020；Zbl 1433.93111）
全文： DOI程序

参考文献：

[1] Bof，N。；Fornasini，E。；Valcher，M.E.，布尔控制网络的输出反馈稳定，Automatica，57，21-28（2015）·Zbl 1330.93187号
[2] 卡桑德拉斯，C.G。；S.Lafortune，《离散事件系统导论》（2009），Springer Science&Business Media
[3] Cheng，D.Z。；Qi，H.S.，布尔网络动力学的线性表示，IEEE Trans。自动。控制，55，10，2251-2258（2010）·兹伯利1368.37025
[4] Cheng，D.Z。；齐，H.S。；赵毅，《矩阵半传感器产品及其应用导论》（2012），世界科学出版社·Zbl 1273.15029号
[5] Han，X.G。；陈振强。；刘振新。；Zhang，Q.，确定性有限自动机极限环的检测与稳定，国际控制杂志，91，4，874-886（2018）
[6] 霍恩，R.A。；C.R.Johnson，矩阵分析（1990），剑桥大学出版社·Zbl 0704.15002号
[7] 岩马，K。；Y.Kambayashi。；Takaki，K.，等同于n状态NFA的DFA状态数的严格界限，Theor。计算。科学。，237, 1-2, 485-494 (2000) ·兹比尔0939.68068
[8] 江S.B。；Kumar，R.，通过屏蔽优先同步对具有驱动事件的非确定性离散事件系统进行监督控制，IEEE Trans。自动。控制，47，9，1438-1449（2002）·Zbl 1364.93471号
[9] Kobayashi，K。；Imura，J。；Hiraishi，K.，有限自动机的稳定性及其在混合系统控制中的应用，Discret。事件动态。系统-理论应用。，21, 4, 519-545 (2011) ·Zbl 1235.93207号
[10] Kobetski，A。；Fabian，M.，使用确定性有限自动机和混合整数线性规划的柔性制造系统的时间最优协调，Discret。事件动态。系统-理论应用。，19, 3, 287-315 (2009) ·Zbl 1192.93075号
[11] 北库什。；Takai，S.，《非确定性离散事件系统的相似性执行管理器综合》，IEEE Trans。自动。控制，63，5，1457-1464（2018）·兹比尔1395.93370
[12] Li，F.F。；Sun，J.T.，状态中具有时间延迟的布尔控制网络的可控性，Automatica，47，3603-607（2011）·Zbl 1220.93010号
[13] Li，H.T。；Xu，X.J。；丁晓云，具有脉冲效应的随机切换布尔网络的有限时间稳定性分析，应用。数学。计算。，347, 557-565 (2019) ·Zbl 1428.93054号
[14] 李，R。；杨，M。；Chu，T.G.，具有时滞的布尔网络的同步，应用。数学。计算。，219, 3, 917-927 (2012) ·Zbl 1288.39001号
[15] Liang，J.L。；陈海伟。；Liu，Y.，关于布尔控制网络的状态反馈镇定算法，Automatica，84，10-16（2017）·Zbl 1376.93083号
[16] 刘，F.C。；Lin，H。；Dziong，Z.，部分可观测非确定性离散事件系统的双相似性控制和测试算法，Automatica，47，4，782-788（2011）·兹比尔1215.93084
[17] 吕建清。；李，M.L。；黄，T.W。；刘，Y。；Cao，J.D.，通过矩阵的半张量积在Galois NLFSR和Fibonacci NLFSR之间进行转换，Automatica，96，393-397（2018）·Zbl 1408.94924号
[18] 吕建清。；Sun，L.J。；刘，Y。；Ho，D.W。；Cao，J.D.，非周期采样控制下布尔控制网络的稳定性，SIAM J.控制优化。，56, 6, 4385-4404 (2018) ·Zbl 1403.93124号
[19] Markovski，J.，《利用行为预序来定义非确定性离散事件系统的可控性》，Discret。事件动态。系统-理论应用。，25, 1-2, 227-250 (2015) ·Zbl 1328.93055号
[20] 孟，M。；Lam，J。；冯，J.E。；Cheung，K.C.，随机延迟布尔网络的稳定性和稳定性，IEEE Trans。自动。控制，64，2790-796（2019）·Zbl 1482.93677号
[21] Ozveren，C.M。；Willsky，A.S.，离散事件动态系统的输出稳定性，IEEE Trans。自动。控制，36，8，925-935（1991）·兹伯利0757.93069
[22] 帕克，S.J。；Lim，J.T.，使用轨迹模型的非确定性离散事件系统的鲁棒和非阻塞监督控制，IEEE Trans。自动。控制，47，4，655-658（2002）·Zbl 1364.93479号
[23] 苏·R。；van Schuppen，J.H。；Rooda，J.E.，主管综合中非确定性有限状态自动机的模型抽象，IEEE Trans。自动。控制，55，11，2527-2541（2010）·Zbl 1368.93388号
[24] Thistle，J.G。；Wonham，W.M.，有限自动机无限行为的控制，SIAM J.控制优化。，32, 4, 1075-1097 (1994) ·Zbl 0925.93233号
[25] Tong，L.Y。；刘，Y。；卢·J·G。；Lu，J.Q.（卢建奎）。；Alsaadi，F.E.，上下文敏感概率布尔控制网络的静态输出反馈集稳定，应用。数学。计算。，332, 263-275 (2018) ·Zbl 1427.93137号
[26] 王Z.S。；郭庆堂。；Sun，S.W。；Xia，C.Y.，意识扩散对多重网络中SIR-like流行病的影响，应用。数学。计算。，349, 134-147 (2019) ·Zbl 1428.92123号
[27] Wu，Y.H。；Shen，T.L.，随机逻辑网络折扣最优控制的有限收敛准则，IEEE Trans。自动。控制，63，1，262-268（2018）·Zbl 1390.93874号
[28] 夏春云。；王Z.S。；郑春云。；郭庆堂。；石永堂。；Dehmer，M。；陈振强，一种新的多重网络上大众媒体与疾病意识耦合传播模型，信息科学。，471, 185-200 (2019) ·兹比尔1441.92045
[29] Xu，X.R。；Hong，Y.G.，有限自动机的矩阵表达式和可达性分析，J.Control Theory Appl。，10, 2, 210-215 (2012)
[30] Yan，Y.Y。；陈振强。；Yue，J.M。；Fu，Z.M.，模型控制自动机的Stp方法及其在deds可达性分析中的应用，亚洲控制杂志，18,62027-2036（2016）·Zbl 1354.93094号
[31] Yin，X.，带输出函数的mealy自动机的Supervisor综合：模型转换方法，IEEE Trans。自动。控制，62,52576-2581（2017）·Zbl 1366.93370号
[32] 张国忠。；Zhang，L.J.，布尔控制网络的可观测性：基于有限自动机的统一方法，IEEE Trans。自动。控制，61，9，2733-2738（2016）·Zbl 1359.93074号
[33] 张振平。；Chen，Z.Q。；Han，X.G。；Liu，Z.X.，基于矩阵半张量积方法的离散事件动态系统静态输出反馈镇定，国际期刊系统。科学。，50, 8, 1595-1608 (2019) ·Zbl 1483.93498号
[34] 张振平。；陈振强。；Liu，Z.X.，基于新型矩阵方法的概率有限自动机可达性和可控性分析，亚洲控制杂志（2019）·Zbl 1451.93020号
[35] Zhao，J.T。；陈振强。；Liu，Z.X.，有色Petri网稳定性和稳定性分析的新矩阵方法，科学。中国信息科学。，62, 9, 192202 (2019)
[36] 周，C。；Kumar，R.，《非确定性离散事件系统的仿真等效控制》，IEEE Trans。自动。科学。工程，4，3，340-349（2007）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。