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

Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic

Science China(information Sciences) 2025年第1期68卷 322-341页

作者： Weijie DONG Shaoyuan LI Xiang YIN Key Laboratory of System Control and Information Processing Ministry of EducationDepartment of Automation Shanghai Jiao Tong University

In this paper,we investigate a decentralized diagnosis problem of a discrete-evnt system(DES) subject to unreliable sensors,where the sensor observations of local diagnosers may be non-deterministic as a result of possible *** studies on decentralized robust diagnosis can only deal with different types of sensor failures separately,e.g.,all sensors suffer from the same type of sensor failures such as intermittent sensor failures or permanent sensor ***,since sensors of different local diagnosers may face different external environments and have different internal characteristics,sensors corresponding to different local diagnosers may also have their own fault *** this paper,we propose a flexible framework of decentralized diagnosis for DES subject to unreliable sensors such that sensors of different local diagnosers are permitted to have different types of sensor *** this end,we extend the existing decentralized diagnosis framework to the case where there exist common sensors broadcasting their observations to all local *** apply linear temporal logic(LTL) to constrain infinite behaviors of private sensors of local diagnosers and common ***,a new notion of φ-codiagnosability is proposed as the necessary and sufficient condition for the existence of a decentralized diagnoser that works correctly under sensors,satisfying LTL-based sensor ***,we provide an effective approach to verify the φ-codiagnosability.

关键词： discrete event systems decentralized diagnosis codiagnosability automata

来源：评论

学校读者我要写书评

暂无评论

Value Iteration-Based Distributed Adaptive Dynamic Programming for Multi-Player Differential Game With Incomplete information

引用

IEEE/CAA Journal of Automatica Sinica 2025年第2期12卷 436-447页

作者： Yun Zhang Yuqi Wang Yunze Cai the Department of Automation Shanghai Jiao Tong University the Key Laboratory of System Control and Information Processing Ministry of Education of China the National Key Laboratory of Air-based Information Perception and Fusion

In this paper, a distributed adaptive dynamic programming(ADP) framework based on value iteration is proposed for multi-player differential games. In the game setting,players have no access to the information of others' system parameters or control laws. Each player adopts an on-policy value iteration algorithm as the basic learning framework. To deal with the incomplete information structure, players collect a period of system trajectory data to compensate for the lack of information. The policy updating step is implemented by a nonlinear optimization problem aiming to search for the proximal admissible policy. Theoretical analysis shows that by adopting proximal policy searching rules, the approximated policies can converge to a neighborhood of equilibrium policies. The efficacy of our method is illustrated by three examples, which also demonstrate that the proposed method can accelerate the learning process compared with the centralized learning framework.

关键词： Distributed adaptive dynamic programming incomplete information multi-player differential game (MPDG) value iteration

来源：评论

学校读者我要写书评

暂无评论

Surface-PMSM Sensorless control Strategy Based on Reduced-Order Linear Kalman Filter Cooperating with Prediction Error Rolling Compensation

引用

IEEE Transactions on Power Electronics 2025年第8期40卷 10804-10815页

作者： Xu, Sang Shen, Anwen Tang, Qipeng Wang, Miaomiao Luo, Pan Luo, Xin Xu, Jinbang National Key Laboratory of Science and Technology on Multispectral Information Processing Key Laboratory of Image Processing and Intelligent Control School of Artificial Intelligence and Automation Wuhan430074 China Science and Technology on Reactor System Design Technology Laboratory Chengdu China

Kalman filter (KF) is increasingly attracted for sensorless control of surface permanent magnet synchronous motors (SPMSMs) due to its strong robustness against measurement and system noise. However, conventional method suffers from poor position and speed estimation accuracy under dynamic conditions, and high computational cost. In order to solve these problems, an enhanced sensorless control strategy based on reduced-order linear Kalman filter (RLKF) cooperating with prediction error rolling compensation is introduced in this paper. Differing from conventional method, a reduced-order linear state equation encompassing rotor position, speed and torque disturbance is constructed. Then, by obtaining the prediction error of system output using the motor current equation in the predictive reference frame, the optimal estimation of rotor position and speed in KF algorithm is achieved based on the reduced-order model. This not only simplifies the calculation process, but also enhances the position and speed estimation accuracy under dynamic conditions. Meanwhile, a prediction error rolling compensation algorithm is developed to minimize the estimation deviations caused by motor parameters variations. Additionally, the system's dynamic performance is further improved with an adopted speed controller based on torque disturbance feedforward and acceleration feedback. Finally, experimental results verify the effectiveness and feasibility of the proposed strategy.1 © 1986-2012 IEEE.

关键词： Permanent magnets

来源：评论

学校读者我要写书评

暂无评论

Intelligent Reflecting Surface-Assisted Combined TOA and AOA Localization Algorithm

引用

KSII Transactions on Internet and information systems 2025年第4期19卷 1357-1373页

作者： Zhang, Yuexia Gang, Yuanshuo Duan, Shiru Wang, Yu Key Laboratory of Modern Measurement and Control Technology Beijing Information Science and Technology University Beijing102206 China Key Laboratory of Information and Communication Systems Beijing Information Science and Technology University Beijing102206 China

Wireless positioning technology plays a crucial role in various applications, including intelligent transportation, industrial automation, and smart cities. However, in non-line-of-sight environments, signal obstruction and multipath effects significantly degrade localization accuracy. To address these challenges, this paper proposes an Intelligent Reflecting Surface-assisted Combined time of arrival (TOA) and angle of arrival (AOA) Localization (IRS-CTAL) algorithm. Specifically, this paper introduces a dynamic partially connected IRS structure, which selectively activates IRS sub-arrays in a time-division manner. This dynamic activation mitigates multipath interference and enhances the controllability of IRS-reflected signals, leading to improved localization performance. In the proposed IRS-CTAL algorithm, the 2D multiple signal classification algorithm is employed to jointly estimate the TOA and AOA of the received signals. Furthermore, to optimize the estimated coordinates and minimize the localization error, this paper incorporates the root mean square propagation algorithm, which efficiently corrects nonlinear distortions caused by IRS reflections. Simulation results demonstrate that the IRS-CTAL algorithm significantly outperforms traditional localization methods, achieving an average localization error reduction of 41% compared to the direct geometric computation method. Copyright © 2025 KSII.

关键词： Computational geometry

来源：评论

学校读者我要写书评

暂无评论

Transportation-Energy-Communication Integrated Management of Ship Cyber-Physical systems Against Cyber Attacks

引用

IEEE Transactions on Smart Grid 2025年第3期16卷 2518-2528页

作者： Xu, Qimin Li, Xin Jiang, Yuliang Zhu, Shanying Chen, Cailian Yang, Bo Guan, Xinping Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Department of Automation Shanghai200240 China

Ship cyber-physical system (SCPS) is a complex system that integrates advanced information and communication technology to achieve efficient energy management and navigation plans. Thus, SCPS is susceptible to cyber attacks due to increased exposed attack surfaces, which poses significant risks to power and navigation management. The interdependence among the navigation, power, and communication management might amplify the impacts of cyber attacks to induce cascading failures. However, the existing research lacks a robust systematic strategy against cyber attacks considering interdependence features. Therefore, this paper proposes a transportation-energy-communication integrated architecture to collaboratively optimize navigation planning, power management, and networking scheduling. The network model integrates time-sensitive networking (TSN) to improve data transmission reliability and determinacy against cyber attacks. Based on the architecture, the impacts of two typical types of cyber attacks are modeled, including data availability and control signal attacks. A robust cyber-physical defense strategy is formulated into a tri-level MINLP problem to minimize load shedding and voyage distance reduction while saving operation costs by identifying the worst case. To reduce computation complexity, the problem after linearization is decomposed based on the time scale of cyber and physical layers. Case studies indicate that the proposed strategy improves system resilience to conventional strategies. © 2010-2012 IEEE.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

Spiral transformation boosted by inverse design for a compact multi-core optical vortex mode sorter

引用

Optics Letters 2025年第10期50卷 3189-3192页

作者： Wu, Lixun Wu, Zituo Zhong, Weihang Liang, Zhouxin Feng, Guorong Chen, Yujie State Key Laboratory of Optoelectronic Materials and Technologies Guangdong Provincial Key Laboratory of Optoelectronic Information Processing Chips and Systems School of Electronics and Information Technology Sun Yat-sen University Guangzhou510275 China

Orbital angular momentum (OAM)-based dense space-division multiplexing technology has emerged as a promising candidate to break through the Shannon limit of single-mode fibers. While optical coordinate transformation offers potential for high-resolution OAM mode sorting, current implementations face critical limitations: the paraxial approximation constrains mode density scalability, and the plane wave approximation introduces beam quality degradation during transformation processes. We address these challenges by developing a transmissive optical vortex sorter through spiral coordinate transformation boosted by inverse-design approaches, achieving simultaneous sorting of 21 OAM modes with improved fidelity. Furthermore, we extend this advancement to a 19-core array implementation, thereby demonstrating its potential compatibility and scalability. The proposed scheme may pave the way for future ultrahigh capacity dense OAM fiber-optic communications with a large number of OAM modes while minimizing spatial resource requirements. © 2025 Optica Publishing Group. All rights, including for text and data mining (TDM), Artificial Intelligence (AI) training, and similar technologies, are reserved.

关键词： Inverse transforms

来源：评论

学校读者我要写书评

暂无评论

A Defective Ground Structure Design for Reducing Coupling between Microstrip Antenna Arrays

引用

Progress in Electromagnetics Research C 2025年 151卷 123-130页

作者： Xu, Junhao Wang, Yafei Wang, Xiaozhe Li, Zhensong Key Laboratory of Information and Communication Systems Ministry of Information Industry Beijing Information Science and Technology University Beijing100101 China Key Laboratory of Modern Measurement & Control Technology Ministry of Education Beijing Information Science and Technology University Beijing100101 China

In order to reduce the coupling between dense antenna arrays in multiple input multiple output (MIMO) systems, this paper proposes a method to reduce the coupling between microstrip antenna arrays by utilizing a defected ground structure (DGS), which consists of "W"-shaped slits etched in the ground plane. Simulation results show that the structure can achieve −46.6 dB isolation between antenna arrays. To verify the effectiveness of the structure, the microstrip antenna arrays loaded with this DGS are fabricated and measured, and the measured results are consistent with the simulated ones, which verifies the effectiveness of the structure. © 2025, Electromagnetics Academy. All rights reserved.

关键词： Antenna arrays

来源：评论

学校读者我要写书评

暂无评论

Non-uniform electron density estimation based on electromagnetic wave attenuation in plasma

引用

Chinese Physics B 2025年第1期34卷 381-386页

作者： Zhaoying Wang Lixin Guo Maixia Fu Shaoshuai Guo Yinsheng Li Key Laboratory of Grain Information Processing and Control(Henan University of Technology) Ministry of EducationZhengzhou 450001China College of Information Science and Engineering Henan University of TechnologyZhengzhou 450001China School of Physics Xidian UniversityXi’an 710071China

The surface of a high-speed vehicle reentering the atmosphere is surrounded by plasma *** to the influence of the inhomogeneous flow field around the vehicle,understanding the electromagnetic properties of the plasma sheath can be *** the electron density of the plasma sheath is crucial for understanding and achieving plasma stealth of *** this work,the relationship between electromagnetic wave attenuation and electron density is deduced *** attenuation distribution along the propagation path is found to be proportional to the integral of the plasma electron *** result is used to predict the electron density ***,the average electron density is obtained using a back-propagation neural network ***,the spatial distribution of the electron density can be determined from the average electron density and the normalized derivative of attenuation with respect to the propagation *** to traditional probe measurement methods,the proposed approach not only improves efficiency but also preserves the integrity of the plasma environment.

关键词： attenuation electromagnetic propagation plasma electron density

来源：评论

学校读者我要写书评

暂无评论

Enhanced Tube-Based Event-Triggered Stochastic Model Predictive control With Additive Uncertainties

引用

IEEE/CAA Journal of Automatica Sinica 2025年第3期12卷 596-605页

作者： Chenxi Gu Xinli Wang Kang Li Xiaohong Yin Shaoyuan Li Lei Wang the School of Control Science and Engineering Shandong University IEEE the School of Electronic and Electrical Engineering University of Leeds the Qingdao University of Science and Technology the Department of Automation Shanghai Jiao Tong University the Key Laboratory of System Control and Information Processing Ministry of Education of China

This paper proposes an event-triggered stochastic model predictive control for discrete-time linear time-invariant(LTI) systems under additive stochastic disturbances. It first constructs a probabilistic invariant set and a probabilistic reachable set based on the priori knowledge of system *** with enhanced robust tubes, the chance constraints are then formulated into a deterministic form. To alleviate the online computational burden, a novel event-triggered stochastic model predictive control is developed, where the triggering condition is designed based on the past and future optimal trajectory tracking errors in order to achieve a good trade-off between system resource utilization and control performance. Two triggering parameters σ and γ are used to adjust the frequency of solving the optimization problem. The probabilistic feasibility and stability of the system under the event-triggered mechanism are also examined. Finally, numerical studies on the control of a heating, ventilation, and air conditioning(HVAC) system confirm the efficacy of the proposed control.

关键词： Event-triggered mechanism heating, ventilation, and air conditioning (HVAC) control probabilistic reachable set stochastic model predictive control

来源：评论

学校读者我要写书评

暂无评论

Parallel Seeds:From Foundation Models to Foundation Intelligence for Agricultural Sustainability

引用

IEEE/CAA Journal of Automatica Sinica 2025年第3期12卷 481-484页

作者： Laiyi Fu Shunkang Ling Danyang Wu Mengzhen Kang Fei-Yue Wang Hequan Sun the Shool of Automation Science and Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University the College of Information Engineering Northwest A&F University IEEE the State Key Laboratory of Management and Control for Complex Systems Chinese Academy of Sciences

THE development of agriculture faces significant challenges due to population growth, climate change, land depletion, and environmental pollution, threatening global food security [1]. This necessitates the development of sustainable agriculture, where a fundamental step is crop breeding to improve agronomic or economic traits, e.g., increasing yields of crops while decreasing resource usage and minimizing pollution to the environment [2].

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：