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

IEEE Conference on Decision and control

作者： Weijie Dong Shaoyuan Li Xiang Yin Department of Automation and Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In this paper, we address the problem of failure diagnosis in timed discrete-event systems modeled by timed automata. While existing works on this topic typically focus on failures modeled as particular events, many complex applications, especially time-critical systems, require the ability to identify time-sensitive failures associated with real-time information rather than just the occurrence of events at any time. To address this challenge, we propose the use of metric interval temporal logic (MITL) with continuous semantics on Boolean signals to formally describe time-sensitive failures. We introduce a novel concept called time-sensitive diagnosability (TS-diagnosability) to characterize whether or not any violation of the MITL task (i.e., failure) can be determined within a finite time elapsing. Furthermore, we provide a necessary and sufficient condition for verifying TS-diagnosability. Our results offer a more general framework for failure diagnosis of timed discrete-event systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Online Identification of Boost Converter Components with Multiple Updating RLS Algorithm

Online Identification of Boost Converter Components with Mul...

引用

第42届中国控制会议

作者： Tong Zhou Zhicheng Zhang Zhiqiang Zuo Yijing Wang Peng Li Tianjin Key Laboratory of Intelligent Unmanned Swarm Technology and System School of Electrical and Information EngineeringTianjin University Key Laboratory of System Control and Information Processing Ministry of Education

In this paper,component parameters of the boost converter are identified online using a multiple updating recursive least squares(MURLS) *** component parameters,such as resistance,inductor inductance and capacitor capacitance,are obtained directly through the identification procedure rather than transfer function *** MURLS algorithm is applied to improve the rapidity of system identification compared to the traditional recursive least squares(RLS) algorithm,which is verified by a comparative simulation between MURLS and RLS and the simulation of a load-switching scenario.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synthesis of Failure-Robust Plans for Multi-Robot systems Under Temporal Logic Specifications

Synthesis of Failure-Robust Plans for Multi-Robot Systems Un...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： Feifei Huang Shaoyuan Li Xiang Yin Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In this study, we address the multi-robot path planning problem for tasks specified by linear temporal logic (LTL) formulae. Unlike existing studies, we take into account the possibility of robot failures, where a failed robot can no longer contribute to the completion of the LTL task. Our objective is to find a failure-robust path, which ensures that the LTL task can always be fulfilled, even if a maximum number of robots fail at any point during execution. To achieve this, we extend the mixed-integer linear programming (MILP) approach to the failure-robust setting. To overcome the computational complexity, we identify a fragment of LTL formulae called the free-union-closed LTL, which allows for more scalable synthesis without considering the global combinatorial issue. We present case studies to demonstrate our findings. Our approach provides a novel solution to the problem of multi-robot path planning under robot failures, offering a practical and efficient way to achieve robustness in the face of unforeseen events.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Event-Triggered Fully Distributed control: A Model-Free Adaptive Learning Algorithm

引用

IEEE Transactions on Automatic control 2025年

作者： Ma, Yong-Sheng Che, Wei-Wei Wu, Zheng-Guang Northeastern University College of Information Science and Engineering Shenyang266071 China Zhejiang University State Key Laboratory of Industrial Control Technology Institute of Cyber-Systems and Control Hangzhou310027 China

This paper studies the consensus problem in multi-agent systems (MASs) under the challenge of an unknown system model and limited communication resources. A novel model-free adaptive learning algorithm is developed to learn the controller from system data. A model-based event-triggered fully distributed control (ET-FDC) algorithm is proposed to achieve consensus while saving the limited communication resources. Furthermore, a data-driven systematic learning methodology for the ET-FDC algorithm is introduced to eliminate the need for a system model. Compared with existing approaches, the main advantages of the proposed method are that it not only avoids using the system model and global topology information, but also reduces unnecessary communication. Finally, simulations are presented to illustrate the superiority of the theoretical results. © 2025 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

A New Approach of Intrusion Detection with Command Sequence-To-Sequence Model 6th

A New Approach of Intrusion Detection with Command Sequence-...

引用

6th Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2019

作者： Liu, Wei Mao, Yu Ci, Linlin Zhang, Fuquan School of Computer Science and Technology Beijing Institute of Technology Beijing China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control Minjiang University Fuzhou350117 China

ISBN: (纸本)9789811650352

Traditionally, researchers have focused on network level intrusion detection and program level intrusion detection to improve computer security. However, neither approach is foolproof. We argue that the internal and external security of a computer system are equally important. Typically, a successful attacker manifests in the form of the attacker becoming a user on the host either with elevated or normal user privileges. At this point, user-level intrusion detection attempts to deter and curtail an attacker even after the system has been compromised. In this work, we introduce a new approach of intrusion detection based on recurrent neural networks (RNNs) to solve the long sequential problem. We build a robust user command sequence-to-sequence model by semantic modeling command. Our model implements the prediction of user command sequence and the prophesying of user behaviors. The experimental results on data sets of Purdue University, SEA and self-collected data show that an accurate, effective and efficient detection can be achieved by using the proposed approach. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Abnormal EEG Microstates in Post-stroke Patients: A Pilot Study

引用

IEEE Sensors Journal 2025年第11期25卷 19863-19873页

作者： Chen, Xiaoling Zhai, Jiashun Cai, Yuhao Zhang, Tengyu Wang, Juan Mao, Gengsheng Cheng, Shengcui Zhang, Yuanyuan Xie, Ping Yanshan University Key Laboratory of Intelligent Control and Neural Information Processing Ministry of Education Hebei Province Qinhuangdao066004 China Yanshan University Key Laboratory of Intelligent Rehabilitation and Neuromodulation of Hebei Province Qinhuangdao Hebei China National Research Center for Rehabilitation Technical Aids Beijing Key Laboratory of Rehabilitation Technical Aids for Old-Age Disability Beijing China PLA General Hospital Senior Department of Neurosurgery Beijing China Tianjin University Academy of Medical Engineering and Translational Medicine Tianjin300072 China Capital Medical University Xuanwu Hospital Beijing China

Exploring brain function is crucial for unraveling the pathological mechanism underlying stroke. while most studies focus on brain function emphasize dynamic connections and interactions within or between brain regions, they often ignore the global properties of large-scale network topology. In this study, we analyzed resting-state EEG microstates in stroke patients, calculating key parameters such as mean duration (MD), occurrence (OC), time coverage (TC), and transition probability (TP) across different microstate classes. As a result, we identified four microstate classes (A, B, C, and D) in both healthy subjects and stroke patients. Notably, stroke patients showed significant changes in Class B, C, and D, with increased MD, OC, and TC in Class B and C and decreased MD, OC, and TC in Class D. additionally, stroke patients displayed higher TP between Class B and C than healthy controls. Moreover, we observed a positive correlation between the OC of Class D and clinical Fugl-Meyer scores, suggestion a link between microstate dynamic and motor recovery. This study highlights the connection between specific microstates and brain regions, providing evidence that stroke patients demonstrate increased activity in visual and salience networks, but decreased activity in the dorsal attention network. We speculate these results from changes in the occipital lobe, frontal lobe, parietal lobe, and dorsal anterior cingulate cortex. These findings deepen our understanding of stroke pathophysiology and support further research. © 2001-2012 IEEE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Integration of classical communication and quantum key distribution using frequency division multiplexing

引用

中国光学快报（英文版） 2025年第3期23卷 125-130页

作者：邵蕴语沈子毅徐越寒李琅谭子聪廖晓娟黄鹏王涛曾贵华 State Key Laboratory of Advanced Optical Communication Systems and Networks Center for Quantum Sensing and Information Processing Shanghai Jiao Tong University Shanghai 200240 China School of Sensing Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China Hefei National Laboratory Hefei 230088 China

Since the working conditions of classical and quantum signals are very different,how to effectively integrate classical and quantum communication networks without affecting their respective performance has become a great *** this paper,we proposed a scheme to realize classical communication and continuous-variable quantum key distribution(CV-QKD)based on frequency-division multiplexing(FDM),and we verified the feasibility of simultaneously realizing CV-QKD and classical optical communication data synchronous transmission scheme under the same *** achieved a 0 bit error rate in 50 frames and a 20 Mb/s bit rate for the classical signal and an average secret key rate of around 5.86×105 bit/s for the quantum signal through a 4 dB fiber *** work provides a scheme to establish a QKD channel by only reserving a small passband in the entire optical communication instead of an entire wavelength,increasing efficiency and simplifying the integration of QKD and classical communication.

关键词： classical communication quantum key distribution frequency-division multiplexing

来源：评论

学校读者我要写书评

暂无评论

Research on Semi-physical Simulation Cloud control System of Three-Tank Based on Industrial Internet Architecture 18th

Research on Semi-physical Simulation Cloud Control System o...

引用

18th Chinese Intelligent systems Conference, CISC 2022

作者： Lin, Wenshui Zheng, Song College of Electrical Engineering and Automation Fuzhou University Fuzhou350116 China Key Laboratory of Industrial Automation Control Technology and Information Processing Fuzhou University Fuzhou350116 China

ISBN: (纸本)9789811962028

The Industrial Internet is becoming the most important infrastructure for industrial manufacturing systems. With the emergence and development of cloud control technology, cloud control will become one of the most important functions in the Industrial Internet. This paper takes the three-tank as the research object, adopts the industrial Internet architecture, and proposes a cloud control system. By applying data engine technology, an isomorphic three-tank mathematical model is constructed on heterogeneous PLCs, thereby establishing a semi-physical simulation system, and realizing the real-time human-computer interaction. The three-tank semi-physical simulation cloud control system is built by the software tools of the industrial Internet platform, and experimentally studied to verify that the industrial Internet architecture and cloud control algorithm proposed in this paper is scientifically effective. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

SS-ADA: A Semi-Supervised Active Domain Adaptation Framework for Semantic Segmentation

arXiv

引用

arXiv 2024年

作者： Yan, Weihao Qian, Yeqiang Li, Yueyuan Li, Tao Wang, Chunxiang Yang, Ming Department of Automation Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai200240 China

Semantic segmentation plays an important role in intelligent vehicles, providing pixel-level semantic information about the environment. However, the labeling budget is expensive and time-consuming when semantic segmentation model is applied to new driving scenarios. To reduce the costs, semi-supervised semantic segmentation methods have been proposed to leverage large quantities of unlabeled images. Despite this, their performance still falls short of the accuracy required for practical applications, which is typically achieved by supervised learning. A significant shortcoming is that they typically select unlabeled images for annotation randomly, neglecting the assessment of sample value for model training. In this paper, we propose a novel semi-supervised active domain adaptation (SS-ADA) framework for semantic segmentation that employs an image-level acquisition strategy. SS-ADA integrates active learning into semi-supervised semantic segmentation to achieve the accuracy of supervised learning with a limited amount of labeled data from the target domain. Additionally, we design an IoU-based class weighting strategy to alleviate the class imbalance problem using annotations from active learning. We conducted extensive experiments on synthetic-to-real and real-to-real domain adaptation settings. The results demonstrate the effectiveness of our method. SS-ADA can achieve or even surpass the accuracy of its supervised learning counterpart with only 25% of the target labeled data when using a real-time segmentation model. The code for SS-ADA is available at https://***/ywher/SS-ADA. Copyright © 2024, The Authors. All rights reserved.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Self-Supervised Depth Estimation Based on the Consistency of Synthetic-real Image Prediction 8

Self-Supervised Depth Estimation Based on the Consistency of...

引用

8th IEEE International Conference on Advanced Robotics and Mechatronics, ICARM 2023

作者： Tong, Wei Gao, Yubing Wu, Edmond Q. Zhu, Li-Min School of Mechanical Engineering Nanjing University of Science and Technology Jiangsu210014 China Ministry of Education Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Shanghai200240 China School of Mechanical Engineering Shanghai Jiao Tong University State Key Laboratory of Mechanical System and Vibration Shanghai200240 China

ISBN: (纸本)9798350300178

Learning-based multi-view stereo aims to restore the real scene from multiple images with overlapping areas. The mainstream self-supervised MVS method trains the model based on the assumption that spatial points from different perspectives share the same color information. To further suppress the interference from specular reflection and illumination noise, this work proposes a self-supervised MVS network based on the consistency of synthetic-real image prediction. The network first applies the coarse-to-fine manner to gradually refine the depth map, and the source images are projected to the reference view to generate the synthesized reference image. Then the synthesized image with real source images are re-input into the network to form a cycled network, and the consistency constraint of the prediction results of the two periods is introduced to improve the color anti-interference of the self- supervised MVS model. The comprehensive experiments on the public dataset show that the proposed work can further improve the reconstruction performance of the benchmark model, which verifies the effectiveness of the proposed work. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：