{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,18]]，“日期时间”：“2024-04-18T12:38:34Z”，“时间戳”：1713443914853}，“参考计数”：45，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期部分:00Z“，”timestamp“：1625097600000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2021,7,1]]，“date-time”：“2021-07-01T00:00:00Z”，“timestamp”：1625097600000}，“content-version”：“stm-asf”，“delay-in-days”：“0，”URL“https:\\/doi.org\/1015223\/policy-017“}，{“开始”：{“日期部分”：[[2021,7,1]]，“日期时间”：“2021-07-01T00:00:00Z”，“timestamp”：1625097600000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}，{“start”：{“date-parts”：[[2021,7,1]]，“date-time”：“2021-07-01T00:00:00Z”，“timetamp”：161509760000}，https:\/\/doi.org\/10.15223\/policy-012“}，{“开始”：{“日期部分”：[[2021,7,1]]，“date-time”：“2021-07-01T00:00:00Z”，“timestamp”：1625097600000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,7,1]]，“datetime”：m-asf“，”delay-in-days“：0，”URL“：”https:\/\/doi.org\/10.15223\/policy-004“}]，“资助者”：[{“DOI”：“10.13039\/501100012166”，“名称”：“国家重点研发计划”，“DOI-asserted-by”：“出版商”，“奖项”：[“2018YFB1700104”]}]，“内容域”：{“域”：[”elsevier.com“，”sciencedirect.com“]，“crossmark-restriction”：true}，“shortcontainer-title”：[信息科学“]，”published-print“：{”date-parts“：[[2021,7]]}，“DOI”：“10.1016\/j.ins.2021.03.033”，“type”：“journal-article”，“created”：{“date-parts”：[2021,3,19]]，“date-time”：“2021-03-19T02:39Z”，“timestamp”：1616121573000}，《page》：“398-413”，“update-policy”：”http://\/dx.DOI.org\/101016\/elsevier_cm_policy“，”source“Crossref”，“is-referenced-by-count”：19，“标题”：[“外部攻击下离散事件系统的监督控制”]，“前缀”：“10.1016”，“卷”：“562”，“作者”：[{“给定”：“易”，“家族”：“王”，“序列”：“第一”，“从属”：[]}，{“已知”：“玉庭”，“家庭”：“李”，“顺序”：“附加”，“隶属”：[]}“给定”：“奈奇”，“family”：“Wu”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Zhiwu”，”family“：”Li“，”sequence“：”additional“，”affiliation:[]}]，”member“：”78“，”reference“：[{”key“：”10.1016\/j.ins.2021.033_b0005“，”series-title“：”非线性系统“，”author“：”Khalil“，”year“：”2002 3.033_b0010“，”非结构化“：”E。桑塔格，《数学控制理论：确定性有限维系统》，第二版，施普林格出版社，1998年。10.1016\/j.ins.2021.03.033“}，{“key”：“10.1016\/j.ins.2021.03.33_b0015”，“article-title”：“离散事件系统、制造系统和通信网络”，“author”：“Kumar”，“year”：“1995”，“journal-title“：”Springer“}”，{”key“：”10.1016\\j.ins.2021.03.033_b0020“，”doi-asserted-by“：”crossref“，”unstructured“：”Y.Ru，C.N。Hadjicostis，用标记Petri网建模的离散事件系统的状态估计，载于：第45届IEEE决策与控制会议论文集，美国加利福尼亚州圣地亚哥，2006年，第6022\u20136027页。DOI:10.1109\/CDC.2006.377126”，“DOI”：“10.1109\/CDC.2006.377126”}，｛“key”：“10.1016\/j.in.2021.03.033_b0025”，“DOI断言者”：“crossref”，“非结构化”：“F.Arichi，B.Cherki，M。Djemai，Petri网应用于制造系统的状态和点火序列估计，摘自：《控制、决策和信息技术国际会议论文集》，突尼斯哈马马特，2013年，第608\u2013613页。10.1109，“CoDIT.2013.6689613”，“DOI”：“10.1109”，{“key”：“101016\/j.ins.2021.03.33_b0030”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Seatzu，M.Silva，j.van Schuppen（编辑）离散通风系统的控制。自动化和Petri网观点，见：《控制和信息科学讲义》，施普林格出版社，第433卷，2012年。DOI:10.1007，“978-1-4471-4276-8”，“DOI”：“10.1007，/978-1-4471-4276-8”}，{“key”：“101016\/j.ins.2021.03.33_b0035”，“series-title”：“正式制造方法”，“年份”：“2014”}、{“密钥”：“10.0016\/j.ins.2021.03.033_b0040”，“DOI-asserted-by”：“crossref”，”非结构化“：”H.Sutarto，E。Joelianto，雅加达和万隆城市交通流建模、识别、估计和模拟，J.Mechatron。，选举人。动力车辆。Technol公司。6（1）（2015）57\u201366。10.14203\/j.mev.2015.v6.57-66”，“DOI”：“10.14203\/j.mev.2015.v6.57-66”}，｛“key”：“10.1016\/j.in.2021.03.033_b0045”，“DOI断言者”：“crossref”，“非结构化”：“M.Dotoli，M.Fanti，A.Mangini，W.Ukovich，用Petri网识别工业自动化系统的不可观测行为，控制工程实用程序。19（9）（2011）958\u2013966。10.14203\/j.mev.2015.v6.57-66“，”DOI“：”10.1016\/j.connengprac.2010.09.004“}，{“key”：“10.1016\/j.ins.2021.03.33_b0050”，“article-title”：“离散事件系统简介-第二版”，“author”：“Cassandras”，“year”：“2007”，“journal-title“：”Springer“}”，{”issue“：”9“，”key“：”101016\/j.ins.2021.03.033_b0055“，”DOI asserted-by“：”crossref“，”首页“：”1004“，”DOI“：”10.1016\/j.connengprac.2009.03.006“，”article-title“：”使用过程代数和Petri网的间歇工厂规范“，”volume“：”17“，”author“：”Falkman“，”year“：”2005“，”journal-title”：“Control Eng.Pract。“}，{”issue“：”12“，”key“：”10.1016\/j.ins.2021.03.033_b0060“，”doi-asserted-by“：”crossref“，”first page“：“1151”，”doi“：”101016\/j.sysconle.2012.08.010“，“article-title”：“一类慢切换线性系统的异步切换控制”，“volume”：“61”，“author”：“Zhao”，“year”：“2012”，“journal-title“：”Syst.control Lett.“}”，{“问题”：“10”，“关键”：“10.1016\/j.ins.2021.03.033_b0065“，”doi-asserted-by“：”crossref“，”first page“：”1174“，”doi“：”10.1016\/j.congprac.2009.05.004“，”article-title“：”基于混合方法的实验制造系统实时监控“，”volume“：“17”，”author“：”Uzam“，”year“：”2009“，”journal-title”：“control Eng.Pract”。“}，{”key“：”10.1016\/j.ins.2021.03.033_b0070“，”unstructured“：”S.Checkoway，D.McCoy，B.Kantor，D.Anderson，Shacham，S.H.Savage，K.Kocher，A.Czeskis，F.Roesner，T.Kohno，《汽车攻击面综合实验分析》，摘自：第20届USENIX安全研讨会论文集，美国加利福尼亚州圣地亚哥，2011年“}”{“问题”：“4”，“key“：”10.1016\/j.ins.2021.03.033_b0075“，”doi-asserted-by“：”crossref“，”first-page“：”617“，”doi“：”101002\/rob.21513“，”article-title“：”通过GPS欺骗捕获和控制无人飞机“，”volume“：“31”，“author”：“Kerns”，“year”：“2014”，“journal-title”：“j.Field Robot”。“}，{”issue“：”1“，”key“：”10.1016\/j.ins.2021.03.033_b0080“，”doi-asserted-by“：”crossref“，”first page“：“23”，”doi“：”101080\/00396338.211.555586“，”article-title“：”Stuxnet and the future of cyber war“，“volume”：“53”，“author”：“Farwell”，“year”：“2011”，“journal-title”：“Survival”}，”{“key“s.2021.03.033_b0085“，”doi-asserted-by“：”crossref“，”第一页“：”73“，”DOI“：”10.1007 \/978-0-387-75462-8_6“，”文章标题“：”马鲁奇水危机的教训“，”卷“：”253“，”作者“：”Slay“，”年份“：”2007“，”新闻标题“：“Crit.Infrastruct。保护。“}，{”key“：”10.1016\/j.ins.2021.03.033_b0090“，”doi-asserted-by“：”crossref“，”unstructured“：”S.Xu，R.Kumar，《非确定性部分观测下的离散事件控制》，载于：《IEEE国际自动化科学与工程会议论文集》，印度班加罗尔，2009年，第127\u2013132页。DOI:10.1109\/COASE.2009.5234123“，”DOI“：”10.1109\/COSE.2009.52341123“}，{“问题”：“3”，“键”：“10.1016\/j.ins.2021.03.33_b0095”，“DOI-asserted-by”：“crossref”，“首页”：“799”，“DOI”：“101109\/TAC.2015.2449051”，“文章标题”：“具有非确定性输出函数的Mealy自动机建模的离散事件系统的非阻塞监督控制”，“卷“：”61“，”作者“：”Ushio“，”年份“：”2016“，”期刊标题“：”IEEE Trans。自动。Control”｝，｛“key”：“10.1016\/j.in.2021.03.033_b0100”，“非结构化”：“A.Giua，基于事件观测的Petri网状态估计器，载于：第36届IEEE决策与控制会议论文集，美国加利福尼亚州圣地亚哥，第4卷，第4期，1997年，第4086\u20134091页。10.1109\/CDC.1997.652507“}，{“issue”：“9”，“key”：“10.1016\/j.ins.2021.03.033_b0105”，“doi-asserted-by”：“crossref”，“first page”：”1424“，“doi”：“101109\/TAC.2002.802769”，”article-title“：“place\/transition nets的可观测性”，“volume”:“47”，“author”：“Giua”，”year“2002”，“journal-title”：“IEEE Trans.Autom.Control”}，{“问题”：“9”，“密钥”：“10.1016\/j.ins.2021.03.033_b0110“，”doi-asserted-by“：”crossref“，”first page“：”1531“，”doi“：”10.1016\/j.automatica.2010.06.013“，”article-title“：”使用具有不可观测转换的Petri网的离散事件系统的故障检测“，”volume“：“46”，”author“：”Cabasino“，”year“：”2010“，”journal-title”：“automatica”}，{“issue”：“9”，“key”：“”10.1016\/j.ins.2021.03.033_b0115“，”doi-asserted-by“：”crossref“，”first page“：”1695“，“doi”：“10.1109\/TAC.2007.904281”，“article-title”：“用无声转移标记Petri网的估计”，“volume”：“52”，“author”：“Corona”，“year”：“2007”，“journal-title“：”IEEE Trans。自动。Control“}，{”issue“：”2“，”key“：”10.1016\/j.ins.2021.03.033_b0120“，”doi-asserted-by“：”crossref“，”first page“：“334”，“doi”：“10.1109\/TASE.2008.200905”，“article-title”：“与Petri网中标签观察结果一致的标记数的界限”，“volume”：“6”，“author”：“Ru”，“year”：“2009”，“journal-title“：”IEEE Trans.Autom.Sci.Eng.}，{“键”：10.1016\/j.ins.2021.03.033_b0125“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Ramadge，离散事件系统的可观测性，摘自：《IEEE第25届决策与控制会议论文集》，希腊雅典，第25卷，1986年，第1108\u20131112页。10.1109\/CDC.1986.267551“，”DOI“：”10.1109\/DCC.1986.26.7551“}，{“问题”：“7”，“密钥”：“10.1016\/j.ins.2021.03.33_b0130”，“DOI-asserted-by”：“crossref”，“首页”：“797”，”DOI:“10.1109\/9.57018”，“文章标题”：“离散事件动态系统的可观测性”，“卷”：“35”，“作者”：“Ozveren”，“年份”：“1990”，“journal-title”：“IEEE传输自动控制”}，{“issue“：”2“，”key“：”10.1016\/j.ins.2021.03.033_b0135“，”doi-asserted-by“：”crossref“，”first-page“：”232“，“doi”：“10.1109\/9.250512”，“article-title”：“离散事件动力系统监督控制的谓词和谓词变换器”，“volume”：“38”，“author”：“Kumar”，“year”：“1993”，“journal-title“：”IEEE Trans。自动。Control“}，{“key”：“10.1016\/j.ins.2021.03.033_b0140”，“unstructured”：“P.Caines，R.Greiner，S.Wang，有限自动机的动态逻辑观测器，收录于：第27届IEEE决策与控制会议论文集，德克萨斯州奥斯汀，1988年，第226\u2013233页。10.1109\/CDC.1988.194300“}，{“issue”：“1”，“key”：“10.1016\/j.ins.2021.03.33_b0145”，“doi-asserted-by”：“crossref”，“first page”：”17“，“doi”：“101109\/TAC.2003.821419”，“article-title”：“带死锁恢复的定时Petri网的基于观测器的状态反馈控制”，“volume”:“49”，“author”：“Giua”，”year“：”2004“，”journal-title“：”IEEE Trans。自动控制“}，{“issue”：“3”，“key”：“10.1016\/j.ins.2021.03.033_b0150”，“doi-asserted-by”：“crossref”，“首页”：“323”，”doi“：“10.1007\/s10626-007-0036-x”，“article-title”：“部分观测下大型Petri网模型的在线监测”，“volume”：”18“author”：“Jiroveanu”，“year”：“2008”，“journal-title“：”Discre.Event Dyn.Syst.“}，{”键“：“10.1016\/j.ins.2021.03.033_b0155”，“首页”：“1”，“文章标题”：“受到攻击的离散事件系统的监督控制”，“卷”：“一”，“作者”：“Wakaiki”，“年份”：“2017”，“日志标题”：《Dyn.Games Appl.》}，{“key”：“10.116\/j.ins.2021.0.33_b0160”，“doi-asserted-by”：“crossref”，“第一页”：《1454》，“doi”：“101109 \/TAC.2014.2303233“，“article-title”：“对抗性攻击下网络物理系统的安全估计和控制”，“volume”：“59”，“author”：“Fawzi”，“year”：“2014”，“journal-title:”IEEE Trans.Autom.control“}，{“key”：”10.1016\/j.ins.2021.03.033_b0165“，”doi-asserted-by“：”crossref“，”first page“：”2079“，”doi“：”10.1109\/TAC.2015.2492159“，”article-title“：“稀疏噪声/攻击的事件触发状态观测器”，“卷”：“61”，“作者”：“Shoukry”，“年份”：“2016”，“期刊标题”：“IEEE Trans.Autom.Control”}，｛“密钥”：“10.1016\/j.in.2021.03.033_b0170”，“系列标题”：“美国控制会议论文集，美国伊利诺伊州芝加哥”，“首页”：“2439”，“文章标题”：“对抗攻击下线性系统的可观测性”，“author”：“Chong”，“year”：“2015”}，{“issue”：“3”，“key”：“10.1016\/j.ins.2021.03.033_b0175”，“doi-asserted-by”：“crossref”，《first page》：“249”，“doi”：“101109\/9.402”，“article-title”：“具有部分观测的离散事件过程的监督控制”，“volume”：《33》，“audoi”：“Cieslak”，“year”：“1988”，“journal-title”：“IEEE Trans.Autom.Control”}，{“issue”：“3”，“key”：“10.1016\/j.ins.2021.03.33_b0180”，“doi-asserted-by”：“crossref”，“first page”：”173“，“doi”：“101016\/0020-0255 title“：”信息科学“}，{”键“：“10.1016\/j.ins.2021.03.033_b0185”，“doi-asserted-by”：“crossref”，“unstructured”：“Q.Zhang，Z.Li，C.Seatzu等，部分观测离散事件系统的隐形攻击，摘自：IEEE第23届新兴技术和工厂自动化国际会议论文集，意大利都灵，2018年。DOI:10.1109\/ETFA.2018.8502501“，”DOI“：”10.1109\/ETBA.2018.850.2501“}，{“key”：“10.1016\/j.ins.2021.03.33_b0190”，“DOI-asserted-by”：“crossref”，“first page”：”121“，”DOI“：“2018年”journal-title“：”Automatica“}，{”key“：”10.1016\/j.ins.2021.03.033_b0195“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Cabasino，A.Giua，A.Solinas，C.Seatzu，K。Zedda，《使用Petri网对ABS系统进行故障诊断》，载于《第七届IEEE自动化科学与工程国际会议论文集》，意大利的里雅斯特，2011年第1卷，第594\u2013599页。10.1109\/CASE.2011.6042508“，”DOI“：”10.1109\/CASE.2011.604 2508“}，{“issue”：“4”，“key”：“10.1016\/j.ins.2021.03.33_b0200”，“DOI-asserted-by”：“crossref”，“first page”：”748“，“DOI”：“101109\/TAC.2009.2014932”，“article-title”：“离散事件系统在线诊断的有效方法”，“volume”:“54”，“author”：“Basile”，“year”：“2009”，“新闻标题”：“IEEE传输。自动。Control“}，{”issue“：”9“，”key“：”10.1016\/j.ins.2021.03.033_b0205“，”doi-asserted-by“：”crossref“，”first page“：“989”，”doi“：”101016\/j.conengprac.2010.12.010“，”article-title“：”使用标记Petri网进行离散事件诊断。制造系统应用程序“，”volume“:”19“，”author“：”Cabasino“，”year“：”2011“，”journal-title”：“Control Eng.Pract.”}，｛“issue”：“6”，“key”：“10.1016\/j.in.2021.03.033_b0210”，“doi asserted by”：“crossref”，“首页”：“2823”，“doi”：“10.1109\/TAC.2016.2620429”，“文章标题”：“使用Petri网验证基于状态的不透明度”，“卷”：“62”，“作者”：“Tong”，“年份”：“2017”，“期刊标题”：“IEEE Trans.Autom.Control”｝，｛“issue”：“4”，“key”：“10.1016\/j.ins.2021.03.033_b0215”，“doi-asserted-by”：“crossref”，“first page”：“1813”，“doi”：“10.1109\/TAC.2016.2592952”，“article-title”：“标记标记Petri网中的观察者并应用于监控”，“volume”：”62“，”author“：”Cabasino“，”year“：”2017“，”journal-title“：”IEEE Trans.Autom.control“}，{”key“：“10.1016\/j.ins.2021.03.033_b0220”，“article-title”：“离散事件系统的监督控制”，“author”：“Wonham”，“year”：“2018”，“journal-title“：”Springer International Publishing“}，{“key”：“10.116\/j-ins.2021.003_b0225”，“unstructured”：“Z.Li，Petri网和有限状态自动机基础，系统与控制集团，2020。https:\/\/systemscontrol.wixsite.com/zhiwuli\/publications“}]，“container-title”：[“Information Sciences”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\//api.elsevier.com/content\/article\/PII:S0025521002760？httpAccept=text\/xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”宁“}，{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0020025521002760？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2022,12,24]]，“date-time”：“2022-12-24T15:08:50Z”，“timestamp”：1671894530000}，“score”：1，“resource”：{primary“URL”：“https:\\/linkinghub.elsevier.com//retrieve\/pii\/S002555”21002760“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,7]]}，”references-count“：45，”alternative-id“：[”S0020025521002760“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.ins.2021.03.033“，”relationship“：{}，“ISSN”：[”0020-0255“]，“ISSN-type”：[{“value”：“0020-02555”，“type”:“print”}]，“subject”：【]，“published”：{“date-parts”：[[2021,7]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}维护，{”value“：”外部攻击下离散事件系统的监督控制“，”name“：”articletitle“，”标签“：”article Title“}，{“value”：“Information Sciences”，“name”：“journaltitle”，“label”：“Journal Title”}，}“value”：“https:\/\/doi.org\/101016\/j.ins.2021.03.033”，“name”：“articlelink”，“标签”：“”CrossRef DOI链接到出版商维护的版本“}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，}“values”：“\u00a9 2021 Elsevier Inc.保留所有权利。”，“名称”：“版权”，“标签”：“copyright”}]}