English
Related papers

Related papers: Lagrangian based A* algorithm for automated reason…

200 papers

Adversarial attack algorithms are dominated by penalty methods, which are slow in practice, or more efficient distance-customized methods, which are heavily tailored to the properties of the distance considered. We propose a white-box…

Machine Learning · Computer Science 2021-08-20 Jérôme Rony , Eric Granger , Marco Pedersoli , Ismail Ben Ayed

We describe how to convert the heuristic search algorithm A* into an anytime algorithm that finds a sequence of improved solutions and eventually converges to an optimal solution. The approach we adopt uses weighted heuristic search to find…

Artificial Intelligence · Computer Science 2011-10-13 E. A. Hansen , R. Zhou

The problem of finding the shortest path in a graph G(V, E) has been widely studied. However, in many applications it is necessary to compute an arbitrary number of them, k. Even though the problem has raised a lot of interest from…

Data Structures and Algorithms · Computer Science 2024-08-16 Carlos Linares López , Ian Herman

We examine some basic physics surrounding regenerative braking and air drag. First, we analyze under what conditions it becomes energetically favorable to use aggressive regenerative braking to reach a lower speed over ``coasting'' where…

Classical Physics · Physics 2021-06-29 L. Q. English , A. Mareno , Xuan-Lin Chen

In this paper, we aim at unifying, simplifying and improving the convergence rate analysis of Lagrangian-based methods for convex optimization problems. We first introduce the notion of nice primal algorithmic map, which plays a central…

Optimization and Control · Mathematics 2023-06-07 Shoham Sabach , Marc Teboulle

Path finding in graphs is one of the most studied classes of problems in computer science. In this context, search algorithms are often extended with heuristics for a more efficient search of target nodes. In this work we combine recent…

Artificial Intelligence · Computer Science 2022-04-20 Danilo Numeroso , Davide Bacciu , Petar Veličković

It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuristics inspired by complexity analysis of CAD to choose the…

Symbolic Computation · Computer Science 2022-08-29 Tereso del Río , Matthew England

This paper is concerned with a novel deep learning method for variational problems with essential boundary conditions. To this end, we first reformulate the original problem into a minimax problem corresponding to a feasible augmented…

Numerical Analysis · Mathematics 2022-05-10 Jianguo Huang , Haoqin Wang , Tao Zhou

The development of driving functions for autonomous vehicles in urban environments is still a challenging task. In comparison with driving on motorways, a wide variety of moving road users, such as pedestrians or cyclists, but also the…

Robotics · Computer Science 2020-03-16 Andreas Folkers , Matthias Rick , Christof Büskens

Autonomous vehicle navigation in structured environments requires planners capable of generating time-optimal, collision-free trajectories that satisfy dynamic and kinematic constraints. We introduce V*, a graph-based motion planner that…

Robotics · Computer Science 2025-08-11 Abdullah Zareh Andaryan , Michael G. H. Bell , Mohsen Ramezani , Glenn Geers

Robot path planning plays a pivotal role in enabling autonomous systems to navigate safely and efficiently in complex and uncertain environments. Despite extensive research on classical graph-based methods and sampling-based planners,…

Robotics · Computer Science 2025-11-04 Siyuan Wang , Shuyi Zhang , Zhen Tian , Yuheng Yao , Gongsen Wang , Yu Zhao

In this paper, we revisit the augmented Lagrangian method for a class of nonsmooth convex optimization. We present the Lagrange optimality system of the augmented Lagrangian associated with the problems, and establish its connections with…

Optimization and Control · Mathematics 2020-01-14 Bangti Jin , Tomoya Takeuchi

One popular method for dealing with large-scale data sets is sampling. For example, by using the empirical statistical leverage scores as an importance sampling distribution, the method of algorithmic leveraging samples and rescales…

Methodology · Statistics 2013-06-25 Ping Ma , Michael W. Mahoney , Bin Yu

Numerical methods that preserves geometric invariants of the system such as energy, momentum and symplectic form, are called geometric integrators. These include variational integrators as an important subclass of geometric integrators. The…

Optimization and Control · Mathematics 2025-02-11 L. Colombo , J. Giribet , D. Martín de Diego

The primary goal of this paper is to provide an efficient solution algorithm based on the augmented Lagrangian framework for optimization problems with a stochastic objective function and deterministic constraints. Our main contribution is…

Optimization and Control · Mathematics 2023-12-29 Raghu Bollapragada , Cem Karamanli , Brendan Keith , Boyan Lazarov , Socratis Petrides , Jingyi Wang

In this paper, we tackle the problem of risk-averse route planning in a transportation network with time-dependent and stochastic costs. To solve this problem, we propose an adaptation of the A* algorithm that accommodates any risk measure…

Artificial Intelligence · Computer Science 2017-01-04 Dajian Li , Paul Weng , Orkun Karabasoglu

Proper path planning is the first step of robust and efficient autonomous navigation for mobile robots. Meanwhile, it is still challenging for robots to work in a complex environment without complete prior information. This paper presents…

Robotics · Computer Science 2020-09-17 Wenjian Hao , Rongyao Wang , Alexander Krolicki , Yiqiang Han

This paper addresses the path planning problems for recommending parking spaces, given the difficulties of identifying the most optimal route to vacant parking spaces and the shortest time to leave the parking space. Our optimization…

Computer Vision and Pattern Recognition · Computer Science 2021-04-20 Xin Wei , Runqi Qiu , Houyu Yu , Yurun Yang , Haoyu Tian , Xiang Xiang

The Lazy Shortest Path (LazySP) class consists of motion-planning algorithms that only evaluate edges along shortest paths between the source and target. These algorithms were designed to minimize the number of edge evaluations in settings…

It is shown that the Euler-Lagrange equations for a Lagrangian system on a Lie algebroid are obtained as the equations for the critical points of the action functional defined on a Banach manifold of curves. The theory of reduction and the…

Mathematical Physics · Physics 2007-05-23 Eduardo Martinez