default search action
Zhiwu 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
Other persons with the same name
- Zhiwu Li
- Zhiwu Li 0002 — Beijing Institute of Petrochemical Technology, School of Mechanical Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j443]Yuting Li, Christoforos N. Hadjicostis, Naiqi Wu, Zhiwu Li:
Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints. Autom. 171: 111971 (2025) - [j442]Jie Zhang, Yifan Dong, Li Yin, Almetwally M. Mostafa, Zhiwu Li:
Opacity enforcement in discrete event systems using differential privacy. Inf. Sci. 688: 121284 (2025) - [j441]Tao Qin, Jiawang Zhu, Zhiwu Li, Xin Hu, Almetwally M. Mostafa:
Path detectability verification for time-dependent systems with application to flexible manufacturing systems. Inf. Sci. 689: 121404 (2025) - [j440]Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li:
Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems. Inf. Sci. 690: 121554 (2025) - 2024
- [j439]Murat Uzam, Zhiwu Li, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Qiwei Tang:
Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs. IEEE Access 12: 20031-20046 (2024) - [j438]Murat Uzam, Ahmed M. El-Sherbeeny, Weiwen Guo, Zhiwu Li:
Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs. IEEE Access 12: 74367-74388 (2024) - [j437]Qianlong Zhai, Xin Hu, Ahmed M. El-Sherbeeny, Zhiwu Li:
A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints. IEEE Access 12: 78759-78772 (2024) - [j436]Tareq Ahmad Al-Sarayrah, ZhiWu Li, Li Yin, Almetwally M. Mostafa:
Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata. IEEE Access 12: 84189-84203 (2024) - [j435]Dajiang Sun, Yufeng Chen, Mohammed A. El-Meligy, Mohamed Sharaf, Naiqi Wu, Zhiwu Li:
Correction to "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets". IEEE Access 12: 99660 (2024) - [j434]Murat Uzam, Ding Liu, Bernard Berthomieu, Gökhan Gelen, Zhaolong Zhang, Almetwally M. Mostafa, Zhiwu Li:
On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access 12: 135506-135534 (2024) - [j433]Xiaoyu Han, Xiubin Zhu, Witold Pedrycz, Almetwally M. Mostafa, Zhi-Wu Li:
A design of fuzzy rule-based classifier optimized through softmax function and information entropy. Appl. Soft Comput. 156: 111498 (2024) - [j432]Yurui Xia, Jianzhou Wang, Ziyuan Zhang, Danxiang Wei, Zhining Cao, Zhiwu Li:
A wind speed point-interval fuzzy forecasting system based on data decomposition and multiobjective optimizer. Appl. Soft Comput. 165: 112084 (2024) - [j431]Hui Yu, Kaizhou Gao, Zhiwu Li, Ponnuthurai Nagaratnam Suganthan:
Energy-efficient multi-objective distributed assembly permutation flowshop scheduling by Q-learning based meta-heuristics. Appl. Soft Comput. 166: 112247 (2024) - [j430]Yifan Dong, Naiqi Wu, Zhiwu Li:
Symbolic state estimation in bounded timed labeled Petri nets. Autom. 160: 111410 (2024) - [j429]Chao Gu, Ziyue Ma, Zhiwu Li:
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs. Autom. 164: 111625 (2024) - [j428]Jun Li, Dimitri Lefebvre, Christoforos N. Hadjicostis, Zhiwu Li:
State estimation for constant-time labeled automata under dense time. Autom. 170: 111874 (2024) - [j427]Jiazhong Zhou, Dimitri Lefebvre, ZhiWu Li:
An extremum timed extended reachability graph for temporal analysis of time Petri nets. Discret. Event Dyn. Syst. 34(3): 403-427 (2024) - [j426]Kaiyue Cui, Zhaoxi Hong, Yixiong Feng, ZhiWu Li, Xiuju Song, Shanhe Lou, Jianrong Tan:
Extraction of evolutionary factors in smart manufacturing systems with heterogeneous product preferences and trust levels. Eng. Appl. Artif. Intell. 129: 107655 (2024) - [j425]Wenjie Wang, Guangdong Tian, Honghao Zhang, Zhiwu Li, Lei Lv, Cheng Li:
Mixed-integer linear programming and composed heuristics for three-stage remanufacturing system scheduling problem. Eng. Appl. Artif. Intell. 137: 109257 (2024) - [j424]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) - [j423]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) - [j422]Lan Yang, Zhiwu Li:
Deadline-aware misinformation prevention in social networks with time-decaying influence. Expert Syst. Appl. 238(Part C): 121847 (2024) - [j421]Ronghui Zhang, Jingtao Peng, Wanting Gou, Yuhang Ma, Junzhou Chen, Hongyu Hu, Weihua Li, Guodong Yin, Zhiwu Li:
A robust and real-time lane detection method in low-light scenarios to advanced driver assistance systems. Expert Syst. Appl. 256: 124923 (2024) - [j420]Yifan Dong, Naiqi Wu, Zhiwu Li:
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets. IEEE CAA J. Autom. Sinica 11(5): 1274-1291 (2024) - [j419]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) - [j418]Sian Zhou, Li Yin, Zhi Wu Li:
Quantifying opacity of discrete event systems modeled with probabilistic Petri nets. Inf. Sci. 666: 120434 (2024) - [j417]Guanghui Zhu, Li Yin, Yaohui Li, Zhi Wu Li, Naiqi Wu:
Identification of labeled Petri nets from finite automata. Inf. Sci. 667: 120488 (2024) - [j416]Kaicheng Tan, Jiliang Luo, Zepei Li, Jiazhong Zhou, Zhiwu Li:
Complete inference via knowledge Petri nets and resolution rules. Inf. Sci. 677: 120816 (2024) - [j415]Xuanyu Wu, Yixiong Feng, Shanhe Lou, Zhiwu Li, Bingtao Hu, Zhaoxi Hong, Hengyuan Si, Jianrong Tan:
A multi-criteria decision-making approach for pressurized water reactor based on hesitant fuzzy-improved cumulative prospect theory and 2-additive fuzzy measure. J. Ind. Inf. Integr. 40: 100631 (2024) - [j414]Deguang Wang, Xi Wang, Jing Yang, Zhiwu Li:
Fault Diagnosis of Hierarchical Discrete-Event Systems Based on State-Tree Structures. IEEE Syst. J. 18(1): 620-631 (2024) - [j413]Yanda Shen, Weidong Lu, Haowen Sheng, Yangkun Liu, Guangdong Tian, Honghao Zhang, Zhiwu Li:
Human-Robot Collaboration on a Disassembly-Line Balancing Problem with an Advanced Multiobjective Discrete Bees Algorithm. Symmetry 16(7): 794 (2024) - [j412]Lingjing Luo, Hang Yang, Zhiwu Li, Witold Pedrycz:
Learning to Score: A Coding System for Constructed Response Items via Interactive Clustering. Syst. 12(9): 380 (2024) - [j411]Zhaoyang He, Naiqi Wu, Zhiwu Li:
Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems Under Supervisory Control. IEEE Trans. Autom. Control. 69(9): 5963-5978 (2024) - [j410]Kun Peng, Yufeng Chen, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions. IEEE Trans. Autom. Control. 69(10): 7231-7238 (2024) - [j409]Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li:
Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation. IEEE Trans. Autom. Control. 69(10): 7263-7269 (2024) - [j408]Zhaoyu Xiang, Yufeng Chen, Naiqi Wu, Zhiwu Li:
On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems. IEEE Trans. Autom. Control. 69(11): 8003-8010 (2024) - [j407]Yihui Hu, Ziyue Ma, Zhi Wu Li:
Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information. IEEE Trans Autom. Sci. Eng. 21(3): 4778-4789 (2024) - [j406]Zhiqiang Tian, Xingyu Jiang, Guangdong Tian, Zhiwu Li, Weijun Liu:
Knowledge-Based Lot-Splitting Optimization Method for Flexible Job Shops Considering Energy Consumption. IEEE Trans Autom. Sci. Eng. 21(3): 4864-4875 (2024) - [j405]Ziliang Zhang, Gaiyun Liu, Zhiwu Li:
Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers. IEEE Trans Autom. Sci. Eng. 21(4): 5445-5456 (2024) - [j404]Shaopeng Hu, Zhiwu Li:
A Digital Twin Approach for Enforcing Diagnosability in Petri Nets. IEEE Trans Autom. Sci. Eng. 21(4): 6068-6080 (2024) - [j403]Tao Qin, Li Yin, Naiqi Wu, Zhiwu Li:
Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses. IEEE Trans Autom. Sci. Eng. 21(4): 7616-7628 (2024) - [j402]Chengzong Li, Yufeng Chen, Zhiwu Li:
Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets. IEEE Trans. Control. Syst. Technol. 32(2): 518-533 (2024) - [j401]Xiubin Zhu, Witold Pedrycz, Ting Qu, Zhiwu Li:
From Numeric to Granular Models: A Quest for Error and Performance Analysis. IEEE Trans. Cybern. 54(1): 150-161 (2024) - [j400]Cong Wang, MengChu Zhou, Witold Pedrycz, Zhiwu Li:
Comparative Study on Noise-Estimation-Based Fuzzy C-Means Clustering for Image Segmentation. IEEE Trans. Cybern. 54(1): 241-253 (2024) - [j399]Tailong Jing, Witold Pedrycz, Xiubin Zhu, Giancarlo Succi, ZhiWu Li:
Linguistic Models: Optimization With the Use of Conditional Fuzzy C-Means. IEEE Trans. Emerg. Top. Comput. Intell. 8(2): 1136-1141 (2024) - [j398]Xiubin Zhu, Xingchen Hu, Lan Yang, Witold Pedrycz, Zhiwu Li:
A Development of Fuzzy-Rule-Based Regression Models Through Using Decision Trees. IEEE Trans. Fuzzy Syst. 32(5): 2976-2986 (2024) - [j397]Ge Zhang, Xiubin Zhu, Li Yin, Witold Pedrycz, Zhiwu Li:
Fuzzy Prediction Model in Privacy Protection: Takagi-Sugeno Rules Model via Differential Privacy. IEEE Trans. Fuzzy Syst. 32(6): 3716-3728 (2024) - [j396]Xingchen Hu, Xiubin Zhu, Lan Yang, Witold Pedrycz, Zhiwu Li:
A Design of Fuzzy Rule-Based Classifier for Multiclass Classification and Its Realization in Horizontal Federated Learning. IEEE Trans. Fuzzy Syst. 32(9): 5098-5108 (2024) - [j395]Yaping Fu, Xiaomeng Ma, Kai-Zhou Gao, Zhiwu Li, Hongyu Dong:
Multi-Objective Home Health Care Routing and Scheduling With Sharing Service via a Problem-Specific Knowledge-Based Artificial Bee Colony Algorithm. IEEE Trans. Intell. Transp. Syst. 25(2): 1706-1719 (2024) - [j394]Xiubin Zhu, Dan Wang, Witold Pedrycz, Zhiwu Li:
Privacy-Preserving Realization of Fuzzy Clustering and Fuzzy Modeling Through Vertical Federated Learning. IEEE Trans. Syst. Man Cybern. Syst. 54(2): 915-924 (2024) - [j393]Shaopeng Hu, Zhiwu Li, Remigiusz Wisniewski:
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 54(5): 2965-2977 (2024) - [j392]Yuxia Pan, Kaizhou Gao, Zhiwu Li, Naiqi Wu:
A Novel Evolutionary Algorithm for Scheduling Distributed No-Wait Flow Shop Problems. IEEE Trans. Syst. Man Cybern. Syst. 54(6): 3694-3704 (2024) - [j391]Siwei Zhang, Naiqi Wu, Yan Qiao, Zhiwu Li:
Efficient Optimal Cyclic Scheduling of High Throughput Screening System for Enzyme-Linked Immunoassay. IEEE Trans. Syst. Man Cybern. Syst. 54(9): 5791-5803 (2024) - [j390]Di Yang, Weijun Liu, Zhi Wu Li:
Adaptive Neural Control With Guaranteed Performance for Mechanical Systems Under Uncertain Initial Conditions: A Time-Varying Neuron Approach. IEEE Trans. Syst. Man Cybern. Syst. 54(10): 6194-6204 (2024) - [j389]Yihui Hu, Ziyue Ma, Ruotian Liu, Maria Pia Fanti, Zhiwu Li:
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications. IEEE Trans. Syst. Man Cybern. Syst. 54(10): 6242-6254 (2024) - [j388]Chunwei Tian, Menghua Zheng, Chia-Wen Lin, Zhiwu Li, David Zhang:
Heterogeneous Window Transformer for Image Denoising. IEEE Trans. Syst. Man Cybern. Syst. 54(11): 6621-6632 (2024) - [c98]Kaiyue Cui, Zhaoxi Hong, Xiuju Song, Mengchu Zhou, Zhiwu Li, Yixiong Feng, Jianrong Tan:
Data-mechanism-driven Product Performance Optimization with Multiple Parameters Under Uncertainties in Manufacturing Automation Systems. CASE 2024: 2626-2631 - [c97]Wenjie Zhao, Diego Deplano, Zhiwu Li, Alessandro Giua, Mauro Franceschelli:
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs. CASE 2024: 2975-2981 - [i24]Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li:
Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations. CoRR abs/2401.09110 (2024) - [i23]Xiaoguang Han, Kuize Zhang, Zhiwu Li:
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems. CoRR abs/2401.10363 (2024) - [i22]Xuehao Zhou, Mingyang Zhang, Yi Zhou, Zhiwu Li, Haizhou Li:
Multi-Scale Accent Modeling with Disentangling for Multi-Speaker Multi-Accent TTS Synthesis. CoRR abs/2406.10844 (2024) - [i21]Wenjie Zhao, Diego Deplano, Zhiwu Li, Alessandro Giua, Mauro Franceschelli:
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack. CoRR abs/2406.18467 (2024) - [i20]Chunwei Tian, Menghua Zheng, Chia-Wen Lin, Zhiwu Li, David Zhang:
Heterogeneous window transformer for image denoising. CoRR abs/2407.05709 (2024) - [i19]Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhi-Wu Li, Alessandro Giua:
State estimation of timed automata under partial observation [Draft version]. CoRR abs/2409.05810 (2024) - [i18]Wei Duan, Ruotian Liu, Maria Pia Fanti, Christoforos N. Hadjicostis, Zhiwu Li:
Opacity Enforcement by Edit Functions Under Incomparable Observations. CoRR abs/2410.08471 (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 - [j387]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) - [j386]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) - [j385]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) - [j384]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) - [j383]Xiaoyu Han, Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A three-way classification with fuzzy decision trees. Appl. Soft Comput. 132: 109788 (2023) - [j382]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) - [j381]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) - [j380]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) - [j379]Dimitri Lefebvre, Zhiwu Li, Ye Liang:
Diagnosis of timed patterns for discrete event systems by means of state isolation. Autom. 153: 111045 (2023) - [j378]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) - [j377]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) - [j376]Jiyang Wang, Zhiwu Li:
Wind speed interval prediction based on multidimensional time series of Convolutional Neural Networks. Eng. Appl. Artif. Intell. 121: 105987 (2023) - [j375]Gang Yuan, Xiaojun Liu, Chaoyong Zhang, Duc Truong Pham, Zhiwu Li:
A new heuristic algorithm based on multi-criteria resilience assessment of human-robot collaboration disassembly for supporting spent lithium-ion battery recycling. Eng. Appl. Artif. Intell. 126: 106878 (2023) - [j374]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) - [j373]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) - [j372]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) - [j371]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) - [j370]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) - [j369]Tao Qin, Yifan Dong, Li Yin, Zhiwu Li:
Liveness enforcement for production systems modeled by time Petri nets. Inf. Sci. 648: 119564 (2023) - [j368]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) - [j367]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) - [j366]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) - [j365]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) - [j364]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) - [j363]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li:
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings. IEEE Trans. Autom. Control. 68(12): 8158-8164 (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) - [c96]Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li:
Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences. CDC 2023: 6917-6922 - [c95]Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Fault Diagnosis of Discrete Event Systems Under Attack. CDC 2023: 7923-7929 - [c94]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 - [c93]Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen:
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS 2023: 45-59 - [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]Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li:
Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation. CoRR abs/2205.03170 (2022) - 2021
- [j296]Yanjun Lu, Yan Qiao, ChunRong Pan, Yufeng Chen, Naiqi Wu, Zhiwu Li, Bin Liu:
Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net. IEEE Access 9: 70868-70883 (2021) - [j295]Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li, Wadea Ameen:
Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network. IEEE Access 9: 84932-84947 (2021) - [j294]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9: 168068-168079 (2021) - [j293]Yanjun Zhou, Huorong Ren, Zhiwu Li, Naiqi Wu, Abdulrahman Al-Ahmari:
Anomaly detection via a combination model in time series data. Appl. Intell. 51(7): 4874-4887 (2021) - [j292]Shaoze Cui, Yunqiang Yin, Dujuan Wang, Zhiwu Li, Yanzhang Wang:
A stacking-based ensemble learning method for earthquake casualty prediction. Appl. Soft Comput. 101: 107038 (2021) - [j291]Dan Wang, Peng Nie, Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Designing of higher order information granules through clustering heterogeneous granular data. Appl. Soft Comput. 112: 107820 (2021) - [j290]Aiwen Lai, Sébastien Lahaye, Zhiwu Li:
Initial-state detectability and initial-state opacity of unambiguous weighted automata. Autom. 127: 109490 (2021) - [j289]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking diagnosability verification in labeled Petri nets. Autom. 131: 109713 (2021) - [j288]Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131: 109776 (2021) - [j287]Ziyue Ma, Xiang Yin, Zhiwu Li:
Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Autom. 133: 109838 (2021) - [j286]Kaijie Xu, Witold Pedrycz, Zhiwu Li, Weike Nie:
Optimizing the prototypes with a novel data weighting algorithm for enhancing the classification performance of fuzzy clustering. Fuzzy Sets Syst. 413: 29-41 (2021) - [j285]Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8(1): 179-188 (2021) - [j284]Zicheng Liu, Naiqi Wu, Yan Qiao, Zhiwu Li:
Performance Evaluation of Public Bus Transportation by Using DEA Models and Shannon's Entropy: An Example From a Company in a Large City of China. IEEE CAA J. Autom. Sinica 8(4): 779-795 (2021) - [j283]Cong Wang, Witold Pedrycz, ZhiWu Li, MengChu Zhou:
Residual-driven Fuzzy C-Means Clustering for Image Segmentation. IEEE CAA J. Autom. Sinica 8(4): 876-889 (2021) - [j282]Dan Wang, Xiubin Zhu, Witold Pedrycz, Zhenhua Yu, Zhiwu Li:
Development of Granular Fuzzy Relation Equations Based on a Subset of Data. IEEE CAA J. Autom. Sinica 8(8): 1416-1427 (2021) - [j281]Xiaobo Li, Zhenhua Yu, Zhiwu Li, Naiqi Wu:
Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints. Inf. Sci. 542: 247-262 (2021) - [j280]Fan Deng, Zhenhua Yu, Wenjing Liu, Xiaoqing Luo, Yu Fu, Ben Qiang, Chaoyang Xu, Zhiwu Li:
An efficient policy evaluation engine for XACML policy management. Inf. Sci. 547: 1105-1121 (2021) - [j279]Xiaoguang Han, Wen-Dong Yang, Xiao-Yan Chen, Zhi-Wu Li, Zengqiang Chen:
Detectability vverification of probabilistic Boolean networks. Inf. Sci. 548: 313-327 (2021) - [j278]Xin Zan, Zhenhua Yu, Baocang Ding, Yuanli Cai, Zhiwu Li:
Output feedback MPC for uncertain delayed system and control of a wind tunnel system. Inf. Sci. 556: 273-287 (2021) - [j277]Yi Wang, Yuting Li, Zhenhua Yu, Naiqi Wu, Zhiwu Li:
Supervisory control of discrete-event systems under external attacks. Inf. Sci. 562: 398-413 (2021) - [j276]Zhenhua Yu, Si Lu, Dan Wang, Zhiwu Li:
Modeling and analysis of rumor propagation in social networks. Inf. Sci. 580: 857-873 (2021) - [j275]Liang Li, Zhiwu Li, Jipeng Wang:
An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions. Inf. Sci. 580: 897-916 (2021) - [j274]Kaijie Xu, Witold Pedrycz, Zhiwu Li:
Augmentation of the reconstruction performance of Fuzzy C-Means with an optimized fuzzification factor vector. Knowl. Based Syst. 222: 106951 (2021) - [j273]Yanjun Zhou, Huorong Ren, Zhiwu Li, Witold Pedrycz:
An anomaly detection framework for time series data: An interval-based approach. Knowl. Based Syst. 228: 107153 (2021) - [j272]Dan Wang, Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A randomization mechanism for realizing granular models in distributed system modeling. Knowl. Based Syst. 232: 107376 (2021) - [j271]Le Zhang, Mohamed Khalgui, Zhiwu Li:
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles. Sensors 21(21): 7330 (2021) - [j270]Ziyue Ma, Guanghui Zhu, Zhiwu Li:
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs. IEEE Trans. Autom. Control. 66(2): 810-817 (2021) - [j269]Guanghui Zhu, Lei Feng, Zhiwu Li, Naiqi Wu:
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets. IEEE Trans. Autom. Control. 66(5): 2393-2398 (2021) - [j268]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Predictability and Prediction in Labeled Petri Nets. IEEE Trans. Autom. Control. 66(8): 3608-3623 (2021) - [j267]Xi Wang, Zhiwu Li, W. M. Wonham:
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures. IEEE Trans. Autom. Control. 66(9): 4230-4237 (2021) - [j266]Liang Li, Francesco Basile, Zhiwu Li:
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans. Autom. Control. 66(11): 5326-5341 (2021) - [j265]Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, MengChu Zhou:
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 18(3): 1392-1405 (2021) - [j264]Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari:
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints. IEEE Trans Autom. Sci. Eng. 18(3): 1492-1504 (2021) - [j263]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A Development of Granular Input Space in System Modeling. IEEE Trans. Cybern. 51(3): 1639-1650 (2021) - [j262]Cong Wang, Witold Pedrycz, MengChu Zhou, ZhiWu Li:
Sparse Regularization-Based Fuzzy C-Means Clustering Incorporating Morphological Grayscale Reconstruction and Wavelet Frames. IEEE Trans. Fuzzy Syst. 29(7): 1826-1840 (2021) - [j261]Ye Cui, Hanyu E, Witold Pedrycz, Zhiwu Li:
Designing Distributed Fuzzy Rule-Based Models. IEEE Trans. Fuzzy Syst. 29(7): 2047-2053 (2021) - [j260]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A Development of Hierarchically Structured Granular Models Realized Through Allocation of Information Granularity. IEEE Trans. Fuzzy Syst. 29(12): 3845-3858 (2021) - [j259]Cong Wang, Witold Pedrycz, ZhiWu Li, MengChu Zhou, Shuzhi Sam Ge:
G-Image Segmentation: Similarity-Preserving Fuzzy C-Means With Spatial Information Constraint in Wavelet Space. IEEE Trans. Fuzzy Syst. 29(12): 3887-3898 (2021) - [j258]Cong Wang, Witold Pedrycz, ZhiWu Li, MengChu Zhou, Jun Zhao:
Residual-Sparse Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet Frame. IEEE Trans. Fuzzy Syst. 29(12): 3910-3924 (2021) - [j257]Shanhe Lou, Yixiong Feng, Zhiwu Li, Hao Zheng, Yicong Gao, Jianrong Tan:
An Edge-Based Distributed Decision-Making Method for Product Design Scheme Evaluation. IEEE Trans. Ind. Informatics 17(2): 1375-1385 (2021) - [j256]Hu-Chen Liu, Xuqi Chen, Jian-Xin You, Zhiwu Li:
A New Integrated Approach for Risk Evaluation and Classification With Dynamic Expert Weights. IEEE Trans. Reliab. 70(1): 163-174 (2021) - [j255]Fei Gao, Weisheng Chen, Zhiwu Li, Jing Li, Rui Yan:
Neural Network-Based Cooperative Identification for a Class of Unknown Nonlinear Systems via Event-Triggered Communication. IEEE Trans. Syst. Man Cybern. Syst. 51(3): 1404-1413 (2021) - [j254]Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Ting Qu:
On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints. IEEE Trans. Syst. Man Cybern. Syst. 51(3): 1446-1461 (2021) - [j253]Yan Qiao, SiWei Zhang, NaiQi Wu, MengChu Zhou, ZhiWu Li, Ting Qu:
Efficient Approach to Failure Response of Process Module in Dual-Arm Cluster Tools With Wafer Residency Time Constraints. IEEE Trans. Syst. Man Cybern. Syst. 51(3): 1612-1629 (2021) - [j252]Guangdong Tian, Nannan Hao, MengChu Zhou, Witold Pedrycz, Chaoyong Zhang, Fangwu Ma, Zhiwu Li:
Fuzzy Grey Choquet Integral for Evaluation of Multicriteria Decision Making Problems With Interactive and Qualitative Indices. IEEE Trans. Syst. Man Cybern. Syst. 51(3): 1855-1868 (2021) - [j251]Hefeng Chen, Naiqi Wu, ZhiWu Li, Ting Qu:
Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 51(7): 4347-4358 (2021) - [j250]Yan Qiao, Mengchu Zhou, Naiqi Wu, Zhiwu Li, Qinghua Zhu:
Closing-Down Optimization for Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints. IEEE Trans. Syst. Man Cybern. Syst. 51(11): 6792-6807 (2021) - [c85]Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li:
Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control. ECC 2021: 68-73 - [c84]Xiaoting Zhang, Jiafeng Zhang, Zhong Zheng, Hanyu Zheng, Minglong Pu, Zhiwu Li:
Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation. SMC 2021: 2531-2535 - [i14]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR abs/2103.02475 (2021) - [i13]Yingying Liu, Jan Komenda, Zhiwu Li:
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation. CoRR abs/2103.10877 (2021) - [i12]Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen:
Strong current-state and initial-state opacity of discrete-event systems. CoRR abs/2109.05475 (2021) - 2020
- [j249]Abdulrahman Al-Ahmari, Husam Kaid, Zhiwu Li, Reggie Davidrajuh:
Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources. IEEE Access 8: 22411-22424 (2020) - [j248]Xiaobo Li, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi, Zhiwu Li:
Adaptive Consensus of Two Coupled Heterogeneous Networked Systems With Bidirectional Actions. IEEE Access 8: 35832-35841 (2020) - [j247]Shanghua Mi, Yixiong Feng, Hao Zheng, Zhiwu Li, Yicong Gao, Jianrong Tan:
Integrated Intelligent Green Scheduling of Predictive Maintenance for Complex Equipment based on Information Services. IEEE Access 8: 45797-45812 (2020) - [j246]Ge Zhang, Tianxiang Luo, Witold Pedrycz, Mohammed A. El-Meligy, Mohamed Sharaf, Zhiwu Li:
Outlier Processing in Multimodal Emotion Recognition. IEEE Access 8: 55688-55701 (2020) - [j245]Hamza Chniter, Olfa Mosbahi, Mohamed Khalgui, Mengchu Zhou, Zhiwu Li:
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints. IEEE Access 8: 95698-95713 (2020) - [j244]Jiazhong Zhou, Jiliang Luo, Dimitri Lefebvre, Zhiwu Li:
Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search. IEEE Access 8: 163458-163471 (2020) - [j243]Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li:
Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems. IEEE Access 8: 217573-217591 (2020) - [j242]Shanhe Lou, Yixiong Feng, Zhiwu Li, Hao Zheng, Jianrong Tan:
An integrated decision-making method for product design scheme evaluation based on cloud model and EEG data. Adv. Eng. Informatics 43: 101028 (2020) - [j241]Ikram Saadaoui, Zhiwu Li, Naiqi Wu:
Current-state opacity modelling and verification in partially observed Petri nets. Autom. 116: 108907 (2020) - [j240]Lan Yang, Zhiwu Li, Alessandro Giua:
Containment of rumor spread in complex social networks. Inf. Sci. 506: 113-130 (2020) - [j239]Amir Mohammad Fathollahi Fard, Mostafa Hajiaghaei-Keshteli, Guangdong Tian, Zhiwu Li:
An adaptive Lagrangian relaxation-based algorithm for a coordinated water supply and wastewater collection network design problem. Inf. Sci. 512: 1335-1359 (2020) - [j238]Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, MengChu Zhou:
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems. Inf. Sci. 520: 86-104 (2020) - [j237]Deguang Wang, Xi Wang, Zhiwu Li:
State-based fault diagnosis of discrete-event systems with partially observable outputs. Inf. Sci. 529: 87-100 (2020) - [j236]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey, Zhiwu Li, MengChu Zhou:
A guidance framework for synthesis of multi-core reconfigurable real-time systems. Inf. Sci. 539: 327-346 (2020) - [j235]Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li:
Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. 16(2): 181-197 (2020) - [j234]Xubin Ping, Sen Yang, Baocang Ding, Tarek Raïssi, Zhiwu Li:
Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises. J. Frankl. Inst. 357(11): 7368-7398 (2020) - [j233]Lina Li, Witold Pedrycz, Ting Qu, Zhiwu Li:
Fuzzy associative memories with autoencoding mechanisms. Knowl. Based Syst. 191: 105090 (2020) - [j232]Yue Pan, Limao Zhang, Zhiwu Li:
Mining event logs for knowledge discovery based on adaptive efficient fuzzy Kohonen clustering network. Knowl. Based Syst. 209: 106482 (2020) - [j231]Tianyu Liu, Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A design of information granule-based under-sampling method in imbalanced data classification. Soft Comput. 24(22): 17333-17347 (2020) - [j230]Yan Hou, Naiqi Wu, ZhiWu Li, Yixian Zhang, Ting Qu, Qinghua Zhu:
Many-objective optimization for scheduling of crude oil operations based on NSGA-Ⅲ with consideration of energy efficiency. Swarm Evol. Comput. 57: 100714 (2020) - [j229]Liang Li, Francesco Basile, Zhiwu Li:
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. IEEE Trans. Autom. Control. 65(1): 237-251 (2020) - [j228]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65(2): 493-506 (2020) - [j227]Ziyue Ma, Guanghui Zhu, Zhiwu Li, Alessandro Giua:
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. IEEE Trans. Autom. Control. 65(6): 2662-2669 (2020) - [j226]Yihui Hu, Ziyue Ma, Zhiwu Li:
Design of Supervisors for Active Diagnosis in Discrete Event Systems. IEEE Trans. Autom. Control. 65(12): 5159-5172 (2020) - [j225]Huimin Zhang, Lei Feng, Zhiwu Li:
Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 17(1): 361-374 (2020) - [j224]Hongfei Jia, Hongzhi Miao, Guangdong Tian, MengChu Zhou, Yixiong Feng, Zhiwu Li, Jiangchen Li:
Multiobjective Bike Repositioning in Bike-Sharing Systems via a Modified Artificial Bee Colony Algorithm. IEEE Trans Autom. Sci. Eng. 17(2): 909-920 (2020) - [j223]Jiafeng Zhang, Hongyi Li, Georg Frey, Zhiwu Li:
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs. IEEE Trans. Control. Syst. Technol. 28(3): 857-868 (2020) - [j222]Cong Wang, Witold Pedrycz, Jianbin Yang, Mengchu Zhou, ZhiWu Li:
Wavelet Frame-Based Fuzzy C-Means Clustering for Segmenting Images on Graphs. IEEE Trans. Cybern. 50(9): 3938-3949 (2020) - [j221]Yue Pan, Limao Zhang, ZhiWu Li, Lieyun Ding:
Improved Fuzzy Bayesian Network-Based Risk Analysis With Interval-Valued Fuzzy Sets and D-S Evidence Theory. IEEE Trans. Fuzzy Syst. 28(9): 2063-2077 (2020) - [j220]Honghao Zhang, Yong Peng, Lin Hou, Danqi Wang, Guangdong Tian, Zhiwu Li:
Multistage Impact Energy Distribution for Whole Vehicles in High-Speed Train Collisions: Modeling and Solution Methodology. IEEE Trans. Ind. Informatics 16(4): 2486-2499 (2020) - [j219]Deguang Wang, Xi Wang, Zhiwu Li:
Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices. IEEE Trans. Ind. Informatics 16(6): 3744-3756 (2020) - [j218]Cong Wang, Ziyue Yan, Witold Pedrycz, MengChu Zhou, Zhiwu Li:
A Weighted Fidelity and Regularization-Based Method for Mixed or Unknown Noise Removal From Images on Graphs. IEEE Trans. Image Process. 29: 5229-5243 (2020) - [j217]Jiliang Luo, Yaxin Wan, Weimin Wu, Zhiwu Li:
Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems. IEEE Trans. Intell. Transp. Syst. 21(11): 4526-4537 (2020) - [j216]Fei Gao, Weisheng Chen, Zhiwu Li, Jing Li, Bin Xu:
Neural Network-Based Distributed Cooperative Learning Control for Multiagent Systems via Event-Triggered Communication. IEEE Trans. Neural Networks Learn. Syst. 31(2): 407-419 (2020) - [j215]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Development and Analysis of Neural Networks Realized in the Presence of Granular Data. IEEE Trans. Neural Networks Learn. Syst. 31(9): 3606-3619 (2020) - [j214]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li:
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(7): 2623-2637 (2020) - [j213]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3562-3576 (2020) - [j212]Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu:
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3577-3591 (2020) - [j211]Oussama Karoui, Yufeng Chen, Zhiwu Li, Naiqi Wu, Mohamed Khalgui:
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3613-3627 (2020) - [j210]Lei Feng, Jan Wikander, Zhiwu Li:
Fuel Minimization of the Electric Engine Cooling System With Active Grille Shutter by Iterative Quadratic Programming. IEEE Trans. Veh. Technol. 69(3): 2621-2635 (2020) - [c83]Chao Gu, Zhiwu Li, Alessandro Giua:
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach. CDC 2020: 4467-4472 - [c82]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. CDC 2020: 4479-4484 - [c81]Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A region-based approach for state estimation of timed automata under no event observation. ETFA 2020: 799-804 - [c80]Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li:
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. ICSOFT (Selected Papers) 2020: 25-43 - [c79]Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li:
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. ICSOFT 2020: 452-460 - [c78]Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li:
Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS 2020: 100-115 - [c77]Salwa Habbachi, Zhiwu Li, Mohamed Khalgui:
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. VECoS 2020: 116-130 - [i11]Cong Wang, Witold Pedrycz, ZhiWu Li, MengChu Zhou, Jun Zhao:
Residual-Sparse Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet frames. CoRR abs/2002.08418 (2020) - [i10]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR abs/2003.14204 (2020) - [i9]Kaijie Xu, Witold Pedrycz, Zhiwu Li, Mengdao Xing:
Granular Computing: An Augmented Scheme of Degranulation Through a Modified Partition Matrix. CoRR abs/2004.03379 (2020) - [i8]Kaijie Xu, Witold Pedrycz, Zhiwu Li:
Augmentation of the Reconstruction Performance of Fuzzy C-Means with an Optimized Fuzzification Factor Vector. CoRR abs/2004.05764 (2020) - [i7]Cong Wang, Witold Pedrycz, ZhiWu Li, MengChu Zhou:
Residual-driven Fuzzy C-Means Clustering for Image Segmentation. CoRR abs/2004.07160 (2020) - [i6]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A framework for the analysis of supervised discrete event systems under attack. CoRR abs/2005.00212 (2020) - [i5]Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li:
Extended Insertion Functions for Opacity Enforcement. CoRR abs/2005.04268 (2020) - [i4]Kaijie Xu, Witold Pedrycz, Zhiwu Li, Yinghui Quan, Weike Nie:
A Novel Granular-Based Bi-Clustering Method of Deep Mining the Co-Expressed Genes. CoRR abs/2005.05519 (2020) - [i3]Yuting Li, Christoforos N. Hadjicostis, Naiqi Wu, Zhiwu Li:
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints. CoRR abs/2011.01371 (2020)
2010 – 2019
- 2019
- [j209]Jianhong Ye, Yan Lin, Zhiwu Li, Jin-Shyan Lee, Abdulrahman Al-Ahmari, Mengsi Jin:
A Non-Invasive Sleep Analysis Approach Based on a Fuzzy Inference System and a Finite State Machine. IEEE Access 7: 2664-2676 (2019) - [j208]Ming Tang, Zhiwu Li, Guangdong Tian:
A Data-Driven-Based Wavelet Support Vector Approach for Passenger Flow Forecasting of the Metropolitan Hub. IEEE Access 7: 7176-7183 (2019) - [j207]Hefeng Chen, Naiqi Wu, Zhiwu Li, Ting Qu, Hailian Xiao:
Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach. IEEE Access 7: 17760-17771 (2019) - [j206]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. IEEE Access 7: 18219-18233 (2019) - [j205]Xiaoyan Li, GaiYun Liu, Zhiwu Li, Naiqi Wu, Kamel Barkaoui:
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access 7: 21006-21019 (2019) - [j204]Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform. IEEE Access 7: 22856-22871 (2019) - [j203]Xiaobo Li, Weisheng Chen, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi, Zhiwu Li:
Group Consensus for Heterogeneous Multi-Agent Systems With Sampled and Quantized Data Under Directed Communication Topology. IEEE Access 7: 48318-48327 (2019) - [j202]Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, Zhiwu Li:
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location. IEEE Access 7: 55090-55107 (2019) - [j201]Dan Wang, Witold Pedrycz, Zhiwu Li:
A Two-Phase Development of Fuzzy Rule-Based Model and Their Analysis. IEEE Access 7: 80328-80341 (2019) - [j200]Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen, Zhiwu Li, Naiqi Wu:
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. IEEE Access 7: 88579-88591 (2019) - [j199]Dajiang Sun, Yufeng Chen, Mohammed A. El-Meligy, Mohamed Sharaf, Naiqi Wu, Zhiwu Li:
On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets. IEEE Access 7: 121332-121349 (2019) - [j198]Qinrui Chen, Li Yin, Naiqi Wu, Mohammed A. El-Meligy, Mohamed Sharaf, Zhiwu Li:
Diagnosability of Vector Discrete-Event Systems Using Predicates. IEEE Access 7: 147143-147155 (2019) - [j197]Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir, Zhiwu Li, Naiqi Wu:
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies. IEEE Access 7: 186378-186392 (2019) - [j196]Lan Yang, Zhiwu Li, Alessandro Giua:
Influence minimization in linear threshold networks. Autom. 100: 10-16 (2019) - [j195]Yingying Liu, Kai Cai, Zhiwu Li:
On scalable supervisory control of multi-agent discrete-event systems. Autom. 108 (2019) - [j194]Junxiu Jia, Shaohua Chen, Zhiwu Li:
Dynamic pricing and time-to-market strategy in a service supply chain with online direct channels. Comput. Ind. Eng. 127: 901-913 (2019) - [j193]Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29(2): 127-143 (2019) - [j192]Xi Wang, Zhiwu Li, Thomas Moor:
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. Discret. Event Dyn. Syst. 29(4): 501-520 (2019) - [j191]Zhaoxi Hong, Yixiong Feng, Zhiwu Li, Yong Wang, Hao Zheng, Zhongkai Li, Jianrong Tan:
An integrated approach for multi-objective optimisation and MCDM of energy internet under uncertainty. Future Gener. Comput. Syst. 97: 90-104 (2019) - [j190]Dujuan Wang, Zhiwu Li:
Bicriterion scheduling with a negotiable common due window and resource-dependent processing times. Inf. Sci. 478: 258-274 (2019) - [j189]Honghao Zhang, Yong Peng, Lin Hou, Guangdong Tian, Zhiwu Li:
A hybrid multi-objective optimization approach for energy-absorbing structures in train collisions. Inf. Sci. 481: 491-506 (2019) - [j188]Chunfu Zhong, Wenlong He, Zhiwu Li, Naiqi Wu, Ting Qu:
Deadlock analysis and control using Petri net decomposition techniques. Inf. Sci. 482: 440-456 (2019) - [j187]Hu-Chen Liu, Mei-Yun Quan, ZhiWu Li, Ze-Ling Wang:
A new integrated MCDM model for sustainable supplier selection under interval-valued intuitionistic uncertain linguistic environment. Inf. Sci. 486: 254-270 (2019) - [j186]Mojgan Safaeian, Amir Mohammad Fathollahi Fard, Guangdong Tian, Zhiwu Li, Hua Ke:
A multi-objective supplier selection and order allocation through incremental discount in a fuzzy environment. J. Intell. Fuzzy Syst. 37(1): 1435-1455 (2019) - [j185]Yaping Fu, Hongfeng Wang, Guangdong Tian, Zhiwu Li, Hesuan Hu:
Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm. J. Intell. Manuf. 30(5): 2257-2272 (2019) - [j184]Hanyu E, Ye Cui, Witold Pedrycz, Zhiwu Li:
Enhancements of rule-based models through refinements of Fuzzy C-Means. Knowl. Based Syst. 170: 43-60 (2019) - [j183]Ye Cui, Hanyu E, Witold Pedrycz, Zhiwu Li:
Augmentation of rule-based models with a granular quantification of results. Soft Comput. 23(23): 12745-12759 (2019) - [j182]Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu:
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64(12): 5253-5259 (2019) - [j181]Yixiong Feng, Yicong Gao, Guangdong Tian, Zhiwu Li, Hesuan Hu, Hao Zheng:
Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly. IEEE Trans Autom. Sci. Eng. 16(1): 311-326 (2019) - [j180]Chan Gu, Xi Wang, Zhiwu Li:
Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures. IEEE Trans Autom. Sci. Eng. 16(2): 984-997 (2019) - [j179]Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin:
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. 16(3): 1110-1124 (2019) - [j178]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems. IEEE Trans. Circuits Syst. I Regul. Pap. 66-I(7): 2699-2708 (2019) - [j177]Dan Wang, Witold Pedrycz, Zhiwu Li:
Granular Data Aggregation: An Adaptive Principle of the Justifiable Granularity Approach. IEEE Trans. Cybern. 49(2): 417-426 (2019) - [j176]Hu-Chen Liu, Li-En Wang, ZhiWu Li, Yu-Ping Hu:
Improving Risk Evaluation in FMEA With Cloud Model and Hierarchical TOPSIS Method. IEEE Trans. Fuzzy Syst. 27(1): 84-95 (2019) - [j175]Kaijie Xu, Witold Pedrycz, Zhiwu Li, Weike Nie:
Constructing a Virtual Space for Enhancing the Classification Performance of Fuzzy Clustering. IEEE Trans. Fuzzy Syst. 27(9): 1779-1792 (2019) - [j174]Kaijie Xu, Witold Pedrycz, Zhiwu Li, Weike Nie:
High-Accuracy Signal Subspace Separation Algorithm Based on Gaussian Kernel Soft Partition. IEEE Trans. Ind. Electron. 66(1): 491-499 (2019) - [j173]Guanghui Zhu, Zhiwu Li, Naiqi Wu, Abdulrahman Al-Ahmari:
Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 49(2): 333-345 (2019) - [j172]Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari:
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. IEEE Trans. Syst. Man Cybern. Syst. 49(3): 623-637 (2019) - [j171]GaiYun Liu, Pei Li, Zhiwu Li, Naiqi Wu:
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 49(7): 1371-1385 (2019) - [j170]Yixiong Feng, MengChu Zhou, Guangdong Tian, Zhiwu Li, Zhifeng Zhang, Qin Zhang, Jianrong Tan:
Target Disassembly Sequencing and Scheme Evaluation for CNC Machine Tools Using Improved Multiobjective Ant Colony Algorithm and Fuzzy Integral. IEEE Trans. Syst. Man Cybern. Syst. 49(12): 2438-2451 (2019) - [c76]Lan Yang, Zhiwu Li, Alessandro Giua:
Rumor Containment by Spreading Correct Information in Social Networks. ACC 2019: 5608-5613 - [c75]Ziyue Ma, Zhou He, Zhiwu Li:
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction. CASE 2019: 189-194 - [c74]Yihui Hu, Ziyue Ma, Zhiwu Li:
Active Diagnosis of Petri Nets Using Q-Diagnoser. CASE 2019: 203-208 - [c73]Jiafeng Zhang, Guangchao Luo, Zhiwu Li, Georg Frey:
Context-free Forbidden Path Control of Net Condition/Event Systems. CDC 2019: 1991-1996 - [c72]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li:
Critical Observability of Petri Nets with Unknown Initial Marking. CDC 2019: 2003-2008 - [c71]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC 2019: 6718-6723 - [c70]Yan Qiao, SiWei Zhang, NaiQi Wu, ZhiWu Li:
Optimization on ACC Systems and Layout Design for Maximizing Thermal Comfort and Energy Saving in Large Rooms - A Case Study. CEC 2019: 654-659 - [c69]Jiafeng Zhang, Shuo Tang, Zhiwu Li:
Supervisory Control of Reconfigurable Manufacturing Systems based on NCESs. ECC 2019: 1746-1751 - [c68]Hefeng Chen, Naiqi Wu, Zhiwu Li:
Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets. ICNSC 2019: 230-235 - [c67]GaiYun Liu, Dimitri Lefebvre, ZhiWu Li:
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. SMC 2019: 1825-1830 - [c66]Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul, ZhiWu Li:
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC 2019: 2259-2266 - [c65]Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Multiple Attacks Detection on Discrete Event Systems. SMC 2019: 2352-2357 - [c64]Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li:
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC 2019: 2364-2371 - [i2]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. CoRR abs/1906.10207 (2019) - 2018
- [j169]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Li Yin:
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. IEEE Access 6: 2068-2084 (2018) - [j168]Hongfei Jia, Qiang Li, Guangdong Tian, Mengchu Zhou, Zhiwu Li:
Random Fuzzy Cost-Profit Equilibrium Model for Locating a Discrete Service Enterprise. IEEE Access 6: 4387-4394 (2018) - [j167]Li Yin, Zhiwu Li, Naiqi Wu, Shouguang Wang, Ting Qu:
Fault Diagnosis in Partially Observed Petri Nets Using Redundancies. IEEE Access 6: 7541-7556 (2018) - [j166]Xuya Cong, Yufeng Chen, Zhiwu Li, Naiqi Wu, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi:
Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs. IEEE Access 6: 8245-8257 (2018) - [j165]Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Marco Platzner:
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints. IEEE Access 6: 14078-14092 (2018) - [j164]Yuezhao Qiang, Guangdong Tian, Yumei Liu, Zhiwu Li:
Energy-Efficiency Models of Sustainable Urban Transportation Structure Optimization. IEEE Access 6: 18192-18199 (2018) - [j163]Hamza Chniter, Yuting Li, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Fethi Jarray:
Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems. IEEE Access 6: 23152-23171 (2018) - [j162]Xueyi Zhang, Qinjun Du, Shilun Ma, Huihui Geng, Wenjing Hu, Zhiwu Li, Guoqiang Liu:
Permeance Analysis and Calculation of the Double-Radial Rare-Earth Permanent Magnet Voltage-Stabilizing Generation Device. IEEE Access 6: 23939-23947 (2018) - [j161]Huorong Ren, Xixi Li, Zhiwu Li, Witold Pedrycz:
Data Representation Based on Interval-Sets for Anomaly Detection in Time Series. IEEE Access 6: 27473-27479 (2018) - [j160]Jiafeng Zhang, Georg Frey, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, Zhiwu Li:
Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems. IEEE Access 6: 28028-28040 (2018) - [j159]Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi:
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. IEEE Access 6: 34307-34323 (2018) - [j158]Xiaohua Zeng, Yue Wang, Dafeng Song, Liyan Zhu, Guangdong Tian, Zhiwu Li:
Coordinated Control Algorithm of a Dual Motor for an Electric Variable Transmission Hybrid System. IEEE Access 6: 35669-35682 (2018) - [j157]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems. IEEE Access 6: 35824-35843 (2018) - [j156]Xiaodan Zhang, Huajun Tang, Donghai Yang, Mohammed A. El-Meligy, Zhiwu Li:
Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets. IEEE Access 6: 38071-38085 (2018) - [j155]Deguang Wang, Liyong Lin, Zhiwu Li, Walter Murray Wonham:
State-Based Control of Discrete-Event Systems Under Partial Observation. IEEE Access 6: 42084-42093 (2018) - [j154]Chao Gu, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Ting Qu, Abdulrahman Al-Ahmari:
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems. IEEE Access 6: 68824-68838 (2018) - [j153]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu:
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. IEEE Access 6: 70426-70443 (2018) - [j152]Zhou He, Miao Liu, Ning Ran, Zhiwu Li:
Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement. IEEE Access 6: 70866-70873 (2018) - [j151]Jianhong Ye, Zhiwu Li, Ke Yi, Abdulrahman Al-Ahmari:
Mining Resource Community and Resource Role Network From Event Logs. IEEE Access 6: 77685-77694 (2018) - [j150]Huorong Ren, Xiujuan Liao, Zhiwu Li, Abdulrahman Al-Ahmari:
Anomaly detection using piecewise aggregate approximation in the amplitude domain. Appl. Intell. 48(5): 1097-1110 (2018) - [j149]Xi Wang, Zhiwu Li, W. M. Wonham:
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems. Autom. 89: 392-397 (2018) - [j148]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li:
On-line verification of current-state opacity by Petri nets and integer linear programming. Autom. 94: 205-213 (2018) - [j147]Guanghui Zhu, Zhiwu Li, Naiqi Wu:
Model-based fault identification of discrete event systems using partially observed Petri nets. Autom. 96: 201-212 (2018) - [j146]Ayesha Sohail, Lubna Sherin, Zhiwu Li, Qasim Ali Chaudhry:
Embodied modeling approach to explore tumour cells drug resistance. Complex Adapt. Syst. Model. 6: 3 (2018) - [j145]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28(2): 161-182 (2018) - [j144]Naiqi Wu, Zhiwu Li, Kamel Barkaoui, Xiaoou Li, Tadahiko Murata, MengChu Zhou:
IoT-based smart and complex systems: a guest editorial report. IEEE CAA J. Autom. Sinica 5(1): 69-73 (2018) - [j143]Fei Gao, Weisheng Chen, Zhiwu Li, Jing Li:
Event-triggered cooperative learning from output feedback control for multi-agent systems. Neurocomputing 322: 70-79 (2018) - [j142]Xiuyan Zhang, Murat Uzam, Zhiwu Li, Naiqi Wu:
On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. IMA J. Math. Control. Inf. 35(1): 165-182 (2018) - [j141]Muhammad Bashir, Zhiwu Li, Murat Uzam, Naiqi Wu, Abdulrahman Al-Ahmari:
On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach. IMA J. Math. Control. Inf. 35(4): 1217-1249 (2018) - [j140]Yixiong Feng, Zhaoxi Hong, Guangdong Tian, Zhiwu Li, Jianrong Tan, Hesuan Hu:
Environmentally friendly MCDM of reliability-based product optimisation combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska Optimizacija Kompromisno Resenje (VIKOR). Inf. Sci. 442-443: 128-144 (2018) - [j139]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li:
Reconfiguration-based methodology for improving recovery performance of faults in smart grids. Inf. Sci. 454-455: 73-95 (2018) - [j138]Chan Gu, Xi Wang, Zhiwu Li, Naiqi Wu:
Supervisory control of state-tree structures with partial observation. Inf. Sci. 465: 523-544 (2018) - [j137]Shuang Ye, Chuancai Liu, Zhiwu Li, Abdulrahman Al-Ahmari:
Improved frame-by-frame object pose tracking in complex environments. Multim. Tools Appl. 77(19): 24983-25004 (2018) - [j136]Zhongyuan Jiang, Zhiwu Li, Naiqi Wu, Mengchu Zhou:
A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations. IEEE Syst. J. 12(3): 2566-2576 (2018) - [j135]Zhou He, Zhiwu Li, Alessandro Giua:
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. IEEE Trans. Autom. Control. 63(8): 2573-2580 (2018) - [j134]Huimin Zhang, Lei Feng, Zhiwu Li:
A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems. IEEE Trans. Autom. Control. 63(10): 3345-3360 (2018) - [j133]Huimin Zhang, Lei Feng, Naiqi Wu, Zhiwu Li:
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems. IEEE Trans Autom. Sci. Eng. 15(1): 2-15 (2018) - [j132]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems. IEEE Trans Autom. Sci. Eng. 15(4): 1864-1882 (2018) - [j131]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Granular Representation of Data: A Design of Families of ϵ-Information Granules. IEEE Trans. Fuzzy Syst. 26(4): 2107-2119 (2018) - [j130]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
A Design of Granular Takagi-Sugeno Fuzzy Model Through the Synergy of Fuzzy Subspace Clustering and Optimal Allocation of Information Granularity. IEEE Trans. Fuzzy Syst. 26(5): 2499-2509 (2018) - [j129]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Granular Models and Granular Outliers. IEEE Trans. Fuzzy Syst. 26(6): 3835-3846 (2018) - [j128]Yixiong Feng, Bingtao Hu, He Hao, Yicong Gao, Zhiwu Li, Jianrong Tan:
Design of Distributed Cyber-Physical Systems for Connected and Automated Vehicles With Implementing Methodologies. IEEE Trans. Ind. Informatics 14(9): 4200-4211 (2018) - [j127]Hu-Chen Liu, Xue Luan, ZhiWu Li, Jianing Wu:
Linguistic Petri Nets Based on Cloud Model Theory for Knowledge Representation and Reasoning. IEEE Trans. Knowl. Data Eng. 30(4): 717-728 (2018) - [j126]Dashuang Li, Chaoyong Zhang, Guangdong Tian, Xinyu Shao, Zhiwu Li:
Multiobjective Program and Hybrid Imperialist Competitive Algorithm for the Mixed-Model Two-Sided Assembly Lines Subject to Multiple Constraints. IEEE Trans. Syst. Man Cybern. Syst. 48(1): 119-129 (2018) - [j125]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li:
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. 48(6): 892-905 (2018) - [j124]Guangdong Tian, Honghao Zhang, MengChu Zhou, Zhiwu Li:
AHP, Gray Correlation, and TOPSIS Combined Approach to Green Performance Evaluation of Design Alternatives. IEEE Trans. Syst. Man Cybern. Syst. 48(7): 1093-1105 (2018) - [j123]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 48(7): 1120-1130 (2018) - [j122]Jianhong Ye, MengChu Zhou, Zhiwu Li, Abdulrahman Al-Ahmari:
Structural Decomposition and Decentralized Control of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 48(8): 1360-1369 (2018) - [j121]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li:
Decentralized Diagnosis by Petri Nets and Integer Linear Programming. IEEE Trans. Syst. Man Cybern. Syst. 48(10): 1689-1700 (2018) - [c63]Jiafeng Zhang, Hongyi Li, Georg Frey, Zhiwu Li:
Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming. CASE 2018: 1556-1561 - [c62]Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, ZhiWu Li:
Critical Observability of Safe Petri Nets via Integer Linear Programming. CDC 2018: 1029-1034 - [c61]Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA 2018: 1161-1164 - [c60]Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li:
Exploiting Local Persistency for Reduced State Space Generation. VECoS 2018: 166-181 - 2017
- [j120]Shanhe Lou, Yixiong Feng, Guangdong Tian, Zhihan Lv, Zhiwu Li, Jianrong Tan:
A Cyber-Physical System for Product Conceptual Design Based on an Intelligent Psycho-Physiological Approach. IEEE Access 5: 5378-5387 (2017) - [j119]Dan You, Shouguang Wang, Zhiwu Li, Chengying Wang:
Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions. IEEE Access 5: 6780-6790 (2017) - [j118]Chao Wang, Anrong Wang, Yufeng Chen, Abdulrahman Al-Ahmari, Zhiwu Li:
On Computation Reduction of Liveness-Enforcing Supervisors. IEEE Access 5: 14775-14786 (2017) - [j117]Muhammad Bashir, Zhiwu Li, Murat Uzam, Abdulrahman Al-Ahmari, Naiqi Wu, Ding Liu, Ting Qu:
A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems. IEEE Access 5: 15731-15749 (2017) - [j116]Chengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. IEEE Access 5: 16349-16358 (2017) - [j115]Dapai Shi, Liang Chu, Jianhua Guo, Guangdong Tian, Yixiong Feng, Zhiwu Li:
Energy Control Strategy of HEB Based on the Instantaneous Optimization Algorithm. IEEE Access 5: 19876-19888 (2017) - [j114]Miao Liu, Zhou He, Naiqi Wu, Abdulrahman Al-Ahmari, Zhiwu Li:
Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets. IEEE Access 5: 26376-26386 (2017) - [j113]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Fuzzy clustering with nonlinearly transformed data. Appl. Soft Comput. 61: 364-376 (2017) - [j112]Lina Li, Witold Pedrycz, Zhiwu Li:
Development of associative memories with transformed data. Appl. Soft Comput. 61: 1141-1152 (2017) - [j111]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017) - [j110]Hu-Chen Liu, Jian-Xin You, ZhiWu Li, Guangdong Tian:
Fuzzy Petri nets for knowledge representation and reasoning: A literature review. Eng. Appl. Artif. Intell. 60: 45-56 (2017) - [j109]Yufeng Chen, ZhiWu Li, Abdulrahman Al-Ahmari, Naiqi Wu, Ting Qu:
Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Inf. Sci. 381: 290-303 (2017) - [j108]Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, Zhiwu Li, Eduardo Tovar:
Dual mode for vehicular platoon safety: Simulation and formal verification. Inf. Sci. 402: 216-232 (2017) - [j107]Huorong Ren, Zhixing Ye, Zhiwu Li:
Anomaly detection based on a dynamic Markov model. Inf. Sci. 411: 52-65 (2017) - [j106]SiWei Zhang, NaiQi Wu, ZhiWu Li, Ting Qu, Congdong Li:
Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement. Inf. Sci. 417: 247-261 (2017) - [j105]Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li:
Deadlock and liveness characterization for a class of generalized Petri nets. Inf. Sci. 420: 403-416 (2017) - [j104]Shuang Ye, Chuancai Liu, Zhiwu Li, Abdulrahman Al-Ahmari:
Iterative optimization for frame-by-frame object pose tracking. J. Vis. Commun. Image Represent. 44: 72-81 (2017) - [j103]Huorong Ren, Mingming Liu, Zhiwu Li, Witold Pedrycz:
A Piecewise Aggregate pattern representation approach for anomaly detection in time series. Knowl. Based Syst. 135: 29-39 (2017) - [j102]Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua:
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62(3): 1078-1093 (2017) - [j101]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62(3): 1329-1341 (2017) - [j100]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62(6): 2823-2837 (2017) - [j99]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
RWiN: New Methodology for the Development of Reconfigurable WSN. IEEE Trans Autom. Sci. Eng. 14(1): 109-125 (2017) - [j98]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14(2): 1084-1095 (2017) - [j97]Zhou He, ZhiWu Li, Alessandro Giua:
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Trans. Control. Syst. Technol. 25(4): 1318-1330 (2017) - [j96]Xiubin Zhu, Witold Pedrycz, ZhiWu Li:
Granular Data Description: Designing Ellipsoidal Information Granules. IEEE Trans. Cybern. 47(12): 4475-4484 (2017) - [j95]Xiubin Zhu, Witold Pedrycz, Zhiwu Li:
Granular Encoders and Decoders: A Study in Processing Information Granules. IEEE Trans. Fuzzy Syst. 25(5): 1115-1126 (2017) - [j94]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Naiqi Wu, MengChu Zhou:
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 47(2): 364-379 (2017) - [j93]FaJun Yang, Naiqi Wu, Yan Qiao, MengChu Zhou, ZhiWu Li:
Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints. IEEE Trans. Syst. Man Cybern. Syst. 47(3): 502-516 (2017) - [j92]Yan Hou, Naiqi Wu, MengChu Zhou, ZhiWu Li:
Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm. IEEE Trans. Syst. Man Cybern. Syst. 47(3): 517-530 (2017) - [j91]Xi Wang, Zhiwu Li, Walter Murray Wonham:
Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1082-1098 (2017) - [j90]Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li:
Multiagent Framework for Smart Grids Recovery. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1284-1300 (2017) - [c59]SiWei Zhang, NaiQi Wu, ZhiWu Li:
Scheduling of crude oil operations in refineries with least tank requirement. CASE 2017: 243-248 - [c58]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of deterministic timed weighted marked graphs. CASE 2017: 956-957 - [c57]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC 2017: 4847-4852 - [c56]YuMing Zhao, Naiqi Wu, ZhiWu Li:
A novel solution approach to scheduling of crude-oil operations based on an improved continuous-time formulation. ICNSC 2017: 482-487 - [i1]Yingying Liu, Kai Cai, Zhiwu Li:
On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems. CoRR abs/1704.08858 (2017) - 2016
- [j89]Chunfu Zhong, Witold Pedrycz, Dan Wang, Lina Li, Zhiwu Li:
Granular data imputation: A framework of Granular Computing. Appl. Soft Comput. 46: 307-316 (2016) - [j88]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74: 238-246 (2016) - [j87]Naiqi Wu, MengChu Zhou, Liping Bai, ZhiWu Li:
Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines. Enterp. Inf. Syst. 10(6): 581-610 (2016) - [j86]Chunfu Zhong, Witold Pedrycz, Zhiwu Li, Dan Wang, Lina Li:
Fuzzy associative memories: A design through fuzzy clustering. Neurocomputing 173: 1154-1162 (2016) - [j85]Xiaoliang Chen, Zhiwu Li, Naiqi Wu, Abdulrahman Al-Ahmari, Abdul-Aziz Mohammed El-Tamimi, Emad S. Abouel Nasr:
Confusion avoidance for discrete event systems by P/E constraints and supervisory control. IMA J. Math. Control. Inf. 33(2): 309-332 (2016) - [j84]Miao Liu, ShouGuang Wang, Tasawar Hayat, Ahmed Alsaedi, ZhiWu Li:
A resource configuration method for liveness of a class of Petri nets. IMA J. Math. Control. Inf. 33(4): 933-950 (2016) - [j83]Xi Chen, Zhiwu Li, Zhi-Ping Fan, Xiaoyang Zhou, Xiao Zhang:
Matching demanders and suppliers in knowledge service: A method based on fuzzy axiomatic design. Inf. Sci. 346-347: 130-145 (2016) - [j82]Zhiwu Li:
Deadlock analysis and control in resource allocation systems. Inf. Sci. 363: 174-177 (2016) - [j81]Murat Uzam, ZhiWu Li, Gökhan Gelen, Rabiu Saleh Zakariyya:
A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. J. Intell. Manuf. 27(5): 1111-1129 (2016) - [j80]Shuang Ye, Chuancai Liu, Zhiwu Li:
A double circle structure descriptor and Hough voting matching for real-time object detection. Pattern Anal. Appl. 19(4): 1143-1157 (2016) - [j79]Huorong Ren, An Ren, Zhiwu Li:
A new strategy for the suppression of cross-terms in pseudo Wigner-Ville distribution. Signal Image Video Process. 10(1): 139-144 (2016) - [j78]Dan Wang, Witold Pedrycz, Zhiwu Li:
Design of granular interval-valued information granules with the use of the principle of justifiable granularity and their applications to system modeling of higher type. Soft Comput. 20(6): 2119-2134 (2016) - [j77]Yin Tong, ZhiWu Li, Alessandro Giua:
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61(9): 2448-2462 (2016) - [j76]Xi Wang, ZhiWu Li, W. M. Wonham:
Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control. IEEE Trans. Ind. Informatics 12(1): 101-111 (2016) - [j75]Liping Bai, Naiqi Wu, Zhiwu Li, MengChu Zhou:
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology. IEEE Trans. Syst. Man Cybern. Syst. 46(10): 1456-1467 (2016) - [c55]Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c54]Yan Qiao, MengChu Zhou, Naiqi Wu, Qinghua Zhu, ZhiWu Li:
Optimizing close-down processes of single-robot cluster tools via linear programing. CASE 2016: 148-153 - [c53]Li Yin, ZhiWu Li, Naiqi Wu:
Fault diagnosis in DESs modeled by partially observed Petri nets. CASE 2016: 966-971 - [c52]Zhou He, ZhiWu Li, Alessandro Giua:
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC 2016: 3942-3947 - [c51]Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT 2016: 1-6 - [c50]Xiubin Zhu, Witold Pedrycz, ZhiWu Li:
Granular description of data: Building information granules with the aid of the principle of justifiable granularity. FUZZ-IEEE 2016: 969-976 - [c49]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
CRMPSoC: New Solution for Feasible Reconfigurable MPSoC. ICSOFT (Selected Papers) 2016: 175-198 - [c48]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li:
New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. ICSOFT-EA 2016: 249-257 - [c47]Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318 - [c46]Liping Bai, Naiqi Wu, ZhiWu Li, MengChu Zhou:
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools. WODES 2016: 349-354 - [e2]Christos G. Cassandras, Alessandro Giua, Zhiwu Li:
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. IEEE 2016, ISBN 978-1-5090-4190-9 [contents] - 2015
- [j74]Ziyue Ma, ZhiWu Li, Alessandro Giua:
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. Autom. 51: 131-134 (2015) - [j73]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua:
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55: 116-124 (2015) - [j72]Jinwei Guo, MengChu Zhou, ZhiWu Li, Huiguang Xie:
Green design assessment of electromechanical products based on group weighted-AHP. Enterp. Inf. Syst. 9(8): 878-899 (2015) - [j71]Xi Chen, Zhi-Ping Fan, Zhiwu Li, Xueliang Han, Xiao Zhang, Haochen Jia:
A two-stage method for member selection of emergency medical service. J. Comb. Optim. 30(4): 871-891 (2015) - [j70]Naiqi Wu, MengChu Zhou, ZhiWu Li:
Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach. IEEE Robotics Autom. Mag. 22(2): 64-76 (2015) - [j69]Ziyue Ma, ZhiWu Li, Alessandro Giua:
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. IEEE Trans. Autom. Control. 60(7): 1774-1785 (2015) - [j68]Xi Wang, Imen Khemaissia, Mohamed Khalgui, ZhiWu Li, Olfa Mosbahi, MengChu Zhou:
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks. IEEE Trans Autom. Sci. Eng. 12(1): 258-271 (2015) - [j67]Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Georg Frey, Olfa Mosbahi, Hela Ben Salah:
Reconfigurable Coordination of Distributed Discrete Event Control Systems. IEEE Trans. Control. Syst. Technol. 23(1): 323-330 (2015) - [j66]Jianhong Ye, Zhiwu Li, Alessandro Giua:
Decentralized Supervision of Petri Nets With a Coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45(6): 955-966 (2015) - [j65]Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, Olfa Mosbahi:
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions". IEEE Trans. Syst. Man Cybern. Syst. 45(10): 1385-1386 (2015) - [c45]Ziyue Ma, ZhiWu Li, Alessandro Giua:
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC 2015: 365-370 - [c44]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940 - [c43]Zhou He, Zhiwu Li, Alessandro Giua:
Cycle time optimization of deterministic timed weighted marked graphs. CASE 2015: 274-279 - [c42]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349 - [c41]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. CDC 2015: 1675-1681 - 2014
- [j64]Ding Liu, ZhiWu Li, MengChu Zhou:
Authors' Reply to 'Comments on "Liveness of an extended S3PR " [Automatica 46(6) (2010) 1008-1018]'. Autom. 50(8): 2201 (2014) - [j63]Yifan Hou, ZhiWu Li, Mi Zhao, Ding Liu:
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets. Int. J. Comput. Integr. Manuf. 27(1): 85-102 (2014) - [j62]Qi Wang, Zhiwu Li, Anrong Wang, Abdulrahman Al-Ahmari, Abdul-Aziz Mohammed El-Tamimi, Emad S. Abouel Nasr:
A versatile supervisor with one monitor based on macro-tokens. IMA J. Math. Control. Inf. 31(2): 245-256 (2014) - [j61]Yufeng Chen, ZhiWu Li, Kamel Barkaoui:
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Inf. Sci. 256: 74-90 (2014) - [j60]Yufeng Chen, ZhiWu Li, MengChu Zhou:
Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach. IEEE Trans Autom. Sci. Eng. 11(2): 549-563 (2014) - [j59]Yufeng Chen, ZhiWu Li, Abdulrahman Al-Ahmari:
Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems". IEEE Trans. Syst. Man Cybern. Syst. 44(6): 804 (2014) - [j58]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Murat Uzam:
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 44(10): 1384-1400 (2014) - [c40]Murat Uzam, Zhiwu Li, Umar Suleiman Abubakar:
A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. ADECS @ Petri Nets 2014: 68-82 - [c39]Zhou He, ZhiWu Li, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs. CASE 2014: 413-418 - [c38]Xiang Gao, ZhiWu Li, Anrong Wang, Abdulrahman Al-Ahmari:
A monitor solution to enforce legal transition firing sequences problems by using Petri nets. CASE 2014: 419-424 - [c37]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES 2014: 66-72 - [c36]Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Maximally Permissive Petri Net Supervisors with a Novel Structure. WODES 2014: 80-85 - [c35]Yin Tong, Zhiwu Li, Alessandro Giua:
Observation Equivalence of Petri Net Generators. WODES 2014: 338-343 - [c34]GaiYun Liu, Zhiwu Li, Abdulrahman Al-Ahmari:
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. WODES 2014: 383-387 - [e1]Mohamed Khalgui, Zhiwu Li:
ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014. CEUR Workshop Proceedings 1161, CEUR-WS.org 2014 [contents] - 2013
- [j57]Ding Liu, ZhiWu Li, MengChu Zhou:
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets. Autom. 49(11): 3167-3179 (2013) - [j56]GaiYun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari:
Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf. Sci. 235: 259-279 (2013) - [j55]Miao Liu, Shouguang Wang, Zhiwu Li:
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation. J. Appl. Math. 2013: 315894:1-315894:11 (2013) - [j54]Hesuan Hu, MengChu Zhou, Zhiwu Li, Ying Tang:
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 10(3): 772-782 (2013) - [j53]Mohamed Khalgui, Zhiwu Li:
Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems. ACM Trans. Embed. Comput. Syst. 12(1): 1:1-1:2 (2013) - [j52]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
Runtime Reconfigurations of Embedded Controllers. ACM Trans. Embed. Comput. Syst. 12(1): 14:1-14:23 (2013) - [j51]Hesuan Hu, MengChu Zhou, Zhiwu Li, Ying Tang:
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets. IEEE Trans. Ind. Informatics 9(1): 109-121 (2013) - [j50]Chunfu Zhong, ZhiWu Li, Yufeng Chen, Abdulrahman Al-Ahmari:
On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor. IEEE Trans. Syst. Man Cybern. Syst. 43(1): 29-37 (2013) - [j49]Ding Liu, Zhiwu Li, Mengchu Zhou:
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(1): 85-97 (2013) - [j48]Yufeng Chen, ZhiWu Li, Abdulrahman Al-Ahmari:
Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 252-265 (2013) - [j47]ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou:
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 474 (2013) - [j46]Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Olfa Mosbahi, Abdulrahman Al-Ahmari:
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4): 757-772 (2013) - [j45]ShouGuang Wang, MengChu Zhou, ZhiWu Li, Chengying Wang:
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43(4): 932-940 (2013) - [c33]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA 2013: 1-8 - [c32]Yin Tong, Zhiwu Li, Alessandro Giua:
General observation structures for Petri nets. ETFA 2013: 1-4 - [c31]Hesuan Hu, MengChu Zhou, ZhiWu Li:
A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis. ICRA 2013: 3573-3579 - 2012
- [j44]Ding Liu, Zhiwu Li, Mengchu Zhou:
Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018]. Autom. 48(5): 1003-1004 (2012) - [j43]Yufeng Chen, ZhiWu Li:
On structural minimality of optimal supervisors for flexible manufacturing systems. Autom. 48(10): 2647-2656 (2012) - [j42]Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi:
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". IEEE Trans Autom. Sci. Eng. 9(2): 455 (2012) - [j41]ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou:
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 42(1): 178-191 (2012) - [j40]ShouGuang Wang, Chengying Wang, MengChu Zhou, ZhiWu Li:
A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets. IEEE Trans. Syst. Man Cybern. Part A 42(1): 226-237 (2012) - [j39]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42(2): 392-403 (2012) - [j38]Yufeng Chen, ZhiWu Li, MengChu Zhou:
Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 42(3): 615-629 (2012) - [j37]Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi:
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Trans. Syst. Man Cybern. Part A 42(3): 727-738 (2012) - [j36]ZhiWu Li, Naiqi Wu, MengChu Zhou:
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets - A Literature Review. IEEE Trans. Syst. Man Cybern. Part C 42(4): 437-462 (2012) - [j35]Anrong Wang, ZhiWu Li, MengChu Zhou, Abdulrahman Al-Ahmari:
Iterative Deadlock Control by Using Petri Nets. IEEE Trans. Syst. Man Cybern. Part C 42(6): 1204-1218 (2012) - 2011
- [j34]Yufeng Chen, ZhiWu Li:
Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems. Autom. 47(5): 1028-1034 (2011) - [j33]Hesuan Hu, Zhiwu Li, Abdulrahman Al-Ahmari:
Reversed fuzzy Petri nets and their application for fault diagnosis. Comput. Ind. Eng. 60(4): 505-510 (2011) - [j32]Shao Yong Li, ZhiWu Li, Hesuan Hu:
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets. Int. J. Comput. Integr. Manuf. 24(8): 710-725 (2011) - [j31]Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi:
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 8(2): 374-393 (2011) - [j30]Hesuan Hu, MengChu Zhou, Zhiwu Li:
Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. IEEE Trans Autom. Sci. Eng. 8(4): 794-804 (2011) - [j29]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch:
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60(4): 538-551 (2011) - [j28]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 41(2): 201-212 (2011) - [j27]Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li:
A Component-Based Approach for the Development of Automated Systems. IEEE Trans. Syst. Man Cybern. Part A 41(5): 1026-1031 (2011) - [c30]Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. ETFA 2011: 1-6 - [c29]Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi:
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. ICSOFT (2) 2011: 105-110 - [c28]Xi Wang, Mohamed Khalgui, Zhiwu Li:
Dynamic Low Power Reconfigurations of Real-time Embedded Systems. PECCS 2011: 415-420 - [c27]ZhiWu Li, Yufeng Chen, MengChu Zhou:
On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems. SMC 2011: 832-837 - [c26]Hesuan Hu, Ying Tang, Mengchu Zhou, Zhiwu Li:
Liveness supervision of AMS with complex processes using Petri nets. SMC 2011: 844-849 - 2010
- [j26]Ding Liu, ZhiWu Li, MengChu Zhou:
Liveness of an extended S3PR. Autom. 46(6): 1008-1018 (2010) - [j25]Mi Zhao, ZhiWu Li, Hesuan Hu:
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. Int. J. Syst. Sci. 41(9): 1013-1026 (2010) - [j24]Hesuan Hu, Zhiwu Li:
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. J. Intell. Manuf. 21(4): 555-567 (2010) - [j23]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets. IEEE Trans Autom. Sci. Eng. 7(3): 549-557 (2010) - [j22]Hesuan Hu, MengChu Zhou, Zhiwu Li:
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets. IEEE Trans Autom. Sci. Eng. 7(4): 933-944 (2010) - [j21]ZhiWu Li, Mingming Yan, MengChu Zhou:
Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets. IEEE Trans. Syst. Man Cybern. Part C 40(3): 330-340 (2010) - [c25]Hesuan Hu, Mengchu Zhou, Zhiwu Li, Naiqi Wu:
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations. CASE 2010: 459-464 - [c24]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
Deadlock resolution method for automated manufacturing systems modeled with Petri nets. SMC 2010: 2551-2556
2000 – 2009
- 2009
- [j20]ZhiWu Li, Hesuan Hu:
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput. Ind. Eng. 56(1): 53-62 (2009) - [j19]Hesuan Hu, Zhiwu Li:
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. Comput. Ind. Eng. 57(4): 1168-1181 (2009) - [j18]Chunfu Zhong, Zhiwu Li:
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models. Eng. Comput. 25(3): 269-278 (2009) - [j17]Mingming Yan, Zhiwu Li, Na Wei, Mi Zhao:
A Deadlock Prevention Policy for a Class of Petri Nets S3PMR. J. Inf. Sci. Eng. 25(1): 167-183 (2009) - [j16]Hesuan Hu, Zhiwu Li:
Liveness Enforcing Supervision in Video Streaming Systems using Siphons. J. Inf. Sci. Eng. 25(6): 1863-1884 (2009) - [j15]Hesuan Hu, Zhiwu Li:
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior. IEEE Trans Autom. Sci. Eng. 6(3): 557-559 (2009) - [j14]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets. IEEE Trans. Multim. 11(8): 1457-1465 (2009) - [j13]ZhiWu Li, Sen Zhu, MengChu Zhou:
A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part C 39(2): 156-169 (2009) - [j12]ZhiWu Li, GaiYun Liu:
Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems". IEEE Trans. Syst. Man Cybern. Part A 39(3): 692 (2009) - [j11]Anrong Wang, ZhiWu Li, Jianyuan Jia, MengChu Zhou:
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 39(4): 912-923 (2009) - [c23]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems. SMC 2009: 199-204 - 2008
- [j10]ZhiWu Li, MengChu Zhou, MuDer Jeng:
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. IEEE Trans Autom. Sci. Eng. 5(1): 182-188 (2008) - [j9]Naiqi Wu, MengChu Zhou, ZhiWu Li:
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. IEEE Trans. Syst. Man Cybern. Part A 38(1): 56-69 (2008) - [j8]ZhiWu Li, MengChu Zhou:
Control of Elementary and Dependent Siphons in Petri Nets and Their Application. IEEE Trans. Syst. Man Cybern. Part A 38(1): 133-148 (2008) - [j7]ZhiWu Li, MengChu Zhou, Naiqi Wu:
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part C 38(2): 173-188 (2008) - [j6]Zhiwu Li, Mi Zhao:
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 38(2): 369-384 (2008) - [j5]ZhiWu Li, MengChu Zhou:
On Siphon Computation for Deadlock Control in a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 38(3): 667-679 (2008) - [c22]Zhiwu Li, Moshe Shpitalni:
A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions. ICNSC 2008: 67-72 - [c21]Zhiwu Li, Moshe Shpitalni:
On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems. ICNSC 2008: 90-95 - [c20]Hesuan Hu, Zhiwu Li, Mengchu Zhou:
Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems. SMC 2008: 1948-1953 - 2007
- [c19]Mi Zhao, Zhiwu Li, MengChu Zhou:
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets. CASE 2007: 1-6 - 2006
- [j4]Zhi Wu Li, Wei Ding, Rong Ming Zhu:
On deadlock prevention in case of failures in flexible manufacturing systems. Int. J. Manuf. Technol. Manag. 8(1/2/3): 58-74 (2006) - [j3]ZhiWu Li, MengChu Zhou:
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. IEEE Trans. Ind. Informatics 2(4): 313-325 (2006) - [j2]ZhiWu Li, MengChu Zhou:
Clarifications on the Definitions of Elementary Siphons in Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 36(6): 1227-1229 (2006) - [c18]Hesuan Hu, ZhiWu Li, Anrong Wang:
Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets. ADMA 2006: 380-387 - [c17]Xiangling Liu, Anrong Wang, Zhiwu Li:
A fast algorithm to find a set of elementary siphons for a class of petri nets. CASE 2006: 399-404 - [c16]Baowen Guo, Zhiwu Li, Shuwen Xu:
On Modeling a Soccer Robot System Using Petri Nets. CASE 2006: 460-465 - 2005
- [c15]Guimin Chen, Jianyuan Jia, Zhi-Wu Li:
Right-circular corner-filleted flexure hinges. CASE 2005: 249-253 - [c14]Baojun Han, Hongzhao Jiang, Hua Bo, Zhiwu Li:
Edge location of cannon barrel image based on non-contact measurement of CCD. CASE 2005: 290-294 - [c13]Na Wei, Zhiwu Li:
A deadlock prevention policy for FMS using mathematical programming. CASE 2005: 399-403 - [c12]Hesuan Hu, ZhiWu Li, Weidong Wang:
Modified PSO Algorithm for Deadlock Control in FMS. CIS (1) 2005: 1094-1099 - 2004
- [j1]ZhiWu Li, MengChu Zhou:
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34(1): 38-51 (2004) - [c11]Zhiwu Li, Weixian Cao, Anrong Wang:
Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems. ICARCV 2004: 515-520 - [c10]Zhiwu Li, Haibin Xia, Anrong Wang:
An effective deadlock prevention policy using elementary siphons of Petri nets for FMS. ICARCV 2004: 521-526 - [c9]Zhiwu Li, Jingwei Liang, Yang Lu, Anrong Wang:
A deadlock prevention method for FMS with multiple resource acquisitions. ICARCV 2004: 2117-2122 - [c8]ZhiWu Li, MengChu Zhou:
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons. ICRA 2004: 3143-3148 - [c7]ZhiWu Li, MengChu Zhou:
Some results and open problems concerning elementary siphons of Petri nets. SMC (2) 2004: 1717-1722 - [c6]ZhiWu Li, XiangFeng Zhang:
A deadlock prevention approach using elementary siphons for a class of Petri nets. SMC (2) 2004: 1728-1733 - [c5]ZhiWu Li, Hesuan Hu, MengChu Zhou:
An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control. SMC (5) 2004: 4849-4854 - [c4]ZhiWu Li, YunAn Zhi, MengChu Zhou:
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets. SMC (5) 2004: 4861-4866 - [c3]ZhiWu Li, Anrong Wang, Hua Lin:
A deadlock prevention approach for FMS using siphons and the theory of regions. SMC (6) 2004: 5079-5084 - 2003
- [c2]ZhiWu Li, MengChu Zhou:
A novel siphon-based deadlock control method for FMS. ICRA 2003: 1452-1457 - [c1]ZhiWu Li, MengChu Zhou:
A deadlock control method using elementary siphons of Petri nets. SMC 2003: 2716-2720
Coauthor Index
aka: Amir M. Fathollahi Fard
aka: Gaiyun Liu
aka: NaiQi Wu
aka: Mengchu Zhou
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-08 01:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint