上海交大研究生院主页平台管理系统 yinxiang--Home-- Improved Approaches for Verifying I-Detectability of Discrete-Event 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:

Journal:2019 12th Asian Control Conference, ASCC 2019

Translation or Not:no

Date of Publication:2019-06-01

Indexed by:会议论文

Date of Publication:2019-06-01

Pre One:Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels

Next One:Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks

Recommend this Article

Click: