上海交大研究生院主页平台管理系统殷翔--中文主页-- Verification and enforcement of strong infinite- and k-step opacity using state recognizers

论文成果

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

Verification and enforcement of strong infinite- and k-step opacity using state recognizers

上一条： Supervisory control for stabilization under multiple local average payoff constraints

下一条： Modeling and analysis of networked discrete event systems with multiple control channels