Cyber-Attacks with Resource Constraints on Discrete Event Systems Under Supervisory Control

Authors: He, Zhaoyang, Wu, Naiqi, Su, Rong, Li, Zhiwu

Source: IEEE/CAA Journal of Automatica Sinica IEEE/CAA J. Autom. Sinica Automatica Sinica, IEEE/CAA Journal of. 12(3):585-595 Mar, 2025

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets

Authors: Qin, Tao, Yin, Li, Liu, Gaiyun, Wu, Naiqi, Li, Zhiwu

Source: IEEE/CAA Journal of Automatica Sinica IEEE/CAA J. Autom. Sinica Automatica Sinica, IEEE/CAA Journal of. 12(1):54-68 Jan, 2025

Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences

Authors: Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu

Subject Terms: Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2502.10367

Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs

Authors: Zhao, Wenjie, Deplano, Diego, Li, Zhiwu, Giua, Alessandro, Franceschelli, Mauro

Source: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE) Automation Science and Engineering (CASE), 2024 IEEE 20th International Conference on. :2975-2981 Aug, 2024

Relation: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)

Data-mechanism-driven Product Performance Optimization with Multiple Parameters Under Uncertainties in Manufacturing Automation Systems

Authors: Cui, Kaiyue, Hong, Zhaoxi, Song, Xiuju, Zhou, Mengchu, Li, Zhiwu, Feng, Yixiong, Tan, Jianrong

Source: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE) Automation Science and Engineering (CASE), 2024 IEEE 20th International Conference on. :2626-2631 Aug, 2024

Relation: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)

Strong Co-Detectability for Labeled Petri Nets and its Enforcement via Additional Sensors

Authors: Zhang, Yuling, Liu, Ding, Hadjicostis, Christoforos N., Li, Zhiwu

Source: 2024 43rd Chinese Control Conference (CCC) Chinese Control Conference (CCC), 2024 43rd. :1507-1514 Jul, 2024

Relation: 2024 43rd Chinese Control Conference (CCC)

Opacity Enforcement by Edit Functions Under Incomparable Observations

Authors: Duan, Wei, Liu, Ruotian, Fanti, Maria Pia, Hadjicostis, Christoforos N., Li, Zhiwu

Subject Terms: Computer Science - Formal Languages and Automata Theory, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2410.08471

Railway Station Train Scheduling Based on Supervisory Control of DES

Authors: Li, Cengkai, Wang, Xi, Wang, Deguang, Li, Zhiwu

Source: 2024 10th International Conference on Electrical Engineering, Control and Robotics (EECR) Electrical Engineering, Control and Robotics (EECR), 2024 10th International Conference on. :364-369 Mar, 2024

Relation: 2024 10th International Conference on Electrical Engineering, Control and Robotics (EECR)

DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS

Authors: Kaid, Husam, Al-Ahmari, Abdulrahman, El-Tamimi, Abdulaziz M., Nasr, Emad Abouel, Li, Zhiwu

Source: South African Journal of Industrial Engineering, Vol 30, Iss 1, Pp 1-23 (2019)

Subject Terms: robust mathematical tools, automated manufacturing systems, deadlock problems, Industrial engineering. Management engineering, T55.4-60.8

File Description: electronic resource

Relation: http://sajie.journals.ac.za/pub/article/view/1849; https://doaj.org/toc/1012-277X; https://doaj.org/toc/2224-7890

Access URL: https://doaj.org/article/da548a429b0346279bfcf2f9660f80b4

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets

Authors: Dong, Yifan, Wu, Naiqi, Li, Zhiwu

Source: IEEE/CAA Journal of Automatica Sinica IEEE/CAA J. Autom. Sinica Automatica Sinica, IEEE/CAA Journal of. 11(5):1274-1291 May, 2024

State estimation of timed automata under partial observation [Draft version]

Authors: Gao, Chao, Lefebvre, Dimitri, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2409.05810

Heterogeneous window transformer for image denoising

Authors: Tian, Chunwei, Zheng, Menghua, Lin, Chia-Wen, Li, Zhiwu, Zhang, David

Subject Terms: Electrical Engineering and Systems Science - Image and Video Processing, Computer Science - Computer Vision and Pattern Recognition

Access URL: http://arxiv.org/abs/2407.05709

Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences

Authors: Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu

Source: 2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :6917-6922 Dec, 2023

Relation: 2023 62nd IEEE Conference on Decision and Control (CDC)

Fault Diagnosis of Discrete Event Systems Under Attack

Authors: Kang, Tenglong, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro

Source: 2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :7923-7929 Dec, 2023

Relation: 2023 62nd IEEE Conference on Decision and Control (CDC)

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack

Authors: Zhao, Wenjie, Deplano, Diego, Li, Zhiwu, Giua, Alessandro, Franceschelli, Mauro

Subject Terms: Electrical Engineering and Systems Science - Systems and Control, Mathematics - Optimization and Control

Access URL: http://arxiv.org/abs/2406.18467

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems

Authors: Han, Xiaoguang, Zhang, Kuize, Li, Zhiwu

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2401.10363

Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations

Authors: Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu

Subject Terms: Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2401.09110

Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems

Authors: Lu, Yao, Chen, Yufeng, Yin, Li, Li, Zhiwu

Source: 2022 IEEE International Conference on Networking, Sensing and Control (ICNSC) Networking, Sensing and Control (ICNSC), 2022 IEEE International Conference on. :1-6 Dec, 2022

Relation: 2022 IEEE International Conference on Networking, Sensing and Control (ICNSC)

Verification of Strong K-Step Opacity for Discrete-Event Systems

Authors: Han, Xiaoguang, Zhang, Kuize, Li, Zhiwu

Source: 2022 IEEE 61st Conference on Decision and Control (CDC) Decision and Control (CDC), 2022 IEEE 61st Conference on. :4250-4255 Dec, 2022

Relation: 2022 IEEE 61st Conference on Decision and Control (CDC)

Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems

Authors: Li, Xiaoyan, Hadjicostis, Christoforos N., Li, Zhiwu

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2310.11825