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

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.

来源：评论

学校读者我要写书评

暂无评论

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 New Approach to Determine Feasible Operating Region of Unbalanced Distribution Networks with Distributed Photovoltaics

引用

IEEE Transactions on Power Delivery 2025年第3期40卷 1493-1504页

作者： Prasad, Manorath Rather, Zakir Hussain Razzaghi, Reza Doolla, Suryanarayana Indian Institute of Technology Bombay Department of Energy Science and Engineering Mumbai India Monash University Department of Electrical and Computer Systems Engineering Melbourne Australia

Amidst rising distributed generation and its potential role in grid management, this article presents a new realistic approach to determine the operational space and flexibility potential of an unbalanced active distribution network. The feasible operating region of an active distribution network is constituted by its range of active-reactive power exchanges with the bulk power system without breaching network constraints. This study explores the potential of highly penetrated single- and three-phase distributed photovoltaics and voltage-sensitive loads to determine the feasible operating region at different operating points. The cumulative response of Volt-Var controlled distributed photovoltaics and voltage-sensitive loads determines the power flow at the bulk power system-active distribution network interconnection, ensuring feasibility with respect to voltage magnitude and unbalance constraints. Further, the correspondence of feasible operating region with the tap-settings of substation transformer enables a novel feature to traverse throughout the available operating region and facilitate bulk power system-active distribution network power coordination. Additionally, a nodal sensitivity-based adjustable Volt-Var control scheme is proposed for distributed photovoltaics, improving the feasible operating region. The proposed strategy is validated on bulk power systemactive distribution network integrated test system. Bulk power system: IEEE-9 bus system-Active distribution network: (highly unbalanced IEEE-13 bus distribution system (medium voltage) + modified CIGRE low voltage system). © 1986-2012 IEEE.

关键词： Power distribution networks

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：