上海交大研究生院主页平台管理系统殷翔--中文主页-- A new approach for the verification of infinite-step and K-step opacity using two-way observers

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果 >> A new approach fo...

A new approach for the verification of infinite-step and K-step opacity using two-way observers

上一条： Synthesis of maximally-permissive supervisors for the range control problem

下一条： Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures