English
Related papers

Related papers: Counterexample Guided Inductive Optimization Appli…

200 papers

This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification…

Artificial Intelligence · Computer Science 2017-04-13 Rodrigo F. Araujo , Higo F. Albuquerque , Iury V. de Bessa , Lucas C. Cordeiro , Joao Edgar C. Filho

This paper presents evolutionary methods for optimization in dynamic mobile robot path planning. In dynamic mobile path planning, the goal is to find an optimal feasible path from starting point to target point with various obstacles, as…

Robotics · Computer Science 2019-02-12 Masoud Fetanat , Sajjad Haghzad , Saeed Bagheri Shouraki

We consider infinite-dimensional Bayesian linear inverse problems governed by time-dependent partial differential equations (PDEs) and develop a mathematical and computational framework for optimal design of mobile sensor paths in this…

Optimization and Control · Mathematics 2026-01-22 J. Nicholas Neuberger , Alen Alexanderian , Bart van Bloemen Waanders , Ahmed Attia

Bayesian optimization has emerged as a prominent methodology for optimizing expensive black-box functions by leveraging Gaussian process surrogates, which focus on capturing the global characteristics of the objective function. However, in…

Machine Learning · Computer Science 2026-03-03 Qiyu Wei , Haowei Wang , Richard Allmendinger , Mauricio A. Álvarez

Optimal path planning is prone to convergence to local, rather than global, optima. This is often the case for mobile manipulators due to nonconvexities induced by obstacles, robot kinematics and constraints. This paper focuses on planning…

Robotics · Computer Science 2025-10-09 Rufus Cheuk Yin Wong , Mayank Sewlia , Adrian Wiltz , Dimos V. Dimarogonas

A new path planning method for Mobile Robots (MR) has been developed and implemented. On the one hand, based on the shortest path from the start point to the goal point, this path planner can choose the best moving directions of the MR,…

Robotics · Computer Science 2016-09-08 Hoc Thai Nguyen , Hai Xuan Le

Even though mobile robots have been around for decades, trajectory optimization and continuous time collision avoidance remain subject of active research. Existing methods trade off between path quality, computational complexity, and…

Robotics · Computer Science 2020-03-03 Tobias Schoels , Luigi Palmieri , Kai O. Arras , Moritz Diehl

Motion planning is a key element of robotics since it empowers a robot to navigate autonomously. Particle Swarm Optimization is a simple, yet a very powerful optimization technique which has been effectively used in many complex…

Robotics · Computer Science 2020-08-25 M. Shahab Alam , M. Usman Rafique , M. Umer Khan

Path planning plays an important role in autonomous robot systems. Effective understanding of the surrounding environment and efficient generation of optimal collision-free path are both critical parts for solving path planning problem.…

Robotics · Computer Science 2020-12-08 Nachuan Ma , Jiankun Wang , Max Q. -H. Meng

Over the last few years, sampling-based stochastic optimal control (SOC) frameworks have shown impressive performances in reinforcement learning (RL) with applications in robotics. However, such approaches require a large amount of samples…

Systems and Control · Computer Science 2014-12-10 Yunpeng Pan , Evangelos A. Theodorou , Michail Kontitsis

Different methods are used for a mobile robot to go to a specific target location. These methods work in different ways for online and offline scenarios. In the offline scenario, an environment map is created once, and fixed path planning…

Robotics · Computer Science 2024-03-20 Mehmet Gok , Mehmet Tekerek , Hamza Aydemir

We perform a systematic exploration of the principle of Space Utilization Optimization (SUO) as a heuristic for planning better individual paths in a decoupled multi-robot path planner, with applications to both one-shot and life-long…

Robotics · Computer Science 2021-09-13 Shuai D. Han , Jingjin Yu

Autonomous mobile robots are usually faced with challenging situations when driving in complex environments. Namely, they have to recognize the static and dynamic obstacles, plan the driving path and execute their motion. For addressing the…

Robotics · Computer Science 2021-06-03 Bogdan Trasnea , Cosmin Ginerica , Mihai Zaha , Gigel Macesanu , Claudiu Pozna , Sorin Grigorescu

Efficient path planning for autonomous mobile robots is a critical problem across numerous domains, where optimizing both time and energy consumption is paramount. This paper introduces a novel methodology that considers the dynamic…

Robotics · Computer Science 2025-03-17 Víctor C. da S. Campos , Armando A. Neto , Douglas G. Macharet

Zero-order optimization has recently received significant attention for designing optimal trajectories and policies for robotic systems. However, most existing methods (e.g., MPPI, CEM, and CMA-ES) are local in nature, as they rely on…

Robotics · Computer Science 2026-02-09 Xudong Sun , Armand Jordana , Massimo Fornasier , Jalal Etesami , Majid Khadiv

This work presents an efficient method to solve a class of continuous-time, continuous-space stochastic optimal control problems of robot motion in a cluttered environment. The method builds upon a path integral representation of the…

Systems and Control · Computer Science 2016-03-10 Jung-Su Ha , Han-Lim Choi

In this paper, we propose a contact-implicit trajectory optimization (CITO) method based on a variable smooth contact model (VSCM) and successive convexification (SCvx). The VSCM facilitates the convergence of gradient-based optimization…

Robotics · Computer Science 2020-06-11 Aykut Ozgun Onol , Philip Long , Taskin Padir

Safe path planning is a crucial component in autonomous robotics. The many approaches to find a collision free path can be categorically divided into trajectory optimisers and sampling-based methods. When planning using occupancy maps, the…

Robotics · Computer Science 2017-03-02 Gilad Francis , Lionel Ott , Fabio Ramos

Trained humans exhibit highly agile spatial skills, enabling them to operate vehicles with complex dynamics in demanding tasks and conditions. Prior work shows that humans achieve this performance by using strategies such as satisficing,…

Systems and Control · Electrical Eng. & Systems 2020-04-28 Andrew Feit , Bérénice Mettler

Expensive multi-objective optimization problems can be found in many real-world applications, where their objective function evaluations involve expensive computations or physical experiments. It is desirable to obtain an approximate Pareto…

Neural and Evolutionary Computing · Computer Science 2022-10-18 Xi Lin , Zhiyuan Yang , Xiaoyuan Zhang , Qingfu Zhang
‹ Prev 1 2 3 10 Next ›