上海交大研究生院主页平台管理系统 yinxiang--Home-- Modeling and analysis of networked discrete event systems with multiple control channels

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:60th IEEE Conference on Decision and Control

Translation or Not:no

Date of Publication:2021-12-01

Indexed by:会议论文

Date of Publication:2021-12-01

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

Next One:Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications

Recommend this Article

Click: