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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Attitude Stabilization control for Unmanned Aerial Vehicle with Robotic Arm Based on Fixed-Time Observer Active Disturbance Rejection control 3rd

Attitude Stabilization Control for Unmanned Aerial Vehicle w...

引用

3rd International Conference on Machine Learning, Cloud Computing and Intelligent Mining, MLCCIM 2024

作者： Mo, Fan Gu, Chaochen Wang, Kunkun Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China

ISBN: (纸本)9789819616930

To address the periodic disturbances introduced by the manipulator mounted on the drone, as well as the overall system parameter variations caused by the robotic arm carried by the Unmanned Aerial Vehicle (UAV), the fixed-time convergence observer (FTCO) is introduced to ADRC to enhance the dynamic characteristics, including overshoot and convergence speed. The Active Disturbance Rejection controller (ADRC) is employed as the fundamental controller for UAV systems while the FTCO is used to rapidly observe disturbances and compensate them to the controller, aiming to counteract interference. The UAV system is established to verify the effect of Fixed-Time Convergence Observer-Active Disturbance Rejection controller (FTCO-ADRC) when it is compared to conventional ADRC and PID controller. The simulation outcome reveals that the FTCO-ADRC perform better in convergence speed, overshoot and robustness. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Disturbance rejection

来源：评论

学校读者我要写书评

暂无评论

Robust H∞ Analysis and control of Fractional-Order systems With Ellipsoidal Parametric Uncertainty

引用

Mathematical Methods in the Applied Sciences 2025年第8期48卷 9058-9070页

作者： Zhu, Long-Jun Lu, Jun-Guo Zhu, Zhen Zhang, Qing-Hao Department of Automation Shanghai Jiao Tong University Shanghai China School of Artificial Intelligence Shanghai Normal University Tianhua College Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China

In the domain of systems control, the robust control of fractional-order systems (FOSs) with ellipsoidal parameter uncertainty has received scant attention, even though ellipsoidal uncertainty is significant for quantifying and modeling parameter uncertainties. This paper addresses the gap by focusing on (Formula presented.) analysis and control of FOSs with ellipsoidal parametric uncertainty, where the fractional order is delimited to the range (Formula presented.). Two distinct categories of ellipsoidal parameter uncertainty models are considered: one corresponding to FOSs with uncertain zero positions and the other to FOSs with uncertain pole and zero positions. First, sufficient conditions for the (Formula presented.) performance analysis of FOSs with ellipsoidal parametric uncertainty are established by extending the (Formula presented.) bounded real lemma for FOSs. Next, the problems of (Formula presented.) controller synthesis are analyzed, and the state feedback (Formula presented.) controllers are designed, along with the establishment of sufficient conditions for stabilization. These conditions are given in the form of linear matrix inequalities (LMIs). Lastly, several numerical examples are provided to verify the effectiveness of the proposed results. © 2025 John Wiley & Sons Ltd.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Data-driven Scheduling-control Framework for Energy-efficient Industrial Flexible Production 24

Hierarchical Data-driven Scheduling-Control Framework for En...

引用

2nd International Conference on Frontiers of Intelligent Manufacturing and Automation, CFIMA 2024

作者： Jiang, Yuliang Zhu, Shanying Guan, Xinping Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China

ISBN: (纸本)9798400710681

This paper proposes a hierarchical data-driven scheduling-control framework for a multi-machine/mode production system to operate in an energy-efficient manner. At the scheduling layer, the scheduling problem incorporating process dynamics is formulated into a quadratic programming to arrange candidate processing machines/modes and corresponding production objectives. Based on the dynamic linearization model, scheduling results are executed by model-free adaptive control at the control layer. The real-time process output is feedback to the scheduling layer for the next decision-making. The practicality of the proposed framework is validated in a thread-tapping process featuring four distinct operational modes. On average, operating in a single mode maintains output accuracy while saving 14.2% on energy. The multi-mode operation further optimizes energy usage through its capability for dynamic mode switching. © 2024 Copyright held by the owner/author(s).

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：