In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading m...In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.展开更多
血液复苏是严重失血患者的关键急救措施。血液复苏液体的选用,经历了从全血到晶体液/胶体液、晶体液联合红细胞、等比例血液成分的演进过程。近20年来,采用低效价抗体O型全血(low titer group O whole blood,LTOWB)作为血液复苏的首选...血液复苏是严重失血患者的关键急救措施。血液复苏液体的选用,经历了从全血到晶体液/胶体液、晶体液联合红细胞、等比例血液成分的演进过程。近20年来,采用低效价抗体O型全血(low titer group O whole blood,LTOWB)作为血液复苏的首选应急通用桥接复苏液,已发展成为大趋势。我们对全血在严重失血患者的应用历史和现状做一介绍,并提出我国采用LTOWB作为首选应急通用血液的进一步论证和验证研究建议。展开更多
基金supported in part by the Public Technology Research Plan of Zhejiang Province (LGJ21F030001)the National Natural Science Foundation of China (62302448)the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies (2013E10012)。
文摘In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.
文摘血液复苏是严重失血患者的关键急救措施。血液复苏液体的选用,经历了从全血到晶体液/胶体液、晶体液联合红细胞、等比例血液成分的演进过程。近20年来,采用低效价抗体O型全血(low titer group O whole blood,LTOWB)作为血液复苏的首选应急通用桥接复苏液,已发展成为大趋势。我们对全血在严重失血患者的应用历史和现状做一介绍,并提出我国采用LTOWB作为首选应急通用血液的进一步论证和验证研究建议。
