English
Related papers

Related papers: Counterexample Guided Inductive Optimization Appli…

200 papers

Machine learning has shown tremendous potential for improving the capabilities of network traffic analysis applications, often outperforming simpler rule-based heuristics. However, ML-based solutions remain difficult to deploy in practice.…

Networking and Internet Architecture · Computer Science 2025-05-02 Gerry Wan , Shinan Liu , Francesco Bronzino , Nick Feamster , Zakir Durumeric

Bayesian optimization (BO) is a powerful paradigm for optimizing expensive black-box functions. Traditional BO methods typically rely on separate hand-crafted acquisition functions and surrogate models for the underlying function, and often…

Machine Learning · Computer Science 2025-07-10 Fengxue Zhang , Yuxin Chen

Decades of progress in simulation-based surrogate-assisted optimization and unprecedented growth in computational power have enabled researchers and practitioners to optimize previously intractable complex engineering problems. This paper…

Neural and Evolutionary Computing · Computer Science 2022-12-14 Qi Huang , Roy de Winter , Bas van Stein , Thomas Bäck , Anna V. Kononova

This research delves into advanced route optimization for robots in smart logistics, leveraging a fusion of Transformer architectures, Graph Neural Networks (GNNs), and Generative Adversarial Networks (GANs). The approach utilizes a…

Robotics · Computer Science 2025-03-13 Hao Luo , Jianjun Wei , Shuchen Zhao , Ankai Liang , Zhongjin Xu , Ruxue Jiang

This paper introduces a new algorithm for trajectory optimization, Decoupled Reduced-space and Adaptive Feasibility-repair Trajectory Optimization (DRAFTO). It first constructs a constrained objective that accounts for smoothness, safety,…

Robotics · Computer Science 2026-03-13 Yichang Feng , Xiao Liang , Minghui Zheng

In this paper, we tackle the inductive semi-supervised learning problem that aims to obtain label predictions for out-of-sample data. The proposed approach, called Optimal Transport Induction (OTI), extends efficiently an optimal transport…

Machine Learning · Statistics 2021-12-15 Mourad El Hamri , Younès Bennani , Issam Falih

In this paper, we propose a path re-planning algorithm that makes robots able to work in scenarios with moving obstacles. The algorithm switches between a set of pre-computed paths to avoid collisions with moving obstacles. It also improves…

Robotics · Computer Science 2023-12-01 Cesare Tonola , Marco Faroni , Nicola Pedrocchi , Manuel Beschi

Ground robots navigating in complex, dynamic environments must compute collision-free trajectories to avoid obstacles safely and efficiently. Nonconvex optimization is a popular method to compute a trajectory in real-time. However, these…

Robotics · Computer Science 2024-10-07 Oscar de Groot , Laura Ferranti , Dariu M. Gavrila , Javier Alonso-Mora

Finding asymptotically-optimal paths in multi-robot motion planning problems could be achieved, in principle, using sampling-based planners in the composite configuration space of all of the robots in the space. The dimensionality of this…

Multiagent Systems · Computer Science 2017-07-05 Andrew Dobson , Kiril Solovey , Rahul Shome , Dan Halperin , Kostas E. Bekris

With the development of robotics and artificial intelligence field unceasingly thorough, path planning as an important field of robot calculation has been widespread concern. This paper analyzes the current development of robot and path…

Robotics · Computer Science 2014-01-08 Yue Guo , Xuelian Shen , Zhanfeng Zhu

Deep learning has been widely used in various applications from different fields such as computer vision, natural language processing, etc. However, the training models are often manually developed via many costly experiments. This manual…

Machine Learning · Computer Science 2022-11-22 Thanh Phuong Pham

Randomized sampling based algorithms are widely used in robot motion planning due to the problem's intractability, and are experimentally effective on a wide range of problem instances. Most variants do not sample uniformly at random, and…

Sampling-Based Optimal(SBO) path planning has been mainly used for robotic arm manipulation tasks. Several research works have been carried out in order to evaluate performances of various SBO planners for arm manipulation. However, not…

Robotics · Computer Science 2021-03-26 Fetullah Atas , Lars Grimstad , Grzegorz Cielniak

Many robotics applications, from object manipulation to locomotion, require planning methods that are capable of handling the dynamics of contact. Trajectory optimization has been shown to be a viable approach that can be made to support…

Robotics · Computer Science 2019-09-09 Benoit Landry , Joseph Lorenzetti , Zachary Manchester , Marco Pavone

In this study, we present a simple and intuitive method for accelerating optimal Reeds-Shepp path computation. Our approach uses geometrical reasoning to analyze the behavior of optimal paths, resulting in a new partitioning of the state…

Robotics · Computer Science 2025-08-14 Ibrahim Ibrahim , Wilm Decré , Jan Swevers

In this paper, we propose a novel trajectory optimization algorithm for mobile manipulators under end-effector path, collision avoidance and various kinematic constraints. Our key contribution lies in showing how this highly non-linear and…

Robotics · Computer Science 2019-04-23 Arun Kumar Singh , Andrei Ahonen , Reza Ghabcheloo , Andreas Muller

Drive modes are driver-selectable pre-set configurations of powertrain and certain vehicle parameters. Plug-in hybrid electric vehicles (PHEVs) typically feature special options of drive modes that can affect the hybrid energy source…

Data Structures and Algorithms · Computer Science 2017-12-12 Chi-Kin Chau , Khaled Elbassioni , Chien-Ming Tseng

Path-following algorithms are frequently used in composite optimization problems where a series of subproblems, with varying regularization hyperparameters, are solved sequentially. By reusing the previous solutions as initialization,…

Optimization and Control · Mathematics 2021-12-10 Eugene Ndiaye , Ichiro Takeuchi

Mobile networks require safe optimization to adapt to changing conditions in traffic demand and signal transmission quality, in addition to improving service performance metrics. With the increasing complexity of emerging mobile networks,…

Systems and Control · Electrical Eng. & Systems 2026-02-19 Alina Castell Blasco , Maxime Bouton

Minimising the longest travel distance for a group of mobile robots with interchangeable goals requires knowledge of the shortest length paths between all robots and goal destinations. Determining the exact length of the shortest paths in…

Robotics · Computer Science 2023-06-19 Tony A. Wood , Maryam Kamgarpour