中文
相关论文

相关论文: Counterexample Guided Inductive Optimization Appli…

200 篇论文

An innovative sort of mobility platform that can both drive and fly is the air-ground robot. The need for an agile flight cannot be satisfied by traditional path planning techniques for air-ground robots. Prior studies had mostly focused on…

机器人学 · 计算机科学 2023-05-16 Xiaoyu Wang , Kangyao Huang , Xinyu Zhang , Honglin Sun , Wenzhuo Liu , Huaping Liu , Jun Li , Pingping Lu

In this paper, we aim to mitigate congestion in traffic management systems by guiding travelers along system-optimal (SO) routes. However, we recognize that most theoretical approaches assume perfect driver compliance, which often does not…

系统与控制 · 电气工程与系统科学 2026-05-27 Heeseung Bang , Jung-Hoon Cho , Cathy Wu , Andreas A. Malikopoulos

This paper presents a trajectory optimization and control approach for the guidance of an orbital four-arm robot in extravehicular activities. The robot operates near the target spacecraft, enabling its arm's end-effectors to reach the…

The rise of embodied AI applications has enabled robots to perform complex tasks which require a sophisticated understanding of their environment. To enable successful robot operation in such settings, maps must be constructed so that they…

机器人学 · 计算机科学 2025-04-07 Cody Simons , Aritra Samanta , Amit K. Roy-Chowdhury , Konstantinos Karydis

This paper introduces a methodology for task-specific design optimization of multirotor Micro Aerial Vehicles. By leveraging reinforcement learning, Bayesian optimization, and covariance matrix adaptation evolution strategy, we optimize…

机器人学 · 计算机科学 2025-10-07 Etor Arza , Welf Rehberg , Philipp Weiss , Mihir Kulkarni , Kostas Alexis

Sampling-based algorithms for robot path planning offer probabilistic completeness and strong empirical convergence properties across environments with diverse obstacle configurations. However, in practice, these methods often require many…

机器人学 · 计算机科学 2026-05-26 Hichem Cheriet , Badra Khellat Kihel , Samira Chouraqui , Bara J. Emran

As robotic systems continue to address emerging issues in areas such as logistics, mobility, manufacturing, and disaster response, it is increasingly important to rapidly generate safe and energy-efficient trajectories. In this article, we…

机器人学 · 计算机科学 2022-11-14 Logan E. Beaver , Roberto Tron , Christos G. Cassandras

We lift the computability path order and its extensions from plain higher-order rewriting to higher-order rewriting on beta-eta-normal forms where matching modulo beta-eta is employed. The resulting order NCPO is shown to be useful on…

计算机科学中的逻辑 · 计算机科学 2025-05-29 Johannes Niederhauser , Aart Middeldorp

In many multi-robot applications, mobile worker robots are often engaged in performing some tasks repetitively by following pre-computed trajectories. As these robots are battery-powered, they need to get recharged at regular intervals. We…

机器人学 · 计算机科学 2021-02-25 Tanmoy Kundu , Indranil Saha

We study the navigation problem for a robot moving amidst static and dynamic obstacles and rely on a hierarchical approach to solve it. First, the reference trajectory is planned by the safe interval path planning algorithm that is capable…

机器人学 · 计算机科学 2019-06-18 Konstantin Yakovlev , Anton Andreychuk , Juliya Belinskaya , Dmitry Makarov

With the development of robotics, ground robots are no longer limited to planar motion. Passive height variation due to complex terrain and active height control provided by special structures on robots require a more general navigation…

机器人学 · 计算机科学 2023-02-08 Jingping Wang , Long Xu , Haoran Fu , Zehui Meng , Chao Xu , Yanjun Cao , Ximin Lyu , Fei Gao

Legged robotic systems can play an important role in real-world applications due to their superior load-bearing capabilities, enhanced autonomy, and effective navigation on uneven terrain. They offer an optimal trade-off between mobility…

机器人学 · 计算机科学 2024-10-07 Ioannis Tsikelis , Konstantinos Chatzilygeroudis

Model Predictive Control (MPC)-based trajectory planning has been widely used in robotics, and incorporating Control Barrier Function (CBF) constraints into MPC can greatly improve its obstacle avoidance efficiency. Unfortunately,…

机器人学 · 计算机科学 2024-09-13 Yifan Liu , You Wang , Guang Li

Many robotics applications benefit from being able to compute multiple locally optimal paths in a given configuration space. Examples include path planning for of tethered robots with cable-length constraints, systems involving cables,…

机器人学 · 计算机科学 2023-07-12 Alp Sahin , Subhrajit Bhattacharya

Planning is a critical component of end-to-end autonomous driving. However, prevailing imitation learning methods often suffer from mode collapse, failing to produce diverse trajectory hypotheses. Meanwhile, existing generative approaches…

计算机视觉与模式识别 · 计算机科学 2025-10-31 Lin Liu , Guanyi Yu , Ziying Song , Junqiao Li , Caiyan Jia , Feiyang Jia , Peiliang Wu , Yandan Luo

Motion planning at urban intersections that accounts for the situation context, handles occlusions, and deals with measurement and prediction uncertainty is a major challenge on the way to urban automated driving. In this work, we address…

机器人学 · 计算机科学 2021-10-22 Johannes Müller , Jan Strohbeck , Martin Herrmann , Michael Buchholz

During the last decade, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs) have been shown to work well in practice and to possess theoretical guarantees such as probabilistic…

机器人学 · 计算机科学 2010-05-05 Sertac Karaman , Emilio Frazzoli

Sample efficiency is crucial in optimization, particularly in black-box scenarios characterized by expensive evaluations and zeroth-order feedback. When computing resources are plentiful, Bayesian optimization is often favored over…

机器学习 · 计算机科学 2024-01-04 Zhengfei Zhang , Yunyue Wei , Yanan Sui

This paper considers a trajectory planning problem for a robot navigating complex terrains, which arises in applications ranging from autonomous mining vehicles to planetary rovers. The problem seeks to find a low-cost dynamically feasible…

机器人学 · 计算机科学 2024-07-04 Yilin Cai , Zhongqiang Ren

We provide a method to solve optimization problem when objective function is a complex stochastic simulator of an urban transportation system. To reach this goal, a Bayesian optimization framework is introduced. We show how the choice of…

统计计算 · 统计学 2019-01-15 Laura Schultz , Vadim Sokolov