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

arXiv 2025年

作者： Wang, Ruohan Sun, Zhiyong Haesaert, Sofie Department of Electrical Engineering Control Systems Group Eindhoven University of Technology Netherlands Department of Mechanics and Engineering Science State Key Laboratory for Turbulence and Complex Systems Peking University Beijing China

Formal safety guarantees on the synthesis of controllers for stochastic systems can be obtained using correct-by-design approaches. These approaches often use abstractions as finite-state Markov Decision Processes (MDPs). As the state space of these MDPs grows, the curse of dimensionality makes the computational and memory cost of the probabilistic guarantees, quantified with dynamic programming, scale exponentially. In this work, we leverage decoupled dynamics and unravel, via dynamic programming operations, a tree structure in the Canonical Polyadic Decomposition (CPD) of the value functions. For discrete-time stochastic systems with syntactically co-safe linear temporal logic (scLTL) specifications, we provide provable probabilistic safety guarantees and significantly alleviate the computational burden. We provide numerical studies and validations of the theoretical results on several typical case studies and showcase that the uncovered tree structure enables efficient reductions in the computational burden. Copyright © 2025, The Authors. All rights reserved.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Adaptive Cooperative Estimation and Guidance Against Unknown Maneuvering Target

引用

IEEE Transactions on Aerospace and Electronic systems 2025年

作者： Liu, Tianrun Chen, Yang-Yang Li, Shihua Southeast University School of Automation Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Nanjing210096 China Advanced Ocean Institute of Southeast University Nantong226000 China

A critical challenge in missile guidance is the frequent inaccessibility of essential target information by on-board seekers. This paper studies the three-dimensional cooperative guidance issue of multiple missiles simultaneously attacking an unknown maneuvering target. Different from most existing research, the pitch and yaw lead angles of a maneuvering target are entirely unknown, while the position and velocity information is only accessible to neighboring missiles. An adaptive distributed estimator is designed to estimate the target information over a directed communication network, generating a transmitted target with similar maneuverability to the actual target for each missile. Boundedness of the estimation errors are guaranteed within a prescribed time. Subsequently, a modified guidance law that integrates proportional navigation (PN) and coordination components is developed for simultaneously tracking the trajectories of the transmitted targets. The superiority of the developed adaptive cooperative estimation and guidance approach is confirmed through simulations. © 1965-2011 IEEE.

关键词： adaptive estimate Cooperative guidance maneuvering target prescribed-time three-dimensional

来源：评论

学校读者我要写书评

暂无评论

An Improved Marine Predators Algorithm for Short-term Hydrothermal Scheduling

引用

IAENG International Journal of Applied Mathematics 2021年第4期51卷 1-14页

作者： Chen, Gonggui Xiao, Ying Long, Fangjia Hu, Xiaorui Long, Hongyu Professor of Key Laboratory of Industrial Internet of Things and Networked Control Ministry of Education Chongqing University of Posts and Telecommunications Chongqing400065 China Chongqing Key Laboratory of Complex Systems and Bionic Control Chongqing University of Posts and Telecommunications Chongqing400065 China Master degree candidate of Chongqing Key Laboratory of Complex Systems and Bionic Control Chongqing University of Posts and Telecommunications Chongqing400065 China Senior engineer of State Grid Chongqing Electric Power Company Chongqing400015 China Professor level senior engineer of Marketing Service Center State Grid Chongqing Electric Power Company Chongqing401123 China Professor level senior engineer of Chongqing Key Laboratory of Complex Systems and Bionic Control Chongqing University of Posts and Telecommunications Chongqing400065 China

In this paper, an improved marine predators algorithm (IMPA) is proposed to solve the short-term hydrothermal scheduling (STHS) problem. The marine predators algorithm (MPA) owns low diversity of the initial population and is easy to fall into local optima in the optimization process. Facing these challenges, three improvements are presented. Tent map is applied to initialize the population, which makes the population more uniformly distributed. An average fitness preferential strategy is adopted to improve the quality of population, which provides more possibility for MPA to find better solutions. By segmenting the probability factor in fish aggregating devices (FADs) effect on the optimization process, the premature convergence of MPA is improved. Moreover, a selective repair strategy and an economic priority strategy are proposed to handle dynamic water balance of reservoirs and the power balance, respectively. Three hydrothermal test cases are employed to verify the feasibility and effectiveness of the proposed method, and the results show that IMPA can obtain solutions of high quality. Compared with other methods, IMPA can get better results, which reflects its strong competitiveness in tackling the STHS problem. © 2021. All Rights Reserved.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of Delayed T-S Fuzzy systems via the Fuzzy Line-Integral Method 42

Stability Analysis of Delayed T-S Fuzzy Systems via the Fuzz...

引用

42nd Chinese control Conference, CCC 2023

作者： Liu, Zhou-Zhou Jin, Li He, Yong School of Automation China University of Geosciences Wuhan430074 China Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems Wuhan430074 China Ministry of Education Engineering Research Center of Intelligent Technology for Geo-Exploration Wuhan430074 China

ISBN: (纸本)9789887581543

This paper focuses on the problem of stability analysis for Takagi-Sugeno systems with time-varying delays. Firstly, a suitable Lyapunov-Krasovskii functional (LKF) containing fuzzy line-integral Lyapunov functional is constructed, which can introduce membership functions information while avoiding emerging the time-derivatives of membership functions. Then, a generalized free-matrix-based integral inequality is applied to estimate the derivative of the LKF. As a result, a less conservative stability criterion is obtained. Finally, a numerical example is carried out to illustrate the effectiveness and merits of our method. © 2023 Technical Committee on control Theory, Chinese Association of Automation.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

Design of a Novel Autonomous Docking System With a Supporting Robotic Fish

Design of a Novel Autonomous Docking System With a Supportin...

引用

2023 IEEE International Conference on Real-Time Computing and Robotics, RCAR 2023

作者： Dong, Huijie Zhao, Chunyang Qiao, Tiezhu Wang, Jian Chen, Di Meng, Yan Yu, Junzhi Taiyuan University of Technology Key Laboratory of Advanced Transducers and Intelligent Control System Ministry of Education Taiyuan030024 China Chinese Academy of Sciences Laboratory of Cognitive and Decision Intelligence for Complex System Institute of Automation Beijing100190 China Peking University State Key Laboratory for Turbulence and Complex Systems Department of Advanced Manufacturing and Robotics College of Engineering Beijing100871 China Guangdong Ocean University College of Electronics and Information Engineering Zhanjiang524088 China

ISBN: (纸本)9798350327182

Underwater supporting robots serving as a relay of energy supplements and communication for other underwater equipment are promising for ocean exploration, development, and protection. This paper proposes a novel autonomous docking system centered on a designed supporting robotic fish named 'CourierFish'. Specifically, CourierFish is capable of docking with a surface dock station for supplying itself and docking with a seafloor platform for supporting equipment in the platform. A visual navigation scheme integrating LED and ArUco markers is presented for accurate localization. The control approach for docking motion is also illustrated. Simulations and aquatic experiments are performed to verify the feasibility of the proposed docking system. The obtained results lay a solid foundation for the construction of various underwater equipment and robot networks. © 2023 IEEE.

关键词： Fish

来源：评论

学校读者我要写书评

暂无评论

Robust Speed Regulation of PMSM under Disturbances and Noises using Composite Model Predictive control

Robust Speed Regulation of PMSM under Disturbances and Noise...

引用

第42届中国控制会议

作者： Linxuan Mao Jinya Su Shihua Li School of Automation Southeast University Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University

This paper presents a single-loop Model Predictive control strategy that incorporates a reduced-order Generalized Proportional Integral Observe and a Kalman filter to enhance the speed regulation of Permanent Magnet Synchronous Motor systems in the presence of complex disturbances and measurement noises. The proposed controller design seamlessly integrates the predictive control, disturbance observer, and state filter components, and it was evaluated through simulation comparisons. The performance of the proposed method is evaluated using various metrics, including maximum velocity drop, recovery time, and variance of steady-state error, which demonstrate its superior response performance and anti-disturbance ability when compared to other existing methods without state filtering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Landslide Susceptibility Based on SVM with GWO Algorithm 42

Evaluation of Landslide Susceptibility Based on SVM with GWO...

引用

42nd Chinese control Conference, CCC 2023

作者： Zeng, Yuxuan Lu, Chengda Pan, Yutong Qu, Hanqi Wu, Min School of Automation China University of Geosciences Wuhan430074 China Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems Wuhan430074 China Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education Wuhan430074 China

ISBN: (纸本)9789887581543

Since landslide is one of the most universal natural disasters in China, the study of regional landslide susceptibility evaluation is important to protect people's lives and property. This paper analyzes the geospatial characteristics of the Zigui-Badong section in the Three Gorges. By Pearson correlation analysis methodselects, nine impact factors of landslide susceptibility are extracted from the aspects of topography and geomorphology, geological environment, and hydrological conditions, used to establish the evaluation index system of landslide susceptibility. On the above data basis, the paper applies a support vector machine (SVM) model and an SVM model for gray wolf optimization (GWO) to the susceptibility evaluation of landslides, and product landslide susceptibility index maps according to the results. The research area is divided into four regions by jenks method on the map: high-risk, medium-risk, low-risk, and very low-risk areas. Applying the accuracy, confusion matrix, and receiver operating characteristic (ROC) curve to evaluate the model, The prediction accuracy of the GWO-SVM model and the SVM model is 88.55 % and 82.82 % respectively, the comparison proves that the GWO-SVM model is much more accurate, which can provide a reference for the study of regional landslide susceptibility. © 2023 Technical Committee on control Theory, Chinese Association of Automation.

关键词： Landslides

来源：评论

学校读者我要写书评

暂无评论

Bézier-UKF Enhanced Incremental MPC Planner for Quadrotor Based Target Following

Bézier-UKF Enhanced Incremental MPC Planner for Quadrotor B...

引用

IEEE International Conference on Industrial Technology (ICIT)

作者： Haodi Zhang Jinya Su Shihua Li School of Automation Southeast University Nanjing China Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University Nanjing China

ISBN: (数字)9798350340266

ISBN: (纸本)9798350340273

This paper presents a vision-based tracking control for a quadrotor to follow a moving target without assuming any quadrotor-target communication. Constant turn rate & acceleration model (CTRA) is first drawn to describe the target's motion, allowing to infer unmeasurable target motion variables while mitigating the adverse effects of vision sensor noises through an unscented Kalman filter (UKF). Then the target's future trajectory is firstly predicted by using a Bézier curve, which is further treated as virtual observation of the CTRA model within the prediction horizon so that a better target trajectory prediction is derived by using the proposed Bézier- UKF fusion predictor method. The outputs of Bézier- UKF predictor are input into an incremental model predictive control (IMPC) planner as the target reference, enabling the derivation of the desired position, velocity and acceleration signal for the quadrotor. These signals are implemented by the low-level SE(3) geometric controller. Finally, we conduct a comparative study of the proposed method against baseline planners such as MPC and IMPC planners in high-fidelity AirSim simulation environment, demonstrating better target following performance.

关键词： Target tracking Noise Kinematics Predictive models Vision sensors Inspection Trajectory

来源：评论

学校读者我要写书评

暂无评论

Asynchronous Fault Detection for Fuzzy systems Based on Dynamic Event-Triggered Mechanism 42

Asynchronous Fault Detection for Fuzzy Systems Based on Dyna...

引用

42nd Chinese control Conference, CCC 2023

作者： Wang, Yuxi Wan, Xiongbo School of Automation China University of Geosciences Wuhan430074 China Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems Wuhan430074 China Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education Wuhan430074 China

ISBN: (纸本)9789887581543

This article investigates the asynchronous fault detection (FD) problem for fuzzy systems with event-triggered mechanism (ETM). A new dynamic ETM (DETM) is adopted to further reduce the waste of network resources. Considering the impact of asynchronous premise variables brought by ETM, a design criterion for fuzzy FD filter (FDF) is derived. A reasonable residual evaluation function is constructed and an appropriate threshold is set. To ensure the error dynamics be asymptotically stable with a prescribed H∞ performance, we construct a new Lyapunov function that contains an internal dynamic variable in the ETM. A sufficient condition satisfying the proposed performance index is derived. Finally, we provide a numerical simulation to verify the effectiveness of the proposed asynchronous FD strategy under dynamic event-triggered (ET) communication. © 2023 Technical Committee on control Theory, Chinese Association of Automation.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Fall-LSTM: A Fall Detection Network Based on Spatio-Temporal Location Module

Fall-LSTM: A Fall Detection Network Based on Spatio-Temporal...

引用

Chinese control Conference (CCC)

作者： Dapeng Xu Xiaobo Lu Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education School of Automation Southeast University Nanjing China

Fall events have unique dynamic features, which are not fully utilized by existing fall detection methods. Based on video understanding, we propose Fall-LSTM to learn such features pertinently without additional inputs. Fall-LSTM is composed of CNN-LSTM framework and two excitation modules i.e., Spatial Attention Module (SAM) and Temporal Location Module (TLM). SAM provides spatial constraints on motion for feature layers through foreground extraction and spatial pooling. TLM emphasizes frames with high probability of fall events to LSTM by inferring the rate and trend of motion in clips. Experimental results show that our proposed modules significantly improve the performance of LSTM model, outperforming the state-of-the-art methods on two public Fall Detection Datasets i.e., Le2i and UR.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：