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

SSRN 2024年

作者： Feng, Qian Zheng, Wei Xing Wang, Xiao Yu Xiao, Feng School of Control and Computer Engineering North China Electric Power University Beijing China School of Computer Data and Mathematical Sciences Western Sydney University Sydney Australia State Key Laboratory of Alternative Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing China

Stabilizing autonomous linear time delay systems, particularly when addressing an unlimited number of pointwise and distributed delays (DDs) under dissipative constraints, poses a significant challenge. Existing solutions are often hindered by theoretical limitations, numerical obstacles, or an inability to address the complexities of the delay integral kernels. In this paper, we propose a unified framework to tackle the above problem by employing the concept of the Kronecker-Seuret decomposition (KSD) for matrix-valued functions, which we recently have developed for the analysis of complex delay structures in coordination with the Krasovski\u{\i} functional approach. Our strategy can simultaneously address two distinct control problems, where the matrix kernels of DDs can contain an unlimited number of square-integrable functions. We show in detail how the KSD can factorize and approximate different kernel functions simultaneously without introducing conservatism. Furthermore, the use of KSD also enables us to construct complete-type functionals, whose integral kernels can include any number of weakly differentiable and linearly independent functions, underpinned by the utilization of novel integral inequalities derived from the least-squares principle. The solution to each synthesis problem comprises two theorems accompanied by an iterative algorithm, which can be utilized as a single package to compute controller gains, thus eliminating the need for nonlinear solvers. We present the testing results of two challenging examples, which could not be addressed by existing methods, to demonstrate the effectiveness of our methodology. Additionally, the paper reviews recent advancements in the research of time-delay systems, providing a valuable reference for both emerging and established researchers. © 2024, The Authors. All rights reserved.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

Research on Simulation Technology of Cooperative Guidance for Aircraft Formation

Research on Simulation Technology of Cooperative Guidance fo...

引用

Chinese Intelligent systems Conference, CISC 2020

作者： Tong, Jiahui Liu, Jin Li, Jing Zhan, Tianming Science and Technology on Complex System Control and Intelligent Agent Cooperation Laboratory Beijing China Beijing Electro-Mechanical Engineering Institute Beijing China TAIJI Computer Corporation Limited Beijing China

ISBN: (纸本)9789811584572

This paper analyzed the structure and characteristics of cooperative guidance system of aircraft formation, puts forward a multi-level simulation system architecture of centralized/distributed driving to solve the cooperative guidance for aircraft formation, realized the modeling of aircraft formation members and interaction by using multi-agent method, discussed the simulation methods of data link networking transmission and positioning, space-time registration of simulation system, and so on. The simulation is carried out based on a certain combat scenario, and the results show that the simulation system constructed in this paper can simulate the whole process of cooperative guidance of aircraft formation. © 2021, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Localization Method of Underwater Robot Based on Sonar Image 5

Localization Method of Underwater Robot Based on Sonar Image

引用

5th International Conference on Information Communication and Signal Processing, ICICSP 2022

作者： Li, Lirong Mei, Bing Chen, Peng Yu, Liang Gong, Pengcheng Hubei University of Technology Hubei Key Laboratory for High-efficiency Utilization of Solar Energy and Operation Control of Energy Storage System Wuhan China Hubei University of Technology Hubei Engineering Research Center for Safety Monitoring of New Energy and Power Grid Equipment Wuhan China School of Mechanical Engineering Shanghai Jiao Tong University State Key Laboratory of Mechanical System and Vibration Shanghai China School of Computer Science & Engineering Wuhan Institute of Technology Wuhan China

ISBN: (纸本)9781665485890

In this paper, we propose a positioning algorithm based on sonar images, which is mainly used for the positioning of underwater robots, so that the robots can obtain the position information in real time when operating underwater and avoid colliding with the underwater walls. First, the underwater space was detected with multibeam sonar, and the sonar images of the underwater space wall were found to have line segment characteristics;Composite denoising, threshold segmentation and Canny edge detection are applied to the sonar image to extract the contours of the underwater spatial wall. Then the characteristic line segments of the underwater spatial wall are detected based on the LSD (Line Segment Detector) line segment detection algorithm. In terms of line segment classification, a method is proposed to effectively classify line segments using the origin of the sonar image and the slope of the detected line segment. To further demonstrate the effectiveness of the localization algorithm in this paper, the specific steps of the algorithm are illustrated with the example of underwater rectangular space. © 2022 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Tensor and Minimum Connected Dominating Set based Confident Information Coverage Reliability Evaluation for IoT

IEEE Transactions on Sustainable Computing

引用

IEEE Transactions on Sustainable Computing 2024年第3期10卷 547-561页

作者： Xiao, Ziheng Zhu, Chenlu Feng, Wei Liu, Shenghao Deng, Xianjun Lu, Hongwei Yang, Laurence T. Park, Jong Hyuk Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Hubei Wuhan430074 China Artificial Intelligence and Intelligent Transportation Joint Technical Center of HUST and Hubei Chutian Intelligent Transportation Company Ltd United States Network and Industrial Control Information Security Technology Department China Nuclear Power Operation Technology Company Ltd. 1011 Xiongchu Avenue Hubei Wuhan430070 China The Department of Computer Science and Engineering Seoul National University of Science and Technology Seoul01811 Korea Republic of

Internet of Things (IoT) reliability evaluation contributes to the sustainable computing and enhanced stability of the network. Previous algorithms usually evaluate the reliability of IoT by enumenating the states of nodes and networks, which are difficult to handle IoT with hundreds of nodes because the computational cost. In this paper, a novel algorithm, TMCRA, is proposed to evaluate the reliability of IoT in complex network environment, which consider both coverage and connectivity. For coverage, TMCRA employs the Confident Information Coverage (CIC) model to divide the target area into independent grids and calculates the coverage rate. In terms of connectivity, TMCRA forming the Virtual Backbone Network (VBN) based on two proposed methods: TMA and MGIN, and evaluate connectivity by analyzing the VBN rather than the whole network. The TMA and MGIN are two algorithms for constructing Minimum Connected Dominant Sets (MCDS), which are suitable for different scale networks. Finally, based on the data of coverage and connectivity, TMCRA utilizes tensors for the unified modeling and representation of network structure, and calculates IoT reliability based on the tensors. Simulations are carried out for various sizes of IoT to show the advantages and effectiveness of the proposed approach in reliability evaluation. © 2016 IEEE.

关键词： Data reliability

来源：评论

学校读者我要写书评

暂无评论

Abstraction-Based Synthesis of controllers for Approximate Opacity

Abstraction-Based Synthesis of Controllers for Approximate O...

引用

IEEE Conference on Decision and control

作者： Junyao Hou Siyuan Liu Xiang Yin Majid Zamani Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden Department of Computer Science University of Colorado Boulder CO USA Department of Computer Science LMU Munich Munich Germany

Opacity is an important information-flow security property which characterizes the plausible deniability of certain “secret behaviors” in dynamical systems. In this paper, we study the problem of synthesizing controllers enforcing a notion of opacity over discrete-time control systems with continuous state sets. In this paper, we develop an abstraction-based approach to tackle the controller synthesis problem. Specifically, we adopt a notion of approximate opacity which is suitable for continuous-space control systems. We propose a notion of approximate initial-state opacity preserving alternating simulation relation which characterizes the closeness between two systems in terms of opacity preservation. We show that, based on this new notion of system relation, one can synthesize an opacity-enforcing controller for the abstract system which is finite and then refine it back to enforce opacity over the original control system. Finally, we present a method for constructing opacity-preserving finite abstractions for discrete-time control systems under some stability properties. Our results are illustrated on a two-room temperature control problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Millimeter-Wave Radar Measurement and Ray-Tracing Simulation for Urban Street Environment 3

Millimeter-Wave Radar Measurement and Ray-Tracing Simulation...

引用

3rd URSI Atlantic and Asia Pacific Radio Science Meeting, AT-AP-RASC 2022

作者： Li, Wenbin He, Danping Guan, Ke Shi, Xiangyu Zhong, Zhangdui Beijing Jiaotong University State Key Laboratory of Rail Traffic Control and Safety Beijing100044 China Frontiers Science Center for Smart High-speed Railway System Beijing100044 China Beijing Jiaotong University School of Computer and Information Technology Beijing100044 China Key Laboratory of Railway Industry of Broadband Mobile Information Communications Beijing100044 China

ISBN: (纸本)9789463968058

Autonomous driving technology greatly contributes to the evolution of intelligent transportation systems (ITSs). As an important sensor, the millimeter-wave (mmWave) radar plays an irreplaceable role in the overall ITSs. In this paper, we use a mmWave automotive radar system to perform measurement in an urban street environment. The radar cross section of key targets is estimated from the measurements, and it is used to calibrate the electromagnetic parameters for the ray-tracing (RT) simulation. The calibrated simulation results are compared with simulation results in distance, angle, and velocity to verify the accuracy and reliability of the RT simulator. The presented method, process, and analysis in this work can be used for the understanding of mmWave radar channel and the design of autonomous driving technology. © 2022 URSI.

关键词： Radar measurement

来源：评论

学校读者我要写书评

暂无评论

Safety-Driven AMR End-to-End Navigation Framework Based on Sparse Sensor Human Behavior Prediction

Safety-Driven AMR End-to-End Navigation Framework Based on S...

引用

Computational Intelligence on Engineering/Cyber Physical systems (CIES), IEEE Symposium on

作者： Fuhua Jia Kai Yang Junlin Xiao Tuo Hu Xiaoying Yang Adam Rushworth Heng Yu Tianxiang Cui Department of Mechanical Materials and Manufacturing University of Nottingham Ningbo China Ningbo China Control System Laboratory University of Nottingham Ningbo China Ningbo China Ningbo Innovation Center Zhejiang University School of Computer Science University of Nottingham Ningbo China Ningbo China

ISBN: (数字)9798331508272

ISBN: (纸本)9798331508289

Autonomous Mobile Robots (AMRs) have garnered significant attention and widespread application due to their operational efficiency. However, in human-centered environments, such as warehouses, manufacturing facilities, and public spaces, AMRs face the dual challenge of navigating autonomously while perceiving and adapting to human movements to ensure safety. This work proposes a novel safety-driven end-to-end navigation framework for AMRs that processes navigation commands and sparse data collected by onboard 2D LiDAR and IMU sensors to directly control the robot's velocity. The framework comprises two key modules: a human estimation module and a trajectory generation module. The human estimation module employs an LSTM-based architecture to estimate human positions and movement trends from sparse sensor data, generating a dynamic obstacle map. Based on these predictions, a genetic algorithm -based trajectory generation module creates safe-driven dynamic trajectories subject to dynamic constraints. This approach enables accurate forecasting of pedestrian movements, allowing the AMR to effectively avoid dynamic human obstacles, thereby enhancing its safety and practicality in real-world environments. Our contributions are threefold: dynamic human detection and prediction from sparse onboard sensor data, safety-driven dynamic trajectory planning, and extensive real-world experiments demonstrating feasibility and robustness of the proposed framework.

关键词： Navigation Market research Robustness Real-time systems Trajectory Sensors Safety Mobile robots Long short term memory Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Efficient STL control Synthesis Under Asynchronous Temporal Robustness Constraints

Efficient STL Control Synthesis Under Asynchronous Temporal ...

引用

IEEE Conference on Decision and control

作者： Xinyi Yu Xiang Yin Lars Lindemann Thomas Lord Department of Computer Science University of Southern California Los Angeles CA USA Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal Robustness (ATR) was proposed to capture the robustness of a system trajectory against individual time shifts in its sub-trajectories. In a multi-robot system, this may correspond to individual robots being delayed or early. control synthesis under ATR constraints is challenging and has not yet been addressed. In this paper, we propose an efficient control synthesis method under ATR constraints which are defined with respect to simple safety or complex signal temporal logic specifications. Given an ATR bound, we compute a sequence of control inputs so that the specification is satisfied by the system as long as each sub-trajectory is shifted not more than the ATR bound. We avoid combinatorially exploring all shifted sub-trajectories by first identifying redundancy between them. We capture this insight by the notion of instant-shift pair sets, and then propose an optimization program that enforces the specification only over the instant-shift pair sets. We show soundness and completeness of our method and analyze its computational complexity. Finally, we present various illustrative case studies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model Predictive control for Signal Temporal Logic Specifications with Time Interval Decomposition

Model Predictive Control for Signal Temporal Logic Specifica...

引用

IEEE Conference on Decision and control

作者： Xinyi Yu Chuwei Wang Dingran Yuan Shaoyuan Li Xiang Yin Thomas Lord Department of Computer Science University of Southern California Los Angeles CA USA Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In this paper, we investigate the problem of Model Predictive control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling logical tasks in reactive environments. However, existing approaches suffer from the heavy computational burden, especially for tasks with large horizons. In this work, we propose a computationally more efficient MPC framework for STL tasks based on time interval decomposition. Specifically, we still use the standard shrink horizon MPC framework with Mixed Integer Linear Programming (MILP) techniques for open-loop optimization problems. However, instead of applying MPC directly for the entire task horizon, we decompose the STL formula into several sub-tasks with disjoint time horizons, and shrinking horizon MPC is applied for each short-horizon sub-task iteratively. To guarantee the satisfaction of the entire STL formula and to ensure the recursive feasibility of the iterative process, we introduce new terminal constraints to connect each sub-task. We show how these terminal constraints can be computed by an effective inner-approximation approach. The computational efficiency of our approach is illustrated by a case study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Deep Learning-Based Dimension Measurement system for Industrial Part Inspection

Deep Learning-Based Dimension Measurement System for Industr...

引用

2024 China Automation Congress, CAC 2024

作者： Li, Xiao-Di Fan, Xing-Rong Zhang, Xian-Ming Zhang, Han-Zhi Huang, Chun-Jie Xu, Cheng Chongqing Engineering Laboratory for Detection Control and Integrated System School of Artificial Intelligence Chongqing Technology and Business University Chongqing China Engineering Research Centre for Waste Oil Recovery Technology and Equipment Ministry of Education Chongqing Key Laboratory Chongqing Technology and Business University Chongqing China School of Computer Science and Information Engineering Chongqing Technology and Business University Chongqing China Chongqing Intelligent Supply Chain Engineering & Technology Research Center Chongqing Jiaotong University Chongqing China Chongqing Aerospace Bashan Motorcycle Manufacturing Co. Ltd. Chongqing China

ISBN: (纸本)9798350368604

This paper develops a deep learning-based system for the dimension measurement of industrial parts. The system employs a general self-supervised image segmentation network to perform dichotomous image segmentation (DIS) on the parts, effectively extracting binary images of the target components from complex backgrounds without requiring preprocessing steps such as filtering or denoising. Following segmentation, contour detection, and dimension measurement are executed. The system utilizes a CMOS area scan camera and was tested on a computer equipped with a GTX1050 graphics card. The tests, conducted on two typical thrust ball bearing components (i.e., the ball retainer and the shaft ring) ü yielded ten measurements per part. Comparison with a vernier caliper as the reference standard reveals that under normal operating conditions, the maximum standard deviation is 0.007 mm and the maximum absolute error is 0.017 mm. © 2024 IEEE.

关键词： Ball bearings

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：