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

IEEE Conference on Decision and control

作者： Dominik Baumann Krzysztof Kowalczyk Koen Tiels Paweł Wachel Department of Electrical Engineering and Automation Aalto University Espoo Finland Department of Information Technology Uppsala University Uppsala Sweden Department of Control Systems and Mechatronics Wrocław University of Science and Technology Wrocław Poland Department of Mechanical Engineering Eindhoven University of Technology Eindhoven The Netherlands

Safety is an essential asset when learning control policies for physical systems, as violating safety constraints during training can lead to expensive hardware damage. In response to this need, the field of safe learning has emerged with algorithms that can provide probabilistic safety guarantees without knowledge of the underlying system dynamics. Those algorithms often rely on Gaussian process inference. Unfortunately, Gaussian process inference scales cubically with the number of data points, limiting applicability to high-dimensional and embedded systems. In this paper, we propose a safe learning algorithm that provides probabilistic safety guarantees but leverages the Nadaraya-Watson estimator instead of Gaussian processes. For the Nadaraya-Watson estimator, we can reach logarithmic scaling with the number of data points. We provide theoretical guarantees for the estimates, embed them into a safe learning algorithm, and show numerical experiments on a simulated seven-degrees-of-freedom robot manipulator.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Structural Coverability for Intelligent automation systems

Structural Coverability for Intelligent Automation Systems

引用

IEEE International Conference on automation Science and engineering (CASE)

作者： Endre Erós Kristofer Bengtsson Knut Åkesson Electrical Engineering Systems and Control Department Automation Research Group Chalmers University of Technology Gothenburg Sweden Volvo Group as Senior Researcher for Smart and Connected Operations Research and Technology Development Gothenburg Sweden

In order to be flexible and handle complex scenarios, intelligent automation systems might benefit from automated planning techniques which rely on specifications and models describing their behavior. However, due to the presence of message passing, latency, jitter, timeouts, failures, and error handling, the verification of such behavior models using formal methods is often unfeasible. Therefore, testing has emerged as an approach to evaluating the behavior of intelligent automation systems. This paper presents a way to analyze structural coverability of behavior models for intelligent automation systems, which is inspired by the modified condition/decision coverage (MC/DC) criterion. This is paired with a testing procedure that enables each test case to influence both the controller and the simulated environment by injecting some specific state. As a result, the proposed coverability criterion can effectively identify segments of the behavior model that have not been adequately tested and suggest additional test cases to improve coverability. An example use case is presented to demonstrate the effectiveness of this approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Open-/Closed-loop Active Learning for Data-driven Predictive control

arXiv

引用

arXiv 2024年

作者： Feng, Shilun Shi, Dawei Shi, Yang Zheng, Kaikai The State Key Laboratory of Intelligent Control and Decision of Complex Systems MIIT Key Laboratory of Servo Motion System Drive and Control School of Automation Beijing Institute of Technology Beijing100081 China The Department of Mechanical Engineering Faculty of Engineering University of Victoria VictoriaBCV8N 3P6 Canada

An important question in data-driven control is how to obtain an informative dataset. In this work, we consider the problem of effective data acquisition of an unknown linear system with bounded disturbance for both open-loop and closed-loop stages. The learning objective is to minimize the volume of the set of admissible systems. First, a performance measure based on historical data and the input sequence is introduced to characterize the upper bound of the volume of the set of admissible systems. On the basis of this performance measure, an open-loop active learning strategy is proposed to minimize the volume by actively designing inputs during the open-loop stage. For the closed-loop stage, an closed-loop active learning strategy is designed to select and learn from informative closed-loop data. The efficiency of the proposed closed-loop active learning strategy is proved by showing that the unselected data cannot benefit the learning performance. Furthermore, an adaptive predictive controller is designed in accordance with the proposed data acquisition approach. The recursive feasibility and the stability of the controller are proved by analyzing the effect of the closed-loop active learning strategy. Finally, numerical examples and comparisons illustrate the effectiveness of the proposed data acquisition strategy. Copyright © 2024, The Authors. All rights reserved.

关键词： Active learning

来源：评论

学校读者我要写书评

暂无评论

Depth-Aware Multi-Modal Fusion for Generalized Zero-Shot Learning 22

Depth-Aware Multi-Modal Fusion for Generalized Zero-Shot Lea...

引用

22nd IEEE International Conference on Industrial Informatics, INDIN 2024

作者： Cao, Weipeng Yao, Xuyang Xu, Zhiwu Pan, Yinghui Sun, Yixuan Li, Dachuan Qiu, Bohua Wei, Muheng Shenzhen China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Stony Brook University New York United States Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Shenzhen China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China ZhenDui Industry Artificial Intelligence Co. Ltd Shenzhen China Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China

ISBN: (纸本)9798331527471

Realizing Generalized Zero-Shot Learning (GZSL) based on large models is emerging as a prevailing trend. However, most existing methods merely regard large models as black boxes, solely leveraging the features output by the final layer while disregarding potential performance enhancements from other layers. Indeed, numerous researchers have visually depicted variations in the features learned across different layers of neural networks. Motivated by this observation, we propose a Vision Transformer (ViT)-based GZSL method named Depth-Aware Multi-Modal ViT (DAM2ViT), which exploits multi-level features of ViT. DAM2ViT incorporates a multi-modal interaction block to align semantic information of categories across multiple layers, thereby augmenting the model’s capacity to learn associations between visual and semantic spaces. Extensive experiments conducted on three benchmark datasets (i.e., CUB, SUN, AWA2) have showcased that DAM2ViT achieves competitive results compared to state-of-the-art methods. © 2024 IEEE.

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Finite-time sliding-mode control for semi-Markov systems with delayed impulses

引用

IEEE/CAA Journal of Automatica Sinica 2025年

作者： Ren, Fangmin Wang, Xiaoping Li, Yangmin Zeng, Zhigang The School of Artificial Intelligence and Automation The Key Laboratory of Image Processing and Intelligent Control of Education Ministry of China Hubei Key Laboratory of Braininspired Intelligent Systems Huazhong University of Science and Technology Wuhan430074 China The Department of Industrial and Systems Engineering The Hong Kong Polytechnic University Hong Kong999077 Hong Kong

来源：评论

学校读者我要写书评

暂无评论

Damping Linearization of Ankle Prosthesis Based on Electro-Hydrostatic Actuation

Damping Linearization of Ankle Prosthesis Based on Electro-H...

引用

2022 CSAA/IET International Conference on Aircraft Utility systems, AUS 2022

作者： Dong, Dengpeng Wang, Xingjian Tian, Xinyu Wang, Shaoping Wei, Yi Gavrilov, Alexander I. School of Automation Science and Electrical Engineering Beihang University Beijing100191 China Beijing Advanced Innovation Center for Big Data-based Precision Medicine Beihang University Beijing100191 China Bauman Moscow State Technical University Department of Automatic Control Systems Moscow105005 Russia

ISBN: (数字)9781839537769

ISBN: (纸本)9781839537769

The research object of this paper is the ankle prosthesis system based on electro-hydrostatic actuation. In the passive state, the prosthesis uses PWM wave to drive a high speed ON/OFF valve (HOV), making it equivalent to a proportional valve with a certain opening size to adjust the damping of the system and achieve a compliant control. However, due to the mechanical delay characteristics of the HOV, there are obvious nonlinear regions in the low duty cycle and high duty cycle regions, which affect the control performance of the system. This paper will discuss this problem. Using the control strategies in PWM-PFM to widen the linear region of the prosthetic system damping control, improve the system's ability to adjust the damping, and facilitate the prosthesis to better achieve active compliance control. © 2022 IET Conference Proceedings. All rights reserved.

关键词： Linearization

来源：评论

学校读者我要写书评

暂无评论

Distributed Optimization via Gradient Descent with Event-Triggered Zooming over Quantized Communication

arXiv

引用

arXiv 2023年

作者： Rikos, Apostolos I. Jiang, Wei Charalambous, Themistoklis Johansson, Karl H. The Department of Electrical and Computer Engineering Division of Systems Engineering Boston University BostonMA02215 United States Hong Kong The Department of Electrical and Computer Engineering School of Engineering University of Cyprus Nicosia1678 Cyprus The Department of Electrical Engineering and Automation School of Electrical Engineering Aalto University Espoo Finland The Division of Decision and Control Systems KTH Royal Institute of Technology StockholmSE-100 44 Sweden

In this paper, we study unconstrained distributed optimization strongly convex problems, in which the exchange of information in the network is captured by a directed graph topology over digital channels that have limited capacity (and hence information should be quantized). Distributed methods in which nodes use quantized communication yield a solution at the proximity of the optimal solution, hence reaching an error floor that depends on the quantization level used;the finer the quantization the lower the error floor. However, it is not possible to determine in advance the optimal quantization level that ensures specific performance guarantees (such as achieving an error floor below a predefined threshold). Choosing a very small quantization level that would guarantee the desired performance, requires information packets of very large size, which is not desirable (could increase the probability of packet losses, increase delays, etc) and often not feasible due to the limited capacity of the channels available. In order to obtain a communication-efficient distributed solution and a sufficiently close proximity to the optimal solution, we propose a quantized distributed optimization algorithm that converges in a finite number of steps and is able to adjust the quantization level accordingly. The proposed solution uses a finite-time distributed optimization protocol to find a solution to the problem for a given quantization level in a finite number of steps and keeps refining the quantization level until the difference in the solution between two successive solutions with different quantization levels is below a certain pre-specified threshold. Therefore, the proposed algorithm progressively refines the quantization level, thus eventually achieving low error floor with a reduced communication burden. The performance gains of the proposed algorithm are demonstrated via illustrative examples. © 2023, CC BY.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Stealthy Attacks on Sampled-Data control and Encryption-Based Countermeasures

引用

IEEE Transactions on Automatic control 2025年

作者： Shang, Jun Li, Yuzhe Chen, Tongwen Tongji University Department of Control Science and Engineering Shanghai Institute of Intelligent Science and Technology National Key Laboratory of Autonomous Intelligent Unmanned Systems Frontiers Science Center for Intelligent Autonomous Systems Shanghai200092 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110004 China University of Alberta Department of Electrical and Computer Engineering EdmontonABT6G 1H9 Canada

This paper investigates stealthy attacks on sampled-data control systems, where a continuous process is sampled periodically, and the resultant discrete output and control signals are transmitted through dual channels in wireless communication networks. Acknowledging the vulnerability of these transmitted data to cyber threats, we analyze two types of stealthy attacks that compromise either one or both channels. We explicitly present the necessary and sufficient conditions for the existence of stealthy single-channel attacks. To mitigate these security risks, we implement encryption-based countermeasures, including linear time-invariant and periodic encryption methods. We detail sufficient conditions under which these encryption strategies effectively thwart single- and dual-channel stealthy attacks. The effectiveness of these approaches and the theoretical findings are demonstrated through numerical simulations. © 1963-2012 IEEE.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

Robust flocking for non-identical second-order nonlinear multi-agent systems

引用

Autonomous Intelligent systems 2021年第1期1卷 81-90页

作者： Xiuxian Li Housheng Su Li Li Department of Control Science and Engineering College of Electronics and Information Engineeringand Shanghai Research Institute for Intelligent Autonomous SystemsTongji UniversityShanghai 200092China Institute for Advanced Study Tongji UniversityShanghai 200092China School of Automation Image Processing and Intelligent Control Key Laboratory of Education Ministry of ChinaHuazhong University of Science and TechnologyLuoyu Road 1037Wuhan 430074China

This paper investigates the robust flocking problem for second-order nonlinear systems with a leader and external *** contrast with most of second-order systems in the literature,the intrinsic dynamics here are nonlinear and non-identical that depend not only on the velocity but also on the position,which is more ***,the interaction topology is undirected and *** that the leader’s velocity may be constant or time-varying,two distributed flocking control laws have been proposed for two cases to make the differences of the velocities between all followers and the leader approach to zero *** proposed distributed flocking control laws are both model-independent which results in the effectiveness of the controllers to cope with the different intrinsic dynamics of the followers and the leader under some assumptions on boundedness of several *** example is given to illustrate the validity of the theoretical results.

关键词： Flocking Multi-agent systems Second-order nonlinear systems Non-identical dynamics

来源：评论

学校读者我要写书评

暂无评论

Data-driven Model Based Online Fault Detection Using OMP-ERR 4

Data-driven Model Based Online Fault Detection Using OMP-ERR

引用

4th International Conference on Industrial Artificial Intelligence, IAI 2022

作者： Zhou, Guangze Luo, Zhong Zhu, Yunpeng Gao, Yi Wang, Zhiao Northeastern University School of Mechanical Engineering and Automation Shenyang110819 China Northeastern University Key Laboratory of Vibration and Control of Aero-Propulsion Systems Ministry of Education of China Shenyang110819 China Dalian University of Technology State Key Laboratory of Structural Analysis for Industrial Equipment Dalian116024 China University of Sheffield Department of Automatic Control and System Engineering SheffieldS13JD United Kingdom

ISBN: (数字)9781665451208

ISBN: (纸本)9781665451208

Model based online fault detection often conducted by extracting features from models driven by system input and output data under various working conditions. The efficiency of online system modelling is therefore significant to improve the performance of online fault detections. In this study, a novel fast data-driven modelling approach, known as the OMP (Orthogonal Matching Pursuit)- ERR (Error Reduction Ratio) method is proposed to improve the efficiency of online fault detections. The new system identification method is motivated by noticing that the traditional OMP algorithm is much faster but usually less accurate than the OLS (Orthogonal least squares) algorithm in the identification of system NARX (Nonlinear Auto-Regressive with Exogenous inputs) models. The problem is first illustrated by the identification of a Single Degree of Freedom (SDoF) system. After that, the OMP-ERR algorithm is developed to improve the NARX modelling efficiency for the purpose of system model-based online fault detections. A case study on the crack detection of a cantilever beam shows that the new approach is over 10 times faster than the traditional OLS modelling process, demonstrating the promising applications of the new approach in online fault detections in engineering practice. © 2022 IEEE.

关键词： Least squares approximations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：