Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhiwu Li 0001
ZhiWu Li 0001 – Zhi-Wu Li 0001 – Zhi Wu Li 0001
Person information
- affiliation: Macau University of Science and Technology, Institute of Systems Engineering, Macau
- affiliation (PhD 1995): Xidian University, School of Electro-Mechanical Engineering, Xi'an, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j389]Guangdong Tian, Wenjie Wang, Honghao Zhang, Xiaowan Zhou, Cheng Zhang, Zhiwu Li:
Multi-objective optimization of energy-efficient remanufacturing system scheduling problem with lot-streaming production mode. Expert Syst. Appl. 237(Part A): 121309 (2024)- [j388]Yuanxiu Teng, Li Yin, Zhiwu Li, Naiqi Wu:
Adjacent initial states-based differential privacy for probabilistic labeled Petri nets. Expert Syst. Appl. 237(Part A): 121454 (2024) - [j387]Lan Yang, Zhiwu Li:
Deadline-aware misinformation prevention in social networks with time-decaying influence. Expert Syst. Appl. 238(Part C): 121847 (2024) - [j386]Liang Li, Mingxi Deng, Bin Liu, Zhiwu Li:
State estimation in labeled time Petri net systems using observed modified state class graph. Inf. Sci. 656: 119922 (2024) - 2023
- [b1]Xi Wang, ZhiWu Li:
Scheduling and Reconfiguration of Real-Time Systems - A Supervisory Control Approach. Springer 2023, ISBN 978-3-031-41968-3, pp. 1-205 - [j385]Yejia Liu
, Xunbo Li, Zhiwu Li:
Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority. IEEE Access 11: 45442-45455 (2023) - [j384]Mahmoud Salaheldin Elsayed, Khaled Kefi, Zhi-Wu Li:
An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique. IEEE Access 11: 51723-51739 (2023) - [j383]Junjun Yang, Kaige Tan, Lei Feng, Ahmed M. El-Sherbeeny, Zhiwu Li:
Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems. IEEE Access 11: 59840-59853 (2023) - [j382]Yanjun Zhou, Huorong Ren, Dan Zhao, Zhi Wu Li, Witold Pedrycz:
A novel multi-level framework for anomaly detection in time series data. Appl. Intell. 53(9): 10009-10026 (2023) - [j381]Xiaoyu Han, Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A three-way classification with fuzzy decision trees. Appl. Soft Comput. 132: 109788 (2023) - [j380]Dan Wang, Xiubin Zhu, Witold Pedrycz, Adam Gacek, Aleksander Sobotnicki, Zhiwu Li:
Modeling and analysis of cardioimpedance signals using polynomial models and fuzzy rule-based models. Appl. Soft Comput. 144: 110482 (2023) - [j379]Jianzhou Wang, Kang Wang, Zhiwu Li, Haiyan Lu, He Jiang:
Short-term power load forecasting system based on rough set, information granule and multi-objective optimization. Appl. Soft Comput. 146: 110692 (2023) - [j378]Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen:
Strong current-state and initial-state opacity of discrete-event systems. Autom. 148: 110756 (2023) - [j377]Dimitri Lefebvre, Zhiwu Li, Ye Liang:
Diagnosis of timed patterns for discrete event systems by means of state isolation. Autom. 153: 111045 (2023) - [j376]Zhiqiang Tian, Xingyu Jiang, Weijun Liu, Zhiwu Li:
Dynamic energy-efficient scheduling of multi-variety and small batch flexible job-shop: A case study for the aerospace industry. Comput. Ind. Eng. 178: 109111 (2023) - [j375]Wei Duan, Ruotian Liu, Maria Pia Fanti, Christoforos N. Hadjicostis, Zhiwu Li:
Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations. IEEE Control. Syst. Lett. 7: 2041-2046 (2023) - [j374]Jiyang Wang, Zhiwu Li:
Wind speed interval prediction based on multidimensional time series of Convolutional Neural Networks. Eng. Appl. Artif. Intell. 121: 105987 (2023) - [j373]Jianzhou Wang, Mengzheng Lv, Zhiwu Li, Bo Zeng:
Multivariate selection-combination short-term wind speed forecasting system based on convolution-recurrent network and multi-objective chameleon swarm algorithm. Expert Syst. Appl. 214: 119129 (2023) - [j372]Cailu Wang, Yuanqing Xia, Zhiwu Li, Yuegang Tao:
Approximately global optimal control for max-plus linear systems and its application on load distribution. Int. J. Control 96(5): 1104-1115 (2023) - [j371]Yong Wang, Bingtao Hu, Yixiong Feng, Zhiwu Li, Yiping Feng, Jianrong Tan:
A Decomposition-Based Approach for Multitask Scheduling With Execution Uncertainty in Industrial Internet of Things. IEEE Internet Things J. 10(12): 10222-10235 (2023) - [j370]Junjun Yang, Kaige Tan, Lei Feng, Zhiwu Li:
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems. Inf. Sci. 630: 305-321 (2023) - [j369]Bo Peng, Huiyuan Shi, Chengli Su, Ping Li, Zhiwu Li:
Robust fuzzy predictive switching control for nonlinear multi-phase batch processes with synchronous vs asynchronous cases. Inf. Sci. 647: 119489 (2023) - [j368]Tao Qin, Yifan Dong, Li Yin, Zhiwu Li:
Liveness enforcement for production systems modeled by time Petri nets. Inf. Sci. 648: 119564 (2023) - [j367]Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive supervisory control for a class of Petri nets with bimodal transitions. Inf. Sci. 650: 119683 (2023) - [j366]Qian Chu, Jiahui Zhang, Xiaoguang Han, Zhiwu Li, Zengqiang Chen:
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations. J. Syst. Sci. Complex. 36(5): 1830-1850 (2023) - [j365]Wenjie Wang, Guangdong Tian, Honghao Zhang, Zhi-Wu Li, Lele Zhang:
A hybrid genetic algorithm with multiple decoding methods for energy-aware remanufacturing system scheduling problem. Robotics Comput. Integr. Manuf. 81: 102509 (2023) - [j364]Yuting Li, Christoforos N. Hadjicostis, Naiqi Wu, Zhiwu Li:
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints. IEEE Trans. Autom. Control. 68(11): 6743-6750 (2023) - [j363]Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li:
Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints. IEEE Trans. Autom. Control. 68(11): 6797-6803 (2023) - [j362]Yuxia Pan, Kaizhou Gao, Zhiwu Li, Naiqi Wu:
Improved Meta-Heuristics for Solving Distributed Lot-Streaming Permutation Flow Shop Scheduling Problems. IEEE Trans Autom. Sci. Eng. 20(1): 361-371 (2023) - [j361]Yufeng Chen, Lei Pan, Zhiwu Li:
Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets. IEEE Trans Autom. Sci. Eng. 20(1): 611-623 (2023) - [j360]Xiaoguang Han, Jinliang Wang, Zhiwu Li, Xiaoyan Chen, Zengqiang Chen:
Revisiting State Estimation and Weak Detectability of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 20(1): 662-674 (2023) - [j359]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li:
Critical Observability of Labeled Time Petri Net Systems. IEEE Trans Autom. Sci. Eng. 20(3): 2063-2074 (2023) - [j358]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
A Design of Granular Classifier Based on Granular Data Descriptors. IEEE Trans. Cybern. 53(3): 1790-1801 (2023) - [j357]Yuxia Pan, Kaizhou Gao, Zhi-Wu Li, Naiqi Wu:
Solving Biobjective Distributed Flow-Shop Scheduling Problems With Lot-Streaming Using an Improved Jaya Algorithm. IEEE Trans. Cybern. 53(6): 3818-3828 (2023) - [j356]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
Transfer Learning Realized With Nonlinearly Transformed Input Space. IEEE Trans. Emerg. Top. Comput. 11(2): 448-460 (2023) - [j355]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
Fuzzy Rule-Based Local Surrogate Models for Black-Box Model Explanation. IEEE Trans. Fuzzy Syst. 31(6): 2056-2064 (2023) - [j354]Hanyu E, Ye Cui, Witold Pedrycz, Zhiwu Li:
Design of Distributed Rule-Based Models in the Presence of Large Data. IEEE Trans. Fuzzy Syst. 31(7): 2479-2486 (2023) - [j353]Yong Wang, Yixiong Feng, Xuanzhi Jin, Yiping Feng, Zhiwu Li, Jianrong Tan:
A Bilevel Decomposition Approach for Many Homogeneous Computing Tasks Scheduling in Software-Defined Industrial Networks. IEEE Trans. Ind. Informatics 19(4): 5752-5762 (2023) - [j352]Guangdong Tian, Cheng Zhang, Amir Mohammad Fathollahi Fard, Zhiwu Li, Chaoyong Zhang, Zhigang Jiang:
An Enhanced Social Engineering Optimizer for Solving an Energy-Efficient Disassembly Line Balancing Problem Based on Bucket Brigades and Cloud Theory. IEEE Trans. Ind. Informatics 19(5): 7148-7159 (2023) - [j351]Yixiong Feng, Kaiyue Cui, Zhaoxi Hong, Zhiwu Li, Weiyu Yan, Jianrong Tan:
Disassembly Sequence Planning of Product Structure With an Improved QICA Considering Expert Consensus for Remanufacturing. IEEE Trans. Ind. Informatics 19(5): 7201-7213 (2023) - [j350]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
Design and Development of Granular Fuzzy Rule-Based Models for Knowledge Transfer. IEEE Trans. Syst. Man Cybern. Syst. 53(2): 704-715 (2023) - [j349]Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Rumor Containment by Blocking Nodes in Social Networks. IEEE Trans. Syst. Man Cybern. Syst. 53(7): 3990-4002 (2023) - [c93]Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li:
Reduced-Complexity Approach for Opacity Enforcement Based on Extended Insertion Functions with Limited Insertion Events. ICNSC 2023: 1-6 - [i17]Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li:
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems. CoRR abs/2310.11825 (2023) - 2022
- [j348]Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li, Wadea Ameen:
An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems. IEEE Access 10: 68570-68581 (2022) - [j347]Jian Zhao, Liying Li, Jiaxin Yu, Zhiwu Li:
An Improved Marine Predators Algorithm for Optimal Reactive Power Dispatch With Load and Wind-Solar Power Uncertainties. IEEE Access 10: 126664-126673 (2022) - [j346]Junayed Pasha, Arriana L. Nwodu, Amir M. Fathollahi Fard, Guangdong Tian, Zhiwu Li, Hui Wang, Maxim A. Dulebenets:
Exact and metaheuristic algorithms for the vehicle routing problem with a factory-in-a-box in multi-objective settings. Adv. Eng. Informatics 52: 101623 (2022) - [j345]Jianzhou Wang, Rui Wang, Zhiwu Li:
A combined forecasting system based on multi-objective optimization and feature extraction strategy for hourly PM2.5 concentration. Appl. Soft Comput. 114: 108034 (2022) - [j344]Tailong Jing, Cong Wang, Witold Pedrycz, ZhiWu Li, Giancarlo Succi, MengChu Zhou:
Granular models as networks of associations of information granules: A development scheme via augmented principle of justifiable granularity. Appl. Soft Comput. 115: 108062 (2022) - [j343]Ge Zhang, Xiubin Zhu, Li Yin, Witold Pedrycz, Zhiwu Li:
Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity. Appl. Soft Comput. 131: 109808 (2022) - [j342]Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua:
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136: 110031 (2022) - [j341]Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li:
Time based deadlock prevention for Petri nets. Autom. 137: 110119 (2022) - [j340]Yingying Liu, Jan Komenda, Tomás Masopust, Zhiwu Li:
Modular control of discrete-event systems using similarity. Autom. 142: 110431 (2022) - [j339]Guanghui Zhu, Zhiwu Li, Naiqi Wu:
Online verification of K-step opacity by Petri nets in centralized and decentralized structures. Autom. 145: 110528 (2022) - [j338]Chengzong Li, Yongyao Li, Yufeng Chen, Naiqi Wu, Zhiwu Li, Pengyu Ma, Husam Kaid:
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. Comput. Informatics 41(5): 1310-1336 (2022) - [j337]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6: 1220-1225 (2022) - [j336]Yingying Liu, Jan Komenda, Zhiwu Li:
Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation. IEEE Control. Syst. Lett. 6: 1867-1872 (2022) - [j335]Yanjun Zhou, Huorong Ren, Zhiwu Li, Witold Pedrycz:
Anomaly detection based on a granular Markov model. Expert Syst. Appl. 187: 115744 (2022) - [j334]Jianzhou Wang, Ying Wang, Zhiwu Li, Hongmin Li, Hufang Yang:
Design of a combined system based on multi-objective optimization for point and interval forecasting of air pollution. Expert Syst. Appl. 191: 116345 (2022) - [j333]Hanyu E, Ye Cui, Witold Pedrycz, Aminah Robinson Fayek, Zhiwu Li, Jinbo Li:
Design of fuzzy rule-based models with fuzzy relational factorization. Expert Syst. Appl. 206: 117904 (2022) - [j332]Yan Qiao, Naiqi Wu, YunFang He, Zhi-Wu Li, Tao Chen:
Adaptive genetic algorithm for two-stage hybrid flow-shop scheduling with sequence-independent setup time and no-interruption requirement. Expert Syst. Appl. 208: 118068 (2022) - [j331]Kaijie Xu, Witold Pedrycz, Zhiwu Li:
Granular computing: An augmented scheme of degranulation through a modified partition matrix. Fuzzy Sets Syst. 440: 131-148 (2022) - [j330]Xubin Ping, Jianchen Hu, Tingyu Lin, Baocang Ding, Peng Wang, Zhiwu Li:
A Survey of Output Feedback Robust MPC for Linear Parameter Varying Systems. IEEE CAA J. Autom. Sinica 9(10): 1717-1751 (2022) - [j329]Zhenhua Yu, Haolu Wang, Dan Wang, Zhiwu Li, Houbing Song:
CGFuzzer: A Fuzzing Approach Based on Coverage-Guided Generative Adversarial Networks for Industrial IoT Protocols. IEEE Internet Things J. 9(21): 21607-21619 (2022) - [j328]Hu-Chen Liu, Hua Shi, ZhiWu Li, Chun-Yan Duan:
An integrated behavior decision-making approach for large group quality function deployment. Inf. Sci. 582: 334-348 (2022) - [j327]Zhaoxi Hong, Yixiong Feng, Zhiwu Li, Zhongkai Li, Bingtao Hu, Zhifeng Zhang, Jianrong Tan:
Performance balance oriented product structure optimization involving heterogeneous uncertainties in intelligent manufacturing with an industrial network. Inf. Sci. 598: 126-156 (2022) - [j326]Guangdong Tian, Amir M. Fathollahi Fard, Yaping Ren, Zhiwu Li, Xingyu Jiang:
Multi-objective scheduling of priority-based rescue vehicles to extinguish forest fires using a multi-objective discrete gravitational search algorithm. Inf. Sci. 608: 578-596 (2022) - [j325]Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui:
Secret inference and attacktability analysis of discrete event systems. Inf. Sci. 609: 1221-1238 (2022) - [j324]Deguang Wang, Xi Wang, Jing Yang, Zhiwu Li:
Nonblocking supervisory control of state-tree structures with event forcing. J. Frankl. Inst. 359(16): 8777-8801 (2022) - [j323]Xiaobo Li, Zhenhua Yu, Zhaofeng Zhong, Naiqi Wu, Zhiwu Li:
Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode. J. Frankl. Inst. 359(17): 9618-9635 (2022) - [j322]Shanhe Lou, Yixiong Feng, Zhiwu Li, Jianrong Tan:
Two-additive fuzzy measure-based information integration approach to product design alternative evaluation. J. Ind. Inf. Integr. 25: 100247 (2022) - [j321]Xingyu Jiang, Zhiqiang Tian, Weijun Liu, Yingqi Suo, Keqiang Chen, Xiaowen Xu, Zhiwu Li:
Energy-efficient scheduling of flexible job shops with complex processes: A case study for the aerospace industry complex components in China. J. Ind. Inf. Integr. 27: 100293 (2022) - [j320]Gaiyun Liu, Yuting Liu, Zhiwu Li:
Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming. Soft Comput. 26(8): 4019-4032 (2022) - [j319]Guangdong Tian, Zhiwu Li, Dexin Yu, Amir M. Fathollahi Fard, Lisheng Jin, Xingyu Jiang:
Editorial Conclusion for the Special Issue "Advanced Transportation Technologies and Symmetries in Intelligent Transportation Systems". Symmetry 14(7): 1439 (2022) - [j318]Jun Li, Dimitri Lefebvre, Christoforos N. Hadjicostis, Zhiwu Li:
Observers for a Class of Timed Automata Based on Elapsed Time Graphs. IEEE Trans. Autom. Control. 67(2): 767-779 (2022) - [j317]Ziyue Ma, Minqiang Zou, Jiafeng Zhang, Zhiwu Li:
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis. IEEE Trans. Autom. Control. 67(7): 3685-3692 (2022) - [j316]Jiazhong Zhou, Dimitri Lefebvre, Zhi-Wu Li:
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets. IEEE Trans. Autom. Control. 67(7): 3693-3698 (2022) - [j315]Xiaoyan Li, Christoforos N. Hadjicostis, Zhi Wu Li:
Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems. IEEE Trans. Autom. Control. 67(10): 5289-5303 (2022) - [j314]Cheng Zhang, Guangdong Tian, Amir Mohammad Fathollahi Fard, Wenjie Wang, Peng Wu, Zhiwu Li:
Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire Accident. IEEE Trans Autom. Sci. Eng. 19(1): 163-177 (2022) - [j313]Yao Lu, Yufeng Chen, ZhiWu Li, Naiqi Wu:
An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs. IEEE Trans Autom. Sci. Eng. 19(3): 1707-1718 (2022) - [j312]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A Two-Stage Approach for Constructing Type-2 Information Granules. IEEE Trans. Cybern. 52(4): 2214-2224 (2022) - [j311]Peng Nie, Xiubin Zhu, Witold Pedrycz, Zhengfeng Ming, Zhiwu Li:
Optimization of Granulation-Degranulation Mechanism Through Neurocomputing. IEEE Trans. Cybern. 52(6): 4126-4135 (2022) - [j310]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A Granular Approach to Interval Output Estimation for Rule-Based Fuzzy Models. IEEE Trans. Cybern. 52(7): 7029-7038 (2022) - [j309]Xubin Ping, Junying Yao, Baocang Ding, Zhiwu Li:
Tube-Based Output Feedback Robust MPC for LPV Systems With Scaled Terminal Constraint Sets. IEEE Trans. Cybern. 52(8): 7563-7576 (2022) - [j308]Cong Wang, Witold Pedrycz, Zhiwu Li, Mengchu Zhou:
Kullback-Leibler Divergence-Based Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet Frames for Image Segmentation. IEEE Trans. Cybern. 52(8): 7612-7623 (2022) - [j307]Hanyu E, Ye Cui, Witold Pedrycz, Zhiwu Li:
Fuzzy Relational Matrix Factorization and Its Granular Characterization in Data Description. IEEE Trans. Fuzzy Syst. 30(3): 794-804 (2022) - [j306]Xubin Ping, Junying Yao, Baocang Ding, Peng Wang, Zhiwu Li:
Time-Varying Tube-Based Output Feedback Robust MPC for T-S Fuzzy Systems. IEEE Trans. Fuzzy Syst. 30(5): 1460-1474 (2022) - [j305]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
Horizontal Federated Learning of Takagi-Sugeno Fuzzy Rule-Based Models. IEEE Trans. Fuzzy Syst. 30(9): 3537-3547 (2022) - [j304]Jin Liu, Naiqi Wu, Yan Qiao, Zhiwu Li:
Short-Term Traffic Flow Forecasting Using Ensemble Approach Based on Deep Belief Networks. IEEE Trans. Intell. Transp. Syst. 23(1): 404-417 (2022) - [j303]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Construction and Evaluation of Information Granules: From the Perspective of Clustering. IEEE Trans. Syst. Man Cybern. Syst. 52(3): 2024-2037 (2022) - [j302]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li:
Critical Observability of Discrete-Event Systems in a Petri Net Framework. IEEE Trans. Syst. Man Cybern. Syst. 52(5): 2789-2799 (2022) - [j301]Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 52(5): 3113-3125 (2022) - [j300]Yufeng Chen, Yuting Li, Zhiwu Li, Naiqi Wu:
On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification. IEEE Trans. Syst. Man Cybern. Syst. 52(6): 3404-3418 (2022) - [j299]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 52(10): 6162-6173 (2022) - [j298]Yifan Dong, Zhiwu Li, Naiqi Wu:
Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 52(12): 7628-7641 (2022) - [j297]Naiqi Wu, Yan Qiao, Zhiwu Li, Abdulrahman Al-Ahmari, Abdul-Aziz Mohammed El-Tamimi, Husam Kaid:
A Novel Control-Theory-Based Approach to Scheduling of High-Throughput Screening System for Enzymatic Assay. IEEE Trans. Syst. Man Cybern. Syst. 52(12): 7667-7678 (2022) - [c92]Chengzong Li, Yufeng Chen, Zhiwu Li, Li Yin:
Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications*. CASE 2022: 1622-1627 - [c91]Naiqi Wu, Yan Qiao, Zhiwu Li:
Efficient Approach to Scheduling of High Throughput Screening Systems: A Case Study. CASE 2022: 1634-1639 - [c90]Xiaoguang Han, Kuize Zhang, Zhiwu Li:
Verification of Strong K-Step Opacity for Discrete-Event Systems. CDC 2022: 4250-4255 - [c89]Tao Qin, Yifan Dong, Li Yin, Naiqi Wu, Zhiwu Li:
Liveness Enforcement for Time Petri Nets. CoDIT 2022: 1184-1189 - [c88]Haoming Zhu, Li Yin, Naiqi Wu, Zhiwu Li:
Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets. CoDIT 2022: 1261-1266 - [c87]Shaopeng Hu, Jiafeng Zhang, Zhiwu Li:
Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins. CoDIT 2022: 1279-1284 - [c86]Yao Lu, Yufeng Chen, Li Yin, Zhiwu Li:
Optimal Transition-based Supervisors Design for Flexible Manufacturing Systems. ICNSC 2022: 1-6 - [e3]Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li:
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13187, Springer 2022, ISBN 978-3-030-98849-4 [contents] - [i16]Xiaoguang Han, Kuize Zhang, Zhiwu Li:
Verification of Strong K-Step Opacity for Discrete-Event Systems. CoRR abs/2204.04698 (2022) - [i15]