上海交大研究生院主页平台管理系统 yinxiang--Home-- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach

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:

Journal:IEEE Transactions on Automatic Control

ISSN No.:0018-9286

Translation or Not:no

Date of Publication:2019-12-01

Indexed by:期刊论文

Date of Publication:2019-12-01

Pre One:Opacity enforcement using nondeterministic publicly-known edit functions

Next One:Verification of Prognosability for Labeled Petri Nets

Recommend this Article

Click: