1.Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
Li, YT, Yin, L, Chen More...
INFORMATION SCIENCES[0020-0255], Published 2019, Volume 505, Pages 183-197
收錄情况: WOS SCOPUS
WOS核心合集引用: 8 发表年影響因子: 5.910
2.Game current-state opacity formulation in probabilistic resource automata q
Li, D, Yin, L, Wang, More...
INFORMATION SCIENCES[0020-0255], Published 2022, Volume 613, Pages 96-113
收錄情况: WOS SCOPUS
WOS核心合集引用: 0 发表年影響因子: 8.1
3.Liveness enforcement for production systems modeled by time Petri nets
Qin, T, Dong, YF, Yi More...
INFORMATION SCIENCES[0020-0255], Published 2023, Volume 648,
收錄情况: WOS SCOPUS
WOS核心合集引用: 3
4.Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
Zhou, Sian, Yin, Li, More...
Information Sciences[0020-0255], Published 2024, Volume 666,
收錄情况: WOS SCOPUS
WOS核心合集引用: 0
5.Identification of labeled Petri nets from finite automata
Zhu, Guanghui, Yin, More...
Information Sciences[0020-0255], Published 2024, Volume 667,
收錄情况: WOS SCOPUS
WOS核心合集引用: 0
6.Opacity enforcement in discrete event systems using differential privacy
Zhang, J, Dong, YF, More...
INFORMATION SCIENCES[0020-0255], Published 2025, Volume 688,
收錄情况: WOS SCOPUS
WOS核心合集引用: 0
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫