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

Language : 中文

殷翔

Scientific Research: Research Field; Paper Publications; Patents; Published Books; Research Projects

Teaching Research: Teaching Resources; Teaching Information; Teaching Achievement

Current position: Home > Scientific Research > Paper Publications

Hits:

ISSN No.:0005-1098

Translation or Not:no

Date of Publication:2017-09-01

Indexed by:期刊论文

Date of Publication:2017-09-01

Pre One:On the decidability and complexity of diagnosability for labeled Petri nets

Next One:Synthesis of maximally-permissive supervisors for the range control problem

Recommend this Article

Click: