Showing 1–50 of 104 results for author: Moura, S

An Adaptive Estimation Approach based on Fisher Information to Overcome the Challenges of LFP Battery SOC Estimation

Authors: Junzhe Shi, Shida Jiang, Shengyu Tao, Jaewong Lee, Manashita Borah, Scott Moura

Abstract: Robust and Real-time State of Charge (SOC) estimation is essential for Lithium Iron Phosphate (LFP) batteries, which are widely used in electric vehicles (EVs) and energy storage systems due to safety and longevity. However, the flat Open Circuit Voltage (OCV)-SOC curve makes this task particularly challenging. This challenge is complicated by hysteresis effects, and real-world conditions such as… ▽ More Robust and Real-time State of Charge (SOC) estimation is essential for Lithium Iron Phosphate (LFP) batteries, which are widely used in electric vehicles (EVs) and energy storage systems due to safety and longevity. However, the flat Open Circuit Voltage (OCV)-SOC curve makes this task particularly challenging. This challenge is complicated by hysteresis effects, and real-world conditions such as current bias, voltage quantization errors, and temperature that must be considered in the battery management system use. In this paper, we proposed an adaptive estimation approach to overcome the challenges of LFPSOC estimation. Specifically, the method uses an adaptive fisher information fusion strategy that adaptively combines the SOC estimation from two different models, which are Coulomb counting and equivalent circuit model-based parameter identification. The effectiveness of this strategy is rationalized by the information richness excited by external cycling signals. A 3D OCV-H-SOC map that captures the relationship between OCV, hysteresis, and SOC was proposed as the backbone, and can be generalizable to other widely adopted parameter-identification methods. Extensive validation under ideal and real-world use scenarios, including SOC-OCV flat zones, current bias, voltage quantization errors, low temperatures, and insufficient current excitations, have been performed using 4 driving profiles, i.e., the Orange County Transit Bus Cycle, the California Unified Cycle, the US06 Drive Cycle, and the New York City Cycle, where the results demonstrate superiority over the state-of-the-art unscented Kalman filter, long short-term memory networks and transformer in all validation cases. △ Less

Submitted 1 July, 2025; originally announced July 2025.

A tertiary review on quantum cryptography

Authors: Luiz Filipi Anderson de Sousa Moura, Carlos Becker Westphall

Abstract: Quantum computers impose an immense threat to system security. As a countermeasure, new cryptographic classes have been created to prevent these attacks. Technologies such as post-quantum cryptography and quantum cryptography. Quantum cryptography uses the principle of quantum physics to produce theoretically unbreakable security. This tertiary review selected 51 secondary studies from the Scopus… ▽ More Quantum computers impose an immense threat to system security. As a countermeasure, new cryptographic classes have been created to prevent these attacks. Technologies such as post-quantum cryptography and quantum cryptography. Quantum cryptography uses the principle of quantum physics to produce theoretically unbreakable security. This tertiary review selected 51 secondary studies from the Scopus database and presented bibliometric analysis, a list of the main techniques used in the field, and existing open challenges and future directions in quantum cryptography research. The results showed a prevalence of QKD over other techniques among the selected papers and stated that the field still faces many problems related to implementation cost, error correction, decoherence, key rates, communication distance, and quantum hacking. △ Less

Submitted 29 May, 2025; originally announced June 2025.

Trajectory-Integrated Accessibility Analysis of Public Electric Vehicle Charging Stations

Authors: Yi Ju, Jiaman Wu, Zhihan Su, Lunlong Li, Jinhua Zhao, Marta C. González, Scott J. Moura

Abstract: Electric vehicle (EV) charging infrastructure is crucial for advancing EV adoption, managing charging loads, and ensuring equitable transportation electrification. However, there remains a notable gap in comprehensive accessibility metrics that integrate the mobility of the users. This study introduces a novel accessibility metric, termed Trajectory-Integrated Public EVCS Accessibility (TI-acs), a… ▽ More Electric vehicle (EV) charging infrastructure is crucial for advancing EV adoption, managing charging loads, and ensuring equitable transportation electrification. However, there remains a notable gap in comprehensive accessibility metrics that integrate the mobility of the users. This study introduces a novel accessibility metric, termed Trajectory-Integrated Public EVCS Accessibility (TI-acs), and uses it to assess public electric vehicle charging station (EVCS) accessibility for approximately 6 million residents in the San Francisco Bay Area based on detailed individual trajectory data in one week. Unlike conventional home-based metrics, TI-acs incorporates the accessibility of EVCS along individuals' travel trajectories, bringing insights on more public charging contexts, including public charging near workplaces and charging during grid off-peak periods. As of June 2024, given the current public EVCS network, Bay Area residents have, on average, 7.5 hours and 5.2 hours of access per day during which their stay locations are within 1 km (i.e. 10-12 min walking) of a public L2 and DCFC charging port, respectively. Over the past decade, TI-acs has steadily increased from the rapid expansion of the EV market and charging infrastructure. However, spatial disparities remain significant, as reflected in Gini indices of 0.38 (L2) and 0.44 (DCFC) across census tracts. Additionally, our analysis reveals racial disparities in TI-acs, driven not only by variations in charging infrastructure near residential areas but also by differences in their mobility patterns. △ Less

Submitted 17 May, 2025; originally announced May 2025.

Comments: 19 pages, 8 figures

Edge-weighted balanced connected partitions: Hardness and formulations

Authors: Morteza Davari, Phablo F. S. Moura, Hande Yaman

Abstract: The balanced connected $k$-partition problem (BCP) is a classic problem which consists in partitioning the set of vertices of a vertex-weighted connected graph into a collection of $k$ sets such that each of them induces a connected subgraph of roughly the same weight. There exists a vast literature on BCP that includes hardness results, approximation algorithms, integer programming formulations,… ▽ More The balanced connected $k$-partition problem (BCP) is a classic problem which consists in partitioning the set of vertices of a vertex-weighted connected graph into a collection of $k$ sets such that each of them induces a connected subgraph of roughly the same weight. There exists a vast literature on BCP that includes hardness results, approximation algorithms, integer programming formulations, and a polyhedral study. We investigate edge-weighted variants of BCP where we are given a connected graph $G$, $k \in \mathbb{Z}_\ge$, and an edge-weight function $w \colon E(G)\to\mathbb{Q}_\ge$, and the goal is to compute a spanning $k$-forest $\mathcal{T}$ of $G$ (i.e., a forest with exactly $k$ trees) that minimizes the weight of the heaviest tree in $\mathcal{T}$ in the min-max version, or maximizes the weight of the lightest tree in $\mathcal{T}$ in the max-min version. We show that both versions of this problem are $\mathsf{NP}$-hard on complete graphs with $k=2$, unweighted split graphs, and unweighted bipartite graphs with $k\geq 2$ fixed. Moreover, we prove that these problems do not admit subexponential-time algorithms, unless the Exponential-Time Hypothesis fails. Finally, we devise compact and non-compact integer linear programming formulations, valid inequalities, and separation algorithms. △ Less

Submitted 3 April, 2025; originally announced April 2025.

Comments: 15 pages, 2 figures

MSC Class: 90C11; 68Q25

Energy-Aware Lane Planning for Connected Electric Vehicles in Urban Traffic: Design and Vehicle-in-the-Loop Validation

Authors: Hansung Kim, Eric Yongkeun Choi, Eunhyek Joa, Hotae Lee, Linda Lim, Scott Moura, Francesco Borrelli

Abstract: Urban driving with connected and automated vehicles (CAVs) offers potential for energy savings, yet most eco-driving strategies focus solely on longitudinal speed control within a single lane. This neglects the significant impact of lateral decisions, such as lane changes, on overall energy efficiency, especially in environments with traffic signals and heterogeneous traffic flow. To address this… ▽ More Urban driving with connected and automated vehicles (CAVs) offers potential for energy savings, yet most eco-driving strategies focus solely on longitudinal speed control within a single lane. This neglects the significant impact of lateral decisions, such as lane changes, on overall energy efficiency, especially in environments with traffic signals and heterogeneous traffic flow. To address this gap, we propose a novel energy-aware motion planning framework that jointly optimizes longitudinal speed and lateral lane-change decisions using vehicle-to-infrastructure (V2I) communication. Our approach estimates long-term energy costs using a graph-based approximation and solves short-horizon optimal control problems under traffic constraints. Using a data-driven energy model calibrated to an actual battery electric vehicle, we demonstrate with vehicle-in-the-loop experiments that our method reduces motion energy consumption by up to 24 percent compared to a human driver, highlighting the potential of connectivity-enabled planning for sustainable urban autonomy. △ Less

Submitted 29 March, 2025; originally announced March 2025.

Comments: Submitted to an Invited Session at 2025 IEEE Conference on Decision and Control

Electrifying Heavy-Duty Trucks: Battery-Swapping vs Fast Charging

Authors: Ruiting Wang, Antoine Martinez, Zaid Allybokus, Wente Zeng, Nicolas Obrecht, Scott Moura

Abstract: The advantages and disadvantages of Battery Swapping Stations (BSS) for heavy-duty trucks are poorly understood, relative to Fast Charging Stations (FCS) systems. This study evaluates these two charging mechanisms for electric heavy-duty trucks, aiming to compare the systems' efficiency and identify their optimal design. A model was developed to address the planning and operation of BSS in a charg… ▽ More The advantages and disadvantages of Battery Swapping Stations (BSS) for heavy-duty trucks are poorly understood, relative to Fast Charging Stations (FCS) systems. This study evaluates these two charging mechanisms for electric heavy-duty trucks, aiming to compare the systems' efficiency and identify their optimal design. A model was developed to address the planning and operation of BSS in a charging network, considering in-station batteries as assets for various services. We assess performance metrics including transportation efficiency and battery utilization efficiency. Our evaluation reveals that BSS significantly increased transportation efficiency by reducing vehicle downtime compared to fast charging, but may require more batteries. BSS with medium-sized batteries offers improved transportation efficiency in terms of time and labor. FCS-reliant trucks require larger batteries to compensate for extended charging times. To understand the trade-off between these two metrics, a cost-benefit analysis was performed under different scenarios involving potential shifts in battery prices and labor costs. Additionally, BSS shows potential for significant $\text{CO}_2$ emission reductions and increased profitability through energy arbitrage and grid ancillary services. These findings emphasize the importance of integrating BSS into future electric truck charging networks and adopting carbon-aware operational frameworks. △ Less

Submitted 18 May, 2025; v1 submitted 11 March, 2025; originally announced March 2025.

Skill and spatial mismatches for sustainable development in Brazil

Authors: Anna K. Berryman, Joris Bücker, Fernanda Senra de Moura, Pete Barbrook-Johnson, Marek Hanusch, Penny Mealy, J. Doyne Farmer, R. Maria del Rio-Chanona

Abstract: Structural change is necessary for all countries transitioning to a more environmentally sustainable economy, but what are the likely impacts on workers? Studies often find that green transition scenarios result in net positive job creation numbers overall but rarely provide insights into the more granular dynamics of the labour market. This paper combines a dynamic labour market simulation model… ▽ More Structural change is necessary for all countries transitioning to a more environmentally sustainable economy, but what are the likely impacts on workers? Studies often find that green transition scenarios result in net positive job creation numbers overall but rarely provide insights into the more granular dynamics of the labour market. This paper combines a dynamic labour market simulation model with development scenarios focused on agriculture and green manufacturing. We study how, within the context of a green transition, productivity shifts in different sectors and regions, with differing environmental impacts, may affect and be constrained by the labour market in Brazil. By accounting for labour market frictions associated with skill and spatial mismatches, we find that productivity shocks, if not well managed, can exacerbate inequality. Agricultural workers tend to be the most negatively affected as they are less occupationally and geographically mobile. Our results highlight the importance of well-targeted labour market policies to ensure the green transition is just and equitable. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Comments: 17 pages, 8 figures

Physics-Aware Robotic Palletization with Online Masking Inference

Authors: Tianqi Zhang, Zheng Wu, Yuxin Chen, Yixiao Wang, Boyuan Liang, Scott Moura, Masayoshi Tomizuka, Mingyu Ding, Wei Zhan

Abstract: The efficient planning of stacking boxes, especially in the online setting where the sequence of item arrivals is unpredictable, remains a critical challenge in modern warehouse and logistics management. Existing solutions often address box size variations, but overlook their intrinsic and physical properties, such as density and rigidity, which are crucial for real-world applications. We use rein… ▽ More The efficient planning of stacking boxes, especially in the online setting where the sequence of item arrivals is unpredictable, remains a critical challenge in modern warehouse and logistics management. Existing solutions often address box size variations, but overlook their intrinsic and physical properties, such as density and rigidity, which are crucial for real-world applications. We use reinforcement learning (RL) to solve this problem by employing action space masking to direct the RL policy toward valid actions. Unlike previous methods that rely on heuristic stability assessments which are difficult to assess in physical scenarios, our framework utilizes online learning to dynamically train the action space mask, eliminating the need for manual heuristic design. Extensive experiments demonstrate that our proposed method outperforms existing state-of-the-arts. Furthermore, we deploy our learned task planner in a real-world robotic palletizer, validating its practical applicability in operational settings. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: Accepted by ICRA 2025

Stroke classification using Virtual Hybrid Edge Detection from in silico electrical impedance tomography data

Authors: Juan Pablo Agnelli, Fernando S. Moura, Siiri Rautio, Melody Alsaker, Rashmi Murthy, Matti Lassas, Samuli Siltanen

Abstract: Electrical impedance tomography (EIT) is a non-invasive imaging method for recovering the internal conductivity of a physical body from electric boundary measurements. EIT combined with machine learning has shown promise for the classification of strokes. However, most previous works have used raw EIT voltage data as network inputs. We build upon a recent development which suggested the use of spe… ▽ More Electrical impedance tomography (EIT) is a non-invasive imaging method for recovering the internal conductivity of a physical body from electric boundary measurements. EIT combined with machine learning has shown promise for the classification of strokes. However, most previous works have used raw EIT voltage data as network inputs. We build upon a recent development which suggested the use of special noise-robust Virtual Hybrid Edge Detection (VHED) functions as network inputs, although that work used only highly simplified and mathematically ideal models. In this work we strengthen the case for the use of EIT, and VHED functions especially, for stroke classification. We design models with high detail and mathematical realism to test the use of VHED functions as inputs. Virtual patients are created using a physically detailed 2D head model which includes features known to create challenges in real-world imaging scenarios. Conductivity values are drawn from statistically realistic distributions, and phantoms are afflicted with either hemorrhagic or ischemic strokes of various shapes and sizes. Simulated noisy EIT electrode data, generated using the realistic Complete Electrode Model (CEM) as opposed to the mathematically ideal continuum model, is processed to obtain VHED functions. We compare the use of VHED functions as inputs against the alternative paradigm of using raw EIT voltages. Our results show that (i) stroke classification can be performed with high accuracy using 2D EIT data from physically detailed and mathematically realistic models, and (ii) in the presence of noise, VHED functions outperform raw data as network inputs. △ Less

Submitted 29 January, 2025; v1 submitted 24 January, 2025; originally announced January 2025.

Comments: 21 pages, 5 figures

An Experimental Study on Data Augmentation Techniques for Named Entity Recognition on Low-Resource Domains

Authors: Arthur Elwing Torres, Edleno Silva de Moura, Altigran Soares da Silva, Mario A. Nascimento, Filipe Mesquita

Abstract: Named Entity Recognition (NER) is a machine learning task that traditionally relies on supervised learning and annotated data. Acquiring such data is often a challenge, particularly in specialized fields like medical, legal, and financial sectors. Those are commonly referred to as low-resource domains, which comprise long-tail entities, due to the scarcity of available data. To address this, data… ▽ More Named Entity Recognition (NER) is a machine learning task that traditionally relies on supervised learning and annotated data. Acquiring such data is often a challenge, particularly in specialized fields like medical, legal, and financial sectors. Those are commonly referred to as low-resource domains, which comprise long-tail entities, due to the scarcity of available data. To address this, data augmentation techniques are increasingly being employed to generate additional training instances from the original dataset. In this study, we evaluate the effectiveness of two prominent text augmentation techniques, Mention Replacement and Contextual Word Replacement, on two widely-used NER models, Bi-LSTM+CRF and BERT. We conduct experiments on four datasets from low-resource domains, and we explore the impact of various combinations of training subset sizes and number of augmented examples. We not only confirm that data augmentation is particularly beneficial for smaller datasets, but we also demonstrate that there is no universally optimal number of augmented examples, i.e., NER practitioners must experiment with different quantities in order to fine-tune their projects. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 21 pages, 2 figures

Relax, Estimate, and Track: a Simple Battery State-of-charge and State-of-health Estimation Method

Authors: Shida Jiang, Junzhe Shi, Scott Moura

Abstract: Battery management is a critical component of ubiquitous battery-powered energy systems, in which battery state-of-charge (SOC) and state-of-health (SOH) estimations are of crucial importance. Conventional SOC and SOH estimation methods, especially model-based methods, often lack accurate modeling of the open circuit voltage (OCV), have relatively high computational complexity, and lack theoretica… ▽ More Battery management is a critical component of ubiquitous battery-powered energy systems, in which battery state-of-charge (SOC) and state-of-health (SOH) estimations are of crucial importance. Conventional SOC and SOH estimation methods, especially model-based methods, often lack accurate modeling of the open circuit voltage (OCV), have relatively high computational complexity, and lack theoretical analysis. This study introduces a simple SOC and SOH estimation method that overcomes all these weaknesses. The key idea of the proposed method is to momentarily set the cell's current to zero for a few minutes during the charging, perform SOC and SOH estimation based on the measured data, and continue tracking the cell's SOC afterward. The method is based on rigorous theoretical analysis, requires no hyperparameter fine-tuning, and is hundreds of times faster than conventional model-based methods. The method is validated on six batteries charged at different C rates and temperatures, realizing fast and accurate estimations under various conditions, with a SOH root mean square error (RMSE) of around 3% and a SOC RMSE of around 1.5%. The data and codes are available at https://berkeley.box.com/s/jz1w6po2iqzzfy7irxd9ok47ku3tr86j. △ Less

Submitted 6 June, 2025; v1 submitted 2 August, 2024; originally announced August 2024.

Comments: Minor changes to texts. The codes and dataset are now attached

A New Framework for Nonlinear Kalman Filters

Authors: Shida Jiang, Junzhe Shi, Scott Moura

Abstract: The Kalman filter (KF) is a state estimation algorithm that optimally combines system knowledge and measurements to minimize the mean squared error of the estimated states. While KF was initially designed for linear systems, numerous extensions of it, such as extended Kalman filter (EKF), unscented Kalman filter (UKF), cubature Kalman filter (CKF), etc., have been proposed for nonlinear systems ov… ▽ More The Kalman filter (KF) is a state estimation algorithm that optimally combines system knowledge and measurements to minimize the mean squared error of the estimated states. While KF was initially designed for linear systems, numerous extensions of it, such as extended Kalman filter (EKF), unscented Kalman filter (UKF), cubature Kalman filter (CKF), etc., have been proposed for nonlinear systems over the last sixty years. Although different types of nonlinear KFs have different pros and cons, they all use the same framework of linear KF. Yet, according to our theoretical and empirical analysis, the framework tends to give overconfident and less accurate state estimations when the measurement functions are nonlinear. Therefore, in this study, we designed a new framework that can be combined with any existing type of nonlinear KFs and showed theoretically and empirically that the new framework estimates the states and covariance more accurately than the old one. The new framework was tested on four different nonlinear KFs and five different tasks, showcasing its ability to reduce estimation errors by several orders of magnitude in low-measurement-noise conditions. The codes are available at https://github.com/Shida-Jiang/A-new-framework-for-nonlinear-Kalman-filters △ Less

Submitted 19 June, 2025; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: Massive revisions to the theoretical analysis part. Now Theorem 1 becomes much stronger and useful

Web Intelligence Journal in perspective: an analysis of its two decades trajectory

Authors: Diogenes Ademir Domingos, Victor Emanuel Santos Moura, Antonio Fernando Lavareda Jacob Junior, Fabio Manoel Franca Lobato

Abstract: The evolution of a thematic area undergoes various changes of perspective and adopts new theoretical approaches that arise from the interactions of the community and a wide range of social needs. The advent of digital technologies, such as social networks, underlines this factor by spreading knowledge and forging links between different communities. Web intelligence is now on the verge of raising… ▽ More The evolution of a thematic area undergoes various changes of perspective and adopts new theoretical approaches that arise from the interactions of the community and a wide range of social needs. The advent of digital technologies, such as social networks, underlines this factor by spreading knowledge and forging links between different communities. Web intelligence is now on the verge of raising questions that broaden the understanding of how artificial intelligence impacts the Web of People, Data, and Things, among other factors. To the best of our knowledge, there is no study that has conducted a longitudinal analysis of the evolution of this community. Thus, we investigate in this paper how Web intelligence has evolved in the last twenty years by carrying out a literature review and bibliometric analysis. Concerning the impact of this research study, increasing attention is devoted to determining which are the most influential papers in the community by referring to citation networks and discovering the most popular and pressing topics through a co-citation analysis and the keywords co-occurrence. The results obtained can guide the direction of new research projects in the area and update the scope and places of interest found in current trends and the relevant journals. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Remaining Discharge Energy Prediction for Lithium-Ion Batteries Over Broad Current Ranges: A Machine Learning Approach

Authors: Hao Tu, Manashita Borah, Scott Moura, Yebin Wang, Huazhen Fang

Abstract: Lithium-ion batteries have found their way into myriad sectors of industry to drive electrification, decarbonization, and sustainability. A crucial aspect in ensuring their safe and optimal performance is monitoring their energy levels. In this paper, we present the first study on predicting the remaining energy of a battery cell undergoing discharge over wide current ranges from low to high C-rat… ▽ More Lithium-ion batteries have found their way into myriad sectors of industry to drive electrification, decarbonization, and sustainability. A crucial aspect in ensuring their safe and optimal performance is monitoring their energy levels. In this paper, we present the first study on predicting the remaining energy of a battery cell undergoing discharge over wide current ranges from low to high C-rates. The complexity of the challenge arises from the cell's C-rate-dependent energy availability as well as its intricate electro-thermal dynamics especially at high C-rates. To address this, we introduce a new definition of remaining discharge energy and then undertake a systematic effort in harnessing the power of machine learning to enable its prediction. Our effort includes two parts in cascade. First, we develop an accurate dynamic model based on integration of physics with machine learning to capture a battery's voltage and temperature behaviors. Second, based on the model, we propose a machine learning approach to predict the remaining discharge energy under arbitrary C-rates and pre-specified cut-off limits in voltage and temperature. The experimental validation shows that the proposed approach can predict the remaining discharge energy with a relative error of less than 3% when the current varies between 0~8 C for an NCA cell and 0~15 C for an LFP cell. The approach, by design, is amenable to training and computation. △ Less

Submitted 10 January, 2025; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 15 pages, 13 figures, 4 tables

Journal ref: Applied Energy 376 (2024) 124086

Lane-Change in Dense Traffic with Model Predictive Control and Neural Networks

Authors: Sangjae Bae, David Isele, Alireza Nakhaei, Peng Xu, Alexandre Miranda Anon, Chiho Choi, Kikuo Fujimura, Scott Moura

Abstract: This paper presents an online smooth-path lane-change control framework. We focus on dense traffic where inter-vehicle space gaps are narrow, and cooperation with surrounding drivers is essential to achieve the lane-change maneuver. We propose a two-stage control framework that harmonizes Model Predictive Control (MPC) with Generative Adversarial Networks (GAN) by utilizing driving intentions to g… ▽ More This paper presents an online smooth-path lane-change control framework. We focus on dense traffic where inter-vehicle space gaps are narrow, and cooperation with surrounding drivers is essential to achieve the lane-change maneuver. We propose a two-stage control framework that harmonizes Model Predictive Control (MPC) with Generative Adversarial Networks (GAN) by utilizing driving intentions to generate smooth lane-change maneuvers. To improve performance in practice, the system is augmented with an adaptive safety boundary and a Kalman Filter to mitigate sensor noise. Simulation studies are investigated in different levels of traffic density and cooperativeness of other drivers. The simulation results support the effectiveness, driving comfort, and safety of the proposed method. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Journal ref: IEEE Transactions on Control Systems Technology ( Volume: 31, Issue: 2, March 2023)

Parking of Connected Automated Vehicles: Vehicle Control, Parking Assignment, and Multi-agent Simulation

Authors: Xu Shen, Yongkeun Choi, Alex Wong, Francesco Borrelli, Scott Moura, Soomin Woo

Abstract: This paper introduces a novel approach to optimize the parking efficiency for fleets of Connected and Automated Vehicles (CAVs). We present a novel multi-vehicle parking simulator, equipped with hierarchical path planning and collision avoidance capabilities for individual CAVs. The simulator is designed to capture the key decision-making processes in parking, from low-level vehicle control to hig… ▽ More This paper introduces a novel approach to optimize the parking efficiency for fleets of Connected and Automated Vehicles (CAVs). We present a novel multi-vehicle parking simulator, equipped with hierarchical path planning and collision avoidance capabilities for individual CAVs. The simulator is designed to capture the key decision-making processes in parking, from low-level vehicle control to high-level parking assignment, and it enables the effective assessment of parking strategies for large fleets of ground vehicles. We formulate and compare different strategic parking spot assignments to minimize a collective cost. While the proposed framework is designed to optimize various objective functions, we choose the total parking time for the experiment, as it is closely related to the reduction of vehicles' energy consumption and greenhouse gas emissions. We validate the effectiveness of the proposed strategies through empirical evaluation against a dataset of real-world parking lot dynamics, realizing a substantial reduction in parking time by up to 43.8%. This improvement is attributed to the synergistic benefits of driving automation, the utilization of shared infrastructure state data, the exclusion of pedestrian traffic, and the real-time computation of optimal parking spot allocation. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Aya Dataset: An Open-Access Collection for Multilingual Instruction Tuning

Authors: Shivalika Singh, Freddie Vargus, Daniel Dsouza, Börje F. Karlsson, Abinaya Mahendiran, Wei-Yin Ko, Herumb Shandilya, Jay Patel, Deividas Mataciunas, Laura OMahony, Mike Zhang, Ramith Hettiarachchi, Joseph Wilson, Marina Machado, Luisa Souza Moura, Dominik Krzemiński, Hakimeh Fadaei, Irem Ergün, Ifeoma Okoh, Aisha Alaagib, Oshan Mudannayake, Zaid Alyafeai, Vu Minh Chien, Sebastian Ruder, Surya Guthikonda , et al. (8 additional authors not shown)

Abstract: Datasets are foundational to many breakthroughs in modern artificial intelligence. Many recent achievements in the space of natural language processing (NLP) can be attributed to the finetuning of pre-trained models on a diverse set of tasks that enables a large language model (LLM) to respond to instructions. Instruction fine-tuning (IFT) requires specifically constructed and annotated datasets.… ▽ More Datasets are foundational to many breakthroughs in modern artificial intelligence. Many recent achievements in the space of natural language processing (NLP) can be attributed to the finetuning of pre-trained models on a diverse set of tasks that enables a large language model (LLM) to respond to instructions. Instruction fine-tuning (IFT) requires specifically constructed and annotated datasets. However, existing datasets are almost all in the English language. In this work, our primary goal is to bridge the language gap by building a human-curated instruction-following dataset spanning 65 languages. We worked with fluent speakers of languages from around the world to collect natural instances of instructions and completions. Furthermore, we create the most extensive multilingual collection to date, comprising 513 million instances through templating and translating existing datasets across 114 languages. In total, we contribute four key resources: we develop and open-source the Aya Annotation Platform, the Aya Dataset, the Aya Collection, and the Aya Evaluation Suite. The Aya initiative also serves as a valuable case study in participatory research, involving collaborators from 119 countries. We see this as a valuable framework for future research collaborations that aim to bridge gaps in resources. △ Less

Submitted 9 February, 2024; originally announced February 2024.

On the connected (sub)partition polytope

Authors: Phablo F. S. Moura, Roel Leus, Hande Yaman

Abstract: Let $k$ be a positive integer and let $G$ be a graph with $n$ vertices. A connected $k$-subpartition of $G$ is a collection of $k$ pairwise disjoint sets (a.k.a. classes) of vertices in $G$ such that each set induces a connected subgraph. The connected $k$-partition polytope of $G$, denoted by $P(G,k)$, is defined as the convex hull of the incidence vectors of all connected $k$-subpartitions of… ▽ More Let $k$ be a positive integer and let $G$ be a graph with $n$ vertices. A connected $k$-subpartition of $G$ is a collection of $k$ pairwise disjoint sets (a.k.a. classes) of vertices in $G$ such that each set induces a connected subgraph. The connected $k$-partition polytope of $G$, denoted by $P(G,k)$, is defined as the convex hull of the incidence vectors of all connected $k$-subpartitions of $G$. Many applications arising in off-shore oil-drilling, forest planning, image processing, cluster analysis, political districting, police patrolling, and biology are modeled in terms of finding connected (sub)partitions of a graph. This study focus on the facial structure of $P(G,k)$ and the computational complexity of the corresponding separation problems. We first propose a set of valid inequalities having non-null coefficients associated with a single class that extends and generalizes the ones in the literature of related problems, show sufficient conditions for these inequalities to be facet-defining, and design a polynomial-time separation algorithm for them. We also devise two sets of inequalities that consider multiple classes, prove when they define facets, and study the computational complexity of associated separation problems. △ Less

Submitted 3 January, 2024; originally announced January 2024.

MSC Class: 90C57

Compact formulations and valid inequalities for parallel machine scheduling with conflicts

Authors: Phablo F. S. Moura, Roel Leus, Hande Yaman

Abstract: The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines is minimized. We propose a new compact mixed integer linear formulation based on the representatives model for the vertex coloring problem, which overcomes a num… ▽ More The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines is minimized. We propose a new compact mixed integer linear formulation based on the representatives model for the vertex coloring problem, which overcomes a number of issues inherent in the natural assignment model. We present a polyhedral study of the associated polytope, and describe classes of valid inequalities inherited from the stable set polytope. We describe branch-and-cut algorithms for the problem, and report on computational experiments with benchmark instances. Our computational results on the hardest instances of the benchmark set show that the proposed algorithms are superior (either in running time or quality of the solutions) to the current state-of-the-art methods. We find that our new method performs better than the existing ones especially when the gap between the optimal value and the trivial lower bound (i.e., the sum of all processing times divided by the number of machines) increases. △ Less

Submitted 3 April, 2025; v1 submitted 22 December, 2023; originally announced December 2023.

MSC Class: 90Cxx

Embeddings of generalised Morrey smoothness spaces

Authors: Dorothee D. Haroske, Zhen Liu, Susana D. Moura, Leszek Skrzypczak

Abstract: We study embeddings between generalised Triebel-Lizorkin-Morrey spaces ${\mathcal E}^{s}_{\varphi,p,q}({\mathbb R}^d)$ and within the scales of further generalised Morrey smoothness spaces like ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$, ${B}_{p,q}^{s,\varphi}({\mathbb R}^d)$ and ${F}_{p,q}^{s,\varphi}({\mathbb R}^d)$. The latter have been investigated in a recent paper by the first two autho… ▽ More We study embeddings between generalised Triebel-Lizorkin-Morrey spaces ${\mathcal E}^{s}_{\varphi,p,q}({\mathbb R}^d)$ and within the scales of further generalised Morrey smoothness spaces like ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$, ${B}_{p,q}^{s,\varphi}({\mathbb R}^d)$ and ${F}_{p,q}^{s,\varphi}({\mathbb R}^d)$. The latter have been investigated in a recent paper by the first two authors (2023), while the embeddings of the scale ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$ were mainly obtained in a paper of the first and last two authors (2022). Now we concentrate on the characterisation of the spaces ${\mathcal E}^{s}_{\varphi,p,q}({\mathbb R}^d)$. Our approach requires a wavelet characterisation of those spaces which we establish for the system of Daubechies' wavelets. Then we prove necessary and sufficient conditions for the embedding ${\mathcal E}^{s_1}_{\varphi_1,p_1,q_1}({\mathbb R}^d)\hookrightarrow {\mathcal E}^{s_2}_{\varphi_2,p_2,q_2}({\mathbb R}^d)$. We can also provide some almost final answer to the question when ${\mathcal E}^{s}_{\varphi,p,q}({\mathbb R}^d)$ is embedded into $C({\mathbb R}^d)$, complementing our recent findings in case of ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$. △ Less

Submitted 27 October, 2023; originally announced October 2023.

MSC Class: 46E35

Online energy management system for a fuel cell/battery hybrid system with multiple fuel cell stacks

Authors: Junzhe Shi, Ulf Jakob Flø Aarsnes, Shengyu Tao, Ruiting Wang, Dagfinn Nærheim, Scott Moura

Abstract: Fuel cell (FC)/battery hybrid systems have attracted substantial attention for achieving zero-emissions buses, trucks, ships, and planes. An online energy management system (EMS) is essential for these hybrid systems, it controls energy flow and ensures optimal system performance. Key aspects include fuel efficiency and mitigating FC and battery degradation. This paper proposes a health-aware EMS… ▽ More Fuel cell (FC)/battery hybrid systems have attracted substantial attention for achieving zero-emissions buses, trucks, ships, and planes. An online energy management system (EMS) is essential for these hybrid systems, it controls energy flow and ensures optimal system performance. Key aspects include fuel efficiency and mitigating FC and battery degradation. This paper proposes a health-aware EMS for FC and battery hybrid systems with multiple FC stacks. The proposed EMS employs mixed integer quadratic programming (MIQP) to control each FC stack in the hybrid system independently, i.e., MIQP-based individual stack control (ISC), with significant fuel cost reductions, FC and battery degradations. The proposed method is compared with classical dynamic programming (DP), with a 2243 times faster computational speed than the DP method while maintaining nearoptimal performance. The case study results show that ISC achieves a 64.68 % total cost reduction compared to CSC in the examined scenario, with substantial reductions across key metrics including battery degradation (4 %), hydrogen fuel consumption (22 %), fuel cell idling loss (99 %), and fuel cell load-change loss (41 %) △ Less

Submitted 22 June, 2025; v1 submitted 19 October, 2023; originally announced October 2023.

Polyhedral approach to weighted connected matchings in general graphs

Authors: Phillippe Samer, Phablo F. S. Moura

Abstract: A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to determine an optimal connected matching in an edge-weighted graph, even in the planar bipartite case. We present two mixed integer programming formulations and a s… ▽ More A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to determine an optimal connected matching in an edge-weighted graph, even in the planar bipartite case. We present two mixed integer programming formulations and a sophisticated branch-and-cut scheme to find weighted connected matchings in general graphs. The formulations explore different polyhedra associated to this problem, including strong valid inequalities both from the matching polytope and from the connected subgraph polytope. We conjecture that one attains a tight approximation of the convex hull of connected matchings using our strongest formulation, and report encouraging computational results over DIMACS Implementation Challenge benchmark instances. The source code of the complete implementation is also made available. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: 30 pages, submitted for publication

MSC Class: 90C27; 90C57; 90C11; 68R10 ACM Class: G.2.2; G.1.6; G.4

Journal ref: Discrete Applied Mathematics, 2024, Volume 359, pp 143-152 (open access)

Approximations for the Steiner Multicycle Problem

Authors: Cristina G. Fernandes, Carla N. Lintzmayer, Phablo F. S. Moura

Abstract: The Steiner Multicycle problem consists of, given a complete graph, a weight function on its vertices, and a collection of pairwise disjoint non-unitary sets called terminal sets, finding a minimum weight collection of vertex-disjoint cycles in the graph such that, for every terminal set, all of its vertices are in a same cycle of the collection. This problem generalizes the Traveling Salesman pro… ▽ More The Steiner Multicycle problem consists of, given a complete graph, a weight function on its vertices, and a collection of pairwise disjoint non-unitary sets called terminal sets, finding a minimum weight collection of vertex-disjoint cycles in the graph such that, for every terminal set, all of its vertices are in a same cycle of the collection. This problem generalizes the Traveling Salesman problem and therefore is hard to approximate in general. On the practical side, it models a collaborative less-than-truckload problem with pickup and delivery locations. Using an algorithm for the Survivable Network Design problem and T -joins, we obtain a 3-approximation for the metric case, improving on the previous best 4-approximation. Furthermore, we present an (11/9)-approximation for the particular case of the Steiner Multicycle in which each edge weight is 1 or 2. This algorithm can be adapted to obtain a (7/6)-approximation when every terminal set contains at least 4 vertices. Finally, we devise an O(lg n)-approximation algorithm for the asymmetric version of the problem. △ Less

Submitted 14 August, 2023; originally announced August 2023.

RobôCIn Small Size League Extended Team Description Paper for RoboCup 2023

Authors: Aline Lima de Oliveira, Cauê Addae da Silva Gomes, Cecília Virginia Santos da Silva, Charles Matheus de Sousa Alves, Danilo Andrade Martins de Souza, Driele Pires Ferreira Araújo Xavier, Edgleyson Pereira da Silva, Felipe Bezerra Martins, Lucas Henrique Cavalcanti Santos, Lucas Dias Maciel, Matheus Paixão Gumercindo dos Santos, Matheus Lafayette Vasconcelos, Matheus Vinícius Teotonio do Nascimento Andrade, João Guilherme Oliveira Carvalho de Melo, João Pedro Souza Pereira de Moura, José Ronald da Silva, José Victor Silva Cruz, Pedro Henrique Santana de Morais, Pedro Paulo Salman de Oliveira, Riei Joaquim Matos Rodrigues, Roberto Costa Fernandes, Ryan Vinicius Santos Morais, Tamara Mayara Ramos Teobaldo, Washington Igor dos Santos Silva, Edna Natividade Silva Barros

Abstract: RobôCIn has participated in RoboCup Small Size League since 2019, won its first world title in 2022 (Division B), and is currently a three-times Latin-American champion. This paper presents our improvements to defend the Small Size League (SSL) division B title in RoboCup 2023 in Bordeaux, France. This paper aims to share some of the academic research that our team developed over the past year. Ou… ▽ More RobôCIn has participated in RoboCup Small Size League since 2019, won its first world title in 2022 (Division B), and is currently a three-times Latin-American champion. This paper presents our improvements to defend the Small Size League (SSL) division B title in RoboCup 2023 in Bordeaux, France. This paper aims to share some of the academic research that our team developed over the past year. Our team has successfully published 2 articles related to SSL at two high-impact conferences: the 25th RoboCup International Symposium and the 19th IEEE Latin American Robotics Symposium (LARS 2022). Over the last year, we have been continuously migrating from our past codebase to Unification. We will describe the new architecture implemented and some points of software and AI refactoring. In addition, we discuss the process of integrating machined components into the mechanical system, our development for participating in the vision blackout challenge last year and what we are preparing for this year. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Dynamics around the binary system (65803) Didymos

Authors: R. Machado Oliveira, O. C. Winter, R. Sfair, G. Valvano, T. S. Moura, G. Borderes-Motta

Abstract: Didymos and Dimorphos are primary and secondary, respectively, asteroids who compose a binary system that make up the set of Near Earth Asteroids (NEAs). They are targets of the Double Asteroid Redirection Test (DART), the first test mission dedicated to study of planetary defense, for which the main goal is to measure the changes caused after the secondary body is hit by a kinect impactor. The pr… ▽ More Didymos and Dimorphos are primary and secondary, respectively, asteroids who compose a binary system that make up the set of Near Earth Asteroids (NEAs). They are targets of the Double Asteroid Redirection Test (DART), the first test mission dedicated to study of planetary defense, for which the main goal is to measure the changes caused after the secondary body is hit by a kinect impactor. The present work intends to conduct a study, through numerical integrations, on the dynamics of massless particles distributed in the vicinity of the two bodies. An approximate shape for the primary body was considered as a model of mass concentrations (mascons) and the secondary was considered as a massive point. Our results show the location and size of stable regions, and also their lifetime. △ Less

Submitted 12 July, 2023; originally announced July 2023.

On a bridge connecting Lebesgue and Morrey spaces in view of their growth properties

Authors: Dorothee D. Haroske, Susana D. Moura, Leszek Skrzypczak

Abstract: We study unboundedness properties of functions belonging to generalised Morrey spaces ${\mathcal M}_{\varphi,p}({\mathbb R}^d)$ and generalised Besov-Morrey spaces ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$ by means of growth envelopes. For the generalised Morrey spaces we arrive at the same three possible cases as for classical Morrey spaces $\mathcal{M}_{u,p}({\mathbb R}^d)$, i.e., boundedn… ▽ More We study unboundedness properties of functions belonging to generalised Morrey spaces ${\mathcal M}_{\varphi,p}({\mathbb R}^d)$ and generalised Besov-Morrey spaces ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$ by means of growth envelopes. For the generalised Morrey spaces we arrive at the same three possible cases as for classical Morrey spaces $\mathcal{M}_{u,p}({\mathbb R}^d)$, i.e., boundedness, the $L_p$-behaviour or the proper Morrey behaviour for $p<u$, but now those cases are characterised in terms of the limit of $\varphi(t)$ and $t^{-d/p} \varphi(t)$ as $t \to 0^+$ and $t\to\infty$, respectively. For the generalised Besov-Morrey spaces the limit of $t^{-d/p} \varphi(t)$ as $t \to 0^+$ also plays a rôle and, once more, we are able to extend to this generalised spaces the known results for classical Besov-Morrey spaces, although some cases are not completely solved. In this context we can completely characterise the situation when ${\mathcal N}^{s}_{\varphi,p,q}({\mathbb R}^d)$ consists of essentially bounded functions only, and when it contains regular distributions only. △ Less

Submitted 28 April, 2023; originally announced May 2023.

Comments: 28 pages

MSC Class: 46E35

HumanLight: Incentivizing Ridesharing via Human-centric Deep Reinforcement Learning in Traffic Signal Control

Authors: Dimitris M. Vlachogiannis, Hua Wei, Scott Moura, Jane Macfarlane

Abstract: Single occupancy vehicles are the most attractive transportation alternative for many commuters, leading to increased traffic congestion and air pollution. Advancements in information technologies create opportunities for smart solutions that incentivize ridesharing and mode shift to higher occupancy vehicles (HOVs) to achieve the car lighter vision of cities. In this study, we present HumanLight,… ▽ More Single occupancy vehicles are the most attractive transportation alternative for many commuters, leading to increased traffic congestion and air pollution. Advancements in information technologies create opportunities for smart solutions that incentivize ridesharing and mode shift to higher occupancy vehicles (HOVs) to achieve the car lighter vision of cities. In this study, we present HumanLight, a novel decentralized adaptive traffic signal control algorithm designed to optimize people throughput at intersections. Our proposed controller is founded on reinforcement learning with the reward function embedding the transportation-inspired concept of pressure at the person-level. By rewarding HOV commuters with travel time savings for their efforts to merge into a single ride, HumanLight achieves equitable allocation of green times. Apart from adopting FRAP, a state-of-the-art (SOTA) base model, HumanLight introduces the concept of active vehicles, loosely defined as vehicles in proximity to the intersection within the action interval window. The proposed algorithm showcases significant headroom and scalability in different network configurations considering multimodal vehicle splits at various scenarios of HOV adoption. Improvements in person delays and queues range from 15% to over 55% compared to vehicle-level SOTA controllers. We quantify the impact of incorporating active vehicles in the formulation of our RL model for different network structures. HumanLight also enables regulation of the aggressiveness of the HOV prioritization. The impact of parameter setting on the generated phase profile is investigated as a key component of acyclic signal controllers affecting pedestrian waiting times. HumanLight's scalable, decentralized design can reshape the resolution of traffic management to be more human-centric and empower policies that incentivize ridesharing and public transit systems. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 29 pages, 17 figures

Planning for Electric Vehicles Coupled with Urban Mobility

Authors: Yanyan Xu, Serdar Colak, Emre C. Kara, Scott J. Moura, Marta C. Gonzalez

Abstract: The rising adoption of plug-in electric vehicles (PEVs) leads to the alignment of their electricity and their mobility demands. Therefore, transportation and power infrastructures are becoming increasingly interdependent. In this work, we uncover patterns of PEV mobility by integrating for the first time two unique data sets: (i) mobile phone activity of 1.39 million Bay Area residents and (ii) ch… ▽ More The rising adoption of plug-in electric vehicles (PEVs) leads to the alignment of their electricity and their mobility demands. Therefore, transportation and power infrastructures are becoming increasingly interdependent. In this work, we uncover patterns of PEV mobility by integrating for the first time two unique data sets: (i) mobile phone activity of 1.39 million Bay Area residents and (ii) charging activity of PEVs in 580,000 sessions obtained in the same region. We present a method to estimate individual mobility of PEV drivers at fine temporal and spatial resolution integrating survey data with mobile phone data and income information obtained from census. Thereupon, we recommend changes in PEVs charging times of commuters at their work stations that take into account individual travel needs and shave the pronounced peak in power demand. Informed by the tariff of electricity, we calculate the12 monetary gains to incentivize the adoption of the recommendations. These results open avenues for planning for the future of coupled transportation and electricity needs using personalized data. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Journal ref: Nature Energy 3, 484-493 (2018)

Nuclear and compact embeddings in function spaces of generalised smoothness

Authors: Dorothee D. Haroske, Hans-Gerd Leopold, Susana D. Moura, Leszek Skrzypczak

Abstract: We study nuclear embeddings for function spaces of generalised smoothness defined on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. This covers, in particular, the well-known situation for spaces of Besov and Triebel-Lizorkin spaces defined on bounded domains as well as some first results for function spaces of logarithmic smoothness. In addition, we provide some new, more general approach to… ▽ More We study nuclear embeddings for function spaces of generalised smoothness defined on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. This covers, in particular, the well-known situation for spaces of Besov and Triebel-Lizorkin spaces defined on bounded domains as well as some first results for function spaces of logarithmic smoothness. In addition, we provide some new, more general approach to compact embeddings for such function spaces, which also unifies earlier results in different settings, including also the study of their entropy numbers. Again we rely on suitable wavelet decomposition techniques and the famous Tong result (1969) about nuclear diagonal operators acting in $\ell_r$ spaces, which we could recently extend to the vector-valued setting needed here. △ Less

Submitted 23 December, 2022; originally announced December 2022.

MSC Class: 46E35; 41A46; 47B10

Robo-Chargers: Optimal Operation and Planning of a Robotic Charging System to Alleviate Overstay

Authors: Yi Ju, Teng Zeng, Zaid Allybokus, Scott Moura

Abstract: Charging infrastructure availability is a major concern for plug-in electric vehicle users. Nowadays, the limited public chargers are commonly occupied by vehicles which have already been fully charged. Such phenomenon, known as overstay, hinders other vehicles' accessibility to charging resources. In this paper, we analyze a charging facility innovation to tackle the challenge of overstay, levera… ▽ More Charging infrastructure availability is a major concern for plug-in electric vehicle users. Nowadays, the limited public chargers are commonly occupied by vehicles which have already been fully charged. Such phenomenon, known as overstay, hinders other vehicles' accessibility to charging resources. In this paper, we analyze a charging facility innovation to tackle the challenge of overstay, leveraging the idea of Robo-chargers - automated chargers that can rotate in a charging station and proactively plug or unplug plug-in electric vehicles. We formalize an operation model for stations incorporating Fixed-chargers and Robo-chargers. Optimal scheduling can be solved with the recognition of the combinatorial nature of vehicle-charger assignments, charging dynamics, and customer waiting behaviors. Then, with operation model nested, we develop a planning model to guide economical investment on both types of chargers so that the total cost of ownership is minimized. In the planning phase, it further considers charging demand variances and service capacity requirements. In this paper, we provide systematic techno-economical methods to evaluate if introducing Robo-chargers is beneficial given a specific application scenario. Comprehensive sensitivity analysis based on real-world data highlights the advantages of Robo-chargers, especially in a scenario where overstay is severe. Validations also suggest the tractability of operation model and robustness of planning results for real-time application under reasonable model mismatches, uncertainties and disturbances. △ Less

Submitted 18 June, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Journal ref: IEEE Transactions on Smart Grid

Seymour's Second Neighborhood Conjecture for orientations of (pseudo)random graphs

Authors: Fábio Botler, Phablo F. S. Moura, Tássio Naia

Abstract: Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.) (i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and (ii) for a uniform… ▽ More Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.) (i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and (ii) for a uniformly-random orientation of each weakly $(p,A\sqrt{np})$-bijumbled graph of order $n$ and density $p$, where $p=Ω(n^{-1/2})$ and $1-p = Ω(n^{-1/6})$ and $A>0$ is a universal constant independent of both $n$ and $p$. We also show that a.a.s. the SNC holds for almost every orientation of $G(n,p)$. More specifically, we prove that a.a.s. (iii) for all $\varepsilon > 0$ and $p=p(n)$ with $\limsup_{n\to\infty} p \le 2/3-\varepsilon$, every orientation of $G(n,p)$ with minimum outdegree $Ω_\varepsilon(\sqrt{n})$ satisfies the SNC; and (iv) for all $p=p(n)$, a random orientation of $G(n,p)$ satisfies the SNC. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Comments: 14 pages

MSC Class: 05C20; 05C80

Valuation of Public Bus Electrification with Open Data

Authors: Upadhi Vijay, Soomin Woo, Scott J. Moura, Akshat Jain, David Rodriguez, Sergio Gambacorta, Giuseppe Ferrara, Luigi Lanuzza, Christian Zulberti, Erika Mellekas, Carlo Papa

Abstract: This research provides a novel framework to estimate the economic, environmental, and social values of electrifying public transit buses, for cities across the world, based on open-source data. Electric buses are a compelling candidate to replace diesel buses for the environmental and social benefits. However, the state-of-art models to evaluate the value of bus electrification are limited in appl… ▽ More This research provides a novel framework to estimate the economic, environmental, and social values of electrifying public transit buses, for cities across the world, based on open-source data. Electric buses are a compelling candidate to replace diesel buses for the environmental and social benefits. However, the state-of-art models to evaluate the value of bus electrification are limited in applicability because they require granular and bespoke data on bus operation that can be difficult to procure. Our valuation tool uses General Transit Feed Specification, a standard data format used by transit agencies worldwide, to provide high-level guidance on developing a prioritization strategy for electrifying a bus fleet. We develop physics-informed machine learning models to evaluate the energy consumption, the carbon emissions, the health impacts, and the total cost of ownership for each transit route. We demonstrate the scalability of our tool with a case study of the bus lines in the Greater Boston and Milan metropolitan areas. △ Less

Submitted 24 September, 2022; originally announced September 2022.

Application of the Affinity Propagation Clustering Technique to obtain traffic accident clusters at macro, meso, and micro levels

Authors: Fagner Sutel de Moura, Christine Tessele Nodari

Abstract: Accident grouping is a crucial step in identifying accident-prone locations. Among the different accident grouping modes, clustering methods present excellent performance for discovering different distributions of accidents in space. This work introduces the Affinity Propagation Clustering (APC) approach for grouping traffic accidents based on criteria of similarity and dissimilarity between distr… ▽ More Accident grouping is a crucial step in identifying accident-prone locations. Among the different accident grouping modes, clustering methods present excellent performance for discovering different distributions of accidents in space. This work introduces the Affinity Propagation Clustering (APC) approach for grouping traffic accidents based on criteria of similarity and dissimilarity between distributions of data points in space. The APC provides more realistic representations of the distribution of events from similarity matrices between instances. The results showed that when representative data samples obtain, the preference parameter of similarity provides the necessary performance to calibrate the model and generate clusters according to the desired characteristics. In addition, the study demonstrates that the preference parameter as a continuous parameter facilitates the calibration and control of the model's convergence, allowing the discovery of clustering patterns with less effort and greater control of the results △ Less

Submitted 8 February, 2022; originally announced February 2022.

Comments: 24 pages, 1 figure, 3 tables

Integrating Physics-Based Modeling with Machine Learning for Lithium-Ion Batteries

Authors: Hao Tu, Scott Moura, Yebin Wang, Huazhen Fang

Abstract: Mathematical modeling of lithium-ion batteries (LiBs) is a primary challenge in advanced battery management. This paper proposes two new frameworks to integrate physics-based models with machine learning to achieve high-precision modeling for LiBs. The frameworks are characterized by informing the machine learning model of the state information of the physical model, enabling a deep integration be… ▽ More Mathematical modeling of lithium-ion batteries (LiBs) is a primary challenge in advanced battery management. This paper proposes two new frameworks to integrate physics-based models with machine learning to achieve high-precision modeling for LiBs. The frameworks are characterized by informing the machine learning model of the state information of the physical model, enabling a deep integration between physics and machine learning. Based on the frameworks, a series of hybrid models are constructed, through combining an electrochemical model and an equivalent circuit model, respectively, with a feedforward neural network. The hybrid models are relatively parsimonious in structure and can provide considerable voltage predictive accuracy under a broad range of C-rates, as shown by extensive simulations and experiments. The study further expands to conduct aging-aware hybrid modeling, leading to the design of a hybrid model conscious of the state-of-health to make prediction. The experiments show that the model has high voltage predictive accuracy throughout a LiB's cycle life. △ Less

Submitted 22 August, 2024; v1 submitted 24 December, 2021; originally announced December 2021.

Comments: 15 pages, 10 figures, 2 tables. arXiv admin note: text overlap with arXiv:2103.11580

Journal ref: Applied Energy 329 (2023) 120289

Approximation and parameterized algorithms to find balanced connected partitions of graphs

Authors: Phablo F. S. Moura, Matheus J. Ota, Yoshiko Wakabayashi

Abstract: Partitioning a connected graph into $k$~vertex-disjoint connected subgraphs of similar (or given) orders is a classical problem that has been intensively investigated since late seventies. Given a connected graph $G=(V,E)$ and a weight function $w : V \to \mathbb{Q}_\geq$, a connected $k$-partition of $G$ is a partition of $V$ such that each class induces a connected subgraph. The balanced connect… ▽ More Partitioning a connected graph into $k$~vertex-disjoint connected subgraphs of similar (or given) orders is a classical problem that has been intensively investigated since late seventies. Given a connected graph $G=(V,E)$ and a weight function $w : V \to \mathbb{Q}_\geq$, a connected $k$-partition of $G$ is a partition of $V$ such that each class induces a connected subgraph. The balanced connected $k$-partition problem consists in finding a connected $k$-partition in which every class has roughly the same weight. To model this concept of balance, one may seek connected $k$-partitions that either maximize the weight of a lightest class $(\text{max-min BCP}_k)$ or minimize the weight of a heaviest class $(\text{min-max BCP}_k)$. Such problems are equivalent when $k=2$, but they are different when $k\geq 3$. In this work, we propose a simple pseudo-polynomial $\frac{k}{2}$-approximation algorithm for $\text{min-max BCP}_k$ which runs in time $\mathcal{O}(W|V||E|)$, where $W = \sum_{v \in V} w(v)$. Based on this algorithm and using a scaling technique, we design a (polynomial) $(\frac{k}{2} +\varepsilon)$-approximation for the same problem with running-time $\mathcal{O}(|V|^3|E|/\varepsilon)$, for any fixed $\varepsilon>0$. Additionally, we propose a fixed-parameter tractable algorithm based on integer linear programming for the unweighted $\text{max-min BCP}_k$ parameterized by the size of a vertex cover. △ Less

Submitted 23 August, 2021; originally announced August 2021.

Anatomical atlas of the upper part of the human head for electroencephalography and bioimpedance applications

Authors: Fernando S Moura, Roberto G Beraldo, Leonardo A Ferreira, Samuli Siltanen

Abstract: Volume conductor problems in cerebral electrophysiology and bioimpedance do not have analytical solutions for nontrivial geometries and require a 3D model of the head and its electrical properties for solving the associated PDEs numerically. Ideally, the model should be made with patient-specific information. In clinical practice, this is not always the case and an average head model is often used… ▽ More Volume conductor problems in cerebral electrophysiology and bioimpedance do not have analytical solutions for nontrivial geometries and require a 3D model of the head and its electrical properties for solving the associated PDEs numerically. Ideally, the model should be made with patient-specific information. In clinical practice, this is not always the case and an average head model is often used. Also, the electrical properties of the tissues might not be completely known due to natural variability. The objective of this work is to develop a 4D (3D+T) statistical anatomical atlas of the electrical properties of the upper part of the human head for cerebral electrophysiology and bioimpedance applications. The atlas is an important tool for in silico studies on cerebral circulation and electrophysiology that require statistically consistent data, e.g., machine learning, sensitivity analyses, and as a benchmark to test inverse problem solvers. The atlas was constructed based on MRI images of human individuals and comprises the electrical properties of the main internal structures and can be adjusted for specific electrical frequencies. The proposed atlas also comprises a time-varying model of arterial brain circulation, based on the solution of the Navier-Stokes equation in the main arteries and their vascular territories. The atlas was successfully used to simulate electrical impedance tomography measurements indicating the necessity of signal-to-noise between 100 and 125dB to identify vascular changes due to the cardiac cycle, corroborating previous studies. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Music Tempo Estimation via Neural Networks -- A Comparative Analysis

Authors: Mila Soares de Oliveira de Souza, Pedro Nuno de Souza Moura, Jean-Pierre Briot

Abstract: This paper presents a comparative analysis on two artificial neural networks (with different architectures) for the task of tempo estimation. For this purpose, it also proposes the modeling, training and evaluation of a B-RNN (Bidirectional Recurrent Neural Network) model capable of estimating tempo in bpm (beats per minutes) of musical pieces, without using external auxiliary modules. An extensiv… ▽ More This paper presents a comparative analysis on two artificial neural networks (with different architectures) for the task of tempo estimation. For this purpose, it also proposes the modeling, training and evaluation of a B-RNN (Bidirectional Recurrent Neural Network) model capable of estimating tempo in bpm (beats per minutes) of musical pieces, without using external auxiliary modules. An extensive database (12,550 pieces in total) was curated to conduct a quantitative and qualitative analysis over the experiment. Percussion-only tracks were also included in the dataset. The performance of the B-RNN is compared to that of state-of-the-art models. For further comparison, a state-of-the-art CNN was also retrained with the same datasets used for the B-RNN training. Evaluation results for each model and datasets are presented and discussed, as well as observations and ideas for future research. Tempo estimation was more accurate for the percussion only dataset, suggesting that the estimation can be more accurate for percussion-only tracks, although further experiments (with more of such datasets) should be made to gather stronger evidence. △ Less

Submitted 19 July, 2021; originally announced July 2021.

ACM Class: I.2; I.5.4; J.5

EnergySaver Software Manual

Authors: Davi Guimarães da Silva, Marla Teresinha Barbosa Geller, Dalton Felipe Silva Varão, João Bentes, Mauro Sérgio dos Santos Moura, Yasmin Braga Teixeira, Clayton André Maia dos Santos, Anderson Alvarenga de Moura Meneses

Abstract: Energy efficiency is a topic that has attracted the attention of researchers in recent years, in order to seek sustainability solutions for energy production and reduction of its costs, aiming to provide a balance between development and protection of natural resources. Thus, we proposed the EnergySaver software that has as its objective the monitoring of electric energy consumption, from data cap… ▽ More Energy efficiency is a topic that has attracted the attention of researchers in recent years, in order to seek sustainability solutions for energy production and reduction of its costs, aiming to provide a balance between development and protection of natural resources. Thus, we proposed the EnergySaver software that has as its objective the monitoring of electric energy consumption, from data capture to consumption forecast for the following month. To create Energy Saver, we used Open Source technologies applied to the Internet of Things (IoT), embedded systems, and Long Short-Term Memory Neural Networks (LSTM). However, in order to have harmony between the current researchers and those who may manipulate this software in the future, it is essential to create a Software Manual, where all the details of its implementation are described in detail. Therefore, this article describes all the steps for the implementation of the system, from the methodological scheme of the system, its modeling with UML, to the modules that compose it, becoming a Manual for its use. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 8 pages, in Portuguese, 21 figures

A Learning-based Optimal Market Bidding Strategy for Price-Maker Energy Storage

Authors: Mathilde D. Badoual, Scott J. Moura

Abstract: Load serving entities with storage units reach sizes and performances that can significantly impact clearing prices in electricity markets. Nevertheless, price endogeneity is rarely considered in storage bidding strategies and modeling the electricity market is a challenging task. Meanwhile, model-free reinforcement learning such as the Actor-Critic are becoming increasingly popular for designing… ▽ More Load serving entities with storage units reach sizes and performances that can significantly impact clearing prices in electricity markets. Nevertheless, price endogeneity is rarely considered in storage bidding strategies and modeling the electricity market is a challenging task. Meanwhile, model-free reinforcement learning such as the Actor-Critic are becoming increasingly popular for designing energy system controllers. Yet implementation frequently requires lengthy, data-intense, and unsafe trial-and-error training. To fill these gaps, we implement an online Supervised Actor-Critic (SAC) algorithm, supervised with a model-based controller -- Model Predictive Control (MPC). The energy storage agent is trained with this algorithm to optimally bid while learning and adjusting to its impact on the market clearing prices. We compare the supervised Actor-Critic algorithm with the MPC algorithm as a supervisor, finding that the former reaps higher profits via learning. Our contribution, thus, is an online and safe SAC algorithm that outperforms the current model-based state-of-the-art. △ Less

Submitted 4 June, 2021; originally announced June 2021.

Comments: Presented at the 2021 American Control Conference (ACC), New Orleans, USA, May 25-28, 2021

Helsinki Deblur Challenge 2021: description of photographic data

Authors: Markus Juvonen, Samuli Siltanen, Fernando Silva de Moura

Abstract: The photographic dataset collected for the Helsinki Deblur Challenge 2021 (HDC2021) contains pairs of images taken by two identical cameras of the same target but with different conditions. One camera is always in focus and produces sharp and low-noise images the other camera produces blurred and noisy images as it is gradually more and more out of focus and has a higher ISO setting. Even though t… ▽ More The photographic dataset collected for the Helsinki Deblur Challenge 2021 (HDC2021) contains pairs of images taken by two identical cameras of the same target but with different conditions. One camera is always in focus and produces sharp and low-noise images the other camera produces blurred and noisy images as it is gradually more and more out of focus and has a higher ISO setting. Even though the dataset was designed and captured with the HDC2021 in mind it can be used for any testing and benchmarking of image deblurring algorithms. The data is available here: https://doi.org/10.5281/zenodo.477228 △ Less

Submitted 21 May, 2021; originally announced May 2021.

Distributionally Robust Surrogate Optimal Control for High-Dimensional Systems

Authors: Aaron Kandel, Saehong Park, Scott Moura

Abstract: This paper presents a novel methodology for tractably solving optimal control and offline reinforcement learning problems for high-dimensional systems. This work is motivated by the ongoing challenges of safety, computation, and optimality in high-dimensional optimal control. We address these key questions with the following approach. First, we identify a sequence-modeling surrogate methodology wh… ▽ More This paper presents a novel methodology for tractably solving optimal control and offline reinforcement learning problems for high-dimensional systems. This work is motivated by the ongoing challenges of safety, computation, and optimality in high-dimensional optimal control. We address these key questions with the following approach. First, we identify a sequence-modeling surrogate methodology which takes as input the initial state and a time series of control inputs, and outputs an approximation of the objective function and trajectories of constraint functions. Importantly this approach entirely absorbs the individual state transition dynamics. The sole dependence on the initial state means we can apply dimensionality reduction to compress the model input while retaining most of its information. Uncertainty in the surrogate objective will affect the result optimality. Critically, however, uncertainty in the surrogate constraint functions will lead to infeasibility, i.e. unsafe actions. When considering offline reinforcement learning, the most significant modeling error will be encountered on out-of-distribution data. Therefore, we apply Wasserstein ambiguity sets to ``robustify'' our surrogate modeling approach subject to worst-case out-of-sample modeling error based on the distribution of test data residuals. We demonstrate the efficacy of this combined approach through a case study of safe optimal fast charging of a high-dimensional lithium-ion battery model at low temperatures. △ Less

Submitted 4 July, 2022; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: In review for IEEE TCST

Essay-BR: a Brazilian Corpus of Essays

Authors: Jeziel C. Marinho, Rafael T. Anchieta, Raimundo S. Moura

Abstract: Automatic Essay Scoring (AES) is defined as the computer technology that evaluates and scores the written essays, aiming to provide computational models to grade essays either automatically or with minimal human involvement. While there are several AES studies in a variety of languages, few of them are focused on the Portuguese language. The main reason is the lack of a corpus with manually graded… ▽ More Automatic Essay Scoring (AES) is defined as the computer technology that evaluates and scores the written essays, aiming to provide computational models to grade essays either automatically or with minimal human involvement. While there are several AES studies in a variety of languages, few of them are focused on the Portuguese language. The main reason is the lack of a corpus with manually graded essays. In order to bridge this gap, we create a large corpus with several essays written by Brazilian high school students on an online platform. All of the essays are argumentative and were scored across five competencies by experts. Moreover, we conducted an experiment on the created corpus and showed challenges posed by the Portuguese language. Our corpus is publicly available at https://github.com/rafaelanchieta/essay. △ Less

Submitted 19 May, 2021; originally announced May 2021.

Risk-Aware Lane Selection on Highway with Dynamic Obstacles

Authors: Sangjae Bae, David Isele, Kikuo Fujimura, Scott J. Moura

Abstract: This paper proposes a discretionary lane selection algorithm. In particular, highway driving is considered as a targeted scenario, where each lane has a different level of traffic flow. When lane-changing is discretionary, it is advised not to change lanes unless highly beneficial, e.g., reducing travel time significantly or securing higher safety. Evaluating such "benefit" is a challenge, along w… ▽ More This paper proposes a discretionary lane selection algorithm. In particular, highway driving is considered as a targeted scenario, where each lane has a different level of traffic flow. When lane-changing is discretionary, it is advised not to change lanes unless highly beneficial, e.g., reducing travel time significantly or securing higher safety. Evaluating such "benefit" is a challenge, along with multiple surrounding vehicles in dynamic speed and heading with uncertainty. We propose a real-time lane-selection algorithm with careful cost considerations and with modularity in design. The algorithm is a search-based optimization method that evaluates uncertain dynamic positions of other vehicles under a continuous time and space domain. For demonstration, we incorporate a state-of-the-art motion planner framework (Neural Networks integrated Model Predictive Control) under a CARLA simulation environment. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: Submitted to 32nd IEEE Intelligent Vehicles Symposium

Joint Design for Electric Fleet Operator an Charging Service Provider: Understanding the Non-Cooperative Nature

Authors: Yiqi Zhao, Teng Zeng, Zaid Allybokus, Ye Guo, Scott Moura

Abstract: This work proposes a new modeling framework for jointly optimizing the charging network design and the logistic mobility planning for an electric vehicle fleet. Existing literature commonly assumes the existence of a single entity, the social planner, as a powerful decision maker who manages all resources. However, this is often not the case in practice. Instead of making this assumption, we speci… ▽ More This work proposes a new modeling framework for jointly optimizing the charging network design and the logistic mobility planning for an electric vehicle fleet. Existing literature commonly assumes the existence of a single entity, the social planner, as a powerful decision maker who manages all resources. However, this is often not the case in practice. Instead of making this assumption, we specifically examine the innate noncooperative nature of two different entities involved in the planning problem. Namely, they are the charging service provider (CSP) and the fleet operator (FO). To address the strategic interaction between entities, a bilevel mixed integer program is formulated, with the CSP and FO problems expressed in the upper and lower levels respectively, in a joint decision making process. These decisions involve the CSP infrastructure siting, sizing, substation capacity upgrades, the FO fleet composition, vehicle routing, charging, and delivery assignment. To relieve computational burdens, we utilize a double loop solution architecture to iteratively reach optimality. We conduct detailed numerical studies on a synthesized small network and the simulation results reveal the unique aspects of this two entity framework. This modeling perspective can be generalized to other system design problems with two interacting agents planning and operating resources across networks. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Integrating Electrochemical Modeling with Machine Learning for Lithium-Ion Batteries

Authors: Hao Tu, Scott Moura, Huazhen Fang

Abstract: Mathematical modeling of lithium-ion batteries (LiBs) is a central challenge in advanced battery management. This paper presents a new approach to integrate a physics-based model with machine learning to achieve high-precision modeling for LiBs. This approach uniquely proposes to inform the machine learning model of the dynamic state of the physical model, enabling a deep integration between physi… ▽ More Mathematical modeling of lithium-ion batteries (LiBs) is a central challenge in advanced battery management. This paper presents a new approach to integrate a physics-based model with machine learning to achieve high-precision modeling for LiBs. This approach uniquely proposes to inform the machine learning model of the dynamic state of the physical model, enabling a deep integration between physics and machine learning. We propose two hybrid physics-machine learning models based on the approach, which blend a single particle model with thermal dynamics (SPMT) with a feedforward neural network (FNN) to perform physics-informed learning of a LiB's dynamic behavior. The proposed models are relatively parsimonious in structure and can provide considerable predictive accuracy even at high C-rates, as shown by extensive simulations. △ Less

Submitted 23 July, 2021; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: 7 pages, 8 figures, 4 tables, 2021 American Control Conference(ACC)

State Estimation for a Zero-Dimensional Electrochemical Model of Lithium-Sulfur Batteries

Authors: Zhijia Huang, Dong Zhang, Luis D. Couto, Quan-Hong Yang, Scott J. Moura

Abstract: Lithium-sulfur (Li-S) batteries have become one of the most attractive alternatives over conventional Li-ion batteries due to their high theoretical specific energy density (2500 Wh/kg for Li-S vs. $\sim$250 Wh/kg for Li-ion). Accurate state estimation in Li-S batteries is urgently needed for safe and efficient operation. To the best of the authors' knowledge, electrochemical model-based observers… ▽ More Lithium-sulfur (Li-S) batteries have become one of the most attractive alternatives over conventional Li-ion batteries due to their high theoretical specific energy density (2500 Wh/kg for Li-S vs. $\sim$250 Wh/kg for Li-ion). Accurate state estimation in Li-S batteries is urgently needed for safe and efficient operation. To the best of the authors' knowledge, electrochemical model-based observers have not been reported for Li-S batteries, primarily due to the complex dynamics that make state observer design a challenging problem. In this work, we demonstrate a state estimation scheme based on a zero-dimensional electrochemical model for Li-S batteries. The nonlinear differential-algebraic equation (DAE) model is incorporated into an extend Kalman filter. This observer design estimates both differential and algebraic states that represent the dynamic behavior inside the cell, from voltage and current measurements only. The effectiveness of the proposed estimation algorithm is illustrated by numerical simulation results. Our study unlocks how an electrochemical model can be utilized for practical state estimation of Li-S batteries. △ Less

Submitted 25 January, 2021; originally announced January 2021.

A heavy-tailed and overdispersed collective risk model

Authors: Pamela M. Chiroque-Solano, Fernando A. S. Moura

Abstract: Insurance data can be asymmetric with heavy tails, causing inadequate adjustments of the usually applied models. To deal with this issue, hierarchical models for collective risk with heavy-tails of the claims distributions that take also into account overdispersion of the number of claims are proposed. In particular, the distribution of the logarithm of the aggregate value of claims is assumed to… ▽ More Insurance data can be asymmetric with heavy tails, causing inadequate adjustments of the usually applied models. To deal with this issue, hierarchical models for collective risk with heavy-tails of the claims distributions that take also into account overdispersion of the number of claims are proposed. In particular, the distribution of the logarithm of the aggregate value of claims is assumed to follow a Student-t distribution. Additionally, to incorporate possible overdispersion, the number of claims is modeled as having a negative binomial distribution. Bayesian decision theory is invoked to calculate the fair premium based on the modified absolute deviation utility. An application to a health insurance dataset is presented together with some diagnostic measures to identify excess variability. The variability measures are analyzed using the marginal posterior predictive distribution of the premiums according to some competitive models. Finally, a simulation study is carried out to assess the predictive capability of the model and the adequacy of the Bayesian estimation procedure. Keywords: Continuous ranked probability score (CRPS); decision theory; insurance data; marginal posterior predictive; tail value at risk; value at risk. △ Less

Submitted 25 January, 2021; v1 submitted 22 January, 2021; originally announced January 2021.

Wavelet decomposition and embeddings of generalised Besov-Morrey spaces

Authors: Dorothee D. Haroske, Susana D. Moura, Leszek Skrzypczak

Abstract: We study embeddings between generalised Besov-Morrey spaces. Both sufficient and necessary conditions for the embeddings are proved. Embeddings of the Besov-Morrey spaces into the Lebesgue spaces are also considered. Our approach requires a wavelet characterisation of the spaces which we establish for the system of Daubechies wavelets. We study embeddings between generalised Besov-Morrey spaces. Both sufficient and necessary conditions for the embeddings are proved. Embeddings of the Besov-Morrey spaces into the Lebesgue spaces are also considered. Our approach requires a wavelet characterisation of the spaces which we establish for the system of Daubechies wavelets. △ Less

Submitted 7 September, 2020; originally announced September 2020.

MSC Class: 46E35

Data-driven Energy Management Strategy for Plug-in Hybrid Electric Vehicles with Real-World Trip Information

Authors: Yongkeun Choi, Jacopo Guanetti, Scott Moura, Francesco Borrelli

Abstract: This paper presents a data-driven supervisory energy management strategy (EMS) for plug-in hybrid electric vehicles which leverages Vehicle-to-Cloud connectivity to increase energy efficiency by learning control policies from completed trips. The proposed EMS consists of two layers, a cloud layer and an on-board layer. The cloud layer has two main tasks: the first task is to learn EMS policy param… ▽ More This paper presents a data-driven supervisory energy management strategy (EMS) for plug-in hybrid electric vehicles which leverages Vehicle-to-Cloud connectivity to increase energy efficiency by learning control policies from completed trips. The proposed EMS consists of two layers, a cloud layer and an on-board layer. The cloud layer has two main tasks: the first task is to learn EMS policy parameters from historical trip data, and the second task is to provide the policy parameters along a certain route requested from the vehicle. The on-board layer receives the learned policy parameters from the cloud layer and computes a real-time solution to the powertrain energy management problem, using a model predictive control scheme. The proposed EMS is evaluated on more than 3000 miles (48 independent driving cycles) of real-world trip data, collected along three commuting routes in California. For the routes, the proposed algorithm shows 3.3%, 7.3%, and 6.5% improvement in average MPGe when compared to a baseline EMS. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: To appear at the 21st International Federation of Automatic Control (IFAC2020)

Safe Learning MPC with Limited Model Knowledge and Data

Authors: Aaron Kandel, Scott J. Moura

Abstract: This paper presents an end-to-end framework for safe learning-based control (LbC) using nonlinear stochastic MPC and distributionally robust optimization (DRO). This work is motivated by several open challenges in LbC literature. In particular, many control-theoretic LbC methods require subject matter expertise in order to translate their own safety guarantees, often manifested as preexisting data… ▽ More This paper presents an end-to-end framework for safe learning-based control (LbC) using nonlinear stochastic MPC and distributionally robust optimization (DRO). This work is motivated by several open challenges in LbC literature. In particular, many control-theoretic LbC methods require subject matter expertise in order to translate their own safety guarantees, often manifested as preexisting data of safe trajectories or structural model knowledge. In this paper, we focus on LbC where the controller is applied directly to a system of which it has no or extremely limited direct experience, towards safety during \textit{tabula-rasa} or ``\textit{blank slate''} model-based learning and control as a challenging case for validation. This explores the boundary of the status-quo in control theory relating to requirements for subject matter expertise. We show under basic and limited assumptions on the underlying problem, we can translate probabilistic guarantees on feasibility to nonlinear systems using results in stochastic MPC and DRO literature whose relevance we formally extend in a mathematical analysis. We also present a coupled and intuitive formulation for persistence of excitation (PoE), and illustrate the connection between PoE and applicability of the proposed method. Our case studies of vehicle obstacle avoidance and safe extreme fast charging of lithium-ion batteries reveal powerful empirical results supporting the underlying DRO theory. Our method is widely applicable within the LbC domain to, for example, airborne wind energy systems, vehicle obstacle avoidance, and energy storage systems management. It is also applicable to quantifying uncertainty beyond the LbC case. △ Less

Submitted 21 August, 2023; v1 submitted 1 April, 2020; originally announced April 2020.