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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CenterRCNN: Two-Stage Anchor-Free Object Detection Using Center keypoint-Based Region Proposal Network

引用

Journal of Shanghai Jiaotong University (Science) 2023年 1-9页

作者： Liu, Chen Li, Wenfa Xu, Yunwen Li, Dewei Department of Automation Key Laboratory of System Control and Information Processing of Ministry of Education Shanghai Jiao Tong University Shanghai200240 China

The classic two-stage object detection algorithms such as faster regions with convolutional neural network features (Faster RCNN) suffer from low speed and anchor hyper-parameter sensitive problems caused by dense anchor mechanism in region proposal network (RPN). Recently, the anchor-free method CenterNet shows the effectiveness of perceiving and classifing object by its center. However, the severe coincidence false positive problem between confusing categories caused by the multiple binary classifiers makes it still insufficient in accuracy. We introduce a two-stage network CenterRCNN to take advantage of both and overcome their shortcomings. CenterRPN is proposed as the first stage to give proposals that incorporate the center keypoint idea into RPN to perceive foreground objects, replacing dense anchor-based RPN. Then the proposals are classified by the multi-classifier of RCNN header that focuses more on the difference between confusing categories and only outputs the maximum probability one of them. To sum up, CenterRPN can eliminate the drawbacks of dense anchor based RPN in Faster RCNN, and multi-classifier’s classification ability is better than that of multiple binary classifiers in CenterNet. The experiment demonstrates that CenterRCNN outperforms both basic algorithms in the accuracy, and the speed is improved as compared with Faster RCNN. © 2023, Shanghai Jiao Tong University.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

Indoor Vehicle Positioning Based on Multi-Sensor Data Fusion

引用

Journal of Shanghai Jiaotong university(Science) 2023年第1期28卷 77-85页

作者：王明阳时良仁李元龙 Department of Automation Shanghai Jiao Tong University、Key Laboratory of System Control and Information Processing of Ministry of EducationShanghai 200240China

This study proposes a Kalman filter-based indoor vehicle positioning method for cases in which the steering angle and rotation speed of the vehicle’s wheels are *** fusing the position and velocity data from the ultra-wideband sensors and acceleration and orientation data from the inertial measurement unit,we developed two algorithms to estimate the real-time position of the vehicle based on a linear Kalman filter and extended Kalman filter,*** then conducted simulations and experiments to examine the performances of the *** the experiment,the Kalman filtering hyperparameters are configured,and we then ran the two algorithms to determine the positioning precision and accuracy with the ground truth produced via *** verified that our method can improve precision and accuracy compared with the raw positioning data and can achieve desirable effects for indoor vehicle positioning when vehicles travel at low speeds.

关键词： indoor vehicle positioning multi-sensor data fusion ultra-wideband linear Kalman filter extended Kalman filter

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：