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

International Conference on Computing, Networking and Communications (ICNC)

作者： Torkzaban, Nariman Gholami, Anousheh Baras, John S. Institute for Systems Research Department of Electrical & Computer Engineering United States

ISBN: (纸本)9798350371000;9798350370997

With 5G and beyond promises to realize massive machine-type communications, a wide range of applications have driven interest in complex heterogeneous networked systems, including multi-agent optimization, large-scale distributed learning, 5G service provisioning, etc. This trend highlights the essence of seamless control, management, and security mechanisms to be in place for the next-generation networked cyber-physical systems (CPS). In this paper, we interpret trust as a relation among networked collaborating entities that can set forth a measure for evaluating the status of network components and secure the execution of the collaborative protocol. In this paper, we will first elaborate on the importance of trust as a metric and then present a mathematical framework for trust computation and aggregation within a network. We consider two use-case examples where trust can be incorporated into the next-generation networked CPS and improve the security of decision-making, i.e. i) federated learning (FL), and ii) network resource provisioning. Finally, we explain the challenges associated with aggregating the trust evidence and briefly explain our ideas to tackle them.

关键词： Cyber-physical systems trust model trusted federated learning trusted network service placement

来源：评论

学校读者我要写书评

暂无评论

Data-driven output regulation control for constrained linear systems

引用

Science China(Information Sciences) 2025年第3期68卷 338-353页

作者： Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology

This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking performance while satisfying the state and input constraints, even when system matrices are not available. We first establish a sufficient condition necessary for the existence of a solution pair to the regulator equation and propose a data-based approach to obtain the feedforward and feedback control gains for state feedback control using linear programming. Furthermore, we design a refined Luenberger observer to accurately estimate the system state, while keeping the estimation error within a predefined set. By combining output regulation theory, we develop an output feedback control strategy. The stability of the closed-loop system is rigorously proved to be asymptotically stable by further leveraging the concept of λ-contractive sets.

关键词： output regulation constrained system data-driven.

来源：评论

学校读者我要写书评

暂无评论

Robust Resource Sharing in Network Slicing via Hypothesis Testing

引用

IEEE Transactions on Network and Service Management 2025年第3期22卷 2731-2746页

作者： Nikolaidis, Panagiotis Baras, John Institute for Systems Research University of Maryland at College Park Department of Electrical and Computer Engineering College ParkMD20742 United States

In network slicing, the network operator needs to satisfy the service level agreements of multiple slices at the same time and on the same physical infrastructure. To do so with reduced provisioned resources, the operator may consider resource sharing mechanisms. However, each slice then becomes susceptible to traffic surges in other slices which degrades performance isolation. To maintain both high efficiency and high isolation, we propose the introduction of hypothesis testing in resource sharing. Our approach comprises two phases. In the trial phase, the operator obtains a stochastic model for each slice that describes its normal behavior, provisions resources and then signs the service level agreements. In the regular phase, whenever there is resource contention, hypothesis testing is conducted to check which slices follow their normal behavior. Slices that fail the test are excluded from resource sharing to protect the well-behaved ones. We test our approach on a mobile traffic dataset. Results show that our approach fortifies the service level agreements against unexpected traffic patterns and achieves high efficiency via resource sharing. Overall, our approach provides an appealing tradeoff between efficiency and isolation. © 2004-2012 IEEE.

关键词： Resource management Quality of service Testing Service level agreements Network slicing Bandwidth Traffic control Costs Delays Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

A State-Migration Particle Swarm Optimizer for Adaptive Latent Factor Analysis of High-Dimensional and Incomplete Data

引用

IEEE/CAA Journal of Automatica Sinica 2024年第11期11卷 2220-2235页

作者： Jiufang Chen Kechen Liu Xin Luo Ye Yuan Khaled Sedraoui Yusuf Al-Turki MengChu Zhou IEEE the College of Computer Science and Technology Chongqing University of Posts and Telecommunications the Department of Computer Science Columbia University the College of Computer and Information Science Southwest University the Department of Electrical and Computer Engineering Faculty of Engineeringand also with K.A.CARE Energy Research and Innovation CenterKing Abdulaziz University the Center of Research Excellence in Renewable Energy and Power Systems the Department of Electrical and Computer EngineeringFaculty of Engineeringand also with K.A.CARE Energy Research and Innovation CenterKing Abdulaziz University the Department of Electrical and Computer Engineering New Jersey Institute of Technology

High-dimensional and incomplete(HDI) matrices are primarily generated in all kinds of big-data-related practical applications. A latent factor analysis(LFA) model is capable of conducting efficient representation learning to an HDI matrix,whose hyper-parameter adaptation can be implemented through a particle swarm optimizer(PSO) to meet scalable ***, conventional PSO is limited by its premature issues,which leads to the accuracy loss of a resultant LFA model. To address this thorny issue, this study merges the information of each particle's state migration into its evolution process following the principle of a generalized momentum method for improving its search ability, thereby building a state-migration particle swarm optimizer(SPSO), whose theoretical convergence is rigorously proved in this study. It is then incorporated into an LFA model for implementing efficient hyper-parameter adaptation without accuracy loss. Experiments on six HDI matrices indicate that an SPSO-incorporated LFA model outperforms state-of-the-art LFA models in terms of prediction accuracy for missing data of an HDI matrix with competitive computational ***, SPSO's use ensures efficient and reliable hyper-parameter adaptation in an LFA model, thus ensuring practicality and accurate representation learning for HDI matrices.

关键词： Data science generalized momentum high-dimensional and incomplete(HDI)data hyper-parameter adaptation latent factor analysis(LFA) particle swarm optimization(PSO)

来源：评论

学校读者我要写书评

暂无评论

Empirical Wavelet Transform Based Method for Identification and Analysis of Sub-synchronous Oscillation Modes Using PMU Data

引用

Journal of Modern Power systems and Clean Energy 2024年第1期12卷 34-40页

作者： Joice G.Philip Jaesung Jung Ahmet Onen the Department of Energy Systems Research Ajou UniversitySuwonSouth Korea the Department of Electrical and Electronic Engineering Abdullah Gul UniversityKayseri38080Turkey the Department of Electrical and Computer Engineering College of EngineeringSultan Qaboos UniversityAl-KhoudMuscatOman

This paper proposes an empirical wavelet transform(EWT)based method for identification and analysis of sub-synchronous oscillation(SSO)modes in the power system using phasor measurement unit(PMU)*** phasors from PMUs are preprocessed to check for the presence of *** the presence is established,the signal is decomposed using EWT and the parameters of the mono-components are estimated through Yoshida *** superiority of the proposed method is tested using test signals with known parameters and simulated using actual SSO signals from the Hami Power Grid in Northwest *** show the effectiveness of the proposed EWT-Yoshida method in detecting the SSO and estimating its parameters.

关键词： Empirical wavelet transform(EWT) sub-synchronous oscillation Prony-based method Yoshida algorithm variational mode decomposition phasor measurement unit(PMU)

来源：评论

学校读者我要写书评

暂无评论

A Data-driven Variable Reduction Approach for Transmission-constrained Unit Commitment of Large-scale systems

引用

Journal of Modern Power systems and Clean Energy 2023年第1期11卷 254-266页

作者： Yuzhou Zhou Qiaozhu Zhai Lei Wu Moammad Shahidehpour Systems Engineering Institute MOEKLINNS LabXi’an Jiaotong UniversityXi’an 710049China Electrical and Computer Engineering Department Stevens Institute of TechnologyHobokenU.S. Electrical and Computer Engineering Department Illinois Institute of TechnologyChicagoU.S. IEEE

This paper presents a data-driven variable reduction approach to accelerate the computation of large-scale transmission-constrained unit commitment(TCUC).Lagrangian relaxation(LR)and mixed-integer linear programming(MILP)are popular approaches to solving ***,with many binary unit commitment variables,LR suffers from slow convergence and MILP presents heavy computation *** proposed data-driven variable reduction approach consists of offline and online calculations to accelerate computational performance of the MILP-based large-scale TCUC problems.A database including multiple nodal net load intervals and the corresponding TCUC solutions is first built offline via the data-driven and all-scenario-feasible(ASF)approaches,which is then leveraged to efficiently solve new TCUC instances ***/off statuses of considerable units can be fixed in the online calculation according to the database,which would reduce the computation burden while guaranteeing good solution quality for new TCUC instances.A feasibility proposition is proposed to promptly check the feasibility of the new TCUC instances with fixed binary variables,which can be used to dynamically tune parameters of binary variable fixing strategies and guarantee the existence of feasible UC solutions even when system structure *** tests illustrate the efficiency of the proposed approach.

关键词： Unit commitment accelerated algorithm data driven variable reduction

来源：评论

学校读者我要写书评

暂无评论

Methods for class-imbalanced learning with support vector machines: a review and an empirical evaluation

引用

Soft Computing 2024年第20期28卷 11873-11894页

作者： Rezvani, Salim Pourpanah, Farhad Lim, Chee Peng Wu, Q. M. Jonathan Department of Computer Science Ryerson University TorontoON Canada Department of Electrical and Computer Engineering University of Windsor WindsorON Canada Institute for Intelligent Systems Research and Innovation Deakin University GeelongVIC Australia

This paper presents a review on methods for class-imbalanced learning with the Support Vector Machine (SVM) and its variants. We first explain the structure of SVM and its variants and discuss their inefficiency in learning with class-imbalanced data sets. We introduce a hierarchical categorization of SVM-based models with respect to class-imbalanced learning. Specifically, we categorize SVM-based models into re-sampling, algorithmic, and fusion methods, and discuss the principles of the representative models in each category. In addition, we conduct a series of empirical evaluations to compare the performances of various representative SVM-based models in each category using benchmark imbalanced data sets, ranging from low to high imbalanced ratios. Our findings reveal that while algorithmic methods are less time-consuming owing to no data pre-processing requirements, fusion methods, which combine both re-sampling and algorithmic approaches, generally perform the best, but with a higher computational load. A discussion on research gaps and future research directions is provided. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Cybersecurity Landscape on Remote State Estimation:A Comprehensive Review

引用

IEEE/CAA Journal of Automatica Sinica 2024年第4期11卷 851-865页

作者： Jing Zhou Jun Shang Tongwen Chen the Department of Electrical and Computer Engineering University of AlbertaEdmonton AB T6G 1H9Canada the Department of Control Science and Engineering and Shanghai Research Institute for Intelligent Autonomous Systems Tongji UniversityShanghai 200092China

Cyber-physical systems(CPSs)have emerged as an essential area of research in the last decade,providing a new paradigm for the integration of computational and physical units in modern control *** state estimation(RSE)is an indispensable functional module of ***,it has been demonstrated that malicious agents can manipulate data packets transmitted through unreliable channels of RSE,leading to severe estimation performance *** paper aims to present an overview of recent advances in cyber-attacks and defensive countermeasures,with a specific focus on integrity attacks against ***,two representative frameworks for the synthesis of optimal deception attacks with various performance metrics and stealthiness constraints are discussed,which provide a deeper insight into the vulnerabilities of ***,a detailed review of typical attack detection and resilient estimation algorithms is included,illustrating the latest defensive measures safeguarding RSE from ***,some prevalent attacks impairing the confidentiality and data availability of RSE are examined from both attackers'and defenders'***,several challenges and open problems are presented to inspire further exploration and future research in this field.

关键词： Cyber-attacks Kalman filtering remote state estimation unreliable transmission channels

来源：评论

学校读者我要写书评

暂无评论

Embeddings Between State and Action Based Probabilistic Logics

引用

Formal Aspects of Computing 2025年第2期37卷 1-58页

作者： Das, Susmoy Sharma, Arpit Department of Electrical Engineering and Computer Science Indian Institute of Science Education and Research Bhopal Madhya Pradesh Bhopal India

This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the literature to allow invisible computation steps and the preservation of forward and backward bisimulation relations. Next, we propose the syntax and semantics of an action-based Probabilistic Computation Tree Logic (APCTL) and an action-based PCTL∗(APCTL∗) interpreted over action-labeled discrete-time Markov chains (ADTMCs). We show that both these logics are strictly more expressive than the probabilistic variant of Hennessy-Milner logic (prHML). We define an embedding aldl which can be used to construct APCTL∗formulae from PCTL∗formulae and an embedding sldl from APCTL∗formulae to PCTL∗formulae. Similarly, we define the embeddings and from PCTL to APCTL and APCTL to PCTL, respectively. We also define the reward-based variant of APCTL (APRCTL) interpreted over action-based Markov Reward Models (AMRM), and accordingly modify the logical embeddings and which allows us to take into account the notion of rewards. Additionally, we also show that the idea of rewards can be used to reason about the bounded until operator in PCTL and APCTL. Finally, we prove that our logical embeddings combined with the model embeddings enable one to minimize, analyze, and verify probabilistic models in one domain using state-of-the-art tools and techniques developed for the other domain. In order to validate the efficacy of our theoretical framework, we apply it to two case studies using the probabilistic symbolic model checker (PRISM). © 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Probabilistic Markov chain equivalence bisimulation logic embeddings rewards model checking

来源：评论

学校读者我要写书评

暂无评论

Stability Investigation and Improvement for DC Cascade systems with Simplified Impedance-based Stability Criterion

引用

CSEE Journal of Power and Energy systems 2024年第3期10卷 1044-1052页

作者： Junbin Fang Zhikang Shuai Yang Li Zhibing Wang Xiangyang Wu Xia Shen Z.John Shen College of Electrical and Information Engineering Hunan UniversityChangsha 410082China Renewable Energy Department of China Electric Power Research Institute Beijing 100192China Department of Electrical and Computer Engineering Illinois Institute of TechnologyChicagoIL 60616USA IEEE

In DC distributed power systems(DPSs),the complex impedance interactions possibly lead to DC bus voltage oscillation or *** previous research,the stability analysis of DPSs is implemented based on mathematical analysis in control *** specific mechanisms of the instability of the cascade system have not been intuitively *** this paper,the stability analysis of DPSs based on the traditional Nyquist criterion is simplified to the resonance analysis of the seriesconnected port impedance(Z=R+jX)of source and load *** reveals that the essential reason for impedance instability of a DC cascade system is that the negative damping characteristic(R<0)of the port the overall impedance amplifies the internal resonance source at reactance zero-crossing *** simplified stability criterion for DC cascade systems can be concluded as:in the negative damping frequency ranges(R<0),there exists no zero-crossing point of the reactance component(i.e.,X=0).According to the proposed stability criterion,the oscillation modes of cascade systems are classified.A typical one is the internal impedance instability excited by the negative damping,and the other one is that the external disturbance amplified by negativity in a low stability ***,the impedance reshaping method for stability improvement of the system can be further *** validity of the simplified criterion is verified theoretically and experimentally by a positive damping reshaping method.

关键词： DC cascaded system,impedance model impedance reconstruction stability criterion

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：