检索结果-内蒙古大学图书馆

作者： Yang, Zeyu He, Liang Yu, Hua Zhao, Chengcheng Cheng, Peng Chen, Jiming Zhejiang University State Key Laboratory of Industrial Control Technology Hangzhou310027 China University of Colorado Department of Computer Science and Engineering DenverCO80204 United States

Programmable logic controllers (PLCs), i.e., the core of control systems, are well-known to be vulnerable to a variety of cyber attacks. To mitigate this issue, we design PLC-Sleuth, a novel noninvasive intrusion detection/localization system for PLCs, which is built on a set of control invariants - i.e., the correlations between sensor readings and the concomitantly triggered PLC commands - that exist pervasively in all control systems. Specifically, taking the system's supervisory control and data acquisition log as input, PLC-Sleuth abstracts/identifies the system's control invariants as a control graph using data-driven structure learning, and then monitors the weights of graph edges to detect anomalies thereof, which is in turn, a sign of intrusion. We have implemented and evaluated PLC-Sleuth using both a platform of ethanol distillation system (EDS) and a realistically simulated Tennessee Eastman (TE) process. The results show that PLC-Sleuth can: 1) identify control invariants with 100%/98.11% accuracy for EDS/TE;2) detect PLC intrusions with 98.33%/0.85 ‰ true/false positives (TPs/FPs) for EDS and 100%/0% TP/FP for TE;and 3) localize intrusions with 93.22%/96.76% accuracy for EDS/TE. © 2014 IEEE.

关键词： Ethanol

来源：评论

学校读者我要写书评

暂无评论

Link Prediction with Physics-Inspired Graph Neural Networks

arXiv

引用

arXiv 2024年

作者： Di Francesco, Andrea Giuseppe Caso, Francesco Bucarelli, Maria Sofia Silvestri, Fabrizio Department of Computer Science Control and Management Engineering Sapienza University of Rome Rome Italy Institute of Information Science and Technologies"Alessandro Faedo" - ISTI-CNR Pisa Italy

The message-passing mechanism underlying Graph Neural Networks (GNNs) is not naturally suited for heterophilic datasets, where adjacent nodes often have different labels. Most solutions to this problem remain confined to the task of node classification. In this article, we focus on the valuable task of link prediction under heterophily, an interesting problem for recommendation systems, social network analysis, and other applications. GNNs like GRAFF have improved node classification under heterophily by incorporating physics biases in the architecture. Similarly, we propose GRAFF-LP, an extension of GRAFF for link prediction. We show that GRAFF-LP effectively discriminates existing from non-existing edges by learning implicitly to separate the edge gradients. Based on this information, we propose a new readout function inspired by physics. Remarkably, this new function not only enhances the performance of GRAFF-LP but also improves that of other baseline models, leading us to reconsider how every link prediction experiment has been conducted so far. Finally, we provide evidence that even simple GNNs did not experience greater difficulty in predicting heterophilic links compared to homophilic ones. This leads us to believe in the necessity for heterophily measures specifically tailored for link prediction, distinct from those used in node classification. The code for reproducing our experiments is available at this URL https://***/r/Link_ Prediction_with_PIGNN_IJCNN-F03F/. Copyright © 2024, The Authors. All rights reserved.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors

Thermal Digital Twin of a Multi-Domain System for Discoverin...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Francesco Tosoni Nicola Dall’Ora Enrico Fraccaroli Sara Vinco Franco Fummi Department of Engineering for Innovation Medicine University of Verona Italy Department of Computer Science University of North Carolina at Chapel Hill USA Department of Control and Computer Engineering Politecnico di Torino Italy

Constructing a holistic digital twin of a system composed of multiple physical domains is crucial for various tasks. In particular, when the simulation is extended with faults, it becomes a very important resource to achieve robust functional safety analysis. This article proposes a new methodology to build non-electrical fault models for the thermal domain. Such thermal faults are defined through an electrical circuit representing the thermal behavior of the system, known as the Cauer network, based on the physical analogies between the two domains. Including this thermal representation in a multi-domain system allows to simulate the interconnections between different physical domains, thus achieving a more realistic system behavior and evaluating the mutual impact of different domains (e.g., mechanical, electrical and thermal). The entire methodology is applied to a complex case of study implemented by using Verilog-AMS as a proof of concept.

关键词：

来源：评论

学校读者我要写书评

暂无评论

One-Dimensional EEG Artifact Removal Network Based on Convolutional Neural Networks

Journal of Network Intelligence

引用

Journal of Network Intelligence 2024年第1期9卷 142-159页

作者： Xiong, Jun Meng, Xiang-Long Chen, Zhao-Qi Wang, Chuan-Sheng Zhang, Fu-Quan Grau, Antoni Chen, Yang Huang, Jing-Wei School of Computer and Data Science Minjiang University Fuzhou University Town No. 200 Xiyuangong Road Fuzhou China College of Electronic Engineering Shandong University of Science and Technology No. 579 Qianwangang Road Huangdao District Qingdao China College of Computer and Big Data Fuzhou University Fuzhou University Town No. 2 Wulongjiang North Road Fuzhou China Department of Automatic Control Technical Polytechnic University of Catalonia Autonomous Region of Catalonia Barcelona Spain Digital Media Art Key Laboratory of Sichuan Province Sichuan Conservatory of Music Fuzhou Technology Innovation Center of intelligent Manufacturing information System Minjiang University Fuzhou University Town No. 200 Xiyuangong Road Fuzhou China Fujian Province University No. 1 Campus New Village Longjiang Street Fuqing China School of Mechanical and Automotive Engineering Fujian University of Technology No. 33 Xuefu South Road University New District Fuzhou China

The electroencephalogram (EEG) serves as a significant tool in the realms of clinical medicine, cerebral investigation, and neurological disorders research. However, the EEG records we obtain are often easily contaminated by various artifacts, which can blur or distort the underlying EEG signals and make data interpretation difficult. Generally speaking, removing EEG artifacts is considered an essential step in brain signal analysis. Therefore, removing artifacts is crucial for obtaining accurate and reliable EEG signals for subsequent analysis. Recently, deep learning techniques have found widespread application across various domains for denoising tasks, including image denoising and EEG denoising. Many advanced algorithms have been developed in image denoising, which has achieved good results in enhancing low-quality images. Moreover, it has shown superior performance in EEG denoising. In contrast, few people have devoted themselves to studying EEG denoising, and existing convolutional neural network EEG denoising methods still have problems of overfitting and poor denoising effect in Electromyograph(EMG) and ElectroOculoGram(EOG) artifact removal. Therefore, this paper proposes a method called DWINet (De-artifacting with Image-based Network for EEG Signals) based on an image dehazing network DRHNet for removing artifacts from EEG signals. Specifically, our approach DWINet, addresses the de-artifacting issue in EEG signals by converting it as an image dehazing problem and utilizes the image dehazing capability of DRHNet to enhance the denoising performance of EEG signals. Experimental results demonstrate that the proposed method outperforms the compared algorithms in removing the ocular artifact in EEG signals and exhibits higher accuracy and robustness. © 2024, J. Network Intell. All rights reserved.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Synthesis of Decentralized Variable Gain Robust controllers with Guaranteed L2Gain Performance via Piecewise Lyapunov Functions for a Class of Uncertain Large-Scale Interconnected Systems 48

Synthesis of Decentralized Variable Gain Robust Controllers ...

引用

48th Annual Conference of the IEEE Industrial Electronics Society, IECON 2022

作者： Nagai, Shunya Oya, Hidetoshi Kubo, Tomohiro Matsuki, Tsuyoshi Niihama College Department of Electronics and Control Engineering Ehime Japan Tokyo City University Faculty of Knowledge Engineering Department of Computer Science Tokyo Japan Tokushima University Graduate School of Technology Industrial and Social Sciences Tokushima Japan

ISBN: (数字)9781665480253

ISBN: (纸本)9781665480253

For a class of uncertain large-scale interconnected systems, a design method of decentralized variable gain robust controllers with guaranteed { mathcal{L}-{{2}}} gain performance based on piecewise Lyapunov functions is shown in this paper. Furthermore, LMI-based sufficient conditions for the existence of the proposed decentralized variable gain robust controller are shown. Finally, the effectiveness of the proposed robust controller is presented through a simple numerical example. © 2022 IEEE.

关键词： Lyapunov functions

来源：评论

学校读者我要写书评

暂无评论

Hybrid Ensemble-Learning Approach for Renewable Energy Resources Evaluation in Algeria

引用

computers, Materials & Continua 2022年第6期71卷 5837-5854页

作者： El-Sayed M.El-Kenawy Abdelhameed Ibrahim Nadjem Bailek Kada Bouchouicha Muhammed A.Hassan Basharat Jamil Nadhir Al-Ansari Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansouraEgypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura 35712Egypt Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansouraEgypt Energies and Materials Research Laboratory Faculty of Sciences and TechnologyUniversity of Tamanghasset10034TamanghassetAlgeria URERMS Centre de Developpement des Energies Renouvelables(CDER)01000AdrarAlgeria Mechanical Power Engineering Department Faculty of EngineeringCairo UniversityGiza12613GizaEgypt Department Computer Sciences Universidad Rey Juan CarlosMostoles28933MadridSpain Department of Civil Environmental and Natural Resources EngineeringLulea University of Technology97187LuleaSweden

In order to achieve a highly accurate estimation of solar energy resource potential,a novel hybrid ensemble-learning approach,hybridizing Advanced Squirrel-Search Optimization Algorithm(ASSOA)and support vector regression,is utilized to estimate the hourly tilted solar irradiation for selected arid regions in ***-term measured meteorological data,including mean-air temperature,relative humidity,wind speed,alongside global horizontal irradiation and extra-terrestrial horizontal irradiance,were obtained for the two cities of Tamanrasset-and-Adrar for two *** computational algorithms were considered and analyzed for the suitability of *** two new algorithms,namely Average Ensemble and Ensemble using support vector regression were developed using the hybridization *** accuracy of the developed models was analyzed in terms of five statistical error metrics,as well as theWilcoxon rank-sum and ANOVA *** the previously selected algorithms,K Neighbors Regressor and support vector regression exhibited good ***,the newly proposed ensemble algorithms exhibited even better *** proposed model showed relative root mean square errors lower than 1.448%and correlation coefficients higher than *** was further verified by benchmarking the new ensemble against several popular swarm intelligence *** is concluded that the proposed algorithms are far superior to the commonly adopted ones.

关键词： Renewable energy resources hybrid modeling tilted solar irradiation arid region

来源：评论

学校读者我要写书评

暂无评论

Contracting Skeletal Kinematic Embeddings for Anomaly Detection

SSRN

引用

SSRN 2023年

作者： Flaborea, Alessandro D’Amely di Melendugno, Guido Maria D’Arrigo, Stefano Sterpa, Marco Aurelio Sampieri, Alessio Galasso, Fabio Department of Computer Science Sapienza University of Rome Italy Department of Computer Control and Management Engineering Sapienza University of Rome Italy Department of Earth Sciences and Forecasting Research Center Prevention and Control of Geological Risks

Detecting the anomaly of human behavior is paramount to timely recognizing endangering situations, such as street fights or elderly falls. However, anomaly detection is complex, since anomalous events are rare and because it is an open set recognition task, i.e., what is anomalous at inference has not been observed at training. We propose COSKAD, a novel model which encodes skeletal human motion by an efficient graph convolutional network and learns to COntract SKeletal kinematic embeddings onto a latent hypersphere of minimum volume for Anomaly Detection. We propose and analyze three latent space designs for COSKAD: the commonly-adopted Euclidean, and the new spherical-radial and hyperbolic volumes. All three variants outperform the state-of-the-art, including video-based techniques, on the ShangaiTechCampus, the Avenue, and on the most recent UBnormal dataset, for which we contribute novel skeleton annotations and the selection of human-related *** source code and dataset will be released upon acceptance. © 2023, The Authors. All rights reserved.

关键词： Kinematics

来源：评论

学校读者我要写书评

暂无评论

FISS GAN:A Generative Adversarial Network for Foggy Image Semantic Segmentation

引用

IEEE/CAA Journal of automatica Sinica 2021年第8期8卷 1428-1439页

作者： Kunhua Liu Zihao Ye Hongyan Guo Dongpu Cao Long Chen Fei-Yue Wang School of Computer Science and Engineering Sun Yat-sen UniversityGuangzhou 510006China State Key Laboratory of Automotive Simulation and Control and the Department of Control Science and Engineering Jilin University(Campus Nanling)Changchun 130025China Mechanical and Mechatronics Engineering Department at the University of Waterloo 200 University Avenue West WaterlooON N2L 3G1Canada State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190 Institute of Systems Engineering Macao University of Science and TechnologyMacao 999078China

Because pixel values of foggy images are irregularly higher than those of images captured in normal weather(clear images),it is difficult to extract and express their *** method has previously been developed to directly explore the relationship between foggy images and semantic segmentation *** investigated this relationship and propose a generative adversarial network(GAN)for foggy image semantic segmentation(FISS GAN),which contains two parts:an edge GAN and a semantic segmentation *** edge GAN is designed to generate edge information from foggy images to provide auxiliary information to the semantic segmentation *** semantic segmentation GAN is designed to extract and express the texture of foggy images and generate semantic segmentation *** on foggy cityscapes datasets and foggy driving datasets indicated that FISS GAN achieved state-of-the-art performance.

关键词： Edge GAN foggy images foggy image semantic segmentation GAN semantic segmentation

来源：评论

学校读者我要写书评

暂无评论

Distributed Sequential Receding Horizon control of Multi-Agent Systems Under Recurring Signal Temporal Logic

Distributed Sequential Receding Horizon Control of Multi-Age...

引用

European control Conference (ECC)

作者： Eleftherios E. Vlahakis Lars Lindemann Dimos V. Dimarogonas Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden Thomas Lord Department of Computer Science Viterbi School of Engineering University of Southern California Los Angeles CA USA

ISBN: (数字)9783907144107

ISBN: (纸本)9798331540920

We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently over an infinite horizon. Motivated by the limited approaches to handling recurring STL systematically, we tackle the infinite-horizon control problem with a receding horizon scheme equipped with additional STL constraints that introduce minimal complexity and a backward-reachability-based terminal condition that is straightforward to construct and ensures recursive feasibility. Subsequently, we decompose the global receding horizon optimization problem into agent-level programs the objectives of which are to minimize local cost functions subject to local and joint STL constraints. We propose a scheduling policy that allows individual agents to sequentially optimize their control actions while maintaining recursive feasibility. This results in a distributed strategy that can operate online as a model predictive controller. Last, we illustrate the effectiveness of our method via a multi-agent system example assigned a surveillance task.

关键词： Surveillance Decentralized control Europe Predictive models Fasteners Cost function Infinite horizon

来源：评论

学校读者我要写书评

暂无评论

Geometric Reachability for Attitude control Systems via Contraction Theory

arXiv

引用

arXiv 2025年

作者： Xu, Chencheng Jafarpour, Saber Zhao, Chengcheng Shi, Zhiguo Chen, Jiming College of Information Science and Electronic Engineering Zhejiang University Hangzhou China Department of Electrical Computer and Energy Engineering University of Colorado Boulder BoulderCO United States College of Control Science and Engineering Zhejiang University Hangzhou China

In this paper, we present a geometric framework for the reachability analysis of attitude control systems. We model the attitude dynamics on the product manifold SO(3) × 3 and introduce a novel parametrized family of Riemannian metrics on this space. Using contraction theory on manifolds, we establish reliable upper bounds on the Riemannian distance between nearby trajectories of the attitude control systems. By combining these trajectory bounds with numerical simulations, we provide a simulation-based algorithm to over-approximate the reachable sets of attitude systems. We show that the search for optimal metrics for distance bounds can be efficiently performed using semidefinite programming. Additionally, we introduce a practical and effective representation of these over-approximations on manifolds, enabling their integration with existing Euclidean tools and software. Numerical experiments validate the effectiveness of the proposed approach. Copyright © 2025, The Authors. All rights reserved.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：