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

IEEE International Conference on Industrial Informatics (INDIN)

作者： Xiaoyu Hu Yonghui Liang Shibo Zhu Hui Li Shanying Zhu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic controller (PLC) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages. However, there are not enough formal semantics and different venders may have their own implementations. In this work, a visual executable semantic model ST-Petri for ST has been proposed. The model uses Petri nets to formally represent ST semantics while using graphs to visualise program control flow. To validate the correctness of the semantic model, we use programs from Github and mutations of existing source programs as a test set to execute and compare the results with the open source OpenPLC platform. Experimental results show that ST-Petri has significant advantages in terms of compilation pass rate and error indication as a semantic model and a ST program compiler.

关键词： Visualization Program processors Semantics Programmable logic devices Petri nets Process control Production Stability analysis Safety Software development management

来源：评论

学校读者我要写书评

暂无评论

Wireless/wired integrated transmission for industrial cyber-physical systems: risk-sensitive co-design of 5G and TSN protocols

引用

Science China(Information Sciences) 2022年第1期65卷 56-71页

作者： Yajing ZHANG Qimin XU Xinping GUAN Cailian CHEN Mingyan LI Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai Engineering Research Center of Intelligent Control and Management College of Computer Science Chongqing University

The growing popularity of intelligent manufacturing is driven by deterministic transmission demands of applications in industrial cyber-physical systems(ICPS). However, the ossified shortages of industrial wireless communication such as diverse quality of service(Qo S) and complex signaling processes incur a severe long tail of transmission delay distribution. As a solution, the 5 th generation(5 G) wireless communication technology provides ultra-reliable and low-latency communication(URLLC) for industry scenarios. Moreover, the newly proposed time-sensitive networking(TSN) standards guarantee the transmission determinacy by gate mechanism. In this paper, we propose a heterogeneous time-sensitive network(HTSN) co-designed by 5 G and TSN. We first develop a predictive multi-priority wireless scheduling mechanism based on semi-persistent scheduling(SPS) to reduce signaling delay by reserving resources in *** we propose an adaptive data injection mechanism for TSN based on per-stream filtering and policing(PSFP), which dynamically adjusts the priority of data for queue injection in TSN. To further reduce the long tail of delay, we employ a risk-sensitive learning method to improve the worst-case delay. Simulations on a hot rolling production scenario demonstrate that the proposed mechanisms under HTSN achieve great performance in terms of integrated delay and resource utilization.

关键词： industrial cyber-physical systems (ICPS) 5G-TSN co-design wireless/wired integrated network risk-sensitive reinforcement learning deterministic communication

来源：评论

学校读者我要写书评

暂无评论

Spiking Neural Network for Intra-cortical Brain Signal Decoding

arXiv

引用

arXiv 2025年

作者： Yang, Song Fu, Haotian Zhang, Herui Zhang, Peng Li, Wei Wu, Dongrui Key Laboratory of the Ministry of Education for Image Processing and Intelligent Control School of Artificial Intelligence and Automation Huazhong University of Science and Technology Wuhan430074 China Hubei Key Laboratory of Brain-inspired Intelligent Systems Huazhong University of Science and Technology Wuhan430074 China Department of Biomedical Engineering College of Life Science and Technology Huazhong University of Science and Technology Wuhan430074 China

Decoding brain signals accurately and efficiently is crucial for intra-cortical brain-computer interfaces. Traditional decoding approaches based on neural activity vector features suffer from low accuracy, whereas deep learning based approaches have high computational cost. To improve both the decoding accuracy and efficiency, this paper proposes a spiking neural network (SNN) for effective and energy-efficient intra-cortical brain signal decoding. We also propose a feature fusion approach, which integrates the manually extracted neural activity vector features with those extracted by a deep neural network, to further improve the decoding accuracy. Experiments in decoding motor-related intra-cortical brain signals of two rhesus macaques demonstrated that our SNN model achieved higher accuracy than traditional artificial neural networks;more importantly, it was tens or hundreds of times more efficient. The SNN model is very suitable for high precision and low power applications like intracortical brain-computer interfaces. © 2025, CC BY.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

H∞ Consensus control for High-Order Fully Actuated Multi-Agent Systems with External Disturbances

H∞ Consensus Control for High-Order Fully Actuated Multi-Ag...

引用

Fully Actuated System Theory and Applications (CFASTA), Conference on

作者： Qing-Hao Zhang Jun-Guo Lu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798350373691

ISBN: (纸本)9798350373707

This paper investigates the problems of H ∞ consensus control for high-order fully actuated multi-agent systems (HOFAMASs) with external disturbances. By utilizing the characteristics of high-order fully actuated systems (HOFASs), the distributed control protocols are designed, eliminating all nonlinear characteristics of open loop systems while establishing new closed-loop dynamic characteristics. Then, the H ∞ consensus problems of HOFAMASs are addressed. The corresponding parameters to be designed in the distributed control protocols are given by using linear matrix inequalities (LMIs). A novel multi-spacecraft attitude model is proposed based on HOFASs. An illustrative example of the multi-spacecraft attitude model is given, in order to demonstrate the effectiveness and application of the results proposed in this paper.

关键词： Sufficient conditions Protocols Attitude control Open loop systems Consensus control Numerical models Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Safety-Aware Scheduling of Real-Time control Systems with Burst Tasks

Energy-Efficient Safety-Aware Scheduling of Real-Time Contro...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Ting Cheng Yonghui Liang Qimin Xu Shanying Zhu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

In industrial sites, multiple real-time control systems often share computing resources. However, burst computing tasks may lead to the random dropping of control computing subtasks, resulting in control failures and potential hazards. To address this issue, we propose an energy-efficient safety-aware task scheduling scheme based on mixed-integer programming. When burst computing tasks are triggered, this scheduling scheme adaptively releases resources from low-criticality control computing sub tasks and adjusts the processor speed based on the dynamic voltage and frequency scaling technology (DVFS), ensuring the timely completion of burst computing tasks and keeping the control system state deviation within a safe threshold. To achieve the scheduling scheme, we propose an efficient algorithm called EESASA. Simulation results show that EESASA can minimize the overall cost of control and processor energy while ensuring the safety of the control system and the timely completion of burst computing tasks.

关键词： Time-frequency analysis Job shop scheduling Costs Processor scheduling Process control control systems Dynamic scheduling Real-time systems Energy efficiency Voltage control

来源：评论

学校读者我要写书评

暂无评论

Fully Distributed Consensus of Multi-Agent Systems with Improved Minimum Inter-Event Times

Fully Distributed Consensus of Multi-Agent Systems with Impr...

引用

American control Conference (ACC)

作者： Ruchao Su Xianwei Li Shaoyuan Li Department of Automation Shanghai Jiao Tong University Shanghai China The Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China The Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798350382655

ISBN: (纸本)9798350382662

We investigate the consensus problem of multi-agent systems with linear dynamics via a fully distributed event-triggered approach. To solve this problem, we present a fully distributed control strategy with an innovative event-triggered mechanism, where a clock variable is introduced to guarantee the existence of strictly positive minimum inter-event times (MIETs). Compared with existing results, the proposed event-triggered mechanism provides more flexibility for the clock variable, improving inter-event times. A positive lower bound of MIETs is derived, and is shown to be larger than those in previous works. The main results are illustrated with a numerical example.

关键词： Decentralized control Directed graphs Clocks Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Distributed Optimization of Heterogeneous Linear Multi-Agent Systems with Unknown Disturbances

Distributed Optimization of Heterogeneous Linear Multi-Agent...

引用

IEEE Conference on Decision and control

作者： Mengmeng Duan Shanying Zhu Ziwen Yang Cailian Chen Xinping Guan Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798350316339

ISBN: (纸本)9798350316346

In this paper, we investigate the distributed optimization problem for heterogeneous linear multi-agent systems with unknown disturbances. By applying the primal-dual method and the time-scale separation technique, a distributed dynamic controller without using any disturbance information is proposed. Based on the optimal condition, the relationship between the optimal solution and the equilibrium point of the system is established, and it is shown that the distributed optimization problem is solved provided that the closed-loop system is stable. Then, inspired by the nonsingular perturbation analysis, it is proved that the closed-loop system is exponentially input-to-state stable with respect to the derivative of the disturbance. Numerical examples are provided to illustrate the theoretical results.

关键词： Perturbation methods Trajectory Closed loop systems Optimization Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Digital Twin Enabled Flight control System Testing: A Physical-Virtual Mapping Experiment

Digital Twin Enabled Flight Control System Testing: A Physic...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Cheng Ren Cailian Chen Shanying Zhu Yehan Ma Xinping Guan Department of Automation Key Laboratory of System Control and Information Processing Ministry of Education of China and Shanghai Engineering Research Center of Intelligent Control and Management Shanghai Jiao Tong University Shanghai P. R. China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

Flight control system testing (FCST) is one of the most important testing during aircraft final assembly, however, traditional testing method highly rely on manual labor, resulting in low testing quality and efficiency. Targeting at improving the testing quality and efficiency, in this paper, we apply digtial twin (DT) technology in the FCST process for the first time. A virtual experimental platform named DT-FCST is constructed which is identical to a real wing experimental platform, supporting testing elements management and physical-virtual mapping experiments. The development process of the DT-FCST platform is detailed. Several experiments are conducted to demonstrate the effectiveness of DT technology. Based on motion scripts integrating real-time data from the cockpit, the cockpit control sticks and flight control surfaces are driven to achieve consistency between physical and virtual motions. With the help of DT technology, the entire movement process of control sticks and flight control surfaces are mapped with high fidelity in the DT-FCST platform, greatly enhancing the testing efficiency and monitoring quality.

关键词： System testing Process control Manuals Real-time systems Aircraft Informatics Surface treatment Monitoring Testing Aerospace control

来源：评论

学校读者我要写书评

暂无评论

Modeling of All-Vanadium Redox Battery Based on Dual Stream Network with Attention Mechanism

Modeling of All-Vanadium Redox Battery Based on Dual Stream ...

引用

International Conference on Computer and Communications (ICCC)

作者： Jiajie Zhu Bo Yang Mingxuan Cai Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798331507077

ISBN: (纸本)9798331507084

Accurate voltage prediction for all-vanadium redox batteries (VRBs) affects the efficiency and safety of battery. In this paper, we propose a self-attention-based dual-stream neural network (SA-DSNN) model for voltage prediction under various working conditions. This approach independently processes temporal and condition data streams to reduce the noise interference. Using neural networks tailored to each of stream can more effectively extract intrinsic features. In particular, self-attention mechanisms are employed to enhance critical information. The features from both streams are fully integrated in output layer to generate final predictions. Experimental results indicate that the proposed method enhances the generalization and accuracy of VRBs model across different time scale.

关键词： Accuracy Neural networks Noise Voltage Interference Predictive models Redox Feature extraction Batteries Streams

来源：评论

学校读者我要写书评

暂无评论

NPGA: A Unified Algorithmic Framework for Decentralized Constraint-Coupled Optimization

arXiv

引用

arXiv 2022年

作者： Li, Jingwang Su, Housheng School of Artificial Intelligence and Automation The Key Laboratory of Image Processing and Intelligent Control of Education Ministry of China Huazhong University of Science and Technology Wuhan430074 China

This work focuses on a class of general decentralized constraint-coupled optimization problems. We propose a novel nested primal-dual gradient algorithm (NPGA), which can achieve linear convergence under the weakest known condition, and its theoretical convergence rate surpasses all known results. More importantly, NPGA serves not only as an algorithm but also as a unified algorithmic framework, encompassing various existing algorithms as special cases. By designing different network matrices, we can derive numerous versions of NPGA and analyze their convergences by leveraging the convergence results of NPGA conveniently, thereby enabling the design of more efficient algorithms. Finally, we conduct numerical experiments to compare the convergence rates of NPGA and existing algorithms, providing empirical evidence for the superior performance of NPGA. Copyright © 2022, The Authors. All rights reserved.

关键词： Consensus algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：