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

22nd IEEE International Conference on Industrial Informatics, INDIN 2024

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

ISBN: (纸本)9798331527471

As very important controllers in automated factories, 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. © 2024 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

22nd IEEE International Conference on Industrial Informatics, INDIN 2024

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

ISBN: (纸本)9798331527471

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 subtasks 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. © 2024 IEEE.

关键词： Dynamic frequency scaling

来源：评论

学校读者我要写书评

暂无评论

Knowledge-Data Fusion Based Source-Free Semi-Supervised Domain Adaptation for Seizure Subtype Classification

Knowledge-Data Fusion Based Source-Free Semi-Supervised Doma...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Ruimin Peng Jiayu An Dongrui Wu 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 Wuhan China

ISBN: (数字)9781665410205

ISBN: (纸本)9781665410212

Electroencephalogram (EEG)-based seizure sub-type classification enhances clinical diagnosis efficiency. Source-free semi-supervised domain adaptation (SF-SSDA), which transfers a pre-trained model to a new dataset with no source data and limited labeled target data, can be used for privacy-preserving seizure subtype classification. This paper considers two challenges in SF-SSDA for EEG-based seizure subtype classification: 1) How to effectively fuse both raw EEG data and expert knowledge in classifier design? 2) How to align the source and target domain distributions for SF-SSDA? We propose a Knowledge-Data Fusion based SF-SSDA approach, KDF-MutuaISHOT, for EEG-based seizure subtype classification. In source model training, KDF uses Jensen-Shannon Diver-gence to facilitate mutual learning between a feature-driven Decision Tree-based model and a data-driven Transformer-based model. To adapt KDF to a new target dataset, an SF-SSDA algorithm, MutualSHOT, is developed, which features a consistency-based pseudo-label selection strategy. Experiments on the public TUSZ and CHSZ datasets demonstrated that KDF-MutualSHOT outperformed other supervised and source-free domain adaptation approaches in cross-subject seizure subtype classification.

关键词： Training Adaptation models Data privacy Fuses Brain modeling Transformers Data models Electroencephalography Decision trees Cybernetics

来源：评论

学校读者我要写书评

暂无评论

Unilateral payoff control is infeasible in network attack-defense interactions

Unilateral payoff control is infeasible in network attack-de...

引用

2024 China Automation Congress, CAC 2024

作者： Zhao, Kaiwen Xia, Yu Su, Qi Department of Automation Shanghai Jiao Tong University Shanghai200240 China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai200240 China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai200240 China

ISBN: (纸本)9798350368604

Network resilience generally refers to the ability of a network to maintain normal operation in the face of various failures and disturbances, which has many applications in social, financial, communication, and transportation systems. There is a large amount of research on designing strategies to disrupt the network from the perspective of attack and to protect the network from the defense standpoint. However, attacks and defenses in the real world often occur simultaneously and repeatedly. The study of network resilience should not be limited to the structural characteristics but should consider the functional characteristics of the network. We develop a general game-theoretic framework to study attack-defense repeated interactions on complex networks and examine the possibility of achieving precise control over the payoffs of attackers and defenders. Our findings reveal that neither the attacker nor the defender can unilaterally control their own payoff, the opponent’s payoff, or any linear combination thereof. This work highlights the limitations of unilateral payoff control in real-world interaction scenarios, a consideration often overlooked in numerous theoretical studies. © 2024 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Bearing-Based Containment control of Multi-agent Systems with Disturbances 7th

Bearing-Based Containment Control of Multi-agent Systems wi...

引用

7th Chinese Conference on Swarm Intelligence and Cooperative control, CCSICC 2023

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

ISBN: (纸本)9789819733392

In this paper, a bearing-based containment control problem of multi-agent systems with disturbances is studied. The nonlinearity of the bearing results in the existence of nonlinear time-varying parameters in the closed-loop system. When the leaders are stationary, under the sufficient conditions on the disturbances and the connectivity of the directed sensing graph, the boundedness of the nonlinear time-varying parameters is rigorously proved, with which it is shown that the containment error converges to zero asymptotically. When the leaders are moving, by using the properties of the bearing and the projection, it is proved that the containment error is uniformly ultimately bounded and can be reduced by adjusting the edge weight. Numerical examples illustrate the effectiveness of the proposed controller. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Remaining Useful Life Prediction for a Multi-stack Solid Oxide Fuel Cell System with Degradation Interactions

引用

CSEE Journal of Power and Energy Systems 2022年第4期8卷 1207-1214页

作者： Xiaojuan Wu Liangfei Xu Yang Huang Danan Yang Junhao Wang Houjun Wang Xi Li School of Automation Engineering University of Electronic Science and Technology of ChinaChengdu 610054China State Key Lab of Automotive Safety and Energy School of Vehicle and MobilityTsinghua UniversityBeijing 100084China School of Artificial Intelligencei and Automation Key Laboratory of Image Processing and Intelligent Control of Education MinistryHuazhong University of Science and TechnologyWuhan 430074China

Due to the constraints of manufacturing and materials,high-power plants cannot rely on only one solid oxide fuel cell stack.A multi-stack system is a solution for a highpower system,which consists of multiple fuel cell stacks.A short lifetime is one of the main challenges for the fuel cell before largescale commercial applications,and prognostic is an important method to improve the reliability of fuel *** from the traditional prognostic approaches applied to single-stack fuel cell systems,the key problem in multi-stack prediction is how to solve the correlation of multi-stack degradation,which can directly affect the accuracy of *** response to this difficulty,a standard Brownian motion is added to the traditional Wiener process to model the degradation of each stack,and then the probability density function of the remaining useful life(RUL)of each stack is ***,a Copula function is adopted to reflect the dependence between life distributions,so as to obtain the remaining useful life for the whole multi-stack system.1 The simulation results show that compared with the traditional prediction model,the proposed approach has a higher prediction accuracy for multi-stack fuel cell systems.

关键词： Degradation interaction multi-stack remaining useful life(RUL) solid oxide fuel cell(SOFC)

来源：评论

学校读者我要写书评

暂无评论

Equilibrium analysis of networked game under best-response dynamics 43

Equilibrium analysis of networked game under best-response d...

引用

43rd Chinese control Conference, CCC 2024

作者： Xia, Yu Su, Qi Shanghai Jiao Tong University Department of Automation Shanghai200240 China Ministry of Education of China Key Laboratory of System Control and Information Processing Shanghai200240 China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai200240 China

ISBN: (纸本)9789887581581

Both coordination, a behavioral pattern where individuals adopt the same behavior as the majority, and anticoordination, a behavioral pattern where individuals choose a behavior different from the majority, are prevalent in social and engineering scenarios. Examples include the spread of social norms or innovations for coordination and the division of labor and traffic congestion for anti-coordination. Exploring the large-scale interacting systems driven by coordination and anticoordination is of great significance in understanding, predicting, and optimizing the evolutionary outcomes. While existing studies have primarily focused on analyzing the convergence of networked systems and evaluating the time to reach equilibrium, our investigation delves into all possible states of a networked system and scrutinizes all equilibrium states. Notably, we observe that the number of equilibrium states increases exponentially with the network size. Accounting for network structure properties, homogeneous networks exhibit more equilibrium states than heterogeneous networks. Furthermore, for specific behavioral switching thresholds, the number of equilibrium states is surprisingly higher than at neighboring switching thresholds. Our work reveals the intricate interplay between evolutionary dynamics, system structure, and behavioral switching thresholds. © 2024 Technical Committee on control Theory, Chinese Association of Automation.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

H8 Consensus control for High-Order Fully Actuated Multi-Agent Systems with External Disturbances 3

H8 Consensus Control for High-Order Fully Actuated Multi-Age...

引用

3rd Conference on Fully Actuated System Theory and Applications, FASTA 2024

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

ISBN: (纸本)9798350373691

This paper investigates the problems of H8 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 H8 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. © 2024 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A time-coded multi-concentration microfluidic chemical waveform generator for high-throughput probing suspension single-cell signaling

引用

Chinese Chemical Letters 2022年第6期33卷 3091-3096页

作者： Yiran Guo Peng Chen Zhaolong Gao Yiwei Li Shunji Li Xiaojun Feng Bi-Feng Liu The Key Laboratory for Biomedical Photonics of MOE at Wuhan National Laboratory for Optoelectronics-Hubei Bioinformatics and Molecular Imaging Key Laboratory Systems Biology ThemeDepartment of Biomedical EngineeringCollege of Life Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China The Key Laboratory of Ministry of Education for Image Processing and Intelligent Control School of Artificial Intelligence and AutomationHuazhong University of Science and TechnologyWuhan 430074China

The cellular response to the complex extracellular microenvironment is highly dynamic in time and type of extracellular *** reconstructing this process and analyzing the changes in receptor conformation on the cell membrane surface and intracellular or intercellular signaling has been a major challenge in analytical chemistry and biophysical *** this paper,a time-coded multiconcentration microfluidic chemical waveform generator was developed for the dynamic signaling probing with single-cell array of high temporal resolution,high throughput,and multi-concentration combination *** on innovative microchannel structure,sophisticated external control methods and multiplexing technology,the system not only allowed for temporally sequential permutations of the four concentrations of stimuli(time code),but also generated pulsed and continuous waveforms at different frequencies in a highly controllable ***,the single-cell trap array was set up to efficiently capture cells in suspension,dramatically increasing throughput and reducing experiment preparation *** maximum frequency of the platform was 1 Hz,and one cell could be stimulated at multiple *** show the ability of the system to investigate rapid biochemical events in high throughput,pulse stimulation and continuous stimulation of different frequencies and different time codes,combined with four concentrations of histamine(HA),were generated for probing G protein-coupled receptor(GPCR)signaling in He La ***,statistical analysis was performed for the mean peak height and mean peak area of the cellular *** believe that the time-coded multi-concentration microfluidic chemical waveform generator will provide a novel strategy for analytical chemistry,biophysics,cell signaling,and individualized medicine applications.

关键词： Microfluidics Dynamic stimulation Time code High-throughput Single-cell array

来源：评论

学校读者我要写书评

暂无评论

Lifetime Extension control for Multi-Stack SOFC System with Inconsistent Stacks 42

Lifetime Extension Control for Multi-Stack SOFC System with ...

引用

42nd Chinese control Conference, CCC 2023

作者： Li, Zexin Liu, Guoqiang Zhao, Wei Li, Xi School of Artificial Intelligence and Automation Huazhong University of Science & Technology Key Laboratory of Image Processing and Intelligent Control of Education Ministry Hubei Wuhan430074 China Shenzhen Huazhong University of Science and Technology Research Institute Guangdong Shenzhen518055 China

ISBN: (纸本)9789887581543

The multi-stack fuel cell system (MFCS) is an important basis for the application of solid oxide fuel cell (SOFC) technology to large-scale power generation systems. MFCS can provide higher power, longer lifetime and better reliability. Different from the single-stack fuel cell system (SFCS), there may be some inconsistencies among the stacks in the MFCS. If the inconsistencies are ignored, they will significantly affect the lifetime of the MFCS. This study focuses on the lifetime extension of multi-stack SOFC power generation systems with inconsistent stacks. Since the multi-stack system of SOFC generally cannot control the flow rate of each stack respectively, it brings a difficulty to the control of the MFCS with inconsistencies among the stacks. In order to overcome this difficulty, this paper built a multi-stack SOFC system model, which can characterize the degradation and inconsistencies among SOFC stacks. And then designed a power distribution strategy based on fuzzy control to extend the lifetime of the MFCS. The strategy was verified by simulations. The simulation results show that the strategy can effectively control the inconsistencies among the stacks and significantly extend the lifetime of the MFCS. © 2023 Technical Committee on control Theory, Chinese Association of Automation.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：