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

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

来源：评论

学校读者我要写书评

暂无评论

Value Iteration-Based Cooperative Adaptive Optimal control for Multi-Player Differential Games With Incomplete information

引用

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

作者： Yun Zhang Lulu Zhang Yunze Cai the Department of Automation Shanghai Jiao Tong UniversityShanghai 200240 the Key Laboratory of System Control and Information Processing Ministry of Education of ChinaShanghai 200240China

This paper presents a novel cooperative value iteration(VI)-based adaptive dynamic programming method for multi-player differential game models with a convergence *** players are divided into two groups in the learning process and adapt their policies *** method removes the dependence of admissible initial policies,which is one of the main drawbacks of the PI-based ***,this algorithm enables the players to adapt their control policies without full knowledge of others’ system parameters or control *** efficacy of our method is illustrated by three examples.

关键词： Adaptive dynamic programming incomplete information multi-player differential game value iteration

来源：评论

学校读者我要写书评

暂无评论

Novel traveling quantum anonymous voting scheme via GHZ states

引用

Chinese Physics B 2023年第2期32卷 97-102页

作者：赵文浩姜敏 School of Electronics&Information Engineering Soochow UniversitySuzhou 215006China Key Laboratory of System Control and Information Processing Ministry of EducationShanghai 200240China

Based on traveling ballot mode,we propose a secure quantum anonymous voting via Greenberger–Horne–Zeilinger(GHZ)*** this scheme,each legal voter performs unitary operation on corresponding position of particle sequence to encode his/her voting *** voters have multiple ballot items to choose rather than just binary options“yes”or“no”.After counting votes phase,any participant who is interested in voting results can obtain the voting *** improve the efficiency of the traveling quantum anonymous voting scheme,an optimization method based on grouping strategy is also *** with the most existing traveling quantum voting schemes,the proposed scheme is more practical because of its privacy,verifiability and ***,the security analysis shows that the proposed traveling quantum anonymous voting scheme can prevent various attacks and ensure high security.

关键词： quantum anonymous voting quantum secure communication GHZ states verifiability privacy

来源：评论

学校读者我要写书评

暂无评论

Effects of quantum noise on teleportation of arbitrary two-qubit state via five-particle Brown state

引用

Chinese Physics B 2024年第8期33卷 204-211页

作者：汪澳魏玉震姜敏李泳成陈虹黄旭 School of Electronics&Information Engineering Soochow UniversitySuzhou 215006China Key Laboratory of System Control and Information Processing Ministry of EducationShanghai 200240China School of Information Engineering Huzhou UniversityHuzhou 313000China

We propose a new protocol for quantum teleportation(QT)which adopts the Brown state as the quantum *** work focuses on the teleportation of a single unknown two-qubit state via a Brown state channel in an ideal *** validate the effectiveness of our proposed scheme,we conduct experiments by using the quantum circuit simulator ***,we investigate the effects of four noisy channels,namely,the phase damping noise,the bit-flip noise,the amplitude damping noise,and the phase-flip ***,we employ Monte Carlo simulation to elucidate the fidelity density under various noise *** analysis demonstrates that the fidelity of the protocol in a noisy environment is influenced significantly by the amplitude of the initial state and the noise factor.

关键词： quantum communication Brown state fidelity

来源：评论

学校读者我要写书评

暂无评论

Real-time tracking of fast-moving object in occlusion scene

引用

Journal of systems Engineering and Electronics 2024年第3期35卷 741-752页

作者： LI Yuran LI Yichen ZHANG Monan YU Wenbin GUAN Xinping Department of Automation Shanghai Jiao Tong UniversityShanghai 200240China Key Laboratory of Systems Control and Information Processing Ministry of Education of ChinaShanghai 200240China

Tracking the fast-moving object in occlusion situations is an important research topic in computer vision. Despite numerous notable contributions have been made in this field,few of them simultaneously incorporate both object's extrinsic features and intrinsic motion patterns into their methodologies,thereby restricting the potential for tracking accuracy improvement. In this paper, on the basis of efficient convolution operators(ECO) model, a speed-accuracy-balanced model is put forward. This model uses the simple correlation filter to track the object in real-time, and adopts the sophisticated deep-learning neural network to extract high-level features to train a more complex filter correcting the tracking mistakes, when the tracking state is judged to be poor. Furthermore, in the context of scenarios involving regular fast-moving, a motion model based on Kalman filter is designed which greatly promotes the tracking stability, because this motion model could predict the object's future location from its previous movement pattern. Additionally,instead of periodically updating our tracking model and training samples, a constrained condition for updating is proposed,which effectively mitigates contamination to the tracker from the background and undesirable samples avoiding model degradation when occlusion happens. From comprehensive experiments, our tracking model obtains better performance than ECO on object tracking benchmark 2015(OTB100), and improves the area under curve(AUC) by about 8% and 32% compared with ECO, in the scenarios of fast-moving and occlusion on our own collected dataset.

关键词： speed-accuracy balanced motion modeling constrained updater

来源：评论

学校读者我要写书评

暂无评论

Energy-based Directional Pilot Protection for Distribution Networks with IBDGs Considering Unmeasured Load Switching

引用

CSEE Journal of Power and Energy systems 2024年第1期10卷 139-150页

作者： Chenghan Zhou Guibin Zou Shuo Zhang Xuhui Wen Key Laboratory of Power System Intelligent Dispatch and Control of Ministry of Education Shandong UniversityJinan 250061China

Inverter-based distributed generations(IBDGs)are the main approach to utilizing clean energy in distribution networks(DNs).Compared with synchronous source,fault response of IBDG is very *** a result,in DNs with high penetration of IBDGs,legacy protection schemes will no longer be *** this paper,an energy-based directional pilot protection scheme suitabie for DNs with IBDGs is *** scheme considers the large range of phase angle caused by IBDG integration and uses improved energy polarity criterion to determine fault *** addition,magnitude of energy is used to distinguish between faults and load switching to overcome maloperation of directional pilot protection caused by internal unmeasured load *** proposed scheme first uses local measured information to determine fault direction sign and then exchanges the direction sign with the remote *** scheme does not require high-bandwidth communication and strict data synchronization,so it can be implemented at a low ***,simulation studies verify effectiveness of the proposed scheme.

关键词： Distribution network energy polarity inverterbased distributed generation pilot protection unmeasured load

来源：评论

学校读者我要写书评

暂无评论

Cognitive Navigation for Intelligent Mobile Robots:A Learning-Based Approach With Topological Memory Configuration

引用

IEEE/CAA Journal of Automatica Sinica 2024年第9期11卷 1933-1943页

作者： Qiming Liu Xinru Cui Zhe Liu Hesheng Wang Department of Automation Shanghai Jiao Tong UniversityShanghai 200240China MoE Key Laboratory of Artificial Intelligence AI InstituteShanghai Jiao Tong UniversityShanghai 200240China Department of Automation Key Laboratory of System Control and Information Processing of Ministry of EducationKey Laboratory of Marine Intelligent Equipment and System of Ministry of EducationShanghai Engineering Research Center of Intelligent Control and ManagementShanghai Jiao Tong UniversityShanghai 200240China

Autonomous navigation for intelligent mobile robots has gained significant attention,with a focus on enabling robots to generate reliable policies based on maintenance of spatial *** this paper,we propose a learning-based visual navigation pipeline that uses topological maps as memory *** introduce a unique online topology construction approach that fuses odometry pose estimation and perceptual similarity *** tackles the issues of topological node redundancy and incorrect edge connections,which stem from the distribution gap between the spatial and perceptual ***,we propose a differentiable graph extraction structure,the topology multi-factor transformer(TMFT).This structure utilizes graph neural networks to integrate global memory and incorporates a multi-factor attention mechanism to underscore elements closely related to relevant target cues for policy *** from photorealistic simulations on image-goal navigation tasks highlight the superior navigation performance of our proposed pipeline compared to existing memory *** validation through behavior visualization,interpretability tests,and real-world deployment further underscore the adapt-ability and efficacy of our method.

关键词： Graph neural networks(GNNs) spatial memory topological map visual navigation

来源：评论

学校读者我要写书评

暂无评论

Distributed Economic MPC for Synergetic Regulation of the Voltage of an Island DC Micro-Grid

引用

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

作者： Yi Zheng Yanye Wang Xun Meng Shaoyuan Li Hao Chen IEEE the Department of Automation Shanghai Jiao Tong UniversityShanghai 200240 the Key Laboratory of System Control and Information Processing Ministry of Education of ChinaShanghai 200240China Haixi Institutes Chinese Academy of SciencesJinjiang 362216China

In this paper,distributed model predictive control(DMPC) for island DC micro-grids(MG) with wind/photovoltaic(PV)/battery power is proposed,which coordinates all distributed generations(DG) to stabilize the bus voltage together with the insurance of having computational efficiency under a real-time *** on the feedback of the bus voltage,the deviation of the current is dispatched to each DG according to cost over the prediction ***,to avoid the excessive fluctuation of the battery power,both the discharge-charge switching times and costs are considered in the model predictive control(MPC) optimization problems.A Lyapunov constraint with a time-varying steady-state is designed in each local MPC to guarantee the stabilization of the entire *** voltage stabilization of the MG is achieved by this strategy with the cooperation of *** numeric results of applying the proposed method to a MG of the Shanghai Power Supply Company shows the effectiveness of the distributed economic MPC.

关键词： Distributed model predictive control(DMPC) Lyapunovbased model predictive control micro-grid(MG) voltage control

来源：评论

学校读者我要写书评

暂无评论

Safety-Aware Scheduling of Real-Time control systems With Burst Computing Tasks

IEEE Transactions on Industrial Cyber-Physical Systems

引用

IEEE Transactions on Industrial Cyber-Physical systems 2025年 3卷 218-227页

作者： Cheng, Ting Liang, Yonghui Li, Hui Xu, Qimin Zhu, Shanying Shanghai Jiao Tong University Department of Automation Shanghai200240 China Ministry of Education of China Key Laboratory of System Control and Information Processing Shanghai200240 China

This paper investigates the safety-aware task scheduling problem of real-time control systems in the presence of burst computing tasks. The basic idea is to adaptively release resources from low-criticality control tasks, ensuring timely completion of burst computing tasks and keeping the control system state within a safe threshold. An efficient algorithm called ADP-Opt is proposed to solve the problem. It first decouples the complex original problem into multiple subproblems, which greatly reduces the search space and improves the solution efficiency. In the subproblem, safety is maintained by limiting the upper bound of the system state's deviation to below the threshold. By introducing a penalty term in the cost function related to computing resources, we aim to balance the impact of control computing tasks on control performance and the consumption of computing resources. Consequently, the overall cost of the control system can be minimized while releasing enough resources for burst computing tasks. Simulation results show that the scheduling decisions made by ADP-Opt approach the optimal decision and maintain the safety of the control systems. © 2023 IEEE.

关键词： Real time control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：