English
Related papers

Related papers: Soft Constraint Logic Programming for Electric Veh…

200 papers

Optimal transport is a framework for comparing measures whereby a cost is incurred for transporting one measure to another. Recent works have aimed to improve optimal transport plans through the introduction of various forms of structure.…

Machine Learning · Computer Science 2022-06-30 Fabian Lim , Laura Wynter , Shiau Hong Lim

Constraint programming is used for a variety of real-world optimisation problems, such as planning, scheduling and resource allocation problems. At the same time, one continuously gathers vast amounts of data about these problems. Current…

We study the problem of computing constrained shortest paths for battery electric vehicles. Since battery capacities are limited, fastest routes are often infeasible. Instead, users are interested in fast routes on which the energy…

Data Structures and Algorithms · Computer Science 2020-11-23 Moritz Baum , Julian Dibbelt , Dorothea Wagner , Tobias Zündorf

We consider the problem of controlling a vehicle to arrive at a fixed destination while minimizing a combination of energy consumption and travel time. Our model includes vehicle speed and accelaration limits, aerodynamic drag, rolling…

Optimization and Control · Mathematics 2023-06-13 Nicholas Moehle

The problem of maximizing the probability of two trucks being coordinated to merge into a platoon on a highway is considered. Truck platooning is a promising technology that allows heavy vehicles to save fuel by driving with small…

Systems and Control · Computer Science 2017-05-12 Sebastian van de Hoef , Karl H. Johansson , Dimos V. Dimarogonas

This paper presents a convex optimization framework for eco-driving and vehicle energy management problems. We will first show that several types of eco-driving and vehicle energy management problems can be modelled using the same notions…

Optimization and Control · Mathematics 2024-05-02 Y. J. J. Heuts , M. C. F. Donkers

In this paper, we consider a dynamic equilibrium transportation problem. There is a fixed number of cars moving from origin to destination areas. Preferences for arrival times are expressed as a cost of arriving before or after the…

Optimization and Control · Mathematics 2024-09-02 Victoria Guseva , Ilya Sklonin , Irina Podlipnova , Demyan Yarmoshik , Alexander Gasnikov

A robust power scheduling algorithm is proposed to schedule power flow between the main electricity grid and a microgird with solar energy generation and battery energy storage subject to uncertainty in solar energy production. To avoid…

Systems and Control · Computer Science 2019-02-22 Amir Valibeygi , Abdulelah H. Habib , Raymond A. de Callafon

This article presents an eco-driving algorithm for electric vehicles featuring multi-speed transmissions. The proposed controller is formulated as a co-optimization problem, simultaneously optimizing both vehicle longitudinal speed and…

Systems and Control · Electrical Eng. & Systems 2026-01-28 Suiyi He , Zongxuan Sun

Electric vehicles (EVs) have been highly favoured as a future transportation mode in the transportation section in recent years. EVs have many advantages compared to traditional transportation, especially the environmental aspect. However,…

Optimization and Control · Mathematics 2022-04-26 Jaehee Jeong , Bissan Ghaddar , Nicolas Zufferey , Jatin Nathwani

E-powertrain of future electric vehicles could consist of energy generation units (e.g., fuel cells and photovoltaic modules), energy storage systems (e.g., batteries and supercapacitors), energy conversion units (e.g., bidirectional DC/DC…

Optimization and Control · Mathematics 2020-12-09 Erfan Mohagheghi , Joan Gubianes Gasso , Abebe Geletu , Pu Li

Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the…

Artificial Intelligence · Computer Science 2007-05-23 Nikolay Pelov , Emmanuel De Mot , Marc Denecker

In this paper we address the speed planning problem for a vehicle over an assigned path with the aim of minimizing a weighted sum of travel time and energy consumption under suitable constraints (maximum allowed speed, maximum traction or…

Optimization and Control · Mathematics 2025-07-22 Stefano Ardizzoni , Luca Consolini , Mattia Laurini , Marco Locatelli

Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions…

Logic in Computer Science · Computer Science 2023-06-22 Damiano Azzolini , Fabrizio Riguzzi

In this paper we formulate an optimization approach to schedule electrical loads given a short term prediction of time-varying power production and the ability to store only a limited amount of electrical energy. The proposed approach is…

Optimization and Control · Mathematics 2016-11-15 Raymond A. de Callafon , Abdulelah H. Habib , Jan Kleissl

In this paper, we simultaneously address the problems of energy optimal and safe motion planning of electric vehicles (EVs) in a data-driven robust optimization framework. Safe maneuvers, especially in urban traffic, are characterized by…

Systems and Control · Electrical Eng. & Systems 2025-09-09 Simran Kumari , Ashish R. Hota , Siddhartha Mukhopadhyay

In some optimal control problems, complex relationships between states and inputs cannot be easily represented using continuous constraints, necessitating the use of discrete logic instead. This paper presents a method for incorporating…

Systems and Control · Electrical Eng. & Systems 2025-09-04 J. Wehbeh , E. C. Kerrigan

Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed…

Programming Languages · Computer Science 2018-02-27 S. Bistarelli , U. Montanari , F. Rossi

We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to encode as a scalar cost function. We consider LTL-constrained…

Machine Learning · Computer Science 2022-10-21 Cameron Voloshin , Hoang M. Le , Swarat Chaudhuri , Yisong Yue

Tracers provide users with useful information about program executions. In this article, we propose a ``tracer driver''. From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily…

Software Engineering · Computer Science 2008-12-18 Ludovic Langevine , Mireille Ducasse
‹ Prev 1 2 3 10 Next ›