Takip et
Xiang Yin (殷翔)
Xiang Yin (殷翔)
Associate Professor, Shanghai Jiao Tong University
sjtu.edu.cn üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems
X Yin, S Lafortune
IEEE Transactions on Automatic Control 61 (8), 2140-2154, 2016
1682016
A new approach for the verification of infinite-step and K-step opacity using two-way observers
X Yin, S Lafortune
Automatica 80, 162-171, 2017
1172017
Synthesis of maximally permissive supervisors for partially-observed discrete-event systems
X Yin, S Lafortune
IEEE Transactions on Automatic Control 61 (5), 1239-1254, 2016
1112016
Visual-manual distraction detection using driving performance indicators with naturalistic driving data
Z Li, S Bao, IV Kolmanovsky, X Yin
IEEE Transactions on Intelligent Transportation Systems 19 (8), 2528-2535, 2018
832018
Infinite-step opacity and K-step opacity of stochastic discrete-event systems
X Yin, Z Li, W Wang, S Li
Automatica 99, 266-274, 2019
662019
On the decidability and complexity of diagnosability for labeled Petri nets
X Yin, S Lafortune
IEEE Transactions on Automatic Control 62 (11), 5931-5938, 2017
632017
Opacity enforcement using nondeterministic publicly known edit functions
Y Ji, X Yin, S Lafortune
IEEE Transactions on Automatic Control 64 (10), 4369-4376, 2019
592019
Decentralized fault prognosis of discrete event systems with guaranteed performance bound
X Yin, Z Li
Automatica 69, 375-379, 2016
582016
Codiagnosability and coobservability under dynamic observations: Transformation and verification
X Yin, S Lafortune
Automatica 61, 241-252, 2015
552015
Opacity of nondeterministic transition systems: A (bi) simulation relation approach
K Zhang, X Yin, M Zamani
IEEE Transactions on Automatic Control 64 (12), 5116-5123, 2019
532019
Reliable decentralized fault prognosis of discrete-event systems
X Yin, Z Li
IEEE Transactions on Systems, Man, and Cybernetics: Systems 46 (11), 1598-1603, 2016
532016
Enforcing opacity by insertion functions under multiple energy constraints
Y Ji, X Yin, S Lafortune
Automatica 108, 108476, 2019
512019
Synthesis of maximally-permissive supervisors for the range control problem
X Yin, S Lafortune
IEEE Transactions on Automatic Control 62 (8), 3914-3929, 2017
502017
On approximate opacity of cyber-physical systems
X Yin, M Zamani, S Liu
IEEE Transactions on Automatic Control, 2021
482021
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
X Yin
Automatica 80, 127-134, 2017
442017
Verification of prognosability for labeled Petri nets
X Yin
IEEE Transactions on Automatic Control 63 (6), 1828-1834, 2018
432018
Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols
X Yin, Z Li
IEEE transactions on cybernetics 49 (4), 1302-1313, 2019
412019
Supervisor synthesis for mealy automata with output functions: A model transformation approach
X Yin
IEEE Transactions on Automatic Control 62 (5), 2576-2581, 2017
412017
Synthesis of dynamic masks for infinite-step opacity
X Yin, S Li
IEEE Transactions on Automatic Control 65 (4), 1429-1441, 2020
402020
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
T Masopust, X Yin
Automatica 101, 290-295, 2019
392019
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20