×
韩晓光;陈增强

一种基于矩阵的方法来验证有限状态自动机的稳定性并合成最优稳定控制器。 （英语） Zbl 1402.93205号

J.富兰克林研究所。 355，编号17，8642-8663（2018）.
摘要：在这篇文章中，我们发展了一种基于矩阵的方法，在矩阵的半张量积（STP）框架下研究确定性有限自动机（DFA）的稳定性和可镇定性问题。首先，我们讨论了DFA的平衡点稳定性（即集合稳定性），即验证从状态子集开始的所有状态轨迹是否收敛到指定的平衡点（即状态子集）。分别给出了验证这两种稳定性的必要条件和充分条件。其次，研究了DFA的平衡点可镇定性（即集合可镇定性），以验证DFA是否可以通过允许的状态反馈控制器全局或局部稳定到指定的平衡点（即状态子集）。基于本文定义的预可达集和不变子集，分别推导了基于矩阵的平衡点可稳性和集可稳性检验准则。此外，对于每种类型的稳定性，所有允许的状态反馈控制器（称为最优状态反馈控制器）都是使用所提出的多项式算法来表征的。最后，给出了两个实例来说明理论结果的有效性。

引用于9文件

MSC公司：

93D15号 通过反馈稳定系统
93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
93亿B50 合成问题

关键词：

稳定性;最优稳定控制器综合;有限状态自动机

软件：

马蒂斯
PDF格式BibTeX公司 XML格式引用
\textit{X.-G.Han}和textit{Z.-Q.Chen}，J.Franklin Inst.355，No.17，8642--8663（2018；Zbl 1402.93205）
全文： 内政部

参考文献：

[1] Wonham，W.M。；蔡，K。；Rudie，K.，《离散事件系统的监督控制：简史》，1980-2015，50，1791-1797，（2017）
[2] Lafortune，S。；Lin，F.，《从可诊断性到不透明度：可诊断性或缺乏可诊断性的简要历史》，50，3022-3027，（2017）
[3] Su，R.，并发离散事件系统的监督控制，J.control Decis。，2, 2, 99-123, (2015)
[4] Kobayashi，K。；伊穆拉，J。；Hiraishi，K.，有限自动机的稳定性及其在混合系统控制中的应用，离散事件动态。系统。理论应用。，21, 4, 519-545, (2011) ·Zbl 1235.93207号
[5] Lin，H。；Antsaklis，P.，混合动力系统：控制和验证导论，Found。趋势系统控制，1,1,1-172，（2014）
[6] Tabuada，P。；Alur，R.，《混合系统的验证和控制：符号方法》（2009），纽约施普林格出版社·Zbl 1195.93001号
[7] 霍普克罗夫特，J。；Motwani，R。；Ullman，J.，《自动机理论、语言和计算导论》，（2007），艾迪森·韦斯利
[8] 卡桑德拉斯，C.G。；Lafortune，S.，《disctete事件系统简介》（2008），纽约斯普林格出版社·Zbl 1165.93001号
[9] Lee，E.A。；Seshia，S.A.，嵌入式系统简介：网络物理系统方法，（2017），麻省理工学院出版社，美国马萨诸塞州剑桥·Zbl 1371.68001号
[10] 贝尔塔，C。；尤丹诺夫，B。；Gol，E.A.，离散时间动力系统的形式化方法，（2017），施普林格瑞士·Zbl 1409.93003号
[11] 库马尔，R。；加格，V。；Marcus，S.，离散事件动力系统的语言稳定性和稳定性，SIAM J.Contr。最佳。，31, 5, 1294-1320, (1993) ·Zbl 0785.93006号
[12] Willner，Y。；Heymann，M.，受控离散事件系统中的语言收敛，IEEE Trans。自动。控制，40，4，616-627，（1995）·Zbl 0842.93029号
[13] Nooruldeen，A。；Schmidt，K.，离散事件系统重构语言规范下的状态吸引，IEEE Trans。自动。控制，60，6，1630-1634，（2015）·Zbl 1360.93434号
[14] Brave，Y。；Heymann，M.，离散事件过程的稳定性，国际控制杂志，51，5，1101-1117，（1990）·Zbl 0704.93054号
[15] Ozveren，C。；A.威尔斯基。；Antsaklis，P.，离散事件动态系统的稳定性和可镇定性，J.ACM，38，3，730-752，（1991）·Zbl 0812.93002号
[16] Brave，Y。；Heymann，M.，关于离散事件过程中的最优吸引，Inform。科学。，67, 3, 245-276, (1993) ·Zbl 0776.93026号
[17] 施密特，K。；Breindl，C.，部分观测下离散事件系统的状态吸引框架，Inform。科学。，281, 10, 265-280, (2014) ·Zbl 1355.93121号
[18] 尹，X。；Lafortune，S.，《为部分观测到的离散事件系统合成财产强制监管器的统一方法》，IEEE Trans。自动。控制，61，8，2140-2154，（2016）·Zbl 1359.93295号
[19] Pruekprasert，S。；Ushio，T.，扰动影响下弱吸引区域的最优稳定控制器，IEICE Trans。信息系统。，99, 6, 1428-1435, (2016)
[20] 拉马奇，P。；Wonham，W.W.，一类离散事件过程的监督控制，SIAM J.Contr。最佳。，35, 1, 206-230, (1987) ·Zbl 0618.93033号
[21] Girard，A。；朱利叶斯，A.A。；Pappas，G.J.，混合系统的近似仿真关系，离散事件动态。系统。理论应用。，18, 2, 163-179, (2008) ·Zbl 1395.93113号
[22] Xu，X.R。；洪玉刚，有限自动机的矩阵表示与可达性分析，控制理论应用。，10, 2, 210-215, (2012)
[23] Xu，X.R。；Zhang，Y.G。；Hong，Y.，确定性有限自动机稳定性的矩阵方法，美国控制会议论文集（ACC），3242-3247，（2013）
[24] Xu，X.R。；Hong，Y.G.，通过矩阵方法进行有限自动机的可观测性分析和观测器设计，IET控制理论应用。，7, 12, 1609-1615, (2013)
[25] 高，N。；Han，X.G。；陈振强。；Zhang，Q.，有限自动机可观测性分析的新矩阵方法，国际期刊系统。科学。，48, 16, 3558-3568, (2017) ·Zbl 1386.93056号
[26] Xu，X.R。；Hong，Y.G.，异步时序机模型匹配的矩阵方法，IEEE Trans。自动。控制，58，11，2974-2979，（2013）·兹比尔1369.93354
[27] 王建杰。；Han，X.G。；陈振强。；Zhang，Q.，基于矩阵半张量积的输入输出异步时序机模型匹配，Future Gener。计算。系统。，83, 468-475, (2018)
[28] 张国忠。；张立杰。；Su，R.，布尔控制网络可重构性的加权对图表示，SIAM J.Contr。最佳。，54, 6, 3040-3060, (2016) ·Zbl 1350.93048号
[29] Li，F.F。；Yu，Z.X.，两个耦合布尔网络的反同步，J.Frankl。Inst.，353，18，5013-5024，（2016）·Zbl 1349.93014号
[30] Wang，Y.H。；Cheng，D.Z.，一类有限进化对策的稳定性和稳定性，J.Frankl。研究所，354，3，1603-1617，（2016）·Zbl 1355.93142号
[31] Han，X.G。；陈振强。；刘振新。；Zhang，Q.，基于矩阵半张量积的Petri网中信标和最小信标的计算，IEEE Trans。系统。人类网络。系统。，47, 3, 531-536, (2017)
[32] Cheng，D.Z。；齐，H.S。；Zhao，Y.，矩阵半张量积及其应用简介，（2012），新加坡世界科学出版社·Zbl 1273.15029号
[33] Ross，K。；Wright，C.，《离散数学》（2003），纽约普伦蒂斯·霍尔公司
[34] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohidden，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE Trans。自动。控制，40，9，1555-1575，（1995）·Zbl 0839.93072号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。