English
Related papers

Related papers: Counterexample Guided Inductive Optimization Appli…

200 papers

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…

Robotics · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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,…

Robotics · Computer Science 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,…

Robotics · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Machine Learning · Computer Science 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…

Robotics · Computer Science 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…

Computation · Statistics 2019-01-15 Laura Schultz , Vadim Sokolov