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

Multi-step state-based opacity for unambiguous weighted machines

Science China(Information Sciences) 2024年第11期67卷 211-221页

作者： Zhipeng ZHANG Chengyi XIA Guoyuan QI Jun FU School of Artificial Intelligence Tiangong University School of Control Science and Engineering Tiangong University State Key Laboratory of Synthetical Automation for Process Industries Northeastern University

Opacity is a central concept in the issue of privacy security and has been studied extensively in fields such as finite automata, probabilistic automata, and stochastic automata. Here, we investigate the problem of validating multi-step opaque properties through unambiguous weighted machines from the perspective of cyber-physical systems. First, the notion of multi-step state-based opacity for unambiguous weighted machines is presented and defined. It includes two variants of delays with a finite K and infinite steps. Subsequently, the weighted state estimate with K(infinite)-step delay is established by abstracting the possible state set that the system could have through these weighted observations. Meanwhile, to keep the observable weighted sequence consistent between the bidirectional observers, the unobserved weights of the reverse weighted machine are assumed to be reserved. Subsequently, the existence conditions are developed, and the corresponding algorithms, termed the weighted bidirectional observer, are generalized to verify these properties. Finally, several numerical examples are illustrated to demonstrate the effectiveness of the proposed method. Taken together, the current approach will be conducive to a deep understanding of the security and privacy of cyber-physical systems.

关键词： logical dynamical systems weighted state machine state estimation opacity cyber physical systems

来源：评论

学校读者我要写书评

暂无评论

Distributed Adaptive Cooperative control for Human-in-the-Loop Heterogeneous UAV-UGV Systems with Prescribed Performance

IEEE Transactions on Intelligent Vehicles

引用

IEEE Transactions on Intelligent Vehicles 2024年 1-13页

作者： Liang, Hongjing Yang, Shoufeng Li, Tieshan Zhang, Huaguang School of Automation Engineering University of Electronic Science and Technology of China Chengdu China College of Control Science and Engineering Bohai University Jinzhou China State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang China

This paper focuses on the distributed adaptive cooperative control problem for human-in-the-loop (HiTL) heterogeneous unmanned aerial vehicle-unmanned ground vehicle (UAV-UGV) systems via an improved prescribed performance approach. A novel human motion recognition system (HMRS) is designed and integrated into the HiTL strategy. Specifically, the leader trajectory can be changed in real time based on HMRS and the leader signal library to cope with various unexpected situations. This HiTL strategy solves the discontinuity and non-differentiability problems that may exist before and after human modification of leader signals within the extremely short time in conventional HiTL strategies. Moreover, an improved predefined-time prescribed performance approach is proposed, in which the performance function only needs to be first-order continuous differentiable instead of infinite-order continuous differentiable. This approach can greatly broaden the selection range of performance functions. Furthermore, a unified model of heterogeneous UAV-UGV systems is established to avoid designing UAV and UGV systems separately, which improves the universality of the control algorithm. Finally, the proposed HiTL control scheme is applied to a simulation example to verify its feasibility and effectiveness. IEEE

关键词： Intelligent vehicle highway systems

来源：评论

学校读者我要写书评

暂无评论

Reinforcement learning for optimal tracking of large-scale systems with multitime scales

引用

Science China(Information Sciences) 2023年第7期66卷 5-29页

作者： Jinna LI Hao NIE Tianyou CHAI Frank L.LEWIS School of Information and Control Engineering Liaoning Petrochemical University State Key Laboratory of Synthetical Automation for Process Industries Northeastern University UTA Research Institute University of Texas at Arlington

This paper aims to solve an optimal tracking control(OTC) problem of large-scale systems with multitime scales and coupled subsystems using singular perturbation(SP) theory and reinforcement learning(RL) techniques. A considerable contribution of this paper is the development of a data-driven SP-based RL method for the OTC of unknown large-scale systems with multitime scales. To achieve this, a multitime scale tracking problem was decomposed into a linear quadratic tracker problem for slow subsystems and a dynamical game problem for fast subsystems using the SP theory. Then, the distributed composite feedback controllers were found using a distributed off-policy integral RL algorithm that uses only measured data from the system in real time. Thus, the operational index can follow its prescribed target value via an approximately optimal approach. Theoretical analysis and proof are presented to demonstrate that the sum of the performances of reduced-order subsystems is approximately equal to the performance of the original large-scale system. Finally, numerical and practical examples are provided to validate the effectiveness of the proposed method.

关键词： reinforcement learning singular perturbation multitime scales data-driven control

来源：评论

学校读者我要写书评

暂无评论

Adaptive Optimal Output Regulation of Interconnected Singularly Perturbed Systems With Application to Power Systems

引用

IEEE/CAA Journal of Automatica Sinica 2024年第3期11卷 595-607页

作者： Jianguo Zhao Chunyu Yang Weinan Gao Linna Zhou Xiaomin Liu the Engineering Research Center of Intelligent Control for Underground Space Ministry of EducationChina University of Mining and TechnologyXuzhou 221116 the School of Information and Control Engineering China University of Mining and TechnologyXuzhou 221116 IEEE the State Key Laboratory of Synthetical Automation for Process Industries Northeastern UniversityShenyang 110819China

This article studies the adaptive optimal output regulation problem for a class of interconnected singularly perturbed systems(SPSs) with unknown dynamics based on reinforcement learning(RL).Taking into account the slow and fast characteristics among system states,the interconnected SPS is decomposed into the slow time-scale dynamics and the fast timescale dynamics through singular perturbation *** the fast time-scale dynamics with interconnections,we devise a decentralized optimal control strategy by selecting appropriate weight matrices in the cost *** the slow time-scale dynamics with unknown system parameters,an off-policy RL algorithm with convergence guarantee is given to learn the optimal control strategy in terms of measurement *** combining the slow and fast controllers,we establish the composite decentralized adaptive optimal output regulator,and rigorously analyze the stability and optimality of the closed-loop *** proposed decomposition design not only bypasses the numerical stiffness but also alleviates the *** efficacy of the proposed methodology is validated by a load-frequency control application of a two-area power system.

关键词： Adaptive optimal control decentralized control output regulation reinforcement learning(RL) singularly perturbed systems(SPSs)

来源：评论

学校读者我要写书评

暂无评论

Electrical Scheme Digitization Using Deep Learning Methods 46

Electrical Scheme Digitization Using Deep Learning Methods

引用

46th ICT and Electronics Convention, MIPRO 2023

作者： Putak, Marko Baksa, Vatroslav Zuppa Bednjanec, Andrea Zagreb University of Applied Sciences/Automation and Process Control Engineering Zagreb Croatia

ISBN: (纸本)9789532331042

The use of software tools and applications progressively became a standard in both education and industry. A solution for hand-drawn electrical scheme digitization has been proposed to match the fast-paced dynamic of the modern world in the field of electrical engineering. The aim is to notably reduce time-consuming and error-prone electrical scheme tracing from hand-drawn to simulating software. The means have been achieved through the usage of state-of-the-art deep learning model YOLOv5 for electrical elements detection along with Python and OpenCV library for data processing. The user's input is an image of a hand-drawn circuit, and the end result is an LTspice digitized electrical scheme ready for simulation. © 2023 MIPRO Croatian Society.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

Graph-guided masked autoencoder for process anomaly detection

引用

process Safety and Environmental Protection 2024年 186卷 1345-1357页

作者： Jia, Mingwei Xu, Danya Yang, Tao Yao, Yuan Liu, Yi Institute of Process Equipment and Control Engineering Zhejiang University of Technology Hangzhou310023 China State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang110819 China Department of Chemical Engineering National Tsing Hua University Hsinchu300044 Taiwan

Developing an accurate and reliable anomaly detection model is of great significance for safe operation in the process industry. To minimize false positives, it is crucial to accurately model the intricate topological and nonlinear connections among variables. In this study, a process anomaly detection method based on graph-guided masked autoencoder (GGMAE) is proposed by introducing the concept of the graph to the process industry. GGMAE first constructs a topology graph according to the process flowchart. Then, the patch and mask mechanism forces GGMAE to learn the process intrinsic information to reconstruct the input according to the variable topological relationship and temporal characteristics. Additionally, Kullback-Leibler divergence is used as the loss to ensure that the distribution of input and output is consistent. Experiments on two publicly available anomaly detection benchmarks demonstrate the superiority of GGMAE over existing methods. Visualization of the results demonstrates the physically compliant reconstruction logic. © 2024 The Institution of Chemical Engineers

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Bayesian Filtering for High-Dimensional State-Space Models With State Partition and Error Compensation

引用

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1239-1249页

作者： Ke Li Shunyi Zhao Biao Huang Fei Liu Key Laboratory of Advanced Process Control for Light Industry(Ministry of Education) Institute of AutomationJiangnan UniversityWuxi 214122China Department of Chemical and Materials Engineering University of AlbertaEdmonton AB T6G 2G6Canada

In the era of exponential growth of data availability,the architecture of systems has a trend toward high dimensionality,and directly exploiting holistic information for state inference is not always computationally *** paper proposes a novel Bayesian filtering algorithm that considers algorithmic computational cost and estimation accuracy for high-dimensional linear *** high-dimensional state vector is divided into several blocks to save computation resources by avoiding the calculation of error covariance with immense *** that,two sequential states are estimated simultaneously by introducing an auxiliary variable in the new probability space,mitigating the performance degradation caused by state ***,the computational cost and error covariance of the proposed algorithm are analyzed analytically to show its distinct features compared with several existing *** results illustrate that the proposed Bayesian filtering can maintain a higher estimation accuracy with reasonable computational cost when applied to high-dimensional linear systems.

关键词： filtering estimation error

来源：评论

学校读者我要写书评

暂无评论

Graph convolutional network soft sensor for process quality prediction

引用

Journal of process control 2023年第1期123卷 12-25页

作者： Jia, Mingwei Xu, Danya Yang, Tao Liu, Yi Yao, Yuan Institute of Process Equipment and Control Engineering Zhejiang University of Technology Hangzhou310023 China State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang110819 China Department of Chemical Engineering National Tsing Hua University Hsinchu30013 Taiwan

The nonlinear time-varying characteristics of the process industry can be modeled using numerous data-driven soft sensor methods. However, the intrinsic relationships among the variables, especially the localized spatial–temporal correlations that shed light on model behavior, have received little attention. In this study, a soft sensor based on a graph convolutional network is constructed by introducing the concept of graph to process modeling. The focus is on obtaining localized spatial–temporal correlations that aid in comprehending the intricate interactions among the variables included in the soft sensor. The model is trained by considering the regularization terms and it learns distinctive localized spatial–temporal correlations in an end-to-end manner. Furthermore, long-term dependence is established via temporal convolution. Thus, both the localized spatial–temporal correlations and time-series properties are captured. The feasibility of the proposed soft sensor is illustrated using two fermentation processes. The localized spatial–temporal correlations of this case study are visualized, and they demonstrate that the soft sensor is not a black-box model;instead, it is consistent with process knowledge. © 2023 Elsevier Ltd

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Latent-Enhanced Variational Adversarial Active Learning Assisted Soft Sensor

引用

IEEE Sensors Journal 2023年第14期23卷 15762-15772页

作者： Dai, Yun Yang, Chao Liu, Yi Yao, Yuan Zhejiang University of Technology Institute of Process Equipment and Control Engineering Hangzhou310023 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110819 China National Tsing Hua University Department of Chemical Engineering Hsinchu300044 Taiwan

As the acquisition of variables that measure quality is typically challenging, labeled samples for building a model for soft sensors are often inadequate. Additionally, owing to the installation of redundant sensors, high-dimensional process data with strong correlations are acquired. Therefore, in this study, a sample selection strategy for active learning (AL), referred to as latent-enhanced variational adversarial AL (LVAAL), is developed to enhance quality prediction performance with limited labeled data. The LVAAL method uses a minimax game to explore the latent representation of the original data. Specifically, a latent-enhanced variational autoencoder (LEVAE) is used to deceive the adversarial network into predicting all samples, both labeled and unlabeled, as labeled. However, the adversarial network attempts to indicate the difference between latent representations. Subsequently, Gaussian process regression (GPR) is adopted as a base model for LVAAL. With the proposed LVAAL selection strategy, informative unlabeled samples are incrementally selected, thereby enhancing the prediction performance. The application results for a numerical case and an industrial example demonstrate the advantages of LVAAL compared with existing AL strategies. © 2001-2012 IEEE.

关键词： Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

Feedforward control of flat hybrid automata: a behavioral systems theory approach 63

Feedforward control of flat hybrid automata: a behavioral sy...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Zahn, Frederik Kleinert, Tobias Hagenmeyer, Veit Karlsruhe Institute of Technology Institute for Automation and Applied Informatics Karlsruhe Germany Rwth Aachen University Chair of Process Control Engineering Aachen Germany

ISBN: (纸本)9798350316339

Differential flatness has been defined in the literature for continuous time dynamical systems and for discrete time systems. We define flatness of automata from the perspective of behavioral systems theory, and synthesize a flatness definition for hybrid automata. These new definitions allow for feedforward trajectory generation for flat hybrid automata. Additionally, we provide necessary and sufficient conditions of hybrid automaton flatness for different types of continuous state constraints and switching conditions, and how to compute whether a hybrid automaton is flat. We illustrate feedforward trajectory generation based on our findings for a robotic manipulator example. © 2024 IEEE.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：