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

28th International Conference on Optical Fiber Sensors, OFS 2023

作者： Almeida, Miguel A.S. de Almeida, J.M.M.M. Coelho, Luís C.C. INESC TEC Institute of Systems and Computer Engineering Technology and Science Department of Physics Faculty of Sciences University of Porto Rua do Campo Alegre Porto4169-007 Portugal Department of Physics School of Sciences and Technology University of Trás-os-Montes e Alto Douro Vila Real5001-801 Portugal

An optical fiber sensor for hydrogen detection is presented. It is based on processed fiber Bragg gratings coated with palladium thin films where its expansion due to the hydrogen adsorption is monitored as strain mea... 详细信息

ISBN: (纸本)9781957171302

关键词： Palladium

来源：评论

学校读者我要写书评

暂无评论

High-precision Calibration of Camera and IMU on Manipulator for Bio-inspired Robotic System

引用

Journal of Bionic Engineering 2022年第2期19卷 299-313页

作者： Yinlong Zhang Wei Liang Sichao Zhang Xudong Yuan Xiaofang Xia Jindong Tan Zhibo Pang State Key Laboratory of Robotics Shenyang Institute of AutomationChinese Academy of SciencesShenyang 110016China Key Laboratory of Networked Control Systems Chinese Academy of SciencesShenyang 110016China Institutes for Robotics and Intelligent Manufacturing Chinese Academy of SciencesShenyang 110169China The School of Computer Science and Technology Xidian UniversityXi’an 710071China Department of Mechanical Aerospace and Biomedical EngineeringUniversity of TennesseeKonxville 37996USA Department of Automation Technology ABB Corporate Research Sweden72178 VästerasSweden

Inspired by box jellyfish that has distributed and complementary perceptive system,we seek to equip manipulator with a camera and an Inertial Measurement Unit(IMU)to perceive ego motion and surrounding unstructured *** robot perception,a reliable and high-precision calibration between camera,IMU and manipulator is a critical *** paper introduces a novel calibration ***,we seek to correlate the spatial relationship between the sensing units and manipulator in a joint ***,the manipulator moving trajectory is elaborately designed in a spiral pattern that enables full excitations on yaw-pitch-roll rotations and x-y-z translations in a repeatable and consistent *** calibration has been evaluated on our collected visual inertial-manipulator *** systematic comparisons and analysis indicate the consistency,precision and effectiveness of our proposed calibration method.

关键词： Bio-inspired robotic system Monocular camera IMU Manipulator Calibration

来源：评论

学校读者我要写书评

暂无评论

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete time Reachability Problems

arXiv

引用

arXiv 2024年

作者： Sidrane, Chelsea Tumova, Jana The Division of Robotics Perception and Learning Intelligent Systems Department School of Electrical Engineering & Computer Science KTH Royal Institute of Technology Brinellvägen 8 Stockholm114 28 Sweden

Reachable set computation is an important tool for analyzing control systems. Simulating a control system can show that the system is generally functioning as desired, but a formal tool like reachability analysis can provide a guarantee of correctness. For linear systems, reachability analysis is straightforward and fast, but as more complex components are added to the control system such as nonlinear dynamics or a neural network controller, reachability analysis may slow down or become overly conservative. To address these challenges, much literature has focused on spatial refinement, e.g., tuning the discretization of the input sets and intermediate reachable sets. However, this paper addresses a different dimension: temporal refinement. The basic idea of temporal refinement is to automatically choose when along the horizon of the reachability problem to execute slow symbolic queries which incur less approximation error versus fast concrete queries which incur more approximation error. Temporal refinement can be combined with other refinement approaches and offers an additional "tuning knob" with which to trade off tractability and tightness in approximate reachable set computation. Here, we introduce an automatic framework for performing temporal refinement and we demonstrate the effectiveness of this technique on computing approximate reachable sets for nonlinear systems with neural network control policies. We demonstrate the calculation of reachable sets of varying approximation error under varying computational budget and show that our algorithm is able to generate approximate reachable sets with a similar amount of error to the baseline approach in 20-70% less time. © 2024, CC BY.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Verifying Nonlinear Neural Feedback systems using Polyhedral Enclosures

arXiv

引用

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

来源：评论

学校读者我要写书评

暂无评论

Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells 32

Application of Deep Learning Method to Estimate Bottomhole P...

引用

32nd IEEE International Symposium on Industrial Electronics, ISIE 2023

作者： Cheng, Haibo Li, Shichao Zeng, Peng Vyatkin, Valeriy State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Sciences Shenyang China Key Laboratory of Networked Control Systems Chinese Academy of Sciences Shenyang China Institutes for Robotics and Intelligent Manufacturing Chinese Academy of Sciences Shenyang China Luleå University of Technology Electrical and Space Engineering Department of Computer Science Luleå Sweden Aalto University Department of Electrical Engineering and Automation Helsinki Finland

ISBN: (纸本)9798350399714

Surrogate models, which have become an effective and popular method to close loop reservoir management problems, use a data-driven approach to predict dynamic injection and production wells parameters and optimize waterflooding development. In this study, a deep learning-based surrogate model method is proposed to estimate bottomhole pressure (BHP) of production wells in waterflooding reservoirs. Bidirectional long short-term memory (BiLSTM) network, as an efficient deep learning approach, is applied to BHP estimation using fluctuation data. Extended Fourier amplitude sensitivity test (EFAST) method is employed to analyse the influence of different input factors on BHP dynamics, and a reduced dataset is rebuilt to predict BHP parameter based on BiLSTM-EFAST algorithm. The estimation results are tested on a dataset from Volve oilfield in North Sea, and compared with other deep learning methods. The test results indicate that the proposed method can achieve higher prediction accuracy. A reduced dataset-based approach provides a new attempt to reduce model complexity and improve calculation speed for big data-driven surrogate model in oil and gas industry. © 2023 IEEE.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

ON ACCELERATING EDGE AI: OPTIMIZING RESOURCE-CONSTRAINED ENVIRONMENTS

arXiv

引用

arXiv 2025年

作者： Sander, Jacob Cohen, Achraf Dasari, Venkat R. Venable, Brent Jalaian, Brian Department of Computer Science University of West Florida PensacolaFL United States Department of Mathematics and Statistics University of West Florida PensacolaFL United States DEVCOM Army Research Laboratory Aberdeen Proving Ground MD United States Department of Intelligent Systems and Robotics University of West Florida Institute for Human & Machine Cognition PensacolaFL United States Department of Computer Science Department of Intelligent Systems and Robotics University of West Florida Institute for Human & Machine Cognition PensacolaFL United States

Resource-constrained edge deployments demand AI solutions that balance high performance with stringent compute, memory, and energy limitations. In this survey, we present a comprehensive overview of the primary strategies for accelerating deep learning models under such constraints. First, we examine model compression techniques-pruning, quantization, tensor decomposition, and knowledge distillation-that streamline large models into smaller, faster, and more efficient variants. Next, we explore Neural Architecture Search (NAS), a class of automated methods that discover architectures inherently optimized for particular tasks and hardware budgets. We then discuss compiler and deployment frameworks, such as TVM, TensorRT, and OpenVINO, which provide hardware-tailored optimizations at inference time. By integrating these three pillars into unified pipelines, practitioners can achieve multi-objective goals, including latency reduction, memory savings, and energy efficiency-all while maintaining competitive accuracy. We also highlight emerging frontiers in hierarchical NAS, neurosymbolic approaches, and advanced distillation tailored to large language models, underscoring open challenges like pre-training pruning for massive networks. Our survey offers practical insights, identifies current research gaps, and outlines promising directions for building scalable, platform-independent frameworks to accelerate deep learning models at the edge. © 2025, CC BY.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

A Toolkit to Generate Social Navigation Datasets 21st

A Toolkit to Generate Social Navigation Datasets

引用

21st International Workshop of Physical Agents, WAF 2020

作者： Baghel, Rishabh Kapoor, Aditya Bachiller, Pilar Jorvekar, Ronit R. Rodriguez-Criado, Daniel Manso, Luis J. Department of Computer Science and Engineering Indian Institute of Information Technology Guwahati Guwahati India Department of Computer Science and Information Systems Birla Institute of Technology and Science Goa Pilani India Robotics and Artificial Vision Laboratory University of Extremadura Badajoz Spain Department of Computer Engineering Pune Institute of Computer Technology Pune India Department of Computer Science College of Engineering and Physical Sciences Aston University Birmingham United Kingdom

ISBN: (纸本)9783030625788

Social navigation datasets are necessary to assess social navigation algorithms and train machine learning algorithms. Most of the currently available datasets target pedestrians’ movements as a pattern to be replicated by robots. It can be argued that one of the main reasons for this to happen is that compiling datasets where real robots are manually controlled, as they would be expected to behave when moving, is a very resource-intensive task. Another aspect that is often missing in datasets is symbolic information that could be relevant, such as human activities, relationships or interactions. Unfortunately, the available datasets targeting robots and supporting symbolic information are restricted to static scenes. This paper argues that simulation can be used to gather social navigation data in an effective and cost-efficient way and presents a toolkit for this purpose. A use case studying the application of graph neural networks to create learned control policies using supervised learning is presented as an example of how it can be used. © 2021, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Navigation

来源：评论

学校读者我要写书评

暂无评论

A comparative study of machine learning, deep neural networks and random utility maximization models for travel mode choice modelling

引用

Transportation Research Procedia 2022年 62卷 374-382页

作者： José Carlos García-García Ricardo García-Ródenas Julio Alberto López-Gómez José Ángel Martín-Baos Department of Mathematics School of Computer Science University of Castilla-La Mancha Ciudad Real Spain Institute of Applied Mathematics in Science and Engineering (IMACI) University of Castilla-La Mancha Ciudad Real Spain Department of Information Systems and Technologies School of Computer Science University of Castilla-La Mancha Ciudad Real Spain

Traditionally, Random Utility Maximization (RUM) models have been widely applied to travel mode choice modelling. Currently, Machine Learning (ML) models are being applied as an alternative to RUM models, since they provide better results in terms of prediction capability and they can manage large volumes of data. In this paper, a comprehensive comparison between classic RUM models and ML models, including single and ensemble classifiers as well as Deep Neural Networks (DNNs), is provided in order to assess systematically the performance of different models over two different datasets which have different sizes and nature of data. Numerical experiments show Random Forest (RF) is the best classifier in terms of accuracy index and the computational cost to train the model.

关键词： Random Utility Maximization (RUM) models Deep Neural Networks (DNN) Machine Learning (ML) models travel behaviour

来源：评论

学校读者我要写书评

暂无评论

Neural-iLQR: A Learning-Aided Shooting Method for Trajectory Optimization

Neural-iLQR: A Learning-Aided Shooting Method for Trajectory...

引用

2023 IEEE International Conference on robotics and Biomimetics, ROBIO 2023

作者： Cheng, Zilong Li, Yulin Chen, Kai Duan, Jianghua Ma, Jun Lee, Tong Heng National University of Singapore Department of Electrical and Computer Engineering Singapore The Hong Kong University of Science and Technology Department of Mechanical and Aerospace Engineering Hong Kong The Hong Kong University of Science and Technology Division of Emerging Interdisciplinary Areas Hong Kong Robotics and Autonomous Systems Thrust Guangzhou China Hkust Shenzhen-Hong Kong Collaborative Innovation Research Institute Shenzhen China

ISBN: (纸本)9798350325706

Iterative linear quadratic regulator (iLQR) has gained wide popularity in addressing trajectory optimization problems with nonlinear system models. However, as a model-based shooting method, it relies heavily on an accurate system model to update the optimal control actions and the trajectory determined with forward integration, thus becoming vulnerable to inevitable model inaccuracies. Recently, substantial research efforts in learning-based methods for optimal control problems have been progressing significantly in addressing unknown system models, particularly when the system has complex interactions with the environment. Yet an incremental machine learning method or a deep neural network is normally required to fit a substantial scale of sampling motion data. Existing works mainly focus on capturing the whole picture of the motion pattern from trial data (which is essentially noisy and hard to identify with any simple predefined structures) for complex robot systems. Instead, we present Neural-iLQR, a learning-aided shooting method over the unconstrained control space, in which a neural network with a simple structure is used to drive the optimization process towards optimal direction. Through comprehensive evaluations on two illustrative control tasks using three different kinds of lightweight network structures, the proposed method is shown to outperform the conventional iLQR significantly with fast and continuous cost convergence in the presence of inaccuracies in system models, which demonstrates the generalizability and robustness of the proposed learning-aided method. © 2023 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Passivity-Based Distributed Event-Triggered Flocking Control of Port-Hamiltonian systems

引用

IEEE Control systems Letters 2025年 9卷 342-347页

作者： Aranda-Escolástico, Ernesto Abdelrahim, Mahmoud Fernández-Amorós, David Guinaldo, María Colombo, Leonardo Department of Software and Systems Engineering Universidad Nacional de Educación a Distancia (UNED) Juan del Rosal 16 Madrid 28040 Spain Prince Sultan University Renewable Energy Laboratory College of Engineering Riyadh 11586 Saudi Arabia Computer Science and Automatic Control Department Universidad Nacional de Educación a Distancia (UNED) Juan del Rosal 16 Madrid 28040 Spain Centre for Automation and Robotics (CSIC-UPM) Ctra. M300 Campo Real Km 0200 Madrid Arganda del Rey 28500 Spain

This letter addresses the problem of flocking motion in the context of port-Hamiltonian systems. The port-Hamiltonian framework offers advantages in modeling networks, dissipation, and heterogeneous agents. In this regard, designing flocking controllers in port-Hamiltonian form significantly increases their practical applications. Additionally, event-triggered control has proven effective in reducing bandwidth consumption. However, challenges remain in combining flocking requirements with energy-dissipating terms. Therefore, we propose a novel event-triggered flocking controller suitable for port-Hamiltonian systems. The method is validated through numerical simulations of a group of hexarotors. © 2017 IEEE.

关键词： flocking passivity Port-Hamiltonian systems event-triggered control multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：