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

arXiv 2025年

作者： Akinwande, Samuel I. Sidrane, Chelsea Kochenderfer, Mykel J. Barrett, Clark Department of Aeronautical and Astronautical Engineering Stanford University StanfordCA94305 United States Department of Computer Science Stanford University StanfordCA94305 United States Division of Robotics Perception and Learning Intelligent Systems Department School of Electrical Engineering & Computer Science KTH Royal Institute of Technology Stockholm Sweden

As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operation. Verifying safety requires extending control theoretic analysis methods to these systems. Although existing techniques can efficiently handle linear neural feedback systems, relatively few scalable methods address the nonlinear case. We propose a novel algorithm for forward reachability analysis of nonlinear neural feedback systems. The approach leverages the structure of the nonlinear transition functions of the systems to compute tight polyhedral enclosures (i.e., abstractions). These enclosures, combined with the neural controller, are then encoded as a mixed-integer linear program (MILP). Optimizing this MILP yields a sound over-approximation of the forward-reachable set. We evaluate our algorithm on representative benchmarks and demonstrate an order of magnitude improvement over the current state of the art. Copyright © 2025, The Authors. All rights reserved.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

AR/VR Digital Twin for Simulation and Data Collection of Robotic Environments

AR/VR Digital Twin for Simulation and Data Collection of Rob...

引用

IeeE International Conference on Autonomous Robot systems and Competitions (ICARSC)

作者： João G. Martins Karle Nutonen Paulo Costa Vladimir Kuts Tauno Otto Armando Sousa Marcelo R. Petry CRIIS - Centre for Robotics in Industry and Intelligent Systems INESC TEC - Institute for Systems and Computer Engineering Technology and Science Porto Portugal Faculty of Engineering University of Porto (FEUP) Porto Portugal ViruTech - Virumaa innovation center of digitalization and green technologies Taltech Virumaa College Kohtla-Jarve Estonia Department of Mechanical and Indusrial Taltech Tallinn Estonia

ISBN: (数字)9798331538606

ISBN: (纸本)9798331538613

Digital twins enable real-time modeling, simulation, and monitoring of complex systems, driving advancements in automation, robotics, and industrial applications. This study presents a large-scale digital twin-testing facility for evaluating mobile robots and pilot robotic systems in a research laboratory environment. The platform integrates high-fidelity physical and environmental models, providing a controlled yet dynamic setting for analyzing robotic behavior. A key feature of the system is its comprehensive data collection framework, capturing critical parameters such as position, orientation, and velocity, which can be leveraged for machine learning, performance optimization, and decision-making. The facility also supports the simulation of discrete operational systems, using predictive modeling to bridge informational gaps when real-time data updates are unavailable. The digital twin was validated through a matrix manufacturing system simulation, with an Augmented Reality (AR) interface on the HoloLens 2 to overlay digital information onto mobile platform controllers, enhancing situational awareness. The main contributions include a digital twin framework for deploying data-driven robotic systems and three key AR/VR integration optimization methods. Demonstrated in a laboratory setting, the system is a versatile tool for research and industrial applications, fostering insights into robotic automation and digital twin scalability while reducing costs and risks associated with real-world testing.

关键词： Service robots Navigation Metaverse Databases Scalability Digital representation Real-time systems Digital twins Mobile robots Robots

来源：评论

学校读者我要写书评

暂无评论

Human-Robot Pose Tracking Based on CNN with Color and Geometry Aggregation 16th

Human-Robot Pose Tracking Based on CNN with Color and Geo...

引用

16th International Conference on Social robotics, ICSR + InnoBiz 2024

作者： Xu, Yue Zhang, Yinlong Liu, Shuai Liu, Yuanhao Liang, Wei He, Hongsheng Shenyang University of Technology Shenyang110020 China Guangzhou Institute of Industrial Intelligence Guangzhou511458 China State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Sciences Shenyang110016 China Key Laboratory of Networked Control Systems Chinese Academy of Sciences Shenyang110016 China University of Chinese Academy of Sciences Beijing100049 China Department of Computer Science The University of Alabama TuscaloosaAL35487 United States

ISBN: (纸本)9789819611508

Accurately tracking the robotic arm and human joints is crucial to ensure safety during human-robot interaction. However, traditional pose tracking methods often exhibit insufficient performance and robustness in complex environments. The variations in the robotic arm’s environment and posture make it challenging for traditional methods to accurately capture the positions and posture of its joints. Specifically, when addressing challenges such as high similarity, occlusion, background complexity, and joint recognition failures, they often struggle to provide reliable and accurate results. To address these challenges, this paper proposes a human-robot pose tracking algorithm based on a new convolutional neural network model. To enhance detection accuracy, an improved color detection module is introduced to resolve joint misclassification. A geometric perception module is designed to accurately locate joints even under occlusion. Additionally, innovative iEMA and DBB modules are incorporated. The iEMA module employs edge detection technology to dynamically adjust thresholds for correct matching by improving the edge matching process. The DBB module refines the boundary box parameters for precise localization by introducing adaptive bounding box updates in real-time. This algorithm also integrates human pose recognition, enabling real-time pose recognition, thereby facilitating more intelligent and natural human-robot interaction. The algorithm has been rigorously evaluated on a custom-designed robotic arm platform. Experimental results validate the algorithm’s effectiveness and feasibility. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Robotic arms

来源：评论

学校读者我要写书评

暂无评论

Environment-Driven Online LiDAR-Camera Extrinsic Calibration

arXiv

引用

arXiv 2025年

作者： Huang, Zhiwei Li, Jiaqi Zhong, Ping Fan, Rui The Department of Control Science & Engineering The College of Electronics & Information Engineering Tongji University Shanghai201804 China The School of Computer Science and Engineering Central South University Hunan Changsha410083 China The National Key Laboratory of Science and Technology on Automatic Target Recognition National University of Defense Technology Hunan Changsha410073 China The Department of Control Science & Engineering The College of Electronics & Information Engineering Shanghai Research Institute for Intelligent Autonomous Systems The State Key Laboratory of Intelligent Autonomous Systems Frontiers Science Center for Intelligent Autonomous Systems Tongji University Shanghai201804 China The National Key Laboratory of Human-Machine Hybrid Augmented Intelligence Institute of Artificial Intelligence and Robotics Xi’an Jiaotong University Shaanxi Xi’an710049 China

LiDAR-camera extrinsic calibration (LCEC) is the core for data fusion in computer vision. Existing methods typically rely on customized calibration targets or fixed scene types, lacking the flexibility to handle variations in sensor data and environmental contexts. This paper introduces EdO-LCEC, the first environment-driven, online calibration approach that achieves human-like adaptability. Inspired by the human perceptual system, EdO-LCEC incorporates a generalizable scene discriminator to actively interpret environmental conditions, creating multiple virtual cameras that capture detailed spatial and textural information. To overcome cross-modal feature matching challenges between LiDAR and camera, we propose dual-path correspondence matching (DPCM), which leverages both structural and textural consistency to achieve reliable 3D-2D correspondences. Our approach formulates the calibration process as a spatial-temporal joint optimization problem, utilizing global constraints from multiple views and scenes to improve accuracy, particularly in sparse or partially overlapping sensor views. Extensive experiments on real-world datasets demonstrate that EdO-LCEC achieves state-of-the-art performance, providing reliable and precise calibration across diverse, challenging environments. Copyright © 2025, The Authors. All rights reserved.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

Cutting Skill Assessment by Motion Analysis Using Deep Learning and Spatial Marker Tracking

引用

IeeE Transactions on Biomedical Engineering 2025年第6期72卷 1963-1972页

作者： Su, Bai-Quan Ma, Xu-Dong Li, Weihan Kuang, Zi-Ao Gong, Yi Wang, Gang Zhang, Qingqian Liu, Wenyong Li, Changsheng Gao, Li Wang, Junchen Beijing University of Posts and Telecommunications Medical Robotics Laboratory School of Automation Beijing100876 China University of Tokyo School of Mechanical Engineering Tokyo113-0033 Japan Beijing University of Posts and Telecommunications School of Computer Science Beijing100876 China Peking University General Surgery Department Beijing100191 China Beihang University Key Laboratory for Biomechanics and Mechanobiology of Chinese Education Ministry Beijing Advanced Innovation Centre for Biomedical Engineering School of Biological Science and Medical Engineering Beijing100083 China Beijing Institute of Technology School of Mechatronical Engineering Beijing100081 China Beijing Institute of Technology Beijing Advanced Innovation Center for Intelligent Robots and Systems Beijing100081 China Peking University Department of Periodontology National Stomatological Center School and Hospital of Stomatology National Clinical Research Center for Oral Diseases National Engineering Research Center of Oral Biomaterials and Digital Medical Devices Beijing100081 China Beihang University School of Mechanical Engineering and Automation Beijing100083 China

The assessment of surgical skill is crucial for indicating a surgeon's proficiency. While motion analysis of surgical tools is widely used in endoscopic surgery, it is not commonly applied to open surgery. Instead, open surgery skill assessment relies on observing the trajectory of surgical tools on tissue. This observation-based method often lacks clear standards, leading to inaccurate assessments. This paper presents a method for evaluating cutting skill in open surgery through scalpel motion analysis. A 3D multiple-facet ArUco code cube is designed, and a dataset of tip coordinate system poses for various scalpels in the ArUco code coordinate system (ACS) is established using the pivot calibration method. The YOLOv8 model and an image dataset of different scalpels are used to identify the scalpel type and select its tip position. The tip position is then transformed from ACS to a binocular camera coordinate system (BCS), representing the incision curve made by the scalpel. Five assessment metrics are proposed to quantify the surgeon's cutting skill: average incision curvature deviation, incision length difference, incision endpoint deviation, average incision deviation, and average cutting jerk. Experiments involving twenty expert and novice surgeons performing four common incisions (straight line, polyline, semicircle, and cross line) demonstrate the metrics' effectiveness. The metrics provide a clear, objective display of individual cutting skills, and a combined ranking reveals comparative skill levels. This study offers a precise method for evaluating surgeons' cutting skills with a scalpel in open surgery. © 1964-2012 IeeE.

关键词： Surgery

来源：评论

学校读者我要写书评

暂无评论

The design and control of a prototype quadruped microrover

引用

AUTONOMOUS ROBOTS 1997年第2期4卷 211-220页

作者： Sukhatme, GS Robotics Research Laboratory Department of Computer Science Institute for Robotics and Intelligent Systems University of Southern California Los Angeles

We describe the design, construction and control of a quadruped robot which walks on uneven terrain. A control system which produces a statically stable gait has been implemented;results showing a straight and turning gait are presented. The control of quadruped robots poses interesting challenges due to a small stability margin (when compared to hexapods for example). For this reason most implemented systems for outdoor walking on uneven terrain have been hexapods. The system described here has the added virtue of using very few inexpensive sensors and actuators. One of the aims of this work is to build a reduced complexity (low power, low mass and direct drive) walking robot for statically stable walking. The other aim is to compare the performance of this robot with a wheeled robot roughly the same size and weight. In this paper we report on progress towards the first of these two goals using a traverse across an obstacle field as an example.

关键词： quadruped robot static stability microrover walking robot

来源：评论

学校读者我要写书评

暂无评论

Decision-Making Framework For AMR Fleet Size In Manufacturing Environments

Decision-Making Framework For AMR Fleet Size In Manufacturin...

引用

IeeE International Conference on Autonomous Robot systems and Competitions (ICARSC)

作者： Catarina Rema Romão Santos Henrique Piqueiro Diogo Miguel Matos Paulo Moura Oliveirat Pedro Costa Manuel F. Silva Fillipe L. Ribeiro CRIIS - Centre for Robotics in Industry and Intelligent Systems INESC TEC - Institute for Systems and Computer Engineering Technology and Science Porto Portugal Department of Engineering University of Trás-os-Montes and Alto Douro (UTAD) Vila Real Portugal Faculty of Engineering University of Porto (FEUP) Porto Portugal ISEP Polytechnic of Porto rua Dr. António Bernardino de Almeida Porto Portugal JPM Industry Vale de Cambra Portugal

ISBN: (数字)9798331538606

ISBN: (纸本)9798331538613

Industry 4.0 is transforming manufacturing environments, with robotics being a key technology that enhances various capabilities. The flexibility of Autonomous Mobile Robots has led to the rise of multi-robot systems in industrial settings. Considering the high cost of these robots, it is essential to determine the best fit of number and type before making any major investments. Simulation and modeling are valuable decision-support tools, allowing the simulation of different setups to address robot fleet sizing issues. This paper introduces a decision-support framework that combines a fleet manager software stack with the FlexSim simulator, helping decision-makers determine the most suitable mobile robots fleet size tailored to their needs. Unlike previous approaches, the developed solution integrates the same real robot coordination software in both simulation and actual deployment, ensuring that tested scenarios accurately reflect real-world conditions. A case study was conducted to evaluate the framework, involving multiple tasks of loading and unloading materials within a warehouse. Five different scenarios with varying fleet sizes were simulated, and their performances assessed. The analysis concluded that, for the case study under consideration, a fleet of three robots was the most suitable, considering relevant key performance indicators. The results confirmed that the developed solution is an effective alternative for addressing the problem and represents a novel technology with no prior state-of-the-art equivalents.

关键词： Service robots Robot kinematics Decision making Dynamic scheduling Software Batteries Software reliability Resource management Mobile robots Autonomous robots

来源：评论

学校读者我要写书评

暂无评论

Theory of Mind Abilities Predict Robot's Gaze Effects on Object Preference

引用

IeeE Transactions on Affective Computing 2025年

作者： Manzi, Federico Ishikawa, Mitsuhiko Dio, Cinzia Di Itakura, Shoji Kanda, Takayuki Ishiguro, Hiroshi Massaro, Davide Marchetti, Antonella Università Cattolica del Sacro Cuore Research Unit on Theory of Mind Department of Psychology Milan Italy Università Cattolica del Sacro Cuore Research Unit in Psychology and Robotics in the Lifespan Department of Psychology Milan Italy IRCCS Fondazione Don Carlo Gnocchi Milan Italy Hitotsubashi University Hitotsubashi Institute for Advanced Study Japan Ritsumeikan University Kyoto Japan Kyoto University Department of Computer Science Human-Robot Interaction Laboratory Kyoto Japan IRC'HIL Keihana Science City Advanced Telecommunications Research Institute International Kyoto Japan Osaka University Department of Intelligent Systems Toyonaka Japan

This study investigated the differences between human and robot gaze in influencing preference formation, and examined the role of Theory of Mind (ToM) abilities in this process. Human eye gaze is one of the most important sources of information for social interaction and research has demonstrated its effectiveness in influencing people's preference. With increasing technological development, we will interact with robots that can exhibit gaze behavior and influence people's preference. It is unclear whether there are any differences between humans and robots in this process. The present study aimed to analyze the role of the gaze of a robot and a human in influencing the ascription of a preference to the gazer and the participants' preference. Furthermore, we examined the role of ToM abilities in preference formation. The results showed that the gaze has a greater effect on the gazer preference compared to participants' preference regardless of the agent (human or robot). In addition, ToM abilities predict both gazer and individual preferences in the robot's condition only even though different socio-cognitive mechanisms are involved. The study suggests that adults are cognitively able to process the gaze of a robot similar to a human, recognizing the underlying mental state. However, only for the robot, different cognitive mechanisms are involved in the gazer (i.e., perspective taking) and participants' preference formation (i.e., advanced ToM). © 2010-2012 IeeE.

关键词： Social robots

来源：评论

学校读者我要写书评

暂无评论

PLACING REGISTRATION MARKS

引用

IeeE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 1994年第1期41卷 51-59页

作者： RAO, AS GOLDBERG, KY Department of Computer Science University of Utrecht Utrecht Netherlands Departments of Computer Science and Electrical Engineering-Systems Institute of Robotics and Intelligent Systems University of Southern California Los Angeles CA USA

In industrial assembly, a registration mark can be placed on parts to aid a computer vision system in determining the position and orientation (pose) of parts. However, when sensor noise and limits on resolution introduce errors in the measured location of the registration mark, these errors can propagate into the measurement of part pose. In this paper, we define the registration mark problem: given an n-sided rigid planar polygonal part-and a set of k poses for the part, locate a point on the surface of the part that maximizes the minimum distance between transformed points. A registration mark at this point will be maximally robust to sensor imperfections. We give an 0(n log n + k4 log k log* k) time algorithm to solve this planar problem using a result from Schwartz and Sharir [21], and demonstrate the algorithm using a commercial vision system. Our results extend to classes of curved planar parts and polyhedral parts.

关键词： computer vision computer errors Noise measurement Manufacturing automation robotics and automation computer science intelligent robots computer industry Assembly systems Robustness

来源：评论

学校读者我要写书评

暂无评论

computer vision research at the University of Southern California

引用

INTERNATIONAL JOURNAL OF computer VISION 1996年第1-2期20卷 5-9页

作者： Nevatia, R Medioni, G Institute of Robotics and Intelligent Systems University of Southern California Computer Science Department 90089 Los Angeles CA USA

A broad computer research program that includes many topics of basic research such as perceptual grouping, stereo and motion analysis, shape description and object recognition as well as many application areas such as aerial image analysis, moving target analysis and vehicle navigation are being conducted at the University of Southern California. The objective of the research is to construct 'generic' vision system. A generic system is one that is capable of working in a variety of domains, or at least is capable of being reconfigured rapidly to do so.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：