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

IEEE Conference on Decision and control

作者： Bolun Dai Prashanth Krishnamurthy Farshad Khorrami Electrical & Computer Engineering Department Control/Robotics Research Laboratory Tandon School of Engineering New York University Brooklyn NY

ISBN: (数字)9781665467612

ISBN: (纸本)9781665467629

control barrier functions (CBFs) are widely used in safety-critical controllers. However, constructing a valid CBF is challenging, especially under nonlinear or non-convex constraints and for high relative degree systems. Meanwhile, finding a conservative CBF that only recovers a portion of the true safe set is usually possible. In this work, starting from a "conservative" handcrafted CBF (HCBF), we develop a method to find a CBF that recovers a reasonably larger portion of the safe set. Since the learned CBF controller is not guaranteed to be safe during training iterations, we use a model predictive controller (MPC) to ensure safety during training. Using the collected trajectory data containing safe and unsafe interactions, we train a neural network to estimate the difference between the HCBF and a CBF that recovers a closer solution to the true safe set. With our proposed approach, we can generate safe controllers that are less conservative and computationally more efficient. We validate our approach on two systems: a second-order integrator and a ball-on-beam.

关键词： Training Heuristic algorithms Neural networks Predictive models Data collection Data models Safety

来源：评论

学校读者我要写书评

暂无评论

Enhancing Precision Agriculture Through Human-in-the-Loop Planning and control

Enhancing Precision Agriculture Through Human-in-the-Loop Pl...

引用

IEEE International Conference on Automation Science and engineering (CASE)

作者： Shankar A. Deka Sujet Phodapol Andreu Matoses Gimenez Victor Nan Fernandez-Ayala Rufus Wong Pian Yu Xiao Tan Dimos V. Dimarogonas Department of Electrical Engineering and Automation School of Electrical Engineering Aalto University Espoo Finland Division of Decision and Control Systems School of EECS Royal Institute of Technology (KTH) Stockholm Sweden Department of Cognitive Robotics Faculty of Mechanical Engineering TU Delft Delft Netherlands Department of Computer Science University of Oxford Oxford UK

ISBN: (数字)9798350358513

ISBN: (纸本)9798350358520

In this paper, we introduce a ROS based framework designed for the planning and control of robotic systems within the context of precision agriculture, with an emphasis on human-in-the-loop capabilities. Utilizing Linear Temporal Logic to articulate complex task specifications, our algorithm creates high-level robotic plans that are not only correct by design but also adaptable in real time by human operators. This dual-focus approach ensures that while humans have the flexibility to modify the high-level plan on-the-fly or even take over low-level control of the robots, the system inherently safeguards against any human actions that could potentially breach the predefined task specifications. We demonstrate our algorithm within the dynamic and challenging environment of a real vineyard, where the collaboration between human workers and robots is critical for tasks such as harvesting and pruning, and show the practical applicability and robustness of our software. This work marks a pioneering application of formal methods to complex, real-world agricultural environments.

关键词： Precision agriculture Heuristic algorithms Software algorithms Robustness Human in the loop Software Real-time systems Planning Robots Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Object Ambiguity Determination and Human Attention Assessment for Domestic Service Robots

Fuzzy Object Ambiguity Determination and Human Attention Ass...

引用

International Conference on Soft Computing and Machine Intelligence (ISCMI)

作者： Kevin Fan Melanie Jouaiti Kerstin Dautenhahn Chrystopher L. Nehaniv Department of Electrical & Computer Engineering and Systems Design Engineering Social and Intelligent Robotics Research Laboratory (SIRRL) University of Waterloo Waterloo Canada Departments of Electrical & Computer Engineering and Systems Design Engineering Social and Intelligent Robotics Research Laboratory (SIRRL) University of Waterloo Waterloo Canada

Domestic service robots have the promising potential of bringing significant services to the general population, and more importantly, successful applications of universal domestic service robots can potentially help mitigate critical societal issues such as senior care. In order to do so, domestic service robots need to integrate seamlessly into home environments. However, home environments are dynamic, complex and filled with personal items. Therefore, ambiguity can quickly arise for robots operating in such rich environments. In this paper, we propose an object ambiguity determination system that can determine the level of ambiguity in robot object selection tasks with fuzzy logic data integration. Additionally, we propose a functional human attention assessment system with fuzzy logic that enables the robot to determine user attention before committing to general disambiguation processes. Our preliminary results show that the proposed fuzzy logic inference systems can reliably estimate the robot object selection task ambiguity from object confidence level and the number of potential target objects that satisfy the user's command. Furthermore, fuzzy inference is applied to decide human eye gaze direction robustly. These subsystems can be utilized in the context of human-robot interaction to guide the robot when to seek feedback from a human partner in order to disambiguate reference in domestic service tasks. The source code of all proposed systems is available publicly on GitHub. 1

关键词： Fuzzy logic Service robots Source coding Sociology Human-robot interaction Data integration Reliability

来源：评论

学校读者我要写书评

暂无评论

Augmenting Efficient Real-time Surgical Instrument Segmentation in Video with Point Tracking and Segment Anything

arXiv

引用

arXiv 2024年

作者： Wu, Zijian Schmidt, Adam Kazanzides, Peter Salcudean, Septimiu E. Robotics and Control Laboratory Department of Electrical and Computer Engineering The University of British Columbia VancouverBCV6T 1Z4 Canada Department of Computer Science Johns Hopkins University BaltimoreMD21218 United States

The Segment Anything Model (SAM) is a powerful vision foundation model that is revolutionizing the traditional paradigm of segmentation. Despite this, a reliance on prompting each frame and large computational cost limit its usage in robotically assisted surgery. Applications, such as augmented reality guidance, require little user intervention along with efficient inference to be usable clinically. In this study, we address these limitations by adopting lightweight SAM variants to meet the efficiency requirement and employing fine-tuning techniques to enhance their generalization in surgical scenes. Recent advancements in Tracking Any Point (TAP) have shown promising results in both accuracy and efficiency, particularly when points are occluded or leave the field of view. Inspired by this progress, we present a novel framework that combines an online point tracker with a lightweight SAM model that is fine-tuned for surgical instrument segmentation. Sparse points within the region of interest are tracked and used to prompt SAM throughout the video sequence, providing temporal consistency. The quantitative results surpass the state-of-the-art semi-supervised video object segmentation method XMem on the EndoVis 2015 dataset with 84.8 IoU and 91.0 Dice. Our method achieves promising performance that is comparable to XMem and transformer-based fully supervised segmentation methods on ex vivo UCL dVRK and in vivo CholecSeg8k datasets. In addition, the proposed method shows promising zero-shot generalization ability on the label-free STIR dataset. In terms of efficiency, we tested our method on a single GeForce RTX 4060/4090 GPU respectively, achieving an over 25/90 FPS inference speed. Code is available at: https://***/wuzijian1997/SIS-PT-SAM © 2024, CC BY.

关键词： Surgical equipment

来源：评论

学校读者我要写书评

暂无评论

Continuous-Time Ultra-Wideband-Inertial Fusion

arXiv

引用

arXiv 2023年

作者： Li, Kailai Cao, Ziyu Hanebeck, Uwe D. The Division of Automatic Control Department of Electrical Engineering Linköping University Sweden The Intelligent Sensor-Actuator-Systems Laboratory Institute for Anthropomatics and Robotics Karlsruhe Institute of Technology Germany

We introduce a novel framework of continuous-time ultra-wideband-inertial sensor fusion for online motion estimation. Quaternion-based cubic cumulative B-splines are exploited for parameterizing motion states continuously over time. Systematic derivations of analytic kinematic interpolations and spatial differentiations are further provided. Based thereon, a new sliding-window spline fitting scheme is established for asynchronous multi-sensor fusion and online calibration. We conduct a dedicated validation of the quaternion spline fitting method, and evaluate the proposed system, SFUISE (spline fusion-based ultra-wideband-inertial state estimation), in real-world scenarios using public data set and experiments. The proposed sensor fusion system is real-time capable and delivers superior performance over state-of-the-art discrete-time schemes. We release the source code and own experimental data at https://***/KIT-ISAS/SFUISE . Copyright © 2023, The Authors. All rights reserved.

关键词： Motion estimation

来源：评论

学校读者我要写书评

暂无评论

Diff9D: Diffusion-Based Domain-Generalized Category-Level 9-DoF Object Pose Estimation

引用

IEEE Transactions on Pattern Analysis and Machine Intelligence 2025年第7期47卷 5520-5537页

作者： Jian Liu Wei Sun Hui Yang Pengchao Deng Chongpei Liu Nicu Sebe Hossein Rahmani Ajmal Mian National Engineering Research Center for Robot Visual Perception and Control Technology College of Electrical and Information Engineering School of Robotics and the State Key Laboratory of Advanced Design and Manufacturing for Vehicle Body Hunan University Changsha China Institute of Artificial Intelligence and Robotics Xi’an Jiaotong University Xi’an China Department of Information Engineering and Computer Science University of Trento Trento Italy School of Computing and Communications Lancaster University Lancaster U.K. Department of Computer Science The University of Western Australia Crawley WA Australia

Nine-degrees-of-freedom (9-DoF) object pose and size estimation is crucial for enabling augmented reality and robotic manipulation. Category-level methods have received extensive research attention due to their potential for generalization to intra-class unknown objects. However, these methods require manual collection and labeling of large-scale real-world training data. To address this problem, we introduce a diffusion-based paradigm for domain-generalized category-level 9-DoF object pose estimation. Our motivation is to leverage the latent generalization ability of the diffusion model to address the domain generalization challenge in object pose estimation. This entails training the model exclusively on rendered synthetic data to achieve generalization to real-world scenes. We propose an effective diffusion model to redefine 9-DoF object pose estimation from a generative perspective. Our model does not require any 3D shape priors during training or inference. By employing the Denoising Diffusion Implicit Model, we demonstrate that the reverse diffusion process can be executed in as few as 3 steps, achieving near real-time performance. Finally, we design a robotic grasping system comprising both hardware and software components. Through comprehensive experiments on two benchmark datasets and the real-world robotic system, we show that our method achieves state-of-the-art domain generalization performance.

关键词： Shape Solid modeling Three-dimensional displays Pose estimation Training Robots Grasping Diffusion models Real-time systems Point cloud compression

来源：评论

学校读者我要写书评

暂无评论

Sensor Fault Detection and Isolation in Autonomous Nonlinear systems Using Neural Network-Based Observers

Sensor Fault Detection and Isolation in Autonomous Nonlinear...

引用

European control Conference (ECC)

作者： John Cao M. Umar B. Niazi Matthieu Barreau Karl Henrik Johansson Division of Decision and Control Systems Digital Futures KTH Royal Institute of Technology Stockholm Sweden Department of Electrical Engineering and Computer Science Laboratory for Information & Decision Systems Massachusetts Institute of Technology Cambridge MA USA

ISBN: (数字)9783907144107

ISBN: (纸本)9798331540920

This paper presents a novel observer-based approach to detect and isolate faulty sensors in nonlinear systems. The proposed sensor fault detection and isolation (s-FDI) method applies to a general class of nonlinear systems. Our focus is on s-FDI for two types of faults: complete failure and sensor degradation. The key aspect of this approach lies in the utilization of a neural network-based Kazantzis-Kravaris/Luenberger (KKL) observer. The neural network is trained to learn the dynamics of the observer, enabling accurate output predictions of the system. Sensor faults are detected by comparing the actual output measurements with the predicted values. If the difference surpasses a theoretical threshold, a sensor fault is detected. To identify and isolate which sensor is faulty, we compare the numerical difference of each sensor measurement with an empirically derived threshold. We derive both theoretical and empirical thresholds for detection and isolation, respectively. Notably, the proposed approach is robust to measurement noise and system uncertainties. Its effectiveness is demonstrated through numerical simulations of sensor faults in a network of Kuramoto oscillators.

关键词： Uncertainty Fault detection Noise Observers Numerical simulation Sensor systems Sensors

来源：评论

学校读者我要写书评

暂无评论

Non-Convex Potential Games for Finding Global Solutions to Sensor Network Localization

Non-Convex Potential Games for Finding Global Solutions to S...

引用

European control Conference (ECC)

作者： Gehui Xu Guanpu Chen Yiguang Hong Baris Fidan Thomas Parisini Karl H. Johansson Key Laboratory of Systems and Control Academy of Mathematics and Systems Science Beijing China Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden Department of Control Science and Engineering Tongji University Shanghai China Shanghai Research Institute for Intelligent Autonomous Systems Shanghai China Department of Mechanical and Mechatronics Engineering University of Waterloo Waterloo ON Canada Department of Electrical and Electronic Engineering Imperial College London London UK Department of Engineering and Architecture University of Trieste Trieste Italy

ISBN: (数字)9783907144107

ISBN: (纸本)9798331540920

Sensor network localization (SNL) problems require determining the physical coordinates of all sensors in a network. This process relies on the global coordinates of anchors and the available measurements between non-anchor and anchor nodes. Attributed to the intrinsic non-convexity, obtaining a globally optimal solution to SNL is challenging, as well as implementing corresponding algorithms. In this paper, we formulate a non-convex multi-player potential game for a generic SNL problem to investigate the identification condition of the global Nash equilibrium (NE) therein, where the global NE represents the global solution of SNL. We employ canonical duality theory to transform the non-convex game into a complementary dual problem. Then we develop a conjugation-based algorithm to compute the stationary points of the complementary dual problem. On this basis, we show an identification condition of the global NE: the stationary point of the proposed algorithm satisfies a duality relation. Finally, simulation results are provided to validate the effectiveness of the theoretical results.

关键词： Location awareness Coordinate measuring machines Simulation Current measurement Noise Europe Games

来源：评论

学校读者我要写书评

暂无评论

MINER-RRT*: A Hierarchical and Fast Trajectory Planning Framework in 3D Cluttered Environments

arXiv

引用

arXiv 2024年

作者： Wang, Pengyu Tang, Jiawei Lin, Hin Wang Zhang, Fan Wang, Chaoqun Wang, Jiankun Shi, Ling Meng, Max Q.-H. Shenzhen Key Laboratory of Robotics Perception and Intelligence The Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen China The Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong The Department of Electronic Engineering The Chinese University of Hong Kong Hong Kong The Department of Electrical and Computer Engineering The University of Alberta Canada The School of Control Science and Engineering Shandong University Shandong China

—Trajectory planning for quadrotors in cluttered environments has been challenging in recent years. While many trajectory planning frameworks have been successful, there still exists potential for improvements, particularly in enhancing the speed of generating efficient trajectories. In this paper, we present a novel hierarchical trajectory planning framework to reduce computational time and memory usage called MINER-RRT*, which consists of two main components. First, we propose a sampling-based path planning method boosted by neural networks, where the predicted heuristic region accelerates the convergence of rapidly-exploring random trees. Second, we utilize the optimal conditions derived from the quadrotor’s differential flatness properties to construct polynomial trajectories that minimize control effort in multiple stages. Extensive simulation and real-world experimental results demonstrate that, compared to several state-of-the-art (SOTA) approaches, our method can generate high-quality trajectories with better performance in 3D cluttered environments. (Video1) Note to Practitioners—The motivation is the problem of planning trajectories for quadrotor autonomous flight in 3D cluttered and complex scenarios such as wild forest exploration and subterranean environment search-and-rescue. Sampling-based path planning methods are suitable for dealing with the complexity of the physical environment but are not convenient for computing dynamics and their differentials. Optimization-based trajectory generation methods are appropriate for handling various high-order constraints but rely on high-quality initial path solutions. Therefore, this paper combines the advantages of the two methods to propose a novel trajectory planning framework that can generate high-quality trajectories for quadrotors faster than many previous algorithms. We conduct numerous simulations and real-world experiments to verify that our method can be effectively deployed in real scenarios and empo

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Experimental and numerical study on the shrinkage-deformation of carrot slices during hot air drying

引用

International Journal of Agricultural and Biological engineering 2023年第1期16卷 260-272页

作者： Dalong Jiang Congcong Li Zifan Lin Yuntian Wu Hongjuan Pei Magdalena Zielinska Hongwei Xiao School of Computer and Control Engineering Yantai UniversityYantai 264005ShandongChina Hebei Agricultural University Baoding 071001HebeiChina Hebei Key Laboratory of Agricultural Big Data Baoding 071001HebeiChina Department of Electrical and Electronic Engineering University of Western AustraliaPerth 6000Australia BeiGene Guangzhou Biologics Manufacturing Co. LtdGuangzhou 510555China Neuroscience and Intelligent Media Institute Communication University of ChinaBeijing 100024China Department of Systems Engineering University of Warmia and MazuryOlsztyn 004889Poland College of Engineering China Agricultural UniversityBeijing 100083China

In order to further understand the mechanism of material volume change in the drying process,numerical simulations(considering or neglecting shrinkage)of heat and mass transfer during convective drying of carrot slices under constant and controlled temperature and relative humidity were carried *** results were validated with experimental *** results of the simulation show that the Quadratic model fitted well to the moisture ratio and the material temperature data trend with average relative errors of 5.9%and 8.1%,***,the results of the simulation considering shrinkage show that the moisture and temperature distributions during drying are closer to the experimental data than the results of the simulation disregarding *** material moisture content was significantly related to the shrinkage of dried *** and relative humidity significantly affected the volume shrinkage of carrot *** volume shrinkage increased with the rising of the constant temperature and the decline of relative *** model can be used to provide more information on the dynamics of heat and mass transfer during drying and can also be adapted to other products and dryers devices.

关键词： carrot drying numerical simulation heat and mass transfer shrinkage

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：