上海交大研究生院主页平台管理系统殷翔--中文主页-- Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果 >> Verification of O...

Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels

上一条： A game-theoretical approach for optimal supervisory control of discrete event systems for cyclic tasks

下一条： Improved Approaches for Verifying I-Detectability of Discrete-Event Systems