×
安德烈亚·保利;马蒂奥·萨蒂尼;圣菲拉福顿

使用在线诊断对离散事件系统进行主动容错控制。 （英语） Zbl 1215.93085号

Automatica公司 47，第4期，639-649（2011）.
摘要：本文的目的是在被建模为自动机的离散事件系统框架中处理容错控制问题。容错控制器是一种能够在标称操作中和故障发生后都满足控制规范的控制器。该任务通过参数化控制器解决，该控制器根据在线诊断提供的信息进行适当更新：监督员对故障部件的检测做出积极反应，以最终满足降级控制规范。从系统的适当模型开始，我们回顾了安全可诊断性的概念，这是实现容错控制的必要步骤。然后，我们引入了两个新概念：（i）“安全可控性”，它表示发生故障后将系统从禁止区域转向的能力；（ii）“主动容错系统”，它是故障后安全持续运行的特性。最后，我们展示了如何使用基于特殊类型诊断器（称为“诊断控制器”）的通用控制体系结构来解决问题，该诊断器用于安全检测故障，并在标称控制策略和一组重新配置的控制策略之间切换。用一个简单的例子来说明本文介绍的新概念和控制体系结构。

引用于20文件

MSC公司：

93元65角 离散事件控制/观测系统
93甲13 层次系统
93B35型 灵敏度（稳健性）

关键词：

容错控制;故障诊断;离散事件系统;自动机;监督控制理论;安全

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Paoli}等人，Automatica 47，No.4，639--649（2011；Zbl 1215.93085）
全文： 内政部

参考文献：

[1] 阿蒂，P.C。；Arora，A。；Emerson，E.A.，《容错并发程序的合成》，《ACM编程语言系统汇刊》，26，1，125-185（2004）
[2] Benveniste，A。；哈尔，S。；Fabre，E。；Jard，C.，异步离散事件系统的诊断，网络展开方法，IEEE自动控制事务，48，5，714-727（2003）·Zbl 1364.93452号
[3] 布兰克，M。；Kinnaert，M。；Lunze，J。；Staroswiecki，M.，《诊断和容错控制》（2003），Springer-Verlag·Zbl 1023.93001号
[4] Boel，R.和van Schuppen，J.（2002）。诊断器之间通信受限的离散事件系统的分散故障诊断。在第六届离散事件系统国际研讨会论文集。西班牙萨拉戈萨; Boel，R.和van Schuppen，J.（2002）。诊断者之间通信受限的离散事件系统的分散故障诊断。在第六届离散事件系统国际研讨会论文集。西班牙萨拉戈萨
[5] 卡桑德拉斯，C。；Lafortune，S.，离散事件系统简介（2008），Springer·Zbl 1165.93001号
[6] Chen，Y.-L.和Provan，G.（1997）。定时离散事件系统的建模和诊断：工厂自动化示例。在1997年美国控制会议记录。阿尔伯克基。NM公司; Chen，Y.-L.和Provan，G.（1997）。定时离散事件系统的建模和诊断：工厂自动化示例。在1997年美国控制会议记录。阿尔伯克基。NM公司
[7] Cho，H。；Marcus，S.I.，《关于部分观察的监督合成问题中出现的子语言类的上确语言》，《控制数学、信号与系统》，2，1，47-69（1989）·Zbl 0654.93046号
[8] 科迪尔，M。；Rozé，L.，《诊断离散事件系统：将诊断方法扩展到处理电信网络》，《离散事件动态系统杂志》，12，2，43-81（2002）·Zbl 0993.93022号
[9] Darabi，A.B.H。；Jafari，M.A.，离散事件系统监控的控制切换理论，IEEE机器人与自动化汇刊，19，1，131-137（2003）
[10] Darabi，H。；Jafari，医学硕士。；Buckak，A.L.，离散事件系统监控的控制切换理论，IEEE机器人与自动化汇刊，19，1，131-137（2003）
[11] Debouk，R.、Malik，R.和Brandin，B.（2002年）。用于诊断离散事件系统的模块化体系结构。在第41届IEEE决策与控制会议记录。拉斯维加斯。美国; Debouk，R.、Malik，R.和Brandin，B.（2002年）。用于诊断离散事件系统的模块化体系结构。在第41届IEEE决策与控制会议记录。拉斯维加斯。美国
[12] Dumitrescu，E.、Girault，A.、Marchand，H.和Rutten，E.（2007年）。容错分布式系统建模的最优离散控制器综合。在第一届IFAC离散系统可靠控制研讨会论文集。法国巴黎; Dumitrescu，E.、Girault，A.、Marchand，H.和Rutten，E.（2007年）。容错分布式系统建模的最优离散控制器综合。在IFAC第一届离散系统可靠控制研讨会会议记录。法国巴黎
[13] Garcia，H.、Morant，F.和Blasco-Giménez，R.（2002）。集中模块诊断和耦合现象。在离散事件系统研讨会会议记录。西班牙萨拉戈萨; Garcia，H.、Morant，F.和Blasco-Giménez，R.（2002）。集中模块诊断和耦合现象。在离散事件系统研讨会会议记录。西班牙萨拉戈萨
[14] 加西亚，H。；Yoo，T.-S.，离散流网络中基于模型的路由事件检测，Automatica，41，4，583-594（2004）·Zbl 1061.93517号
[15] Genc，S.公司。；Lafortune，S.，位置有序petri网的分布式诊断，IEEE自动化科学与工程学报，4，2，206-219（2007）
[16] Girault，A。；Rutten，E.，用离散控制器综合自动添加容错，系统设计中的形式化方法，35，2，190-225（2009）·Zbl 1186.68051号
[17] Hadj-Alouane，N.B。；Lafortune，S。；Lin，F.，部分观测下最大控制策略在线综合的集中式和分布式算法，《离散事件动态系统杂志：理论与应用》，6，4，379-427（1996）·Zbl 0880.93016号
[18] Hadjicostis，C.，基于状态占用测量的有限状态机概率故障检测，IEEE自动控制汇刊，50，12，2078-2083（2005）·Zbl 1365.93291号
[19] 伊南，K.（1994）。部分观测下的不确定性监督。在第十一届系统分析与优化国际会议论文集：离散事件系统。索菲亚·安蒂波利斯。法国; Inan，K.（1994年）。部分观测下的不确定性监督。在第十一届系统分析与优化国际会议论文集：离散事件系统。索菲亚·安蒂波利斯。法国·Zbl 0819.93004号
[20] Iordache，M.V.和Antsaklis，P.J.（2004年）。基于位置不变量的监控中的故障恢复和重新配置。在2004年美国控制会议记录。波士顿。美国; Iordache，M.V.和Antsaklis，P.J.（2004）。基于位置不变量的监控中的故障恢复和重新配置。在2004年美国控制会议记录。波士顿。美国
[21] Isermann，R。；施瓦兹，R。；Stolz，S.，容错驱动线系统，IEEE控制系统杂志，22，5，64-81（2002）
[22] 江，S。；Kumar，R.，《具有线性时间时序逻辑规范的离散事件系统重复故障诊断》，IEEE自动化科学与工程学报，3，1，47-59（2006）
[23] Kulkarni，S.S.和Arora，A.（2000年）。自动添加容错功能。在第六届实时和容错系统正式技术国际研讨会的会议记录。浦那。印度; Kulkarni，S.S.和Arora，A.（2000年）。自动添加容错功能。在第六届实时和容错系统正式技术国际研讨会的会议记录。普纳。印度
[24] Kulkarni，S.S.和Ebnenasir，A.（2004）。多公差的自动合成。在2004年可靠系统和网络国际会议记录。佛罗伦萨。意大利; Kulkarni，S.S.和Ebnenasir，A.（2004）。多公差的自动合成。在2004年可靠系统和网络国际会议记录。佛罗伦萨。意大利
[25] Lin，F.，离散事件系统的可诊断性及其应用，《离散事件动态系统：理论与应用》，4，2197-212（1994）·Zbl 0800.93030号
[26] Lunze，J.，随机自动机描述的离散事件系统的状态观察和诊断，离散事件动态系统杂志，11，4，319-369（2001）·Zbl 1055.93056号
[27] 密歇根大学DES研究小组。(2010). 密歇根大学UMDES-LIB软件和desuma图形环境。http://www.eecs.umich.edu/umdes/toolboxes.html; 密歇根大学DES研究小组。(2010). 密歇根大学UMDES-LIB软件和desuma图形环境。http://www.eecs.umich.edu/umdes/toolboxes.html
[28] 潘达莱，D。；Holloway，L.，定时离散事件过程故障监测的模板语言，IEEE自动控制事务，45,5868-882（2000）·Zbl 0979.93071号
[29] Paoli，A。；Lafortune，S.，《离散事件系统容错监控的安全可诊断性》，Automatica，41，8，1335-1347（2005）·Zbl 1086.93043号
[30] Paoli，A。；Lafortune，S.，一类分层状态机的可诊断性分析，《离散事件动态系统杂志：理论与应用》，18，3，385-413（2008）·Zbl 1171.93357号
[31] Paoli，A.、Sartini，M.和Lafortune，S.（2008年）。离散事件系统监控的容错体系结构。在第17届国际会计师联合会世界大会会议记录。首尔。韩国; Paoli，A.、Sartini，M.和Lafortune，S.（2008年）。离散事件系统监控的容错体系结构。在第17届国际会计师联合会世界大会会议记录。首尔。韩国·Zbl 1215.93085号
[32] 帕克，S.-J。；Cho，K.-H.，具有非周期任务的实时多处理器系统容错调度的监督控制，国际控制杂志，82，2，217-227（2009）·Zbl 1168.93376号
[33] 巴顿，R。；弗兰克·P。；Clark，R.，《动力系统故障诊断问题》（2000），Springer-Verlag
[34] 彭科尔，Y。；Cordier，M.，《复杂系统的分散式基于模型的诊断工具》，《人工智能工具国际期刊》，11，3，327-346（2002）
[35] 彭科尔，Y。；Cordier，M.-O.，大型离散事件系统分散诊断的正式框架及其在电信网络中的应用，人工智能，164，1-2，121-170（2005）·Zbl 1132.93336号
[36] Provan，G.（2002）。离散事件系统的分布式可诊断性。在美国控制会议记录。明尼阿波利斯。美国; Provan，G.（2002）。离散事件系统的分布式可诊断性。在美国控制会议记录。明尼阿波利斯。美国
[37] Rohloff，K.R.（2005）。传感器容错监控。在第44届IEEE决策与控制会议和2005年欧洲控制会议的会议记录。西班牙塞维利亚; Rohloff，K.R.（2005）。传感器容错监控。在第44届IEEE决策与控制会议和2005年欧洲控制会议的会议记录。西班牙塞维利亚·Zbl 1059.93092号
[38] Sampath，M.（2001）。工业系统故障诊断的混合方法。在2001年美国控制会议记录。阿灵顿。美国; Sampath，M.（2001）。一种用于工业系统故障诊断的混合方法。在2001年美国控制会议记录。阿灵顿。美国
[39] Sampath，M。；Sengupta，R。；Lafortune，S.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号
[40] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，使用离散事件模型进行故障诊断，IEEE控制系统技术汇刊，4，2，105-124（1996）
[41] 森古普塔，R.（2001）。自动化车辆和公路的离散事件诊断。在2001年美国控制会议记录。阿灵顿。美国; Sengupta，R.（2001年）。自动化车辆和公路的离散事件诊断。在2001年美国控制会议记录。阿灵顿。美国
[42] Sinnamohideen，K.（2001年）。加热、通风和空气调节系统的离散式通风诊断。在2001年美国控制会议记录。美国阿灵顿; Sinnamohideen，K.（2001年）。加热、通风和空气调节系统的离散式通风诊断。在2001年美国控制会议记录。美国阿灵顿
[43] Su，R.和Wonham，W.（2002年）。定性系统分布式诊断中的概率推理。在第41届IEEE决策与控制会议记录。美国拉斯维加斯; Su，R.和Wonham，W.（2002年）。定性系统分布式诊断中的概率推理。在第41届IEEE决策与控制会议记录。美国拉斯维加斯
[44] Wen，Q.、Kumar，R.、Huang，J.和Liu，H.（2007a）。离散事件系统的容错监督控制：形式化和存在性结果。在IFAC第一届离散系统可靠控制研讨会会议记录。法国巴黎; Wen，Q.、Kumar，R.、Huang，J.和Liu，H.（2007a）。离散事件系统的容错监督控制：形式化和存在性结果。在IFAC第一届离散系统可靠控制研讨会会议记录。法国巴黎
[45] Wen，Q.、Kumar，R.、Huang，J.和Liu，H.（2007b）。离散事件系统的弱容错监督控制。在2007年美国控制会议记录。美国纽约市; Wen，Q.、Kumar，R.、Huang，J.和Liu，H.（2007b）。离散事件系统的弱容错监督控制。在2007年美国控制会议记录。美国纽约市
[46] 温，Q。；库马尔，R。；黄，J。；Liu，H.，离散事件系统容错控制框架，IEEE自动控制汇刊，53，8，1839-1849（2008）·Zbl 1367.93378号
[47] Yoo，T.-S。；Lafortune，S.，部分观测下集中监控的可解性，离散事件动态系统杂志：理论与应用，16，4，527-553（2006）·Zbl 1103.93015号
[48] Zhang，Y。；Jiang，J.，使用IMM方法的集成主动容错控制，IEEE航空航天和电子系统汇刊，37，41221-1235（2001）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。