89 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Consejo Nacional de Investigaciones Científicas y TécnicasAR33 papers
- National University of RosarioAR23 papers
- Graz University of TechnologyAT6 papers
- Universidad de ZaragozaES6 papers
- Argentine National ObservatoryAR5 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Centro Científico Tecnólogico - RosarioAR5 papers
- Universidad Nacional de CórdobaAR4 papers
- University of Newcastle AustraliaAU4 papers
- École PolytechniqueFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Tecnológico Nacional de MéxicoMX3 papers
52 papers
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
Ignacio Rubio Scola, Omar Alejandro Garcia Alcantara, Steven Sandoval +3
This paper employs Geometric Algebra (GA) tools to model the dynamics of objects in 3-dimensional space, serving as a proof of concept to facilitate control design for trajectory t…
The Rosario Dataset v2: Multimodal Dataset for Agricultural Robotics
Nicolas Soncini, Javier Cremona, Erica Vidal +3
We present a multi-modal dataset collected in a soybean crop field, comprising over two hours of recorded data from sensors such as stereo infrared camera, color camera, accelerome…
The Monado SLAM Dataset for Egocentric Visual-Inertial Tracking
Mateo de Mayo, Daniel Cremers, Taihú Pire
Humanoid robots and mixed reality headsets benefit from the use of head-mounted sensors for tracking. While advancements in visual-inertial odometry (VIO) and simultaneous localiza…
Optimizing Exploration with a New Uncertainty Framework for Active SLAM Systems
Sebastian Sansoni, Javier Gimenez, Gastón Castro +2
Accurate reconstruction of the environment is a central goal of Simultaneous Localization and Mapping (SLAM) systems. However, the agent's trajectory can significantly affect estim…
Exact Leader Estimation: A New Approach for Distributed Differentiation
Rodrigo Aldana-Lopez, David Gomez-Gutierrez, Elio Usai +1
A novel strategy aimed at cooperatively differentiating a signal among multiple interacting agents is introduced, where none of the agents needs to know which agent is the leader,…
Addressing the challenges of loop detection in agricultural environments
Nicolás Soncini, Javier Civera, Taihú Pire
While visual SLAM systems are well studied and achieve impressive results in indoor and urban settings, natural, outdoor and open-field environments are much less explored and stil…
The VISTA Variables in the Vía Láctea eXtended (VVVX) ESO public survey: Completion of the observations and legacy
R. K. Saito, M. Hempel, J. Alonso-García +143
The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from . Upon its conclusion, the c…
Optimal robust exact first-order differentiators with Lipschitz continuous output
Rodrigo Aldana-Lopez, Richard Seeber, Hernan Haimovich +1
The signal differentiation problem involves the development of algorithms that allow to recover a signal's derivatives from noisy measurements. This paper develops a first-order di…
Designing controllers with predefined convergence-time bound using bounded time-varying gains
Rodrigo Aldana-López, Richard Seeber, Hernan Haimovich +1
Recently, there has been a great deal of attention in a class of controllers based on time-varying gains, called prescribed-time controllers, that steer the system's state to the o…
GNSS-stereo-inertial SLAM for arable farming
Javier Cremona, Javier Civera, Ernesto Kofman +1
The accelerating pace in the automation of agricultural tasks demands highly accurate and robust localization systems for field robots. Simultaneous Localization and Mapping (SLAM)…
Comparing EventB, and Why3 Models of Sparse Sets
Maximiliano Cristiá, Catherine Dubois
Many representations for sets are available in programming languages libraries. The paper focuses on sparse sets used, e.g., in some constraint solvers for representing integer var…
Approximation of deterministic mean field games under polynomial growth conditions on the data
Justina Gianatti, Francisco J. Silva, Ahmad Zorkot
We consider a deterministic mean field games problem in which a typical agent solves an optimal control problem where the dynamics is affine with respect to the control and the cos…
On Structuring Functional Programs with Monoidal Profunctors
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical p…
Experimental Evaluation of Visual-Inertial Odometry Systems for Arable Farming
Javier Cremona, Román Comelli, Taihú Pire
The farming industry constantly seeks the automation of different processes involved in agricultural production, such as sowing, harvesting and weed control. The use of mobile auto…
On inherent limitations in robustness and performance for a class of prescribed-time algorithms
Rodrigo Aldana-López, Richard Seeber, Hernan Haimovich +1
Prescribed-time algorithms based on time-varying gains may have remarkable properties, such as regulation in a user-prescribed finite time that is the same for every nonzero initia…
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
Maximiliano Cristiá, Gianfranco Rossi
In this paper we show how prescritive type checking and constraint solving can be combined to increase automation during software verification. We do so by defining a type system a…
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz +3
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to bu…
Optimal Robust Exact Differentiation via Linear Adaptive Techniques
Richard Seeber, Hernan Haimovich
The problem of differentiating a function with bounded second derivative in the presence of bounded measurement noise is considered in both continuous-time and sampled-data setting…
Differentiator for Noisy Sampled Signals with Best Worst-Case Accuracy
Hernan Haimovich, Richard Seeber, Rodrigo Aldana-López +1
This paper proposes a differentiator for sampled signals with bounded noise and bounded second derivative. It is based on a linear program derived from the available sample informa…
Drifting Features: Detection and evaluation in the context of automatic RRLs identification in VVV
J. B. Cabral, M. Lares, S. Gurovich +2
As most of the modern astronomical sky surveys produce data faster than humans can analyze it, Machine Learning (ML) has become a central tool in Astronomy. Modern ML methods can b…
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistan…
A Lagrangian approach for aggregative mean field games of controls with mixed and final constraints
Joseph Frédéric Bonnans, Justina Gianatti, Laurent Pfeiffer
The objective of this paper is to analyze the existence of equilibria for a class of deterministic mean field games of controls. The interaction between players is due to both a co…
Semiglobal exponential input-to-state stability of sampled-data systems based on approximate discrete-time models
Alexis J. Vallarella, Paula Cardone, Hernan Haimovich
Exact discrete-time models of nonlinear systems are difficult or impossible to obtain, and hence approximate models may be employed for control design. Most existing results provid…
retQSS: A Novel Methodology for Efficient Modeling and Simulation of Particle Systems in Reticulated Geometries
Lucio Santi, Joaquín Fernández, Ernesto Kofman +1
This work presents retQSS, a novel methodology for efficient modeling and simulation of particle systems in reticulated meshed geometries. On the simulation side, retQSS profits fr…