×

数学ZBZ-数学第一资源

无限系统的分散控制。(英语) Zbl 1226.93013号
摘要:我们提出了无穷大系统部分观测的分散状态反馈控制器的综合算法。我们首先考虑避免一组禁止状态的安全控制器的计算,然后将这个结果推广到无死锁的情况。解决这些问题的算法的终止是通过使用抽象解释技术来保证的,但代价是过度接近,特别是在计算状态时,必须避免。然后,我们将我们的算法扩展到需要控制的系统由一组子系统(模块)给出的情况。利用这种结构可以本地计算每个模块的控制器。我们的工具猛击通过对这些方法的可行性、可用性和有效性进行了实证评价。
理学硕士:
93A14型 分散系统
93B52型 反馈控制
93B50型 综合问题
PDF格式 双歧杆菌 XML 引用
全文: 内政部 链接
参考文献:
[1] Akesson K,Flordal H,Fabian M(2002),开发模块化以综合和验证监管者。在:过程。IFAC的。西班牙巴塞罗那
[2] 停机坪(2009)停机坪图书馆。http://apirt.cri.ensmp.fr/
[3] Brandin B,Malik R,Dietrich P(2000),增量系统验证和最小限制行为的综合。美国控制会议论文集。伊利诺伊州芝加哥,第4056-4061页
[4] Cassandras C,Lafortune S(2008)《离散事件系统导论》,第二版。斯普林格·Zbl 1165.93001号
[5] Cousot P,Cousot R(1977)抽象解释:通过不动点的构造或逼近对程序进行静态分析的统一格模型。In:77年波普,第238-252页
[6] Cousot P,Halbwachs N(1978)程序变量间线性约束的自动发现。In:78年,84-96页
[7] FixPoint(2009)FixPoint:一个实现通用FixPoint引擎的OCaml库。http://pop-art.inriapes.fr/people/bjeannet/bjeannet-forge/fixpoint/
[8] Gaudin,B,Deussen P(2007)具有变量的并发离散事件系统的监督控制。In:2007年第26届美国控制会议
[9] 松式同步状态管理器(MarcGaudin,2005)基于离散系统的高效计算方法。参加:第六届IFAC世界大会。捷克共和国布拉格
[10] Gaudin B,Marchand H(2007)并发离散事件系统控制的有效模块化方法:基于语言的方法。离散事件动态系统17(2):179–209·Zbl 1116.93038
[11] 使用线性分析验证Proachrouy,1997年。表格方法体系11(2):157–185
[12] Jeannet B(2003)线性关系分析中的动态划分。在无功系统验证中的应用。表格方法体系23(1):5–37·Zbl 1067.68091
[13] Jeannet B,Jéron T,Rusu V,Zinovieva E(2005),基于近似分析的符号测试选择。In:TACAS'05,LNCS第3440卷。爱丁堡,第349-364页·Zbl 1087.68594
[14] Kalyon G,Le Gall T,Marchand H,Massart T(2009),部分观测下无限符号过渡系统的控制。在:欧洲控制会议。匈牙利,1456-1462页·Zbl 1242.93074号
[15] Kumar R,Garg V(2005),分配程序模型中无限状态系统状态回避控制的计算。IEEE Trans Automat Sci工程2(2):87–91
[16] Kumar R,Garg V,Marcus S(1993)离散事件动态系统监控的谓词和谓词变换器。IEEE Trans Automat控制38(2):232–247·Zbl 0774.93003
[17] Le Gall T,Jeannet B,Marchand H(2005)使用抽象解释对无限符号系统的监督控制。输入:CDC/ECC'05,第31-35页
[18] MinéA(2001)八边形抽象域。在:过程。分析、切片和转换研讨会(AST'01)。IEEE。IEEE CS出版社,德国斯图加特,第310-319页
[19] OCaml(2009)编程语言目标CAML。http://caml.inria.fr/
[20] Ramadge P,Wonham W(1989)离散事件系统的控制。IEEE 77(1):81–98(离散事件系统动力学特刊)
[21] Rudie K,Wonham W(1992a)全球思考,局部行动:分散监督控制。IEEE Trans Automat控制31(11):1692–1708·Zbl 0778.93002
[22] Rudie K,Wonham WM(1992b)自动程序验证的自动机理论方法。在:IEEE决策与控制会议(CDC)会议记录。亚利桑那州图森市,第3770-3777页
[23] SMACS(2010)SMACS工具。http://www.smacs.be/
[24] Takai S(1998)关于在完全分散监督下生成的语言。IEEE Trans Automat控制43(9):1253–1256·Zbl 0957.93055
[25] Takai S,Kodama S(1997)离散事件系统状态反馈控制中的M-可控子预测。国际J控制67(4):553–566·Zbl 0883.93034
[26] Takai S,Kodama S(1998)给定谓词的所有m-可控子预测的特征。国际J控制70(9):541–549·Zbl 0930.93055
[27] Takai S,Kodama S,Ushio T(1994),离散事件系统的分散状态反馈控制。系统控制电话22(5):369–375·Zbl 0827.93004
[28] Tarski A(1955)格点理论不动点定理及其应用。太平洋数学杂志5:285–309·Zbl 0064.26004
[29] Willner Y,Heymann M(1991)并发离散事件系统的监督控制。国际J控制54(5):1143–1169·Zbl 0752.93043
[30] Wonham W,Ramadge P(1988)离散事件系统的模块化监督控制。数学控制信号系统1(1):13–30·Zbl 0661.93053
[31] Yoo T-S,Lafortune S(2002)离散事件系统分散监督控制的一般架构。离散事件动态系统12:335–377·Zbl 1048.93067
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。