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

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

来源：评论

学校读者我要写书评

暂无评论

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].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrated Distributed Sensing and Quantum Communication Networks

引用

Research 2025年第1期2024卷 899-914页

作者： Yuehan Xu Tao Wang Peng Huang Guihua Zeng State Key Laboratory of Advanced Optical Communication Systems and Networks Center of Quantum Sensing and Information ProcessingShanghai Jiao Tong UniversityShanghai 200240China Shanghai Research Center for Quantum Sciences Shanghai 201315China Hefei National Laboratory Hefei 230088China

The integration of sensing and communication can achieve ubiquitous sensing while enabling ubiquitous *** the gradually improving global communication,the integrated sensing and communication system based on optical fibers can accomplish various functionalities,such as urban structure imaging,seismic wave detection,and pipeline safety *** the development of quantum communication,quantum networks based on optical fiber are gradually being *** this paper,we propose an integrated sensing and quantum network(ISAQN)scheme,which can achieve secure key distribution among multiple nodes and distributed sensing under the standard quantum *** continuous variables quantum key distribution protocol and the round-trip multiband structure are adopted to achieve the multinode secure key ***,the spectrum phase monitoring protocol is proposed to realize distributed *** determines which node is vibrating by monitoring the frequency spectrum and restores the vibration waveform by monitoring the phase *** scheme is experimentally demonstrated by simulating the vibration in a star structure *** results indicate that this multiuser quantum network can achieve a secret key rate of approximately 0.7 Mbits/s for each user under 10-km standard fiber transmission,and its network capacity is *** terms of distributed sensing,it can achieve a vibration response bandwidth ranging from 1 Hz to 2 kHz,a strain resolution of 0.50 nε/Hz,and a spatial resolution of 0.20 m under shot-noise-limited *** proposed ISAQN scheme enables simultaneous quantum communication and distributed sensing in a multipoint network,laying a foundation for future large-scale quantum networks and high-precision sensing networks.

关键词： integrated sensing quantum networks ubiquitous sensing pipeline safety monitoringwith ubiquitous communicationwithin quantum communicationquantum networks

来源：评论

学校读者我要写书评

暂无评论

Strong Structural controllability of Multi-Agent systems with Uncertain Connection Topologies

引用

Journal of systems Science & Complexity 2025年

作者： CHEN Qitian LI Shaoyuan Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China

This paper investigates the strong structural controllability(SSC) of multi-agent systems(MASs) defined over Laplacian dynamics on directed graphs. The agents that are divided into leaders and followers are connected based on the consensus law and only leaders are manipulated by the external control input directly. In contrast to existing work, the topology of MAS contains uncertain interconnection edges between agents. The interconnection graph has a zero/nonzero/arbitrary structure, to handle the parameters uncertainty problem in MASs. Under this framework, the authors propose a color-changing rule based on the zero-forcing set(ZFS). A graph-theoretic sufficient condition of SSC is proved. Next, the authors investigate the leader selection problem to ensure the SSC of MASs. A greedy algorithm based on ZFS is introduced. In addition, the authors figure out that the redundant property of edges in MASs can help us decide the leader selection problem. A new heuristic algorithm of polynomial complexity is developed to select minimum leaders of the multi-agent ***, the authors support the proposed analysis with numerical results on various simulations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：