Showing 51–100 of 104 results for author: Moura, S

Asteroid triple system 2001 SN263 : surfaces characteristics and dynamical environment

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

Abstract: The (153591) 2001 SN263 asteroid system, target of the first Brazilian interplanetary space mission, is one of the known three triple systems within the population of NEAs. One of the mission objectives is to collect data about the formation of this system. The analysis of these data will help in the investigation of the physical and dynamical structures of the components (Alpha, Beta and Gamma) o… ▽ More The (153591) 2001 SN263 asteroid system, target of the first Brazilian interplanetary space mission, is one of the known three triple systems within the population of NEAs. One of the mission objectives is to collect data about the formation of this system. The analysis of these data will help in the investigation of the physical and dynamical structures of the components (Alpha, Beta and Gamma) of this system, in order to find vestiges related to its origin. In this work, we assume the irregular shape of the 2001 SN263 system components as uniform density polyhedra and computationally investigate the gravitational field generated by these bodies. The goal is to explore the dynamical characteristics of the surface and environment around each component. Then, taking into account the rotational speed, we analyze their topographic features through the quantities geometric altitude, tilt, geopotential, slope, surface accelerations, among others. Additionally, the investigation of the environment around the bodies made it possible to construct zero-velocity curves, which delimit the location of equilibrium points. The Alpha component has a peculiar number of 12 equilibrium points, all of them located very close to its surface. In the cases of Beta and Gamma, we found four equilibrium points not so close to their surfaces. Then, performing numerical experiments around their equilibrium points, we identified the location and size of just one stable region, which is associated with an equilibrium point around Beta. Finally, we integrated a spherical cloud of particles around Alpha and identified the location on the surface of Alpha were the particles have fallen. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 22 pages, 16 figures

Dynamical Environment and Surface Characteristics of Asteroid (16) Psyche

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

Abstract: Radar observations show that (16) Psyche is one of the largest and most massive asteroids of the M-class located in the main belt, with a diameter of approximately 230 km. This fact makes Psyche a unique object since observations indicated an iron-nickel composition. It is believed that this body may be what was left of a metal core of an early planet that would have been fragmented over millions… ▽ More Radar observations show that (16) Psyche is one of the largest and most massive asteroids of the M-class located in the main belt, with a diameter of approximately 230 km. This fact makes Psyche a unique object since observations indicated an iron-nickel composition. It is believed that this body may be what was left of a metal core of an early planet that would have been fragmented over millions of years due to violent collisions. In this work we study a variety of dynamical aspects related to the surface, as well as, the environment around this asteroid. We use computational tools to explore the gravitational field generated by this body, assuming constant values for its density and rotation period. We then determine a set of physical and dynamical characteristics over its entire surface. The results include the geometric altitude, geopotential altitude, tilt, slope, among others. We also explore the neighborhood around the asteroid (16) Psyche, so that the location and linear stability of the equilibrium points were found. We found four external equilibrium points, two of them linearly stable. We confirmed the stability of these points by performing numerical simulations of massless particles around the asteroid, which also showed an asymmetry in the size of the stable regions. In addition, we integrate a cloud of particles in the vicinity of (16) Psyche in order to verify in which regions of its surface the particles are most likely to collide. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 19 pages

Tracking COVID-19 using online search

Authors: Vasileios Lampos, Maimuna S. Majumder, Elad Yom-Tov, Michael Edelstein, Simon Moura, Yohhei Hamada, Molebogeng X. Rangaka, Rachel A. McKendry, Ingemar J. Cox

Abstract: Previous research has demonstrated that various properties of infectious diseases can be inferred from online search behaviour. In this work we use time series of online search query frequencies to gain insights about the prevalence of COVID-19 in multiple countries. We first develop unsupervised modelling techniques based on associated symptom categories identified by the United Kingdom's Nationa… ▽ More Previous research has demonstrated that various properties of infectious diseases can be inferred from online search behaviour. In this work we use time series of online search query frequencies to gain insights about the prevalence of COVID-19 in multiple countries. We first develop unsupervised modelling techniques based on associated symptom categories identified by the United Kingdom's National Health Service and Public Health England. We then attempt to minimise an expected bias in these signals caused by public interest -- as opposed to infections -- using the proportion of news media coverage devoted to COVID-19 as a proxy indicator. Our analysis indicates that models based on online searches precede the reported confirmed cases and deaths by 16.7 (10.2 - 23.2) and 22.1 (17.4 - 26.9) days, respectively. We also investigate transfer learning techniques for mapping supervised models from countries where the spread of disease has progressed extensively to countries that are in earlier phases of their respective epidemic curves. Furthermore, we compare time series of online search activity against confirmed COVID-19 cases or deaths jointly across multiple countries, uncovering interesting querying patterns, including the finding that rarer symptoms are better predictors than common ones. Finally, we show that web searches improve the short-term forecasting accuracy of autoregressive models for COVID-19 deaths. Our work provides evidence that online search data can be used to develop complementary public health surveillance methods to help inform the COVID-19 response in conjunction with more established approaches. △ Less

Submitted 10 February, 2021; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: Published in Nature Digital Medicine. Please note that the published version differs from this preprint

Journal ref: Nature Digital Medicine 4, 17 (2021)

State of Charge Estimation of Parallel Connected Battery Cells via Descriptor System Theory

Authors: Dong Zhang, Luis D. Couto, Sebastien Benjamin, Wente Zeng, Daniel F. Coutinho, Scott J. Moura

Abstract: This manuscript presents an algorithm for individual Lithium-ion (Li-ion) battery cell state of charge (SOC) estimation when multiple cells are connected in parallel, using only terminal voltage and total current measurements. For battery packs consisting of thousands of cells, it is desirable to estimate individual SOCs by only monitoring the total current in order to reduce sensing cost. Mathema… ▽ More This manuscript presents an algorithm for individual Lithium-ion (Li-ion) battery cell state of charge (SOC) estimation when multiple cells are connected in parallel, using only terminal voltage and total current measurements. For battery packs consisting of thousands of cells, it is desirable to estimate individual SOCs by only monitoring the total current in order to reduce sensing cost. Mathematically, series connected cells yield dynamics given by ordinary differential equations under classical full voltage sensing. In contrast, parallel connected cells are evidently more challenging because the dynamics are governed by a nonlinear descriptor system, including differential equations and algebraic equations arising from voltage and current balance across cells. An observer with linear output error injection is formulated, where the individual cell SOCs and local currents are locally observable from the total current and voltage measurements. The asymptotic convergence of differential and algebraic states is established by considering local Lipschitz continuity property of system nonlinearities. Simulation results on LiNiMnCoO$_2$/Graphite (NMC) cells illustrate convergence for SOCs, local currents, and terminal voltage. △ Less

Submitted 17 March, 2020; originally announced March 2020.

Comments: 7 pages, 4 figures, 1 table, accepted by 2020 American Control Conference

Safe Wasserstein Constrained Deep Q-Learning

Authors: Aaron Kandel, Scott J. Moura

Abstract: This paper presents a distributionally robust Q-Learning algorithm (DrQ) which leverages Wasserstein ambiguity sets to provide idealistic probabilistic out-of-sample safety guarantees during online learning. First, we follow past work by separating the constraint functions from the principal objective to create a hierarchy of machines which estimate the feasible state-action space within the const… ▽ More This paper presents a distributionally robust Q-Learning algorithm (DrQ) which leverages Wasserstein ambiguity sets to provide idealistic probabilistic out-of-sample safety guarantees during online learning. First, we follow past work by separating the constraint functions from the principal objective to create a hierarchy of machines which estimate the feasible state-action space within the constrained Markov decision process (CMDP). DrQ works within this framework by augmenting constraint costs with tightening offset variables obtained through Wasserstein distributionally robust optimization (DRO). These offset variables correspond to worst-case distributions of modeling error characterized by the TD-errors of the constraint Q-functions. This procedure allows us to safely approach the nominal constraint boundaries. Using a case study of lithium-ion battery fast charging, we explore how idealistic safety guarantees translate to generally improved safety relative to conventional methods. △ Less

Submitted 25 October, 2021; v1 submitted 7 February, 2020; originally announced February 2020.

Reinforcement Learning-based Fast Charging Control Strategy for Li-ion Batteries

Authors: Saehong Park, Andrea Pozzi, Michael Whitmeyer, Hector Perez, Won Tae Joe, Davide M Raimondo, Scott Moura

Abstract: One of the most crucial challenges faced by the Li-ion battery community concerns the search for the minimum time charging without irreversibly damaging the cells. This can fall into solving large-scale nonlinear optimal control problems according to a battery model. Within this context, several model-based techniques have been proposed in the literature.However, the effectiveness of such strategi… ▽ More One of the most crucial challenges faced by the Li-ion battery community concerns the search for the minimum time charging without irreversibly damaging the cells. This can fall into solving large-scale nonlinear optimal control problems according to a battery model. Within this context, several model-based techniques have been proposed in the literature.However, the effectiveness of such strategies is significantly limited by model complexity and uncertainty. Additionally, it is difficult to track parameters related to aging and re-tune the model-based control policy. With the aim of overcoming these limitations, in this paper we propose a fast-charging strategy subject to safety constraints which relies on a model-free reinforcement learning framework. In particular, we focus on the policy gradient-based actor-critic algorithm, i.e., deep deterministic policy gradient (DDPG), in order to deal with continuous sets of actions and sets. The validity of the proposal is assessed in simulation when a reduced electrochemical model is considered as the real plant. Finally, the online adaptability of the proposed strategy in response to variations of the environment parameters is highlighted with consideration of state reduction. △ Less

Submitted 25 June, 2020; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: 8 pages

Bayesian Hierarchical Methods for Modeling Electrical Grid Component Failures

Authors: Laurel N. Dunn, Ioanna Kavvada, Mathilde Badoual, Scott J. Moura

Abstract: Failure probabilities for grid components are often estimated using parametric models which can capitalize on operational grid data. This work formulates a Bayesian hierarchical framework designed to integrate data and domain expertise to understand the failure properties of a regional power system, where variability in the expected performance of individual components gives rise to failure proces… ▽ More Failure probabilities for grid components are often estimated using parametric models which can capitalize on operational grid data. This work formulates a Bayesian hierarchical framework designed to integrate data and domain expertise to understand the failure properties of a regional power system, where variability in the expected performance of individual components gives rise to failure processes that are heterogeneous and uncertain. We use Bayesian methods to fit failure models to failure data generated in simulation. We test our algorithm by evaluating differences between the data-generating model, our Bayesian hierarchical model, and maximum likelihood parameter estimates. We evaluate how well each model can approximate the failure properties of individual components, and of the system overall. Finally, we define an upgrade policy for achieving targeted reductions in risk exposure, and compare the magnitude of upgrades recommended by each model. △ Less

Submitted 21 January, 2020; originally announced January 2020.

On Wind Speed Sensor Configurations and Altitude Control in Airborne Wind Energy Systems

Authors: Laurel N. Dunn, Christopher Vermillion, Fotini K. Chow, Scott J. Moura

Abstract: Real-time altitude control of airborne wind energy (AWE) systems can improve performance by allowing turbines to track favorable wind speeds across a range of operating altitudes. The current work explores the performance implications of deploying an AWE system with sensor configurations that provide different amounts of data to characterize wind speed profiles. We examine various control objectiv… ▽ More Real-time altitude control of airborne wind energy (AWE) systems can improve performance by allowing turbines to track favorable wind speeds across a range of operating altitudes. The current work explores the performance implications of deploying an AWE system with sensor configurations that provide different amounts of data to characterize wind speed profiles. We examine various control objectives that balance trade-offs between exploration and exploitation, and use a persistence model to generate a probabilistic wind speed forecast to inform control decisions. We assess system performance by comparing power production against baselines such as omniscient control and stationary flight. We show that with few sensors, control strategies that reward exploration are favored. We also show that with comprehensive sensing, the implications of choosing a sub-optimal control strategy decrease. This work informs and motivates the need for future research exploring online learning algorithms to characterize vertical wind speed profiles. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Journal ref: 2019 American Controls Conference

Inducing Human Behavior to Alleviate Overstay at PEV Charging Station

Authors: Sangjae Bae, Teng Zeng, Bertrand Travacca, Scott Moura

Abstract: As the plug-in electric vehicle (PEV) market expands worldwide, PEV penetration has out-paced public PEV charging accessibility. In addition to charging infrastructure deployment, charging station operation is another key factor for improving charging service accessibility. In this paper, we propose a mathematical framework to optimally operate a PEV charging station, whose service capability is c… ▽ More As the plug-in electric vehicle (PEV) market expands worldwide, PEV penetration has out-paced public PEV charging accessibility. In addition to charging infrastructure deployment, charging station operation is another key factor for improving charging service accessibility. In this paper, we propose a mathematical framework to optimally operate a PEV charging station, whose service capability is constrained by the number of available chargers. This mathematical framework specifically exploits human behavioral modeling to alleviate the "overstaying" issue that occurs when a vehicle is fully charged. Our behavioral model effectively captures human decision-making when humans are exposed to multiple charging product options, which differ in both price and quality-of-service. We reformulate the associated non-convex problem to a multi-convex problem via the Young-Fenchel transform. We then apply the Block Coordinate Descent algorithm to efficiently solve the optimization problem. Numerical experiments illustrate the performance of the proposed method. Simulation results show that a station operator who leverages optimally priced charging options could realize benefits in three ways: (i) net profits gains, (ii) overstay reduction, and (iii) increased quality-of-service. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Comments: Submitted to 2020 American Control Conference

Polyhedral study of the Convex Recoloring problem

Authors: Manoel Campêlo, Phablo F. S. Moura, Joel C. Soares

Abstract: A coloring of the vertices of a connected graph is convex if each color class induces a connected subgraph. We address the convex recoloring (CR) problem defined as follows. Given a graph $G$ and a coloring of its vertices, recolor a minimum number of vertices of $G$ so that the resulting coloring is convex. This problem, known to be NP-hard even on paths, was firstly motivated by applications on… ▽ More A coloring of the vertices of a connected graph is convex if each color class induces a connected subgraph. We address the convex recoloring (CR) problem defined as follows. Given a graph $G$ and a coloring of its vertices, recolor a minimum number of vertices of $G$ so that the resulting coloring is convex. This problem, known to be NP-hard even on paths, was firstly motivated by applications on perfect phylogenies. In this work, we study CR on general graphs from a polyhedral point of view. First, we introduce a full-dimensional polytope based on the idea of connected subgraphs, and present a class of valid inequalities with righthand side one that comprises all facet-defining inequalities with binary coefficients when the input graph is a tree. Moreover, we define a general class of inequalities with righthand side in $\{1, \ldots, k\}$, where $k$ is the amount of colors used in the initial coloring, and show sufficient conditions for validity and facetness of such inequalities. Finally, we report on computational experiments for an application on mobile networks that can be modeled by the polytope of CR on paths. We evaluate the potential of the proposed inequalities to reduce the integrality gaps. △ Less

Submitted 25 November, 2019; originally announced November 2019.

Integer Programming Approaches to Balanced Connected $k$-Partition

Authors: Flávio K. Miyazawa, Phablo F. S. Moura, Matheus J. Ota, Yoshiko Wakabayashi

Abstract: We address the problem of partitioning a vertex-weighted connected graph into $k$ connected subgraphs that have similar weights, for a fixed integer $k\geq 2$. This problem, known as the \emph{balanced connected $k$-partition problem} ($BCP_k$), is defined as follows. Given a connected graph $G$ with nonnegative weights on the vertices, find a partition $\{V_i\}_{i=1}^k$ of $V(G)$ such that each c… ▽ More We address the problem of partitioning a vertex-weighted connected graph into $k$ connected subgraphs that have similar weights, for a fixed integer $k\geq 2$. This problem, known as the \emph{balanced connected $k$-partition problem} ($BCP_k$), is defined as follows. Given a connected graph $G$ with nonnegative weights on the vertices, find a partition $\{V_i\}_{i=1}^k$ of $V(G)$ such that each class $V_i$ induces a connected subgraph of $G$, and the weight of a class with the minimum weight is as large as possible. It is known that $BCP_k$ is $NP$-hard even on bipartite graphs and on interval graphs. It has been largely investigated under different approaches and perspectives. On the practical side, $BCP_k$ is used to model many applications arising in police patrolling, image processing, cluster analysis, operating systems and robotics. We propose three integer linear programming formulations for the balanced connected $k$-partition problem. The first one contains only binary variables and a potentially large number of constraints that are separable in polynomial time. Some polyhedral results on this formulation, when all vertices have unit weight, are also presented. The other formulations are based on flows and have a polynomial number of constraints and variables. Preliminary computational experiments have shown that the proposed formulations outperform the other formulations presented in the literature. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Cooperation-Aware Lane Change Maneuver in Dense Traffic based on Model Predictive Control with Recurrent Neural Network

Authors: Sangjae Bae, Dhruv Saxena, Alireza Nakhaei, Chiho Choi, Kikuo Fujimura, Scott Moura

Abstract: This paper presents a real-time lane change control framework of autonomous driving in dense traffic, which exploits cooperative behaviors of other drivers. This paper focuses on heavy traffic where vehicles cannot change lanes without cooperating with other drivers. In this case, classical robust controls may not apply since there is no safe area to merge to without interacting with the other dri… ▽ More This paper presents a real-time lane change control framework of autonomous driving in dense traffic, which exploits cooperative behaviors of other drivers. This paper focuses on heavy traffic where vehicles cannot change lanes without cooperating with other drivers. In this case, classical robust controls may not apply since there is no safe area to merge to without interacting with the other drivers. That said, modeling complex and interactive human behaviors is highly non-trivial from the perspective of control engineers. We propose a mathematical control framework based on Model Predictive Control (MPC) encompassing a state-of-the-art Recurrent Neural network (RNN) architecture. In particular, RNN predicts interactive motions of other drivers in response to potential actions of the autonomous vehicle, which are then systematically evaluated in safety constraints. We also propose a real-time heuristic algorithm to find locally optimal control inputs. Finally, quantitative and qualitative analysis on simulation studies are presented to illustrate the benefits of the proposed framework. △ Less

Submitted 29 September, 2019; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: Submitted to 2020 American Control Conference

Hopfield Neural Network Flow: A Geometric Viewpoint

Authors: Abhishek Halder, Kenneth F. Caluya, Bertrand Travacca, Scott J. Moura

Abstract: We provide gradient flow interpretations for the continuous-time continuous-state Hopfield neural network (HNN). The ordinary and stochastic differential equations associated with the HNN were introduced in the literature as analog optimizers, and were reported to exhibit good performance in numerical experiments. In this work, we point out that the deterministic HNN can be transcribed into Amari'… ▽ More We provide gradient flow interpretations for the continuous-time continuous-state Hopfield neural network (HNN). The ordinary and stochastic differential equations associated with the HNN were introduced in the literature as analog optimizers, and were reported to exhibit good performance in numerical experiments. In this work, we point out that the deterministic HNN can be transcribed into Amari's natural gradient descent, and thereby uncover the explicit relation between the underlying Riemannian metric and the activation functions. By exploiting an equivalence between the natural gradient descent and the mirror descent, we show how the choice of activation function governs the geometry of the HNN dynamics. For the stochastic HNN, we show that the so-called "diffusion machine", while not a gradient flow itself, induces a gradient flow when lifted in the space of probability measures. We characterize this infinite dimensional flow as the gradient descent of certain free energy with respect to a Wasserstein metric that depends on the geodesic distance on the ground manifold. Furthermore, we demonstrate how this gradient flow interpretation can be used for fast computation via recently developed proximal algorithms. △ Less

Submitted 13 November, 2019; v1 submitted 4 August, 2019; originally announced August 2019.

Some embeddings of Morrey spaces with critical smoothness

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

Abstract: We study embeddings of Besov-Morrey spaces ${\cal N}^{s}_{u,p,q}}({\mathbb R}^d)$ and of Triebel-Lizorkin-Morrey spaces ${\cal E}^{s}_{u,p,q}}({\mathbb R}^d)$ in the limiting cases when the smoothness $s$ equals $s_0=d\max(1/u-p/u,0)$ or $s_{\infty}=d/u$, which is related to the embeddings in $L_1^{loc}({\mathbb R}^d)$ or in $L_\infty({\mathbb R}^d)$, respectively. When $s=s_0$ we characterise the… ▽ More We study embeddings of Besov-Morrey spaces ${\cal N}^{s}_{u,p,q}}({\mathbb R}^d)$ and of Triebel-Lizorkin-Morrey spaces ${\cal E}^{s}_{u,p,q}}({\mathbb R}^d)$ in the limiting cases when the smoothness $s$ equals $s_0=d\max(1/u-p/u,0)$ or $s_{\infty}=d/u$, which is related to the embeddings in $L_1^{loc}({\mathbb R}^d)$ or in $L_\infty({\mathbb R}^d)$, respectively. When $s=s_0$ we characterise the embeddings in $L_1^{loc}({\mathbb R}^d)$ and when $s=s_{\infty}$ we obtain embeddings into Orlicz-Morrey spaces of exponential type and into generalised Morrey spaces. △ Less

Submitted 23 May, 2019; originally announced May 2019.

MSC Class: 46E35

Reinforcement Learning versus PDE Backstepping and PI Control for Congested Freeway Traffic

Authors: Huan Yu, Saehong Park, Alexandre Bayen, Scott Moura, Miroslav Krstic

Abstract: We develop reinforcement learning (RL) boundary controllers to mitigate stop-and-go traffic congestion on a freeway segment. The traffic dynamics of the freeway segment are governed by a macroscopic Aw-Rascle-Zhang (ARZ) model, consisting of $2\times 2$ quasi-linear partial differential equations (PDEs) for traffic density and velocity. Boundary stabilization of the linearized ARZ PDE model has be… ▽ More We develop reinforcement learning (RL) boundary controllers to mitigate stop-and-go traffic congestion on a freeway segment. The traffic dynamics of the freeway segment are governed by a macroscopic Aw-Rascle-Zhang (ARZ) model, consisting of $2\times 2$ quasi-linear partial differential equations (PDEs) for traffic density and velocity. Boundary stabilization of the linearized ARZ PDE model has been solved by PDE backstepping, guaranteeing spatial $L^2$ norm regulation of the traffic state to uniform density and velocity and ensuring that traffic oscillations are suppressed. Collocated Proportional (P) and Proportional-Integral (PI) controllers also provide stability guarantees under certain restricted conditions, and are always applicable as model-free control options through gain tuning by trail and error, or by model-free optimization. Although these approaches are mathematically elegant, the stabilization result only holds locally and is usually affected by the change of model parameters. Therefore, we reformulate the PDE boundary control problem as a RL problem that pursues stabilization without knowing the system dynamics, simply by observing the state values. The proximal policy optimization, a neural network-based policy gradient algorithm, is employed to obtain RL controllers by interacting with a numerical simulator of the ARZ PDE. Being stabilization-inspired, the RL state-feedback boundary controllers are compared and evaluated against the rigorously stabilizing controllers in two cases: (i) in a system with perfect knowledge of the traffic flow dynamics, and then (ii) in one with only partial knowledge. We obtain RL controllers that nearly recover the performance of the backstepping, P, and PI controllers with perfect knowledge and outperform them in some cases with partial knowledge. △ Less

Submitted 14 January, 2021; v1 submitted 29 April, 2019; originally announced April 2019.

Real-time Ecological Velocity Planning for Plug-in Hybrid Vehicles with Partial Communication to Traffic Lights

Authors: Sangjae Bae, Yongkeun Choi, Yeojun Kim, Jacopo Guanetti, Francesco Borrelli, Scott Moura

Abstract: This paper presents the design of an ecological adaptive cruise controller (ECO-ACC) for a plug-in hybrid vehicle (PHEV) which exploits automated driving and connectivity. Most existing papers for ECO-ACC focus on a short-sighted control scheme. A two-level control framework for long-sighted ECO-ACC was only recently introduced. However, that work is based on a deterministic traffic signal phase a… ▽ More This paper presents the design of an ecological adaptive cruise controller (ECO-ACC) for a plug-in hybrid vehicle (PHEV) which exploits automated driving and connectivity. Most existing papers for ECO-ACC focus on a short-sighted control scheme. A two-level control framework for long-sighted ECO-ACC was only recently introduced. However, that work is based on a deterministic traffic signal phase and timing (SPaT) over the entire route. In practice, connectivity with traffic lights may be limited by communication range, e.g. just one upcoming traffic light. We propose a two-level receding-horizon control framework for long-sighted ECO-ACC that exploits deterministic SPaT for the upcoming traffic light, and utilizes historical SPaT for other traffic lights within a receding control horizon. We also incorporate a powertrain control mechanism to enhance PHEV energy prediction accuracy. Hardware-in-the-loop simulation results validate the energy savings of the receding-horizon control framework in various traffic scenarios. △ Less

Submitted 29 September, 2019; v1 submitted 20 March, 2019; originally announced March 2019.

Comments: To appear at 2019 IEEE Conference on Decision and Control

Solving Overstay in PEV Charging Station Planning via Chance Constrained Optimization

Authors: Teng Zeng, Hongcai Zhang, Scott Moura

Abstract: Currently, the utilization rate of public plug-in electric vehicle (PEV) charging stations is only 15%. During the other 85% of the time, the chargers are either idle or occupied by a fully charged PEV. Strategically switching a fully charged PEV to another one waiting to charge, which we refer to as interchange, is an indispensable measure to enhancing charging station utilization. This paper stu… ▽ More Currently, the utilization rate of public plug-in electric vehicle (PEV) charging stations is only 15%. During the other 85% of the time, the chargers are either idle or occupied by a fully charged PEV. Strategically switching a fully charged PEV to another one waiting to charge, which we refer to as interchange, is an indispensable measure to enhancing charging station utilization. This paper studies the PEV charging station planning problem considering strategic interchange, which has not yet been well studied in the literature. The objective is to enhance utilization rate while lowering capital investment and operation cost. A new power/energy aggregation model is proposed for interchange operation and a chance-constrained planning model with interchange is developed for a public charging station with customer demand uncertainties. Numerical experiments are conducted to illustrate the performance of the proposed method. Simulation results show that incorporating strategic interchange operation, can significantly decrease the number of chargers, enhance utilization and economic efficiency. △ Less

Submitted 21 January, 2019; originally announced January 2019.

Comments: 5 pages

Uma técnica para a quantificação do esforço de merge

Authors: Tayane Silva Fernandes de Moura, Leonardo Gresta Paulino Murta

Abstract: Developers that use version control systems can work in parallel with other developers and merge their versions afterwards. Sometimes these merges fail, demanding manual intervention to resolve conflicts. Some studies aim at analyzing the merges failures, however, there is a lack of tool support in the literature to measure the merge effort, jeopardizing such kind of analyses. In this article, we… ▽ More Developers that use version control systems can work in parallel with other developers and merge their versions afterwards. Sometimes these merges fail, demanding manual intervention to resolve conflicts. Some studies aim at analyzing the merges failures, however, there is a lack of tool support in the literature to measure the merge effort, jeopardizing such kind of analyses. In this article, we propose a technique and its companion tool for analyzing Git repositories and providing metrics related to the merge effort. We evaluated our tool over five projects, showing that rework and wasted work happens in, approximately, 10% to 30% of the projects. Moreover, the average of actions of these efforts is almost the same. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Comments: Accepted at 6th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), 2018. in Portuguese

APPROX -- Mutual approximations between the Galilean moons. The 2016-2018 observational campaign

Authors: B. Morgado, R. Vieira-Martins, M. Assafin, D. I. Machado, J. I. B. Camargo, R. Sfair, M. Malacarne, F. Braga-Ribas, V. Robert, T. Bassallo, G. Benedetti-Rossi, L. A. Boldrin, G. Borderes-Motta, B. C. B. Camargo, A. Crispim, A. Dias-Oliveira, A. R. Gomes-Júnior, V. Lainey, J. O. Miranda, T. S. Moura, F. K. Ribeiro, T. de Santana, S. Santos-Filho, L. L. Trabuco, O. C. Winter , et al. (1 additional authors not shown)

Abstract: The technique of mutual approximations accurately gives the central instant at the maximum apparent approximation of two moving natural satellites in the sky plane. This can be used in ephemeris fitting to infer the relative positions between satellites with high precision. Only the mutual phenomena -- occultations and eclipses -- may achieve better results. However, mutual phenomena only occur ev… ▽ More The technique of mutual approximations accurately gives the central instant at the maximum apparent approximation of two moving natural satellites in the sky plane. This can be used in ephemeris fitting to infer the relative positions between satellites with high precision. Only the mutual phenomena -- occultations and eclipses -- may achieve better results. However, mutual phenomena only occur every six years in the case of Jupiter. Mutual approximations do not have this restriction and can be observed at any time along the year as long as the satellites are visible. In this work, we present 104 central instants determined from the observations of 66 mutual approximations between the Galilean moons carried out at different sites in Brazil and France during the period 2016--2018. For 28 events we have at least two independent observations. All telescopes were equipped with a narrow-band filter centred at 889 nm with a width of 15 nm to eliminate the scattered light from Jupiter. The telescope apertures ranged between 25--120 cm. For comparison, the precision of the positions obtained with classical CCD astrometry is about 100 mas, for mutual phenomena it can achieve 10 mas or less and the average internal precision obtained with mutual approximations was 11.3 mas. This new kind of simple, yet accurate observations can significantly improve the orbits and ephemeris of Galilean satellites and thus be very useful for the planning of future space missions aiming at the Jovian system. △ Less

Submitted 7 November, 2018; originally announced November 2018.

Comments: 12 pages, 7 figures

Journal ref: MNRAS, 482, 5190 (2019)

Joint Fleet Sizing and Charging System Planning for Autonomous Electric Vehicles

Authors: Hongcai Zhang, Colin J. R. Sheppard, Timothy E. Lipman, Scott J. Moura

Abstract: This paper studies the joint fleet sizing and charging system planning problem for a company operating a fleet of autonomous electric vehicles (AEVs) for passenger and goods transportation. Most of the relevant published papers focus on intracity scenarios and adopt heuristic approaches, e.g., agent based simulation, which do not guarantee optimality. In contrast, we propose a mixed integer linear… ▽ More This paper studies the joint fleet sizing and charging system planning problem for a company operating a fleet of autonomous electric vehicles (AEVs) for passenger and goods transportation. Most of the relevant published papers focus on intracity scenarios and adopt heuristic approaches, e.g., agent based simulation, which do not guarantee optimality. In contrast, we propose a mixed integer linear programming model for intercity scenarios. This model incorporates comprehensive considerations of 1) limited AEV driving range; 2) optimal AEV routing and relocating operations; 3) time-varying origin-destination transport demands; and 4) differentiated operation cost structure of passenger and goods transportation. The proposed model can be computational expensive when the scale of the transportation network is large. We then exploit the structure of this program to expedite its solution. Numerical experiments are conducted to validate the proposed method. Our experimental results show that AEVs in passenger and goods transportation have remarkable planning and operation differences. We also demonstrate that intelligent routing and relocating operations, charging system and vehicle parameters, e.g., charging power, battery capacity, driving speed etc., can significantly affect the economic efficiency and the planning results of an AEV fleet. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Design and Implementation of Ecological Adaptive Cruise Control for Autonomous Driving with Communication to Traffic Lights

Authors: Sangjae Bae, Yeojun Kim, Jacopo Guanetti, Francesco Borrelli, Scott Moura

Abstract: This paper presents the design and implementation results of an ecological adaptive cruise controller (ECO-ACC) which exploits driving automation and connectivity. The controller avoids front collisions and traffic light violations, and is designed to reduce the energy consumption of connected automated vehicles by utilizing historical and real-time signal phase and timing data of traffic lights t… ▽ More This paper presents the design and implementation results of an ecological adaptive cruise controller (ECO-ACC) which exploits driving automation and connectivity. The controller avoids front collisions and traffic light violations, and is designed to reduce the energy consumption of connected automated vehicles by utilizing historical and real-time signal phase and timing data of traffic lights that adapt to the current traffic conditions. We propose an optimization-based generation of a reference velocity, and a velocity-tracking model predictive controller that avoids front collisions and violations. We present an experimental setup encompassing the real vehicle and controller in the loop, and an environment simulator in which the traffic flow and the traffic light patterns are calibrated on real-world data. We present and analyze simulation and experimental results, finding a significant potential for energy consumption reduction, even in the presence of traffic. △ Less

Submitted 29 October, 2018; originally announced October 2018.

Comments: Submitted to 2019 American Control Conference

Cybersecurity in Distributed and Fully-Decentralized Optimization: Distortions, Noise Injection, and ADMM

Authors: Eric Munsing, Scott Moura

Abstract: As problems in machine learning, smartgrid dispatch, and IoT coordination problems have grown, distributed and fully-decentralized optimization models have gained attention for providing computational scalability to optimization tools. However, in applications where consumer devices are trusted to serve as distributed computing nodes, compromised devices can expose the optimization algorithm to cy… ▽ More As problems in machine learning, smartgrid dispatch, and IoT coordination problems have grown, distributed and fully-decentralized optimization models have gained attention for providing computational scalability to optimization tools. However, in applications where consumer devices are trusted to serve as distributed computing nodes, compromised devices can expose the optimization algorithm to cybersecurity threats which have not been examined in previous literature. This paper examines potential attack vectors for generalized distributed optimization problems, with a focus on the Alternating Direction Method of Multipliers (ADMM), a popular tool for convex optimization. Methods for detecting and mitigating attacks in ADMM problems are described, and simulations demonstrate the efficacy of the proposed models. The weaknesses of fully-decentralized optimization schemes, in which nodes communicate directly with neighbors, is demonstrated, and a number of potential architectures for providing security to these networks is discussed. △ Less

Submitted 28 May, 2018; originally announced May 2018.

Robust Optimal Eco-driving Control with Uncertain Traffic Signal Timing

Authors: Chao Sun, Xinwei Shen, Scott Moura

Abstract: This paper proposes a robust optimal eco-driving control strategy considering multiple signalized intersections with uncertain traffic signal timing. A spatial vehicle velocity profile optimization formulation is developed to minimize the global fuel consumption, with driving time as one state variable. We introduce the concept of effective red-light duration (ERD), formulated as a random variable… ▽ More This paper proposes a robust optimal eco-driving control strategy considering multiple signalized intersections with uncertain traffic signal timing. A spatial vehicle velocity profile optimization formulation is developed to minimize the global fuel consumption, with driving time as one state variable. We introduce the concept of effective red-light duration (ERD), formulated as a random variable, to describe the feasible passing time through signalized intersections. A chance constraint is appended to the optimal control problem to incorporate robustness with respect to uncertain signal timing. The optimal eco-driving control problem is solved via dynamic programming (DP). Simulation results demonstrate that the optimal eco-driving can save fuel consumption by 50-57% while maintaining arrival time at the same level, compared with a modified intelligent driver model as the benchmark. The robust formulation significantly reduces traffic intersection violations, in the face of uncertain signal timing, with small sacrifice on fuel economy compared to a non-robust approach. △ Less

Submitted 18 February, 2018; originally announced February 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1802.05815

Bayesian cross-validation of geostatistical models

Authors: Viviana G R Lobo, Thaís C O da Fonseca, Fernando A S Moura

Abstract: The problem of validating or criticising models for georeferenced data is challenging, since the conclusions can vary significantly depending on the locations of the validation set. This work proposes the use of cross-validation techniques to assess the goodness of fit of spatial models in different regions of the spatial domain to account for uncertainty in the choice of the validation sets. An o… ▽ More The problem of validating or criticising models for georeferenced data is challenging, since the conclusions can vary significantly depending on the locations of the validation set. This work proposes the use of cross-validation techniques to assess the goodness of fit of spatial models in different regions of the spatial domain to account for uncertainty in the choice of the validation sets. An obvious problem with the basic cross-validation scheme is that it is based on selecting only a few out of sample locations to validate the model, possibily making the conclusions sensitive to which partition of the data into training and validation cases is utilized. A possible solution to this issue would be to consider all possible configurations of data divided into training and validation observations. From a Bayesian point of view, this could be computationally demanding, as estimation of parameters usually requires Monte Carlo Markov Chain methods. To deal with this problem, we propose the use of estimated discrepancy functions considering all configurations of data partition in a computationally efficient manner based on sampling importance resampling. In particular, we consider uncertainty in the locations by assigning a prior distribution to them. Furthermore, we propose a stratified cross-validation scheme to take into account spatial heterogeneity, reducing the total variance of estimated predictive discrepancy measures considered for model assessment. We illustrate the advantages of our proposal with simulated examples of homogeneous and inhomogeneous spatial processes to investigate the effects of our proposal in scenarios of preferential sampling designs. The methods are illustrated with an application to a rainfall dataset. △ Less

Submitted 16 February, 2018; originally announced February 2018.

Robust Eco-Driving Control of Autonomous Vehicles Connected to Traffic Lights

Authors: Chao Sun, Jacopo Guanetti, Francesco Borrelli, Scott Moura

Abstract: This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The uncertainty of traffic signal timing for signalized intersections on the road is considered. The eco-driving problem is formulated as a data-driven chance constrained robust optimization problem. Effective red light duration (ERD) is defined as a random variable, and de… ▽ More This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The uncertainty of traffic signal timing for signalized intersections on the road is considered. The eco-driving problem is formulated as a data-driven chance constrained robust optimization problem. Effective red light duration (ERD) is defined as a random variable, and describes the feasible passing time through the signalized intersections. In practice, the true probability distribution for ERD is usually unknown. Consequently, a data-driven approach is adopted to formulate chance constraints based on empirical sample data. This incorporates robustness into the eco-driving control problem with respect to uncertain signal timing. Dynamic programming (DP) is employed to solve the optimization problem. Simulation results demonstrate that the proposed method can generate optimal speed reference trajectories with 40% less vehicle fuel consumption, while maintaining the arrival time at a similar level when compared to a modified intelligent driver model (IDM). The proposed control approach significantly improves the controller robustness in the face of uncertain signal timing, without requiring to know the distribution of the random variable a priori. △ Less

Submitted 10 April, 2019; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: I want to withdraw the paper to make some revision and corrections

Data-driven Chance-constrained Regulation Capacity Offering for Distributed Energy Resources

Authors: Hongcai Zhang, Zechun Hu, Eric Munsing, Scott J. Moura, Yonghua Song

Abstract: This paper studies the behavior of a strategic aggregator offering regulation capacity on behalf of a group of distributed energy resources (DERs, e.g. plug-in electric vehicles) in a power market. Our objective is to maximize the aggregator's revenue while controlling the risk of penalties due to poor service delivery. To achieve this goal, we propose data-driven risk-averse strategies to effecti… ▽ More This paper studies the behavior of a strategic aggregator offering regulation capacity on behalf of a group of distributed energy resources (DERs, e.g. plug-in electric vehicles) in a power market. Our objective is to maximize the aggregator's revenue while controlling the risk of penalties due to poor service delivery. To achieve this goal, we propose data-driven risk-averse strategies to effectively handle uncertainties in: 1) The DER parameters (e.g., load demands and flexibilities) and 2) sub-hourly regulation signals (to the accuracy of every few seconds). We design both the day-ahead and the hour-ahead strategies. In the day-ahead model, we develop a two-stage stochastic program to roughly model the above uncertainties, which achieves computational efficiency by leveraging novel aggregate models of both DER parameters and sub-hourly regulation signals. In the hour-ahead model, we formulate a data-driven distributionally robust chance-constrained program to explicitly model the aforementioned uncertainties. This program can effectively control the quality of regulation service based on the aggregator's risk aversion. Furthermore, it learns the distributions of the uncertain parameters from empirical data so that it outperforms existing techniques, (e.g. robust optimization or traditional chance-constrained programming) in both modelling accuracy and cost of robustness. Finally, we derive a conic safe approximation for it which can be efficiently solved by commercial solvers. Numerical experiments are conducted to validate the proposed method. △ Less

Submitted 16 August, 2017; originally announced August 2017.

Multitask Learning for Fine-Grained Twitter Sentiment Analysis

Authors: Georgios Balikas, Simon Moura, Massih-Reza Amini

Abstract: Traditional sentiment analysis approaches tackle problems like ternary (3-category) and fine-grained (5-category) classification by learning the tasks separately. We argue that such classification tasks are correlated and we propose a multitask approach based on a recurrent neural network that benefits by jointly learning them. Our study demonstrates the potential of multitask models on this type… ▽ More Traditional sentiment analysis approaches tackle problems like ternary (3-category) and fine-grained (5-category) classification by learning the tasks separately. We argue that such classification tasks are correlated and we propose a multitask approach based on a recurrent neural network that benefits by jointly learning them. Our study demonstrates the potential of multitask models on this type of problems and improves the state-of-the-art results in the fine-grained sentiment classification problem. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: International ACM SIGIR Conference on Research and Development in Information Retrieval 2017

Cooperative response and clustering: consequences of membrane-mediated interactions among mechanosensitive channels

Authors: Lucas D. Fernandes, Ksenia Guseva, Alessandro P. S. de Moura

Abstract: Mechanosensitive (MS) channels are ion channels which act as cells' safety valves, opening when the osmotic pressure becomes too high and making cells avoid damage by releasing ions. They are found on the cellular membrane of a large number of organisms. They interact with each other by means of deformations they induce in the membrane. We show that collective dynamics arising from the inter-chann… ▽ More Mechanosensitive (MS) channels are ion channels which act as cells' safety valves, opening when the osmotic pressure becomes too high and making cells avoid damage by releasing ions. They are found on the cellular membrane of a large number of organisms. They interact with each other by means of deformations they induce in the membrane. We show that collective dynamics arising from the inter-channel interactions lead to first and second-order phase transitions in the fraction of open channels in equilibrium relating to the formation of channel clusters. We show that this results in a considerable delay of the response of cells to osmotic shocks, and to an extreme cell-to-cell stochastic variations in their response times, despite the large numbers of channels present in each cell. We discuss how our results are relevant for {\it E. coli}. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. E 96, 022410 (2017)

Joint Planning of PEV Fast-Charging Network and Distributed PV Generation Using the Accelerated Generalized Benders Decomposition

Authors: Hongcai Zhang, Scott J. Moura, Zechun Hu, Wei Qi, Yonghua Song

Abstract: Integration of plug-in electric vehicles (PEVs) with distributed renewable resources will decrease PEVs' well-to-wheels greenhouse gas emissions, promote renewable power adoption and defer power system investments. This paper proposes a multidisciplinary approach to jointly planning PEV fast-charging stations and distributed photovoltaic (PV) power plants on coupled transportation and power networ… ▽ More Integration of plug-in electric vehicles (PEVs) with distributed renewable resources will decrease PEVs' well-to-wheels greenhouse gas emissions, promote renewable power adoption and defer power system investments. This paper proposes a multidisciplinary approach to jointly planning PEV fast-charging stations and distributed photovoltaic (PV) power plants on coupled transportation and power networks. First, we develop models of 1) PEV fast-charging stations; 2) highway transportation networks under PEV driving range constraints; 3) PV power plants with reactive power control. Then, we formulate a two-stage stochastic mixed integer second order cone program (MISOCP) to determine the sites and sizes of 1) PEV fast-charging stations; 2) PV power plants. To address the uncertainty of future scenarios, a significant number of future typical load, traffic flow and PV generation curves are adopted. This makes the problem large scale. We design a Generalized Benders Decomposition Algorithm to efficiently solve it. To the authors' knowledge, this work is the first that jointly plans both PEV fast-charging stations and PV plants with consideration for PEV driving range limits and reactive PV power control. We conduct numerical experiments to illustrate the effectiveness of the proposed method, and validate the benefits of the joint planning and adopting advanced PV reactive power control. △ Less

Submitted 14 March, 2017; v1 submitted 23 February, 2017; originally announced February 2017.

A Second Order Cone Programming Model for Planning PEV Fast-Charging Stations

Authors: Hongcai Zhang, Scott Moura, Zechun Hu, Wei Qi, Yonghua Song

Abstract: This paper studies siting and sizing of plug-in electric vehicle (PEV) fast-charging stations on coupled transportation and power networks. We develop a closed-form service rate model of highway PEV charging stations' service abilities, which considers heterogeneous PEV driving ranges and charging demands.We utilize a modified capacitated flow refueling location model (CFRLM) to explicitly capture… ▽ More This paper studies siting and sizing of plug-in electric vehicle (PEV) fast-charging stations on coupled transportation and power networks. We develop a closed-form service rate model of highway PEV charging stations' service abilities, which considers heterogeneous PEV driving ranges and charging demands.We utilize a modified capacitated flow refueling location model (CFRLM) to explicitly capture time-varying PEV charging demands on the transportation network under driving range constraints. We explore extra constraints of the CFRLM to enhance model accuracy and computational efficiency.We then propose a stochastic mixed-integer second order cone programming (SOCP) model for PEV fast-charging station planning. The model considers the transportation network constraints of CFRLM and the power network constraints with AC power flow. Numerical experiments are conducted to illustrate the effectiveness of the proposed method. △ Less

Submitted 16 August, 2017; v1 submitted 7 February, 2017; originally announced February 2017.

Gene length as a regulator for ribosome recruitment and protein synthesis: theoretical insights

Authors: Lucas D. Fernandes, Alessandro P. S. de Moura, Luca Ciandrini

Abstract: Protein synthesis rates are determined, at the translational level, by properties of the transcript's sequence. The efficiency of an mRNA can be tuned by varying the ribosome binding sites controlling the recruitment of the ribosomes, or the codon usage establishing the speed of protein elongation. In this work we propose transcript length as a further key determinant of translation efficiency. Ba… ▽ More Protein synthesis rates are determined, at the translational level, by properties of the transcript's sequence. The efficiency of an mRNA can be tuned by varying the ribosome binding sites controlling the recruitment of the ribosomes, or the codon usage establishing the speed of protein elongation. In this work we propose transcript length as a further key determinant of translation efficiency. Based on a physical model that considers the kinetics of ribosomes advancing on the mRNA and diffusing in its surrounding, as well as mRNA circularisation and ribosome drop-off, we explain how the transcript length may play a central role in establishing ribosome recruitment and the overall translation rate of an mRNA. According to our results, the proximity of the 3' end to the ribosomal recruitment site of the mRNA could induce a feedback in the translation process that would favour the recycling of ribosomes. We also demonstrate how this process may be involved in shaping the experimental ribosome density-gene length dependence. Finally, we argue that cells could exploit this mechanism to adjust and balance the usage of its ribosomal resources. △ Less

Submitted 12 December, 2017; v1 submitted 2 February, 2017; originally announced February 2017.

Journal ref: Scientific Reports 7, Article number: 17409 (2017)

Subdivisions in digraphs of large out-degree or large dichromatic number

Authors: Pierre Aboulker, Nathann Cohen, Fréderic Havet, William Lochet, Phablo F. S. Moura, Stéphan Thomassé

Abstract: In 1985, Mader conjectured the existence of a function $f$ such that every digraph with minimum out-degree at least $f(k)$ contains a subdivision of the transitive tournament of order $k$. This conjecture is still completely open, as the existence of $f(5)$ remains unknown. In this paper, we show that if $D$ is an oriented path, or an in-arborescence (i.e., a tree with all edges oriented towards t… ▽ More In 1985, Mader conjectured the existence of a function $f$ such that every digraph with minimum out-degree at least $f(k)$ contains a subdivision of the transitive tournament of order $k$. This conjecture is still completely open, as the existence of $f(5)$ remains unknown. In this paper, we show that if $D$ is an oriented path, or an in-arborescence (i.e., a tree with all edges oriented towards the root) or the union of two directed paths from $x$ to $y$ and a directed path from $y$ to $x$, then every digraph with minimum out-degree large enough contains a subdivision of $D$. Additionally, we study Mader's conjecture considering another graph parameter. The dichromatic number of a digraph $D$ is the smallest integer $k$ such that $D$ can be partitioned into $k$ acyclic subdigraphs. We show that any digraph with dichromatic number greater than $4^m (n-1)$ contains every digraph with $n$ vertices and $m$ arcs as a subdivision. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Plug-and-Play Model Predictive Control for Load Shaping and Voltage Control in Smart Grids

Authors: Caroline Le Floch, Somil Bansal, Claire J. Tomlin, Scott Moura, Melanie Zeilinger

Abstract: This paper presents a predictive controller for handling plug-and-play (P&P) charging requests of flexible loads in a distribution system. We define two types of flexible loads: (i) deferrable loads that have a fixed power profile but can be deferred in time and (ii) shapeable loads that have flexible power profiles but fixed energy requests, such as Plug-in Electric Vehicles (PEVs). The proposed… ▽ More This paper presents a predictive controller for handling plug-and-play (P&P) charging requests of flexible loads in a distribution system. We define two types of flexible loads: (i) deferrable loads that have a fixed power profile but can be deferred in time and (ii) shapeable loads that have flexible power profiles but fixed energy requests, such as Plug-in Electric Vehicles (PEVs). The proposed method uses a hierarchical control scheme based on a model predictive control (MPC) formulation for minimizing the global system cost. The first stage computes a reachable reference that trades off deviation from the nominal voltage with the required generation control. The second stage uses a price-based objective to aggregate flexible loads and provide load shaping services, while satisfying system constraints and users' preferences at all times. It is shown that the proposed controller is recursively feasible under specific conditions, i.e. the flexible load demands are satisfied and bus voltages remain within the desired limits. Finally, the proposed scheme is illustrated on a 55 bus radial distribution network. △ Less

Submitted 21 June, 2016; originally announced June 2016.

Diffusion in randomly perturbed dissipative dynamics

Authors: Christian S. Rodrigues, Aleksei V. Chechkin, Alessandro P. S. de Moura, Celso Grebogi, Rainer Klages

Abstract: Dynamical systems having many coexisting attractors present interesting properties from both fundamental theoretical and modelling points of view. When such dynamics is under bounded random perturbations, the basins of attraction are no longer invariant and there is the possibility of transport among them. Here we introduce a basic theoretical setting which enables us to study this hopping process… ▽ More Dynamical systems having many coexisting attractors present interesting properties from both fundamental theoretical and modelling points of view. When such dynamics is under bounded random perturbations, the basins of attraction are no longer invariant and there is the possibility of transport among them. Here we introduce a basic theoretical setting which enables us to study this hopping process from the perspective of anomalous transport using the concept of a random dynamical system with holes. We apply it to a simple model by investigating the role of hyperbolicity for the transport among basins. We show numerically that our system exhibits non-Gaussian position distributions, power-law escape times, and subdiffusion. Our simulation results are reproduced consistently from stochastic Continuous Time Random Walk theory. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Journal ref: Europhys. Lett. 108, 40002 (2014)

A mixture model for rare and clustered populations under adaptive cluster sampling

Authors: Kelly Cristina M. Gonçalves, Fernando A. S. Moura

Abstract: Rare populations, such as endangered species, drug users and individuals infected by rare diseases, tend to cluster in regions. Adaptive cluster designs are generally applied to obtain information from clustered and sparse populations. The aim of this work is to propose a unit-level mixture model for clustered and sparse populations when the data are obtained from an adaptive cluster sample. Our a… ▽ More Rare populations, such as endangered species, drug users and individuals infected by rare diseases, tend to cluster in regions. Adaptive cluster designs are generally applied to obtain information from clustered and sparse populations. The aim of this work is to propose a unit-level mixture model for clustered and sparse populations when the data are obtained from an adaptive cluster sample. Our approach considers heterogeneity among units belonging to different clusters. The proposed model is evaluated using simulated data and a real experiment in which adaptive samples were drawn from an enumeration of a waterfowl species in a 5,000 km2 area of central Florida. △ Less

Submitted 8 August, 2014; v1 submitted 13 April, 2014; originally announced April 2014.

Frontiers of chaotic advection

Authors: Hassan Aref, John R. Blake, Marko Budišić, Silvana S. S. Cardoso, Julyan H. E. Cartwright, Herman J. H. Clercx, Kamal El Omari, Ulrike Feudel, Ramin Golestanian, Emmanuelle Gouillart, GertJan F. van Heijst, Tatyana S. Krasnopolskaya, Yves Le Guer, Robert S. MacKay, Vyacheslav V. Meleshko, Guy Metcalfe, Igor Mezić, Alessandro P. S. de Moura, Oreste Piro, Michel F. M. Speetjens, Rob Sturman, Jean-Luc Thiffeault, Idan Tuval

Abstract: This work reviews the present position of and surveys future perspectives in the physics of chaotic advection: the field that emerged three decades ago at the intersection of fluid mechanics and nonlinear dynamics, which encompasses a range of applications with length scales ranging from micrometers to hundreds of kilometers, including systems as diverse as mixing and thermal processing of viscous… ▽ More This work reviews the present position of and surveys future perspectives in the physics of chaotic advection: the field that emerged three decades ago at the intersection of fluid mechanics and nonlinear dynamics, which encompasses a range of applications with length scales ranging from micrometers to hundreds of kilometers, including systems as diverse as mixing and thermal processing of viscous fluids, microfluidics, biological flows, and oceanographic and atmospheric flows. △ Less

Submitted 14 June, 2017; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: Review article; 72 pages, 55 figures

Journal ref: Rev. Mod. Phys. 89, 025007 (2017)

Dynamics and physical interpretation of quasi-stationary states in systems with long-range interactions

Authors: T. M. Rocha Filho, A. E. Santana, J. R. S. Moura, M. A. Amato, A. Figueiredo

Abstract: Although the Vlasov equation is used as a good approximation for a sufficiently large $N$, Braun and Hepp have showed that the time evolution of the one particle distribution function of a $N$ particle classical Hamiltonian system with long range interactions satisfies the Vlasov equation in the limit of infinite $N$. Here we rederive this result using a different approach allowing a discussion of… ▽ More Although the Vlasov equation is used as a good approximation for a sufficiently large $N$, Braun and Hepp have showed that the time evolution of the one particle distribution function of a $N$ particle classical Hamiltonian system with long range interactions satisfies the Vlasov equation in the limit of infinite $N$. Here we rederive this result using a different approach allowing a discussion of the role of inter-particle correlations on the system dynamics. Otherwise for finite N collisional corrections must be introduced. This has allowed the a quite comprehensive study of the Quasi Stationary States (QSS) but many aspects of the physical interpretations of these states remain unclear. In this paper a proper definition of timescale for long time evolution is discussed and several numerical results are presented, for different values of $N$. Previous reports indicates that the lifetimes of the QSS scale as $N^{1.7}$ or even the system properties scales with $\exp(N)$. However, preliminary results presented here shows indicates that time scale goes as $N^2$ for a different type of initial condition. We also discuss how the form of the inter-particle potential determines the convergence of the $N$-particle dynamics to the Vlasov equation. The results are obtained in the context of following models: the Hamiltonian Mean Field, the Self Gravitating Ring Model, and a 2-D Systems of Gravitating Particles. We have also provided information of the validity of the Vlasov equation for finite $N$, i. e.\ how the dynamics converges to the mean-field (Vlasov) description as $N$ increases and how inter-particle correlations arise. △ Less

Submitted 19 May, 2013; v1 submitted 13 May, 2013; originally announced May 2013.

Optimal Placement of Origins for DNA Replication

Authors: Jens Karschau, J. Julian Blow, Alessandro P. S. de Moura

Abstract: DNA replication is an essential process in biology and its timing must be robust so that cells can divide properly. Random fluctuations in the formation of replication starting points, called origins, and the subsequent activation of proteins lead to variations in the replication time. We analyse these stochastic properties of DNA and derive the positions of origins corresponding to the minimum re… ▽ More DNA replication is an essential process in biology and its timing must be robust so that cells can divide properly. Random fluctuations in the formation of replication starting points, called origins, and the subsequent activation of proteins lead to variations in the replication time. We analyse these stochastic properties of DNA and derive the positions of origins corresponding to the minimum replication time. We show that under some conditions the minimization of replication time leads to the grouping of origins, and relate this to experimental data in a number of species showing origin grouping. △ Less

Submitted 2 February, 2012; originally announced February 2012.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 108, 058101 (2012)

Reacting particles in open chaotic flows

Authors: Alessandro P. S. de Moura

Abstract: We study the collision probability $p$ of particles advected by open flows displaying chaotic advection. We show that $p$ scales with the particle size $δ$ as a power law whose coefficient is determined by the fractal dimensions of the invariant sets defined by the advection dynamics. We also argue that this same scaling also holds for the reaction rate of active particles in the low-density regim… ▽ More We study the collision probability $p$ of particles advected by open flows displaying chaotic advection. We show that $p$ scales with the particle size $δ$ as a power law whose coefficient is determined by the fractal dimensions of the invariant sets defined by the advection dynamics. We also argue that this same scaling also holds for the reaction rate of active particles in the low-density regime. These analytical results are compared to numerical simulations, and we find very good agreement with the theoretical predictions. △ Less

Submitted 26 January, 2012; originally announced January 2012.

Comments: 5 pages, 3 figures

Journal ref: Physical Review Letters 107, 274501 (2011)

Optimal k-fold colorings of webs and antiwebs

Authors: Manoel Campêlo, Ricardo C. Corrêa, Phablo F. S. Moura, Marcio C. Santos

Abstract: A k-fold x-coloring of a graph is an assignment of (at least) k distinct colors from the set {1, 2, ..., x} to each vertex such that any two adjacent vertices are assigned disjoint sets of colors. The smallest number x such that G admits a k-fold x-coloring is the k-th chromatic number of G, denoted by χ_k(G). We determine the exact value of this parameter when G is a web or an antiweb. Our result… ▽ More A k-fold x-coloring of a graph is an assignment of (at least) k distinct colors from the set {1, 2, ..., x} to each vertex such that any two adjacent vertices are assigned disjoint sets of colors. The smallest number x such that G admits a k-fold x-coloring is the k-th chromatic number of G, denoted by χ_k(G). We determine the exact value of this parameter when G is a web or an antiweb. Our results generalize the known corresponding results for odd cycles and imply necessary and sufficient conditions under which χ_k(G) attains its lower and upper bounds based on the clique, the fractional chromatic and the chromatic numbers. Additionally, we extend the concept of χ-critical graphs to χ_k-critical graphs. We identify the webs and antiwebs having this property, for every integer k <= 1. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: A short version of this paper was presented at the Simpósio Brasileiro de Pesquisa Operacional, Brazil, 2011

Journal ref: Discrete Applied Mathematics, 161(1-2), pages 60-70, 2013

Escape from attracting sets in randomly perturbed systems

Authors: Christian S. Rodrigues, Celso Grebogi, Alessandro P. S. de Moura

Abstract: The dynamics of escape from an attractive state due to random perturbations is of central interest to many areas in science. Previous studies of escape in chaotic systems have rather focused on the case of unbounded noise, usually assumed to have Gaussian distribution. In this paper, we address the problem of escape induced by bounded noise. We show that the dynamics of escape from an attractor's… ▽ More The dynamics of escape from an attractive state due to random perturbations is of central interest to many areas in science. Previous studies of escape in chaotic systems have rather focused on the case of unbounded noise, usually assumed to have Gaussian distribution. In this paper, we address the problem of escape induced by bounded noise. We show that the dynamics of escape from an attractor's basin is equivalent to that of a closed system with an appropriately chosen "hole". Using this equivalence, we show that there is a minimum noise amplitude above which escape takes place, and we derive analytical expressions for the scaling of the escape rate with noise amplitude near the escape transition. We verify our analytical predictions through numerical simulations of a two-dimensional map with noise. △ Less

Submitted 25 October, 2010; v1 submitted 19 April, 2010; originally announced April 2010.

Comments: up to date with published version

Journal ref: Phys. Rev. E 82, 046217 (2010)

Random fluctuation leads to forbidden escape of particles

Authors: Christian S. Rodrigues, Alessandro P. S. de Moura, Celso Grebogi

Abstract: A great number of physical processes are described within the context of Hamiltonian scattering. Previous studies have rather been focused on trajectories starting outside invariant structures, since the ones starting inside are expected to stay trapped there forever. This is true though only for the deterministic case. We show however that, under finitely small random fluctuations of the field, t… ▽ More A great number of physical processes are described within the context of Hamiltonian scattering. Previous studies have rather been focused on trajectories starting outside invariant structures, since the ones starting inside are expected to stay trapped there forever. This is true though only for the deterministic case. We show however that, under finitely small random fluctuations of the field, trajectories starting inside Arnold-Kolmogorov-Moser (KAM) islands escape within finite time. The non-hyperbolic dynamics gains then hyperbolic characteristics due to the effect of the random perturbed field. As a consequence, trajectories which are started inside KAM curves escape with hyperbolic-like time decay distribution, and the fractal dimension of a set of particles that remain in the scattering region approaches that for hyperbolic systems. We show a universal quadratic power law relating the exponential decay to the amplitude of noise. We present a random walk model to relate this distribution to the amplitude of noise, and investigate this phenomena with a numerical study applying random maps. △ Less

Submitted 30 August, 2010; v1 submitted 22 October, 2009; originally announced October 2009.

Comments: 6 pages, 6 figures - Up to date with corrections suggested by referees

Journal ref: Physical Review E 82, 026211 (2010)

Emerging attractors and the transition from dissipative to conservative dynamics

Authors: Christian S. Rodrigues, Alessandro P. S. de Moura, Celso Grebogi

Abstract: The topological structure of basin boundaries plays a fundamental role in the sensitivity to the initial conditions in chaotic dynamical systems. Herewith we present a study on the dynamics of dissipative systems close to the Hamiltonian limit, emphasising the increasing number of periodic attractors and on the structural changes in their basin boundaries as the dissipation approaches zero. We s… ▽ More The topological structure of basin boundaries plays a fundamental role in the sensitivity to the initial conditions in chaotic dynamical systems. Herewith we present a study on the dynamics of dissipative systems close to the Hamiltonian limit, emphasising the increasing number of periodic attractors and on the structural changes in their basin boundaries as the dissipation approaches zero. We show numerically that a power law with nontrivial exponent describes the growth of the total number of periodic attractors as the damping is decreased. We also establish that for small scales the dynamics is governed by \emph{effective} dynamical invariants, whose measure depends not only on the region of the phase space, but also on the scale under consideration. Therefore, our results show that the concept of effective invariants is also relevant for dissipative systems. △ Less

Submitted 17 July, 2009; v1 submitted 28 August, 2008; originally announced August 2008.

Comments: 9 pages, 10 figures. Accepted and in press for PRE

Journal ref: Physical Review E 80, 026205 (2009)

Signatures of fractal clustering of aerosols advected under gravity

Authors: Rafael Dias Vilela, Tamás Tél, Alessandro P. S. de Moura, Celso Grebogi

Abstract: Aerosols under chaotic advection often approach a strange attractor. They move chaotically on this fractal set but, in the presence of gravity, they have a net vertical motion downwards. In practical situations, observational data may be available only at a given level, for example at the ground level. We uncover two fractal signatures of chaotic advection of aerosols under the action of gravity… ▽ More Aerosols under chaotic advection often approach a strange attractor. They move chaotically on this fractal set but, in the presence of gravity, they have a net vertical motion downwards. In practical situations, observational data may be available only at a given level, for example at the ground level. We uncover two fractal signatures of chaotic advection of aerosols under the action of gravity. Each one enables the computation of the fractal dimension $D_{0}$ of the strange attractor governing the advection dynamics from data obtained solely at a given level. We illustrate our theoretical findings with a numerical experiment and discuss their possible relevance to meteorology. △ Less

Submitted 15 June, 2007; originally announced June 2007.

Comments: Accepted for publication in Phys. Rev. E (Rapid Communications)

Journal ref: Phys. Rev. E 75, 065203(R) (2007)

Energy in an Expanding Universe in the Teleparallel Geometry

Authors: A. A. Sousa, J. S. Moura, R. B. Pereira

Abstract: The main purpose of this paper is to explicitly verify the consistency of the energy-momentum and angular momentum tensor of the gravitational field established in the Hamiltonian structure of the Teleparallel Equivalent of General Relativity (TEGR). In order to reach these objectives, we obtained the total energy and angular momentum (matter plus gravitational field) of the closed universe of t… ▽ More The main purpose of this paper is to explicitly verify the consistency of the energy-momentum and angular momentum tensor of the gravitational field established in the Hamiltonian structure of the Teleparallel Equivalent of General Relativity (TEGR). In order to reach these objectives, we obtained the total energy and angular momentum (matter plus gravitational field) of the closed universe of the Friedmann-Lemaitre-Robertson-Walker (FLRW). The result is compared with those obtained from the pseudotensors of Einstein and Landau-Lifshitz. We also applied the field equations (TEGR) in an expanding FLRW universe. Considering the stress energy-momentum tensor for a perfect fluid, we found a teleparallel equivalent of Friedmann equations of General Relativity (GR). △ Less

Submitted 7 December, 2009; v1 submitted 20 February, 2007; originally announced February 2007.

Comments: 19 pages, no figures. Revised in view of Referee's comments. Version to appear in the Brazilian Journal of Physics

Journal ref: Braz.J.Phys.40:1,2010

Clustering as a measure of the local topology of networks

Authors: Alexandre H. Abdo, A. P. S. de Moura

Abstract: Usual formulations of the clustering coefficient can be shown to be insufficient in the task of describing the local topology of very simple networks. Motivated by this, we review some alternatives in order to present an extension, the clustering profile. We show, both conceptually and through applications to well studied networks, that this measure is a more complete and robust measure of clust… ▽ More Usual formulations of the clustering coefficient can be shown to be insufficient in the task of describing the local topology of very simple networks. Motivated by this, we review some alternatives in order to present an extension, the clustering profile. We show, both conceptually and through applications to well studied networks, that this measure is a more complete and robust measure of clustering. It imposes stringent constraints on theoretical growth models, specially on aspects of the network structure that play a central role in dynamics on networks. In addition, we study how it provides a richer perspective of phenomena such as hierarchy, small-worlds and clusterization. △ Less

Submitted 13 September, 2006; v1 submitted 26 May, 2006; originally announced May 2006.

Comments: 5 pages (twocolumn), 4 figures, submitted; (v4: major changes to structure and presentation, included new results on network models, deeper analysis and some corrections to figures)

Finite-size effects on open chaotic advection

Authors: Rafael Dias Vilela, Alessandro P. S. de Moura, Celso Grebogi

Abstract: We study the effects of finite-sizeness on small, neutrally buoyant, spherical particles advected by open chaotic flows. We show that, when projected onto configuration space, the advected finite-size particles disperse about the unstable manifold of the chaotic saddle that governs the passive advection. Using a discrete-time system for the dynamics, we obtain an expression predicting the disper… ▽ More We study the effects of finite-sizeness on small, neutrally buoyant, spherical particles advected by open chaotic flows. We show that, when projected onto configuration space, the advected finite-size particles disperse about the unstable manifold of the chaotic saddle that governs the passive advection. Using a discrete-time system for the dynamics, we obtain an expression predicting the dispersion of the finite-size particles in terms of their Stokes parameter at the onset of the finite-sizeness induced dispersion. We test our theory in a system derived from a flow and find remarkable agreement between our expression and the numerically measured dispersion. △ Less

Submitted 15 July, 2005; originally announced July 2005.

Comments: 6 pages, 6 figures

Effective dynamics in Hamiltonian systems with mixed phase space

Authors: Adilson E. Motter, Alessandro P. S. de Moura, Celso Grebogi, Holger Kantz

Abstract: An adequate characterization of the dynamics of Hamiltonian systems at physically relevant scales has been largely lacking. Here we investigate this fundamental problem and we show that the finite-scale Hamiltonian dynamics is governed by effective dynamical invariants, which are significantly different from the dynamical invariants that describe the asymptotic Hamiltonian dynamics. The effectiv… ▽ More An adequate characterization of the dynamics of Hamiltonian systems at physically relevant scales has been largely lacking. Here we investigate this fundamental problem and we show that the finite-scale Hamiltonian dynamics is governed by effective dynamical invariants, which are significantly different from the dynamical invariants that describe the asymptotic Hamiltonian dynamics. The effective invariants depend both on the scale of resolution and the region of the phase space under consideration, and they are naturally interpreted within a framework in which the nonhyperbolic dynamics of the Hamiltonian system is modeled as a chain of hyperbolic systems. △ Less

Submitted 28 March, 2005; originally announced March 2005.

Comments: 4 figures, Revtex

Journal ref: Phys. Rev. E 71, 036215 (2005)

Signatures of small-world and scale-free properties in large computer programs

Authors: Alessandro P. S. de Moura, Ying-Cheng Lai, Adilson E. Motter

Abstract: A large computer program is typically divided into many hundreds or even thousands of smaller units, whose logical connections define a network in a natural way. This network reflects the internal structure of the program, and defines the ``information flow'' within the program. We show that, (1) due to its growth in time this network displays a scale-free feature in that the probability of the… ▽ More A large computer program is typically divided into many hundreds or even thousands of smaller units, whose logical connections define a network in a natural way. This network reflects the internal structure of the program, and defines the ``information flow'' within the program. We show that, (1) due to its growth in time this network displays a scale-free feature in that the probability of the number of links at a node obeys a power-law distribution, and (2) as a result of performance optimization of the program the network has a small-world structure. We believe that these features are generic for large computer programs. Our work extends the previous studies on growing networks, which have mostly been for physical networks, to the domain of computer software. △ Less

Submitted 24 June, 2003; originally announced June 2003.

Comments: 4 pages, 1 figure, to appear in Phys. Rev. E

Journal ref: Phys. Rev. E 68, 017102 (2003)

Topology of the conceptual network of language

Authors: Adilson E. Motter, Alessandro P. S. de Moura, Ying-Cheng Lai, Partha Dasgupta

Abstract: We define two words in a language to be connected if they express similar concepts. The network of connections among the many thousands of words that make up a language is important not only for the study of the structure and evolution of languages, but also for cognitive science. We study this issue quantitatively, by mapping out the conceptual network of the English language, with the connecti… ▽ More We define two words in a language to be connected if they express similar concepts. The network of connections among the many thousands of words that make up a language is important not only for the study of the structure and evolution of languages, but also for cognitive science. We study this issue quantitatively, by mapping out the conceptual network of the English language, with the connections being defined by the entries in a Thesaurus dictionary. We find that this network presents a small-world structure, with an amazingly small average shortest path, and appears to exhibit an asymptotic scale-free feature with algebraic connectivity distribution. △ Less

Submitted 26 June, 2002; originally announced June 2002.

Comments: 4 pages, 2 figures, Revtex

Journal ref: Phys. Rev. E 65, 065102(R) (2002)