×

有限自动机的可控性、可达性和稳定性:可控性矩阵方法。 (英语) Zbl 1427.93146号

摘要:本文利用矩阵的半张量积研究了有限自动机的能控性、可达性和稳定性。首先,通过将状态、输入和输出表示为向量形式,得到了有限自动机的代数形式。其次,基于代数形式,构造了有限自动机的能控性矩阵。第三,利用能控性矩阵给出了有限自动机能控性、可达性和稳定性的一些充要条件。

MSC公司:

93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
93个B05 可控性
93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abdelwahed,S。;Wonham,W.M.,《离散事件系统中的阻塞检测》,美国控制会议论文集
[2] Dogruel,M。;Ozguner,U.,自动机中的可控性、可达性、稳定性和状态约简,IEEE智能控制国际研讨会论文集
[3] Gang,Y.,分解一类具有时滞的弱可逆有限自动机2,计算机科学与技术杂志,18,3,354-360(2003)·Zbl 1046.68071号
[4] Lygeros,J。;托姆林,C。;Sastry,S.,《混合系统可达性规范的控制器》,Automatica,35,3,349-370(1999)·Zbl 0943.93043号 ·doi:10.1016/S0005-1098(98)00193-9
[5] Xu,X。;Hong,Y.,有限自动机的矩阵表示与可达性分析,控制理论与技术,10,2,210-215(2012)·doi:10.1007/s11768-012-1178-4
[6] 卡萨格兰德,A。;A.巴卢奇。;Benvenuti,L。;Policriti,A。;T.维拉。;Sangiovanni Vincentelli,A.,改进发动机控制混合自动机的可达性分析,第43届IEEE决策与控制会议(CDC)论文集
[7] Thistle,J。;Wonham,W.,有限自动机无限行为的控制,SIAM控制与优化杂志,32,4,1075-1097(1994)·Zbl 0925.93233号 ·doi:10.1137/S0363012991217536
[8] Kobayashi,K。;Imura,J。;Hiraishi,K.,有限自动机的稳定性及其在混合系统控制中的应用,离散事件动态系统,21,4,519-545(2011)·Zbl 1235.93207号 ·doi:10.1007/s10626-011-0110-2
[9] Cheng,D。;齐,H。;Li,Z.,布尔网络的分析与控制:一种半传感器乘积方法。《布尔网络的分析与控制:半传感器产品方法》,通信与控制工程系列(2011),英国伦敦:斯普林格出版社,英国伦敦·Zbl 1209.93001号 ·doi:10.1007/978-0-85729-097-7
[10] Fornasini,E。;Valcher,M.E.,《关于布尔控制网络的周期轨迹》,Automatica,49,5,1506-1509(2013)·兹比尔1319.93010 ·doi:10.1016/j.automatica.2013.02.027
[11] 郭毅。;王,P。;桂,W。;Yang,C.,基于不变子集的布尔控制网络的集稳定性和集稳定性,Automatica,61106-112(2015)·Zbl 1327.93347号 ·doi:10.1016/j.automatica.2015.08.006
[12] 拉肖夫,D。;Margaliot,M.,布尔网络的最小时间控制,SIAM控制与优化杂志,51,4,2869-2892(2013)·Zbl 1276.49013号 ·doi:10.1137/110844660
[13] 李,F。;Sun,J.,时间布尔网络的可控性和最优控制,神经网络,34,10-17(2012)·Zbl 1258.93028号 ·doi:10.1016/j.neunet.2012.06.002
[14] Li,F.,两个耦合布尔网络同步的Pinning控制设计,IEEE电路与系统汇刊II:Express Briefs,63,3,309-313(2016)·doi:10.1109/TCSII.2015.2482658
[15] 李,H。;谢林。;Wang,Y.,关于布尔控制网络的鲁棒控制不变性,Automatica,68,392-396(2016)·Zbl 1334.93057号 ·doi:10.1016/j.automatica.2016.01.075
[16] 李,H。;Wang,Y。;Xie,L.,通过状态反馈实现布尔控制网络的输出跟踪控制:恒定参考信号案例,Automatica,59,第6422、54-59条(2015)·Zbl 1326.93068号 ·doi:10.1016/j.automatica.2015.06.004
[17] 李,H。;Wang,Y.,带状态和输入约束的切换布尔网络的可控性分析和控制设计,SIAM控制与优化杂志,53,5,2955-2979(2015)·Zbl 1320.93022号 ·数字对象标识代码:10.1137/120902331
[18] 李,H。;谢林。;王毅,布尔控制网络的输出调节,电气与电子工程师学会自动控制汇刊,62,62993-2998(2017)·Zbl 1369.93345号 ·doi:10.1109/TAC.2016.2606600
[19] 卢,J。;钟,J。;黄,C。;曹,J.,《关于布尔控制网络的钉扎可控性》,电气与电子工程师学会自动控制汇刊,61,61658-1663(2016)·兹比尔1359.93057 ·doi:10.1109/TAC.2015.2478123
[20] 孟,M。;刘,L。;Feng,G.,带马尔可夫跳变参数布尔网络的稳定性和(l_1)增益分析,电气与电子工程师学会自动控制学报,62,8,4222-4228(2017)·Zbl 1373.93368号 ·doi:10.1109/TAC.2017.2679903
[21] 刘,Z。;Wang,Y。;Li,H.,多值逻辑函数导数计算的新方法及其在数字电路故障检测中的应用,IET控制理论与应用,8,8,554-560(2014)·doi:10.1049/iet-cta.2013.0104
[22] 卢,J。;李,H。;刘,Y。;Li,F.,半张量积方法及其在逻辑网络和其他有限值系统中的应用综述,IET控制理论与应用,11,13,2040-2047(2017)·doi:10.1049/iet-cta.2016.1659
[23] Wu,Y。;Shen,T.,随机逻辑动力系统有限时域最优控制算法的代数表达式,《系统与控制快报》,82,第3915、108-114条(2015)·Zbl 1417.93339号 ·doi:10.1016/j.sysconle.2015.04.007
[24] Cheng,D。;He,F。;齐,H。;Xu,T.,网络进化游戏的建模、分析和控制,电气与电子工程师学会自动控制学报,60,9,2402-2415(2015)·Zbl 1360.91026号 ·doi:10.1109/TAC.2015.2404471
[25] 郭,P。;张,H。;Alsaadi,F.E。;Hayat,T.,有限进化网络游戏的一类事件触发控制的半张量积方法,IET控制理论与应用,11,132140-2145(2017)·doi:10.1049/iet-cta.2017.0014
[26] Yan,Y。;陈,Z。;Liu,Z.,有限自动机可控性和稳定性的半传感器产品方法,系统工程与电子杂志,26,1,134-141(2015)·doi:10.1109/JSEE.2015.00018
[27] Cheng,D。;Qi,H.,通过正规形式算法对非线性系统进行非正则反馈线性化,Automatica,40,439-447(2004)·Zbl 1039.93007号
[28] 李,H。;赵,G。;孟,M。;Feng,J.,《半张量积方法在工程中的应用综述》,科学中国信息科学,61,1(2018)
[29] 李,Z。;乔,Y。;齐,H。;Cheng,D.,切换多项式系统的稳定性,《系统科学与复杂性杂志》,21,3,362-377(2008)·兹比尔1173.93030 ·doi:10.1007/s11424-008-9119-5
[30] 刘,Y。;陈,H。;卢,J。;Wu,B.,基于转移概率矩阵的概率布尔控制网络的可控性,Automatica,52,340-345(2015)·Zbl 1309.93026号 ·doi:10.1016/j.automatica.2014.12.018
[31] Wang,Y。;张,C。;Liu,Z.,图最大稳定集和着色问题的矩阵方法及其在多智能体系统中的应用,Automatica,48,7,1227-1236(2012)·Zbl 1246.93010号 ·doi:10.1016/j.automatica.2012.03.024
[32] Yan,Y。;陈,Z。;Liu,Z.,利用矩阵的半张量积求解2类模糊关系方程,控制理论与技术,12,2,173-186(2014)·Zbl 1313.93121号 ·doi:10.1007/s11768-014-0137-7
[33] 张凯。;张,L。;Xie,L.,布尔控制网络的可逆性和非奇异性,Automatica,60,第6475、155-164条(2015)·Zbl 1331.93106号 ·doi:10.1016/j.automatica.2015.07.016
[34] 钟,J。;卢,J。;刘,Y。;Cao,J.,具有时滞的输出耦合布尔网络阵列中的同步,IEEE神经网络和学习系统汇刊,25,12,2288-2294(2014)·doi:10.1109/TNNLS.2014.2305722
[35] 邹毅。;Zhu,J.,关于布尔控制网络输入的系统分解,Automatica,50,4,1304-1309(2014)·Zbl 1298.93095号 ·doi:10.1016/j.automatica.2014.02.039
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。