-
Dynamic Q-planning for Online UAV Path Planning in Unknown and Complex Environments
Authors:
Lidia Gianne Souza da Rocha,
Kenny Anderson Queiroz Caldas,
Marco Henrique Terra,
Fabio Ramos,
Kelen Cristiane Teixeira Vivaldini
Abstract:
Unmanned Aerial Vehicles need an online path planning capability to move in high-risk missions in unknown and complex environments to complete them safely. However, many algorithms reported in the literature may not return reliable trajectories to solve online problems in these scenarios. The Q-Learning algorithm, a Reinforcement Learning Technique, can generate trajectories in real-time and has d…
▽ More
Unmanned Aerial Vehicles need an online path planning capability to move in high-risk missions in unknown and complex environments to complete them safely. However, many algorithms reported in the literature may not return reliable trajectories to solve online problems in these scenarios. The Q-Learning algorithm, a Reinforcement Learning Technique, can generate trajectories in real-time and has demonstrated fast and reliable results. This technique, however, has the disadvantage of defining the iteration number. If this value is not well defined, it will take a long time or not return an optimal trajectory. Therefore, we propose a method to dynamically choose the number of iterations to obtain the best performance of Q-Learning. The proposed method is compared to the Q-Learning algorithm with a fixed number of iterations, A*, Rapid-Exploring Random Tree, and Particle Swarm Optimization. As a result, the proposed Q-learning algorithm demonstrates the efficacy and reliability of online path planning with a dynamic number of iterations to carry out online missions in unknown and complex environments.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Autonomous driving of trucks in off-road environment
Authors:
Kenny A. Q. Caldas,
Filipe M. Barbosa,
Junior A. R. Silva,
Tiago C. Santos,
Iago P. Gomes,
Luis A. Rosero,
Denis F. Wolf,
Valdir Grassi Jr
Abstract:
Off-road driving operations can be a challenging environment for human conductors as they are subject to accidents, repetitive and tedious tasks, strong vibrations, which may affect their health in the long term. Therefore, they can benefit from a successful implementation of autonomous vehicle technology, improving safety, reducing labor costs and fuel consumption, and increasing operational effi…
▽ More
Off-road driving operations can be a challenging environment for human conductors as they are subject to accidents, repetitive and tedious tasks, strong vibrations, which may affect their health in the long term. Therefore, they can benefit from a successful implementation of autonomous vehicle technology, improving safety, reducing labor costs and fuel consumption, and increasing operational efficiency. The main contribution of this paper is the experimental validation of a path tracking control strategy, composed of longitudinal and lateral controllers, on an off-road scenario with a fully-loaded heavy-duty truck. The longitudinal control strategy relies on a Non-Linear Model Predictive Controller (NMPC), which considers the path geometry and simplified vehicle dynamics to compute a smooth and comfortable input velocity, without violating the imposed constraints. The lateral controller is based on a Robust Linear Quadratic Regulator (RLQR), which considers a vehicle model subject to parametric uncertainties to minimize its lateral displacement and heading error, as well as ensure stability. Experiments were carried out using a fully-loaded vehicle on unpaved roads in an open-pit mine. The truck followed the reference path within the imposed constraints, showing robustness and driving smoothness.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
On the existence of closed trajectories and pseudo-trajectories for a family of third order differential equations
Authors:
Mayara Duarte de Araujo Caldas,
Ricardo Miranda Martins
Abstract:
The goal of this article is to study the existence of closed trajectories for the differential equation $\dddot{z}+a\ddot{z}+b\dot{z}+abz=\varepsilon F(z,\dot{z},\ddot{z})$ in two situations. In the first situation, we consider $F(z,\dot{z},\ddot{z})=1$ and $b={\rm sgn}(h(z,\dot{z},\ddot{z}))$, where $h(z,\dot{z},\ddot{z})=z^2+(\dot{z})^2+(\ddot{z})^2-1$. We show that the differential equation is…
▽ More
The goal of this article is to study the existence of closed trajectories for the differential equation $\dddot{z}+a\ddot{z}+b\dot{z}+abz=\varepsilon F(z,\dot{z},\ddot{z})$ in two situations. In the first situation, we consider $F(z,\dot{z},\ddot{z})=1$ and $b={\rm sgn}(h(z,\dot{z},\ddot{z}))$, where $h(z,\dot{z},\ddot{z})=z^2+(\dot{z})^2+(\ddot{z})^2-1$. We show that the differential equation is equivalent to a piecewise smooth differential system that admits the unit sphere as the discontinuity manifold. We obtain conditions for the existence of a closed pseudo-trajectory in this case. In the second situation, we consider $\varepsilon \neq 0$ sufficiently small, $b>0$, and $F(z,\dot{z},\ddot{z})$ a $n$-degree polynomial. We show that the unperturbed differential equation has a family of isochronous periodic solutions filling an invariant plane. Then, we study the maximum number of limit cycles which bifurcate from this 2-dimensional isochronous using the averaging theory. Thus, within the same family, we have periodic solutions (in the case where the parameters create a smooth equation) and also pseudo-periodic solutions (in the case of Filippov systems).
△ Less
Submitted 31 January, 2024; v1 submitted 13 October, 2022;
originally announced October 2022.
-
The Variational Principle for a $\mathbb{Z}_+^N$ Action on a Hausdorff Locally Compact Space
Authors:
André Caldas,
Hermano Farias
Abstract:
We extend the definition of topological pressure to locally compact Hausdorff spaces, and we demonstrate a "variational principle" comparing the topological and measure theoretic pressures. Given a continuous $\mathbb{Z}_+^N$-action $T$ over a locally compact Hausdorff space $X$ and a continuous function vanishing at infinity $f \in C_0(X)$, we define topological pressure $P(T,f)$ using open cover…
▽ More
We extend the definition of topological pressure to locally compact Hausdorff spaces, and we demonstrate a "variational principle" comparing the topological and measure theoretic pressures. Given a continuous $\mathbb{Z}_+^N$-action $T$ over a locally compact Hausdorff space $X$ and a continuous function vanishing at infinity $f \in C_0(X)$, we define topological pressure $P(T,f)$ using open covers of a special type we call "admissible covers". With this topological pressure, we demonstrate that \begin{equation*}
P(T,f)
=
\sup_μ
P_μ(T,f), \end{equation*} where the supremum is taken over all $T$-invariant probability Radon measures over $X$, and is equal to $0$ when there is none.
In the last section, we present an example that illustrates why admissible covers are so adequate to deal with the non-compact case, while some other approaches would fail.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Limit cycles for classes of piecewise smooth differential equations separated by the unit circle
Authors:
Mayara Duarte de Araujo Caldas,
Ricardo Miranda Martins
Abstract:
In this article we study the existence of limit cycles in families of piecewise smooth differential equations having the unit circle as discontinuity region. We consider families presenting singularities of center or saddle type, visible or invisible, as well as the case without singularities. We establish an upper bound for the number of limit cycles and give examples showing that the maximum num…
▽ More
In this article we study the existence of limit cycles in families of piecewise smooth differential equations having the unit circle as discontinuity region. We consider families presenting singularities of center or saddle type, visible or invisible, as well as the case without singularities. We establish an upper bound for the number of limit cycles and give examples showing that the maximum number of limit cycles can be reached. We also discuss the existence of homoclinic cycles for such differential equations in the saddle-center case.
△ Less
Submitted 27 January, 2022; v1 submitted 15 September, 2021;
originally announced September 2021.
-
Effects of a fully 3D atmospheric structure on exoplanet transmission spectra: retrieval biases due to day-night temperature gradients
Authors:
Anthony Caldas,
Jérémy Leconte,
Franck Selsis,
Ingo Waldmann,
Pascal Bordé,
Marco Rocchetto,
Benjamin Charnay
Abstract:
Transmission spectroscopy provides us with information on the atmospheric properties at the limb, which is often intuitively assumed to be a narrow annulus around the planet. Consequently, studies have focused on the effect of atmospheric horizontal heterogeneities along the limb. Here we demonstrate that the region probed in transmission -- the limb -- extends significantly toward the day and nig…
▽ More
Transmission spectroscopy provides us with information on the atmospheric properties at the limb, which is often intuitively assumed to be a narrow annulus around the planet. Consequently, studies have focused on the effect of atmospheric horizontal heterogeneities along the limb. Here we demonstrate that the region probed in transmission -- the limb -- extends significantly toward the day and night sides of the planet. We show that the strong day-night thermal and compositional gradients expected on synchronous exoplanets create sufficient heterogeneities across the limb to result in important systematic effects on the spectrum and bias its interpretation. To quantify these effects, we developed a 3D radiative transfer model able to generate transmission spectra of atmospheres based on 3D atmospheric structures. We first produce synthetic JWST observations from a simulation of GJ 1214b and demonstrate the necessity of a real 3D approach to model data for such precise observatories. Second, we investigate how day-night temperature gradients cause a systematic bias in retrieval analysis performed with 1D forward models. For that purpose we synthesize a large set of forward spectra for prototypical HD 209458 b and GJ 1214 b type planets varying the temperatures of the day and night sides as well as the width of the transition region. We then perform typical retrieval analyses and compare the retrieved parameters to the ground truth of the input model. This study reveals systematic biases on the retrieved temperature (found to be higher than the terminator temperature) and abundances. This is due to the fact that the hotter dayside is more extended vertically and screens the nightside. These biases are difficult to detect as the 1D profiles used in the retrieval are found to provide an excellent match to the observed spectra. This needs to be kept in mind when interpreting real data.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
GRSUS: Gerenciamento De Recursos De Saúde, Um Estudo Sob A Ótica Da Portaria GM/MS 1631/2015 No Estado do Pará
Authors:
Paulo Sérgio Viegas Bernardino da Silva,
Lucas Vinícius Araújo Caldas,
Antônio Fernando Lavareda Jacob Junior,
Fábio Manoel França Lobato
Abstract:
Investments in public health had an increase of about R$ 20 bi in recent years. Even with the dynamism of the Unique Health System (SUS), only after 13 years the criteria and parameters for the planning and programming of health services have been updated. The calculations for health resources division are complex due to the nature of the SUS administrative organization, which has three administra…
▽ More
Investments in public health had an increase of about R$ 20 bi in recent years. Even with the dynamism of the Unique Health System (SUS), only after 13 years the criteria and parameters for the planning and programming of health services have been updated. The calculations for health resources division are complex due to the nature of the SUS administrative organization, which has three administrative levels. Despite providing the criteria and parameters for the calculations, it was not provided any information system that would automate this process and provide reliable information for decision making. In order to fill such gap, this paper presents a system for health resource management from the perspective of GM/MS 1631/2015 ordinance. The tool has been validated using as case studies two municipalities in the interior of the state of Pará. The results were promising, with latent market potential, being possible to simulate various scenarios for a medium and long-term predictions.
△ Less
Submitted 26 November, 2018;
originally announced November 2018.
-
Development of a Social Network for Research Support and Individual Well-being Improvement
Authors:
Lucas V. A. Caldas,
Antonio F. L. Jacob Jr.,
Simone S. C. Silva,
Fernando A. R. Pontes,
Fábio M. F. Lobato
Abstract:
The ways of communication and social interactions are changing. Web users are becoming increasingly engaged with Online Social Networks (OSN), which has a significant impact on the relationship mechanisms between individuals and communities. Most OSN platforms have strict policies regarding data access, harming its usage in psychological and social phenomena studies, It is also impacting the devel…
▽ More
The ways of communication and social interactions are changing. Web users are becoming increasingly engaged with Online Social Networks (OSN), which has a significant impact on the relationship mechanisms between individuals and communities. Most OSN platforms have strict policies regarding data access, harming its usage in psychological and social phenomena studies, It is also impacting the development of computational methods to evaluate and improve social and individual well-being via the web. Aiming to fill this gap, we propose a platform that brings together social networks dynamics with forum features, altogether with gamification elements, targeting researchers interested in obtaining access to user's data to study psychological and social phenomena.
△ Less
Submitted 9 September, 2018;
originally announced September 2018.
-
The nature of the TRAPPIST-1 exoplanets
Authors:
Simon L. Grimm,
Brice-Olivier Demory,
Michaël Gillon,
Caroline Dorn,
Eric Agol,
Artem Burdanov,
Laetitia Delrez,
Marko Sestovic,
Amaury H. M. J. Triaud,
Martin Turbet,
Émeline Bolmont,
Anthony Caldas,
Julien de Wit,
Emmanuël Jehin,
Jérémy Leconte,
Sean N. Raymond,
Valérie Van Grootel,
Adam J. Burgasser,
Sean Carey,
Daniel Fabrycky,
Kevin Heng,
David M. Hernandez,
James G. Ingalls,
Susan Lederer,
Franck Selsis
, et al. (1 additional authors not shown)
Abstract:
Context. The TRAPPIST-1 system hosts seven Earth-sized, temperate exoplanets orbiting an ultra-cool dwarf star. As such, it represents a remarkable setting to study the formation and evolution of terrestrial planets that formed in the same protoplanetary disk. While the sizes of the TRAPPIST-1 planets are all known to better than 5% precision, their densities have significant uncertainties (betwee…
▽ More
Context. The TRAPPIST-1 system hosts seven Earth-sized, temperate exoplanets orbiting an ultra-cool dwarf star. As such, it represents a remarkable setting to study the formation and evolution of terrestrial planets that formed in the same protoplanetary disk. While the sizes of the TRAPPIST-1 planets are all known to better than 5% precision, their densities have significant uncertainties (between 28% and 95%) because of poor constraints on the planet's masses. Aims.The goal of this paper is to improve our knowledge of the TRAPPIST-1 planetary masses and densities using transit-timing variations (TTV). The complexity of the TTV inversion problem is known to be particularly acute in multi-planetary systems (convergence issues, degeneracies and size of the parameter space), especially for resonant chain systems such as TRAPPIST-1. Methods. To overcome these challenges, we have used a novel method that employs a genetic algorithm coupled to a full N-body integrator that we applied to a set of 284 individual transit timings. This approach enables us to efficiently explore the parameter space and to derive reliable masses and densities from TTVs for all seven planets. Results. Our new masses result in a five- to eight-fold improvement on the planetary density uncertainties, with precisions ranging from 5% to 12%. These updated values provide new insights into the bulk structure of the TRAPPIST-1 planets. We find that TRAPPIST-1\,c and e likely have largely rocky interiors, while planets b, d, f, g, and h require envelopes of volatiles in the form of thick atmospheres, oceans, or ice, in most cases with water mass fractions less than 5%.
△ Less
Submitted 5 February, 2018;
originally announced February 2018.
-
Compressão de dados sem perdas para dispositivos IoT
Authors:
Abraão Caldas,
Renato Degelo,
Edjair Mota,
Celso B. Carvalho
Abstract:
In environments with energy and processing constraints, such as sensor networks and embedded devices, sending raw information over wireless networks can be costly. In order to reduce the amount of transmitted data and ultimately save energy, we can compress data before transmission. In this paper, we tackle such problem in the IoT domain by deploying two widely used libraries to deliver asynchrono…
▽ More
In environments with energy and processing constraints, such as sensor networks and embedded devices, sending raw information over wireless networks can be costly. In order to reduce the amount of transmitted data and ultimately save energy, we can compress data before transmission. In this paper, we tackle such problem in the IoT domain by deploying two widely used libraries to deliver asynchronous messages and data compression/decompression. We evaluate both our methodology and the compression/decompression performance of the embedded library in a micro-controller for IoT.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
Modelling climate diversity, tidal dynamics and the fate of volatiles on TRAPPIST-1 planets
Authors:
Martin Turbet,
Emeline Bolmont,
Jeremy Leconte,
Francois Forget,
Franck Selsis,
Gabriel Tobie,
Anthony Caldas,
Joseph Naar,
Michael Gillon
Abstract:
TRAPPIST-1 planets are invaluable for the study of comparative planetary science outside our Solar System and possibly habitability. First, we derive from N-body simulations possible planetary evolution scenarios, and show that each of the planets are likely to be in synchronous rotation. We then use a 3-D Global Climate Model to explore the possible climates of cool planets of the TRAPPIST-1 syst…
▽ More
TRAPPIST-1 planets are invaluable for the study of comparative planetary science outside our Solar System and possibly habitability. First, we derive from N-body simulations possible planetary evolution scenarios, and show that each of the planets are likely to be in synchronous rotation. We then use a 3-D Global Climate Model to explore the possible climates of cool planets of the TRAPPIST-1 system. In particular, we look at the conditions required for cool planets to prevent possible volatile species to be lost by permanent condensation, irreversible burying or photochemical destruction. We also explore the resilience of the same volatiles (when in condensed phase) to a runaway greenhouse process. We find that background atmospheres made of N2, CO or O2 are resistant to atmospheric collapse. However, it should be difficult for TRAPPIST-1 planets to accumulate significant greenhouse gases like CO2, CH4, or NH3. CO2 can easily condense on the nightside, forming glaciers that would flow toward the substellar region. A complete CO2 ice cover is possible on TRAPPIST-1g and h only, although CO2 ice deposits could be gravitationally unstable and get buried beneath the water ice shell in geologically short timescales. Given TRAPPIST-1 planets large EUV irradiation (at least 1000x Titan's flux), CH4 and NH3 should be photodissociated rapidly and thus be hard to accumulate in the atmosphere. Photochemical hazes could then sedimentate and form a surface layer of tholins. Regarding habitability, we confirm that few bars of CO2 would suffice to warm the surface of TRAPPIST-1f and g above the melting point of water. We also show that TRAPPIST-1e is a remarkable candidate for surface habitability. If the planet is today synchronous and abundant in water, then it should always sustain surface liquid water at least in the substellar region, whatever the atmosphere considered.
△ Less
Submitted 10 November, 2017; v1 submitted 21 July, 2017;
originally announced July 2017.
-
Measuring stellar granulation during planet transits
Authors:
A. Chiavassa,
A. Caldas,
F. Selsis,
J. Leconte,
P. Von Paris,
P. Bordé,
Z. Magic,
R. Collet,
M. Asplund
Abstract:
Stellar activity and convection-related surface structures might cause bias in planet detection and characterization that use these transits. Surface convection simulations help to quantify the granulation signal. We used realistic three-dimensional radiative hydrodynamical simulations from the Stagger grid and synthetic images computed with the radiative transfer code Optim3D to model the transit…
▽ More
Stellar activity and convection-related surface structures might cause bias in planet detection and characterization that use these transits. Surface convection simulations help to quantify the granulation signal. We used realistic three-dimensional radiative hydrodynamical simulations from the Stagger grid and synthetic images computed with the radiative transfer code Optim3D to model the transits of three prototype planets: a hot Jupiter, a hot Neptune, and a terrestrial planet. We computed intensity maps from RHD simulations of the Sun and a K-dwarf star at different wavelength bands from optical to far-infrared. We modeled the transit using synthetic stellar-disk images and emulated the temporal variation of the granulation intensity. We identified two types of granulation noise that act simultaneously during the planet transit: (i) the intrinsic change in the granulation pattern with timescales smaller than the usual planet transit, and (ii) the fact that the transiting planet occults isolated regions of the photosphere that differ in local surface brightness. Our modeling approach shows that the granulation pattern has a non-negligible effect on the light curve depth during the transit, and, consequentially on the determination of the radius of the planet transiting. The granulation noise appears to be correlated among the different wavelength ranges either in the visible or in the infrared regions. The granulation has to be considered as an intrinsic uncertainty (as a result of stellar variability) on the precise measurements of exoplanet transits of planets. The full characterization of the granulation is essential for determining the degree of uncertainty on the planet parameters. In this context, the use of 3D RHD simulations is important to measure the convection-related fluctuations.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
Topological Pressure for Locally Compact Metrizable Systems
Authors:
André Caldas
Abstract:
It is widely known that when $X$ is compact Hausdorff, and when $T: X \to X$ and $f: X \to \mathbb{R}$ are continuous, \begin{equation*} P(T,f) = \sup_{\text{$μ$: Radon probability}} \left( h_μ(T) + \int f\, \mathrm{d}μ\right), \end{equation*} where $P(T,f)$ is the "topological pressure" and $h_μ(T)$ is the measure theoretic entropy of $T$ with respect to $μ$. This result is known as "variational…
▽ More
It is widely known that when $X$ is compact Hausdorff, and when $T: X \to X$ and $f: X \to \mathbb{R}$ are continuous, \begin{equation*} P(T,f) = \sup_{\text{$μ$: Radon probability}} \left( h_μ(T) + \int f\, \mathrm{d}μ\right), \end{equation*} where $P(T,f)$ is the "topological pressure" and $h_μ(T)$ is the measure theoretic entropy of $T$ with respect to $μ$. This result is known as "variational principle". We generalize the concept of "topological pressure" for the case where $X$ is a separable locally compact metric space. Our definitions are quite similar to those used in the compact case. Our main result is the validity of the "variational principle".
△ Less
Submitted 6 May, 2016; v1 submitted 5 May, 2016;
originally announced May 2016.
-
Entropy and Its Variational Principle for Locally Compact Metrizable Systems
Authors:
André Caldas,
Mauro Patrão
Abstract:
For a given topological dynamical system $(X,T)$ over a compact set $X$ with a metric $d$, the "variational principle" states that \begin{equation*} \sup_μh_μ(T) = h(T) = h_d(T), \end{equation*} where $h_μ(T)$ is the Kolmogorov-Sinai entropy, with the supremum taken over every $T$-invariant probability measure, $h_d(T)$ is the Bowen entropy, and $h(T)$ is the topological entropy as defined by Adle…
▽ More
For a given topological dynamical system $(X,T)$ over a compact set $X$ with a metric $d$, the "variational principle" states that \begin{equation*} \sup_μh_μ(T) = h(T) = h_d(T), \end{equation*} where $h_μ(T)$ is the Kolmogorov-Sinai entropy, with the supremum taken over every $T$-invariant probability measure, $h_d(T)$ is the Bowen entropy, and $h(T)$ is the topological entropy as defined by Adler, Konheim and McAndrew. In [9], the concept of topological entropy was adapted for the case where $T$ is a proper map and $X$ is locally compact separable and metrizable, and the variational principle was extended to \begin{equation*} \sup_μh_μ(T) = h(T) = \min_d h_d(T), \end{equation*} where the minimum is taken over every distance compatible with the topology of $X$. In the present work, we dropped the properness assumption, extending the above result for any continuous map $T$.
We also apply our results to extend some previous formulas for the topological entropy of continuous endomorphisms of connected Lie groups proved in [4]. In particular, we prove that any linear transformation $T: V \to V$ over a finite dimensional vector space $V$ has null topological entropy.
△ Less
Submitted 8 April, 2016; v1 submitted 6 November, 2015;
originally announced November 2015.
-
Entropy and Its Variational Principle for Product Type Dynamical Systems
Authors:
André Caldas,
Mauro Patrão
Abstract:
This paper has a flaw in an argument that uses the weak-* convergence of measures. The paper was replaced by "Entropy and Its Variational Principle for Locally Compact Metrizable Systems", by the same authors.
This paper has a flaw in an argument that uses the weak-* convergence of measures. The paper was replaced by "Entropy and Its Variational Principle for Locally Compact Metrizable Systems", by the same authors.
△ Less
Submitted 6 November, 2015; v1 submitted 25 August, 2011;
originally announced August 2011.
-
Entropy of Endomorphisms of Lie Groups
Authors:
André Caldas,
Mauro Patrão
Abstract:
We show, when $G$ is a nilpotent or reductive Lie group, that the entropy of any surjective endomorphism coincides with the entropy of its restriction to the toral component of the center of $G$. In particular, if $G$ is a semi-simple Lie group, the entropy of any surjective endomorphism always vanishes. Since every compact group is reductive, the formula for the entropy of a endomorphism of a com…
▽ More
We show, when $G$ is a nilpotent or reductive Lie group, that the entropy of any surjective endomorphism coincides with the entropy of its restriction to the toral component of the center of $G$. In particular, if $G$ is a semi-simple Lie group, the entropy of any surjective endomorphism always vanishes. Since every compact group is reductive, the formula for the entropy of a endomorphism of a compact group reduces to the formula for the entropy of an endomorphism of a torus.
△ Less
Submitted 16 August, 2012; v1 submitted 22 May, 2011;
originally announced May 2011.
