上海交大研究生院主页平台管理系统殷翔--中文主页-- Verification complexity of a class of observational properties for modular discrete events systems

论文成果

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

Verification complexity of a class of observational properties for modular discrete events systems

上一条： On the decidability and complexity of diagnosability for labeled Petri nets

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