Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!

If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.

Requested Article:

On detectability of labeled Petri nets and finite automata
Kuize Zhang, Alessandro Giua
Discrete Event Dynamic Systems (2020) Vol. 30, Iss. 3, pp. 465-497
Open Access | Times Cited: 23

Showing 23 citing articles:

Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions
Tao Qin, Zhiwu Li
Mathematics (2025) Vol. 13, Iss. 4, pp. 563-563
Open Access
Detectability of Discrete Event Systems Under Sensor Attacks
K. Ritsuka, Feng Lin, Stéphane Lafortune, et al.
Journal of Systems Science and Complexity (2025) Vol. 38, Iss. 1, pp. 150-177
Closed Access
Strong current-state and initial-state opacity of discrete-event systems
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, et al.
Automatica (2022) Vol. 148, pp. 110756-110756
Open Access | Times Cited: 16
A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems
Kuize Zhang
Annual Reviews in Control (2023) Vol. 56, pp. 100902-100902
Closed Access | Times Cited: 8
On the verification of detectability for timed discrete event systems
Weijie Dong, Kuize Zhang, Shaoyuan Li, et al.
Automatica (2024) Vol. 164, pp. 111644-111644
Closed Access | Times Cited: 2
Critical Observability of Labeled Time Petri Net Systems
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, et al.
IEEE Transactions on Automation Science and Engineering (2022) Vol. 20, Iss. 3, pp. 2063-2074
Closed Access | Times Cited: 11
Detectability of labeled weighted automata over monoids
Kuize Zhang
Discrete Event Dynamic Systems (2022) Vol. 32, Iss. 3, pp. 435-494
Open Access | Times Cited: 9
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Hao Lan, Yin Tong, Carla Seatzu
Nonlinear Analysis Hybrid Systems (2021) Vol. 42, pp. 101087-101087
Closed Access | Times Cited: 9
State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks
Marcos V. S. Alves, João Carlos Basilio
IEEE Transactions on Automation Science and Engineering (2023) Vol. 21, Iss. 3, pp. 2622-2637
Closed Access | Times Cited: 3
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems
Kuize Zhang
IEEE Transactions on Automatic Control (2022) Vol. 68, Iss. 1, pp. 510-515
Closed Access | Times Cited: 5
Revisiting State Estimation and Weak Detectability of Discrete-Event Systems
Xiaoguang Han, Jin-Liang Wang, Zhiwu Li, et al.
IEEE Transactions on Automation Science and Engineering (2022) Vol. 20, Iss. 1, pp. 662-674
Closed Access | Times Cited: 5
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
Hao Lan, Yin Tong, Carla Seatzu
IEEE Transactions on Automation Science and Engineering (2021) Vol. 19, Iss. 2, pp. 1268-1276
Closed Access | Times Cited: 6
On the Verification of Detectability for Timed Systems
Weijie Dong, Xiang Yin, Kuize Zhang, et al.
2022 American Control Conference (ACC) (2022), pp. 3752-3758
Closed Access | Times Cited: 4
Formulation of Concurrent Composition in Labeled Real-Time Automata with an Application to Fault Diagnosis
Yucan Yan, Kuize Zhang
(2024), pp. 281-286
Closed Access
Revisiting strong detectability of networked discrete-event systems
Kuize Zhang, Lei Feng
IFAC-PapersOnLine (2020) Vol. 53, Iss. 4, pp. 21-27
Open Access | Times Cited: 3
Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems
Kuize Zhang
IEEE Control Systems Letters (2023) Vol. 7, pp. 1518-1523
Closed Access | Times Cited: 1
How attacks affect detectability in discrete-event systems?
Kuize Zhang
2022 American Control Conference (ACC) (2022), pp. 3728-3733
Closed Access | Times Cited: 2
Eventual strong detectability of labeled weighted automata over monoids
Tianchen Zhang, Kuize Zhang
IFAC-PapersOnLine (2022) Vol. 55, Iss. 28, pp. 270-275
Open Access | Times Cited: 1
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
Kuize Zhang
arXiv (Cornell University) (2020)
Open Access
Instant detectability of discrete-event systems
Kuize Zhang, Alessandro Giua
IFAC-PapersOnLine (2020) Vol. 53, Iss. 2, pp. 2137-2142
Open Access
New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems
Kuize Zhang
arXiv (Cornell University) (2021)
Open Access
Strong current-state and initial-state opacity of discrete-event systems
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, et al.
arXiv (Cornell University) (2021)
Open Access
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
Kuize Zhang
arXiv (Cornell University) (2021)
Open Access
Page 1

Scroll to top