IEEE Transactions on Systems Man Cybernetics-Systems最新文献_第8页

Arithmetic-Free Personalized Compressed Sensing Based On Deep Neural Networks for Wireless Transmission From Brain–Computer Interfaces 基于深度神经网络的无算法个性化压缩感知脑机接口无线传输

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-22 DOI: 10.1109/TSMC.2025.3584478

Erfan Ebrahim Esfahani;Ali Khadem

{"title":"Arithmetic-Free Personalized Compressed Sensing Based On Deep Neural Networks for Wireless Transmission From Brain–Computer Interfaces","authors":"Erfan Ebrahim Esfahani;Ali Khadem","doi":"10.1109/TSMC.2025.3584478","DOIUrl":"https://doi.org/10.1109/TSMC.2025.3584478","url":null,"abstract":"State-of-the-art brain–computer interfaces can carry out neural recording from hundreds of channels with high resolution. Such massive data makes it easy to study the brain better than ever before, but on the flip side, it leads to increased chip size, power consumption, heat dissipation and risk for patient safety. As such, compression of the data prior to transmission from the implant could be key to improving reliability and usability of such microsystems. In recent years, starting from sparsifying transforms all the way to compressive autoencoders (AEs), this compression has been offered by substantial arithmetic on the implant side, which in turn incurs its own inevitable costs. In this work, we analyze spike waveforms to prioritize subintervals by their importance. Thereupon, we design a temporal undersampling pattern matching the importance of each subinterval for compressive sensing of spikes. Following such sensing, we reconstruct spikes using a deep neural network (DNN) trained to capture spike representation from the undersampled measurements, with possible adaptation to individual subjects. This approach offers what we believe is the first spike compression-reconstruction framework that imposes no arithmetic on the compressing side, yet on the restoration side, performs at least on par with most on-chip arithmetic-heavy techniques. For instance, given a spike length of <inline-formula> <tex-math>$N=64$ </tex-math></inline-formula> at eightfold compression, the famed symmlet-4 method yields a mean signal-to-noise-and-distortion ratio (SNDR) of 7.14 dB at a total compression arithmetic cost of <inline-formula> <tex-math>$16N$ </tex-math></inline-formula> sums and products per spike, while for the proposed method, the figure is 8.38 dB at 0 sums and products.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 10","pages":"7228-7237"},"PeriodicalIF":8.7,"publicationDate":"2025-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145100324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables 基于集成数据库表的定时Petri网形式化验证方法

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-22 DOI: 10.1109/TSMC.2025.3585039

Jian Song;Guanjun Liu;Ying Tang;Li Wang;Miaomiao Wang;Lin Li

{"title":"An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables","authors":"Jian Song;Guanjun Liu;Ying Tang;Li Wang;Miaomiao Wang;Lin Li","doi":"10.1109/TSMC.2025.3585039","DOIUrl":"https://doi.org/10.1109/TSMC.2025.3585039","url":null,"abstract":"Formal verification becomes increasingly critical to ensure system functionality, reliability and safety as they grow in complexity. Existing methods tend to focus on a single dimension of system aspects—such as control flow, data flow or timing constraints—or, at most, consider two of these perspectives without integrating all three. In addition, data flow models generally represent high-level data abstraction without including operational details within underlying contexts. The inability of these models to capture system behavior undermines their reliability, ultimately increasing the likelihood of the corresponding systems malfunctioning. To address these issues, we propose a formal verification method based on a timed Petri net with database tables (TPDT-net). First, we model the system using TPDT-net and generate its state reachability graph (SRG). Next, we extend timed computation tree logic (TCTL) by introducing database-related data element operators, thus proposing a database-oriented TCTL (DTCTL) model checking method. In addition, we formalize the system correctness problem as corresponding DTCTL formulas, which are analyzed based on the SRG. This approach transforms correctness verification into a satisfiability problem of DTCTL formulas within the SRG. Finally, we validate the practicality and effectiveness of the proposed method through case studies and experiments.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 10","pages":"7410-7424"},"PeriodicalIF":8.7,"publicationDate":"2025-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145090165","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Cluster Synchronization of Individuals During an Epidemic: A Contraction-Based Analysis 流行病期间个体的集群同步：基于收缩的分析

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-21 DOI: 10.1109/TSMC.2025.3585121

Shidong Zhai;Jinkui Zhang;Jun Ma;Zhengrong Xiang

引用次数: 0

A Universal Reactive Approach for Graph-Based Persistent Path Planning Problems With Temporal Logic Constraints 具有时间逻辑约束的基于图的持久路径规划问题的通用响应方法

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-21 DOI: 10.1109/TSMC.2025.3579023

Tong Wang;Yuanhao Li;Panfeng Huang

引用次数: 0

Distributed Nonconvex Optimization and Application to UAV Optimal Rendezvous Formation 分布式非凸优化及其在无人机最优交会编队中的应用

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-21 DOI: 10.1109/TSMC.2025.3583312

Fuxi Niu;Xiaohong Nian;Miaoping Sun;Yong Chen;Yu Shi;Jieyuan Yang;Shiling Li

引用次数: 0

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-21 DOI: 10.1109/TSMC.2025.3582852

Hongyu Lin;Jing Liang;Caitong Yue;Ying Bi;Kangjia Qiao;Yaonan Wang;Ponnuthurai Nagaratnam Suganthan

{"title":"A Similar-Niching-Based Differential Evolution for Constrained Multimodal Multiobjective Optimization","authors":"Hongyu Lin;Jing Liang;Caitong Yue;Ying Bi;Kangjia Qiao;Yaonan Wang;Ponnuthurai Nagaratnam Suganthan","doi":"10.1109/TSMC.2025.3582852","DOIUrl":"https://doi.org/10.1109/TSMC.2025.3582852","url":null,"abstract":"In constrained multimodal multiobjective optimization problems (CMMOPs), the existence of discrete and confined feasible regions bring great challenges to current multiobjective optimization evolutionary algorithms (MOEAs). To address these challenges, this article proposes a constrained multimodal multiobjective differential evolution algorithm, which incorporates a similar-niching-based reproduction operator and a novel environmental selection mechanism. The proposed algorithm initiates by segregating the population into distinct niches, thereby promoting independent evolution within each niche. This segmentation enhances the exploration of multiple discrete feasible regions, thus improving the capacity to find diverse Pareto optimal solutions. Moreover, the algorithm selects the most similar niche to collaboratively generate solutions, further enhancing its ability to generate effective feasible solutions. To improve the diversity within the population, the proposed environmental selection mechanism gives preference to solutions that enhance the distribution of the next-generation population. By considering the diversity in both two spaces, the population retains more pareto optimal solutions. Based on the Friedman test results of the comparison experiment with other representative algorithms and the champion algorithm of the CEC2023 CMMOPs competition, the proposed algorithm attained the top ranking, thereby reinforcing its demonstrated superiority. Meanwhile, the proposed algorithm is used to solve the constrained multimodal multiobjective location selection problem and results show its superiority.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 10","pages":"6710-6722"},"PeriodicalIF":8.7,"publicationDate":"2025-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145100342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Evolutionary Multiobjective Cross-Spectral Adversarial Attacks With Synergistic Patches 基于协同补丁的进化多目标交叉光谱对抗性攻击

IF 8.7 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-21 DOI: 10.1109/TSMC.2025.3584347

Wencheng Han;Hao Li;Maoguo Gong;Yue Wu;A. K. Qin;Lining Xing;Yu Zhou

{"title":"Evolutionary Multiobjective Cross-Spectral Adversarial Attacks With Synergistic Patches","authors":"Wencheng Han;Hao Li;Maoguo Gong;Yue Wu;A. K. Qin;Lining Xing;Yu Zhou","doi":"10.1109/TSMC.2025.3584347","DOIUrl":"https://doi.org/10.1109/TSMC.2025.3584347","url":null,"abstract":"DNN have demonstrated vulnerability to adversarial attacks in object detection tasks. While significant progress has been made in single-spectrum attacks, cross-spectral adversarial attacks remain challenging due to the complex tradeoffs between visible and infrared domains. To address this, an evolutionary multiobjective cross-spectral attack (MoXAttack) framework, for developing adversarial patches in closed-box cross-spectral scenarios is proposed. MoXAttack incorporates a multipopulation constraint-handling technique, which uses both penalty functions and feasibility rules to guide the search process. Spectrum-aware genetic operators are introduced to enhance solution diversity and feasibility. The framework automatically optimizes the smooth to cross-spectral shared patch shape using curvature energy. In addition, MoXAttack utilizes singular value decomposition for visible spectrum texture perturbations and adjustable thermal shielding material thickness for infrared spectrum control. Experiments on the LLVIP dataset demonstrate that MoXAttack achieves competitive performance across multiple object detection models. Ablation studies reveal the positive impact of improved components on attack effectiveness. The multipatch strategy improves attack success rates by at least 17%, while optimized patch shapes outperform conventional geometric shapes by at least 25% in terms of mean average precision drop. In the physical world test, the proposed method shows stability in different viewing angles.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 10","pages":"7395-7409"},"PeriodicalIF":8.7,"publicationDate":"2025-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145090074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

IEEE Systems, Man, and Cybernetics Society Information IEEE系统、人与控制论学会信息

IF 8.6 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-18 DOI: 10.1109/TSMC.2025.3584486

引用次数: 0

IEEE Transactions on Systems, Man, and Cybernetics: Systems Publication Information IEEE系统、人与控制论汇刊：系统出版信息

IF 8.6 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-18 DOI: 10.1109/TSMC.2025.3584492

引用次数: 0

TechRxiv: Share Your Preprint Research With the World! techxiv：与世界分享你的预印本研究！

IF 8.6 1区计算机科学

IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2025-07-18 DOI: 10.1109/TSMC.2025.3584424

引用次数: 0