-
Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equations
Authors:
Renu Chaudhary,
Simeon Reich,
Juan J. Nieto
Abstract:
This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the…
▽ More
This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the existence and uniqueness of a mild solution to the equation under consideration. We then establish approximate controllability results by using the concepts of fractional calculus, semigroup theory, functional analysis and stochastic analysis.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Beyond Schwarzschild: New Pulsating Coordinates for Spherically Symmetric Metrics
Authors:
E. A. León,
J. A. Nieto,
A. Sandoval-Rodríguez,
B. Martínez-Olivas
Abstract:
Starting from a general transformation for spherically symmetric metrics where g\_11=-1/g\_00, we analyze coordinates with the common property of conformal flatness at constant solid angle element. Three general possibilities arise: one where tortoise coordinate appears as the unique solution, other that includes Kruskal-Szekeres coordinates as a very specific case, but that also allows other simi…
▽ More
Starting from a general transformation for spherically symmetric metrics where g\_11=-1/g\_00, we analyze coordinates with the common property of conformal flatness at constant solid angle element. Three general possibilities arise: one where tortoise coordinate appears as the unique solution, other that includes Kruskal-Szekeres coordinates as a very specific case, but that also allows other similar transformations, and finally a new set of coordinates with very different properties than the other two. In particular, this represents any causal patch of the spherically symmetric metrics in a compactified form. We analyze some relations, taking the Schwarzschild case as prototype, but also contrasting the cosmological de-Sitter and Anti-de-Sitter solutions for the new proposed pulsating coordinates.
△ Less
Submitted 30 April, 2024;
originally announced May 2024.
-
Interactions Between Brauer Configuration Algebras and Classical Cryptanalysis to Analyze Bach's Canons
Authors:
Agustín Moreno Cañadas,
Pedro Fernando Fernández Espinosa,
José Gregorio Rodríguez Nieto,
Odette M. Mendez,
Ricardo Hugo Arteaga-Bastidas
Abstract:
Since their introduction, Brauer configuration algebras (BCAs) and their specialized messages have helped research in several fields of mathematics and sciences. This paper deals with a new perspective on using such algebras as a theoretical framework in classical cryptography and music theory. It is proved that some block cyphers define labeled Brauer configuration algebras. Particularly, the dim…
▽ More
Since their introduction, Brauer configuration algebras (BCAs) and their specialized messages have helped research in several fields of mathematics and sciences. This paper deals with a new perspective on using such algebras as a theoretical framework in classical cryptography and music theory. It is proved that some block cyphers define labeled Brauer configuration algebras. Particularly, the dimension of the BCA associated with a ciphertext-only attack of the Vigenere cryptosystem is given by the corresponding key's length and the captured ciphertext's coincidence index. On the other hand, historically, Bach's canons have been considered solved music puzzles. However, due to how Bach posed such canons, the question remains whether their solutions are only limited to musical issues. This paper gives alternative solutions based on the theory of Brauer configuration algebras to some of the puzzle canons proposed by Bach in his Musical Offering (BWV 1079) and the canon â 4 Voc: Perpetuus (BWV 1073). Specifically to the canon â 6 Voc (BWV 1076), canon 1 â2 (also known as the crab canon), and canon â4 Quaerendo Invenietis. These solutions are obtained by interpreting such canons as ciphertexts (via route and transposition cyphers) of some specialized Brauer messages. In particular, it is noted that the structure or form of the notes used in such canons can be described via the shape of the most used symbols in Bach's works.
△ Less
Submitted 25 April, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
Charting Censorship Resilience and Global Internet Reachability: A Quantitative Approach
Authors:
Marina Ivanović,
François Wirz,
Jordi Subirà Nieto,
Adrian Perrig
Abstract:
Internet censorship and global Internet reachability are prevalent topics of today's Internet. Nonetheless, the impact of network topology and Internet architecture to these aspects of the Internet is under-explored. With the goal of informing policy discussions with an objective basis, we present an approach for evaluating both censorship resilience and global Internet reachability using quantita…
▽ More
Internet censorship and global Internet reachability are prevalent topics of today's Internet. Nonetheless, the impact of network topology and Internet architecture to these aspects of the Internet is under-explored. With the goal of informing policy discussions with an objective basis, we present an approach for evaluating both censorship resilience and global Internet reachability using quantitative network metrics, which are applicable to current BGP/IP networks and also to alternative Internet network architectures. We devise and instantiate the metric on the network topology of multiple countries, comparing the BGP/IP network, an overlay network using a waypoint mechanism for circumventing undesired nodes, and the path-aware Internet architecture SCION. The novelty of the approach resides in providing a metric enabling the analysis of these aspects of the Internet at the routing level, taking into account the innate properties of the routing protocol and architecture. We demonstrate that the Internet topology matters, and strongly influences both censorship resilience and reachability to the global Internet. Finally, we argue that access to multiple paths accompanied with path-awareness could enable a higher level of censorship resilience compared to the current Internet, and reduce the centralization of Internet routing.
△ Less
Submitted 17 July, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Existence and multiplicity of solutions for fractional $κ(ξ)$-Kirchhoff-type equation
Authors:
J. Vanterler da C. Sousa,
Kishor D. Kucche,
Juan J. Nieto
Abstract:
In this paper, we aim to tackle the questions of existence and multiplicity of solutions to a new class of $κ(ξ)$-Kirchhoff-type equation utilizing a variational approach. Further, we research the results from the theory of variable exponent Sobolev spaces and from the theory of space $ψ$-fractional $\mathcal{H}^{μ,ν;\,ψ}_{κ(ξ)}(Λ)$. In this sense, we present a few special cases and remark on the…
▽ More
In this paper, we aim to tackle the questions of existence and multiplicity of solutions to a new class of $κ(ξ)$-Kirchhoff-type equation utilizing a variational approach. Further, we research the results from the theory of variable exponent Sobolev spaces and from the theory of space $ψ$-fractional $\mathcal{H}^{μ,ν;\,ψ}_{κ(ξ)}(Λ)$. In this sense, we present a few special cases and remark on the outcomes explored.
△ Less
Submitted 3 October, 2023;
originally announced November 2023.
-
Scheduling Inference Workloads on Distributed Edge Clusters with Reinforcement Learning
Authors:
Gabriele Castellano,
Juan-José Nieto,
Jordi Luque,
Ferrán Diego,
Carlos Segura,
Diego Perino,
Flavio Esposito,
Fulvio Risso,
Aravindh Raman
Abstract:
Many real-time applications (e.g., Augmented/Virtual Reality, cognitive assistance) rely on Deep Neural Networks (DNNs) to process inference tasks. Edge computing is considered a key infrastructure to deploy such applications, as moving computation close to the data sources enables us to meet stringent latency and throughput requirements. However, the constrained nature of edge networks poses seve…
▽ More
Many real-time applications (e.g., Augmented/Virtual Reality, cognitive assistance) rely on Deep Neural Networks (DNNs) to process inference tasks. Edge computing is considered a key infrastructure to deploy such applications, as moving computation close to the data sources enables us to meet stringent latency and throughput requirements. However, the constrained nature of edge networks poses several additional challenges to the management of inference workloads: edge clusters can not provide unlimited processing power to DNN models, and often a trade-off between network and processing time should be considered when it comes to end-to-end delay requirements. In this paper, we focus on the problem of scheduling inference queries on DNN models in edge networks at short timescales (i.e., few milliseconds). By means of simulations, we analyze several policies in the realistic network settings and workloads of a large ISP, highlighting the need for a dynamic scheduling policy that can adapt to network conditions and workloads. We therefore design ASET, a Reinforcement Learning based scheduling algorithm able to adapt its decisions according to the system conditions. Our results show that ASET effectively provides the best performance compared to static policies when scheduling over a distributed pool of edge resources.
△ Less
Submitted 31 January, 2023;
originally announced January 2023.
-
maplab 2.0 -- A Modular and Multi-Modal Mapping Framework
Authors:
Andrei Cramariuc,
Lukas Bernreiter,
Florian Tschopp,
Marius Fehr,
Victor Reijgwart,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
Integration of multiple sensor modalities and deep learning into Simultaneous Localization And Mapping (SLAM) systems are areas of significant interest in current research. Multi-modality is a stepping stone towards achieving robustness in challenging environments and interoperability of heterogeneous multi-robot systems with varying sensor setups. With maplab 2.0, we provide a versatile open-sour…
▽ More
Integration of multiple sensor modalities and deep learning into Simultaneous Localization And Mapping (SLAM) systems are areas of significant interest in current research. Multi-modality is a stepping stone towards achieving robustness in challenging environments and interoperability of heterogeneous multi-robot systems with varying sensor setups. With maplab 2.0, we provide a versatile open-source platform that facilitates developing, testing, and integrating new modules and features into a fully-fledged SLAM system. Through extensive experiments, we show that maplab 2.0's accuracy is comparable to the state-of-the-art on the HILTI 2021 benchmark. Additionally, we showcase the flexibility of our system with three use cases: i) large-scale (approx. 10 km) multi-robot multi-session (23 missions) mapping, ii) integration of non-visual landmarks, and iii) incorporating a semantic object-based loop closure module into the mapping framework. The code is available open-source at https://github.com/ethz-asl/maplab.
△ Less
Submitted 3 January, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Tango or Square Dance? How Tightly Should we Integrate Network Functionality in Browsers?
Authors:
Alex Davidson,
Matthias Frei,
Marten Gartner,
Hamed Haddadi,
Jordi Subirà Nieto,
Adrian Perrig,
Philipp Winter,
François Wirz
Abstract:
The question at which layer network functionality is presented or abstracted remains a research challenge. Traditionally, network functionality was either placed into the core network, middleboxes, or into the operating system -- but recent developments have expanded the design space to directly introduce functionality into the application (and in particular into the browser) as a way to expose it…
▽ More
The question at which layer network functionality is presented or abstracted remains a research challenge. Traditionally, network functionality was either placed into the core network, middleboxes, or into the operating system -- but recent developments have expanded the design space to directly introduce functionality into the application (and in particular into the browser) as a way to expose it to the user.
Given the context of emerging path-aware networking technology, an interesting question arises: which layer should handle the new features? We argue that the browser is becoming a powerful platform for network innovation, where even user-driven properties can be implemented in an OS-agnostic fashion. We demonstrate the feasibility of geo-fenced browsing using a prototype browser extension, realized by the SCION path-aware networking architecture, without introducing any significant performance overheads.
△ Less
Submitted 10 October, 2022;
originally announced October 2022.
-
Spatial Computing and Intuitive Interaction: Bringing Mixed Reality and Robotics Together
Authors:
Jeffrey Delmerico,
Roi Poranne,
Federica Bogo,
Helen Oleynikova,
Eric Vollenweider,
Stelian Coros,
Juan Nieto,
Marc Pollefeys
Abstract:
Spatial computing -- the ability of devices to be aware of their surroundings and to represent this digitally -- offers novel capabilities in human-robot interaction. In particular, the combination of spatial computing and egocentric sensing on mixed reality devices enables them to capture and understand human actions and translate these to actions with spatial meaning, which offers exciting new p…
▽ More
Spatial computing -- the ability of devices to be aware of their surroundings and to represent this digitally -- offers novel capabilities in human-robot interaction. In particular, the combination of spatial computing and egocentric sensing on mixed reality devices enables them to capture and understand human actions and translate these to actions with spatial meaning, which offers exciting new possibilities for collaboration between humans and robots. This paper presents several human-robot systems that utilize these capabilities to enable novel robot use cases: mission planning for inspection, gesture-based control, and immersive teleoperation. These works demonstrate the power of mixed reality as a tool for human-robot interaction, and the potential of spatial computing and mixed reality to drive the future of human-robot interaction.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
CERBERUS: Autonomous Legged and Aerial Robotic Exploration in the Tunnel and Urban Circuits of the DARPA Subterranean Challenge
Authors:
Marco Tranzatto,
Frank Mascarich,
Lukas Bernreiter,
Carolina Godinho,
Marco Camurri,
Shehryar Khattak,
Tung Dang,
Victor Reijgwart,
Johannes Loeje,
David Wisth,
Samuel Zimmermann,
Huan Nguyen,
Marius Fehr,
Lukas Solanka,
Russell Buchanan,
Marko Bjelonic,
Nikhil Khedekar,
Mathieu Valceschini,
Fabian Jenelten,
Mihir Dharmadhikari,
Timon Homberger,
Paolo De Petris,
Lorenz Wellhausen,
Mihir Kulkarni,
Takahiro Miki
, et al. (16 additional authors not shown)
Abstract:
Autonomous exploration of subterranean environments constitutes a major frontier for robotic systems as underground settings present key challenges that can render robot autonomy hard to achieve. This has motivated the DARPA Subterranean Challenge, where teams of robots search for objects of interest in various underground environments. In response, the CERBERUS system-of-systems is presented as a…
▽ More
Autonomous exploration of subterranean environments constitutes a major frontier for robotic systems as underground settings present key challenges that can render robot autonomy hard to achieve. This has motivated the DARPA Subterranean Challenge, where teams of robots search for objects of interest in various underground environments. In response, the CERBERUS system-of-systems is presented as a unified strategy towards subterranean exploration using legged and flying robots. As primary robots, ANYmal quadruped systems are deployed considering their endurance and potential to traverse challenging terrain. For aerial robots, both conventional and collision-tolerant multirotors are utilized to explore spaces too narrow or otherwise unreachable by ground systems. Anticipating degraded sensing conditions, a complementary multi-modal sensor fusion approach utilizing camera, LiDAR, and inertial data for resilient robot pose estimation is proposed. Individual robot pose estimates are refined by a centralized multi-robot map optimization approach to improve the reported location accuracy of detected objects of interest in the DARPA-defined coordinate frame. Furthermore, a unified exploration path planning policy is presented to facilitate the autonomous operation of both legged and aerial robots in complex underground networks. Finally, to enable communication between the robots and the base station, CERBERUS utilizes a ground rover with a high-gain antenna and an optical fiber connection to the base station, alongside breadcrumbing of wireless nodes by our legged robots. We report results from the CERBERUS system-of-systems deployment at the DARPA Subterranean Challenge Tunnel and Urban Circuits, along with the current limitations and the lessons learned for the benefit of the community.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Quantum fisher information protection of N-qubit Greenberger-Horne-Zeilinger state from decoherence
Authors:
Sajede Harraz,
Shuang Cong,
Jiaoyang Zhang,
Juan J. Nieto
Abstract:
In this paper we study the protection of N-qubit Greenberger-Horne- Zeilinger (GHZ) state and generalized N-qubit GHZ states in amplitude damping channel by means of quantum weak measurement and flip operations. We derive the explicit formulas of the performances of the protection scheme: average fidelity, average probability and the average quantum fisher information (QFI). Moreover, the analytic…
▽ More
In this paper we study the protection of N-qubit Greenberger-Horne- Zeilinger (GHZ) state and generalized N-qubit GHZ states in amplitude damping channel by means of quantum weak measurement and flip operations. We derive the explicit formulas of the performances of the protection scheme: average fidelity, average probability and the average quantum fisher information (QFI). Moreover, the analytical results for maximizing the average fidelity and probability are obtained. We show that our scheme can effectively protect the average QFI of phase for GHZ states and generalized GHZ states. The proposed scheme has the merit of protecting GHZ state and the QFI of phase against heavy amplitude damping noise. Further we show that for some generalize GHZ state, the proposed scheme can protect the state with probability one and fidelity more than 99%.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Comparison of quantum state protection against decoherence via weak measurement, a survey
Authors:
Sajede Harraz,
Shuang Cong,
Juan J. Nieto
Abstract:
One of the crucial tasks in quantum systems is to reduce the effects of decoherence due to the unavoidable interactions between a system and its environment. Many protection schemes have been proposed recently, among them the weak measurement quantum measurement reversal (WMQMR), weak measurement-based quantum feedback control (QFBC) and quantum feed-forward control (QFFC) are reviewed in this pap…
▽ More
One of the crucial tasks in quantum systems is to reduce the effects of decoherence due to the unavoidable interactions between a system and its environment. Many protection schemes have been proposed recently, among them the weak measurement quantum measurement reversal (WMQMR), weak measurement-based quantum feedback control (QFBC) and quantum feed-forward control (QFFC) are reviewed in this paper. By considering weak measurement, the aim is to find a balance between information gain and disturbance of the system caused by the measurement. We classify different types of measurement and give the definition of noise sources and their effects on the state of the system. Finally, we compare and analyze the performance of the discussed protection schemes for different noise sources by numerical simulations.
△ Less
Submitted 16 May, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Panoptic Multi-TSDFs: a Flexible Representation for Online Multi-resolution Volumetric Mapping and Long-term Dynamic Scene Consistency
Authors:
Lukas Schmid,
Jeffrey Delmerico,
Johannes Schönberger,
Juan Nieto,
Marc Pollefeys,
Roland Siegwart,
Cesar Cadena
Abstract:
For robotic interaction in environments shared with other agents, access to volumetric and semantic maps of the scene is crucial. However, such environments are inevitably subject to long-term changes, which the map needs to account for. We thus propose panoptic multi-TSDFs as a novel representation for multi-resolution volumetric mapping in changing environments. By leveraging high-level informat…
▽ More
For robotic interaction in environments shared with other agents, access to volumetric and semantic maps of the scene is crucial. However, such environments are inevitably subject to long-term changes, which the map needs to account for. We thus propose panoptic multi-TSDFs as a novel representation for multi-resolution volumetric mapping in changing environments. By leveraging high-level information for 3D reconstruction, our proposed system allocates high resolution only where needed. Through reasoning on the object level, semantic consistency over time is achieved. This enables our method to maintain up-to-date reconstructions with high accuracy while improving coverage by incorporating previous data. We show in thorough experimental evaluation that our map can be efficiently constructed, maintained, and queried during online operation, and that the presented approach can operate robustly on real depth sensors using non-optimized panoptic segmentation as input.
△ Less
Submitted 22 February, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Superquadric Object Representation for Optimization-based Semantic SLAM
Authors:
Florian Tschopp,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
Introducing semantically meaningful objects to visual Simultaneous Localization And Mapping (SLAM) has the potential to improve both the accuracy and reliability of pose estimates, especially in challenging scenarios with significant view-point and appearance changes. However, how semantic objects should be represented for an efficient inclusion in optimization-based SLAM frameworks is still an op…
▽ More
Introducing semantically meaningful objects to visual Simultaneous Localization And Mapping (SLAM) has the potential to improve both the accuracy and reliability of pose estimates, especially in challenging scenarios with significant view-point and appearance changes. However, how semantic objects should be represented for an efficient inclusion in optimization-based SLAM frameworks is still an open question. Superquadrics(SQs) are an efficient and compact object representation, able to represent most common object types to a high degree, and typically retrieved from 3D point-cloud data. However, accurate 3D point-cloud data might not be available in all applications. Recent advancements in machine learning enabled robust object recognition and semantic mask measurements from camera images under many different appearance conditions. We propose a pipeline to leverage such semantic mask measurements to fit SQ parameters to multi-view camera observations using a multi-stage initialization and optimization procedure. We demonstrate the system's ability to retrieve randomly generated SQ parameters from multi-view mask observations in preliminary simulation experiments and evaluate different initialization stages and cost functions.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
SemSegMap- 3D Segment-Based Semantic Localization
Authors:
Andrei Cramariuc,
Florian Tschopp,
Nikhilesh Alatur,
Stefan Benz,
Tillmann Falck,
Marius Bruehlmeier,
Benjamin Hahn,
Juan Nieto,
Roland Siegwart
Abstract:
Localization is an essential task for mobile autonomous robotic systems that want to use pre-existing maps or create new ones in the context of SLAM. Today, many robotic platforms are equipped with high-accuracy 3D LiDAR sensors, which allow a geometric mapping, and cameras able to provide semantic cues of the environment. Segment-based mapping and localization have been applied with great success…
▽ More
Localization is an essential task for mobile autonomous robotic systems that want to use pre-existing maps or create new ones in the context of SLAM. Today, many robotic platforms are equipped with high-accuracy 3D LiDAR sensors, which allow a geometric mapping, and cameras able to provide semantic cues of the environment. Segment-based mapping and localization have been applied with great success to 3D point-cloud data, while semantic understanding has been shown to improve localization performance in vision based systems. In this paper we combine both modalities in SemSegMap, extending SegMap into a segment based mapping framework able to also leverage color and semantic data from the environment to improve localization accuracy and robustness. In particular, we present new segmentation and descriptor extraction processes. The segmentation process benefits from additional distance information from color and semantic class consistency resulting in more repeatable segments and more overlap after re-visiting a place. For the descriptor, a tight fusion approach in a deep-learned descriptor extraction network is performed leading to a higher descriptiveness for landmark matching. We demonstrate the advantages of this fusion on multiple simulated and real-world datasets and compare its performance to various baselines. We show that we are able to find 50.9% more high-accuracy prior-less global localizations compared to SegMap on challenging datasets using very compact maps while also providing accurate full 6 DoF pose estimates in real-time.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Unsupervised Skill-Discovery and Skill-Learning in Minecraft
Authors:
Juan José Nieto,
Roger Creus,
Xavier Giro-i-Nieto
Abstract:
Pre-training Reinforcement Learning agents in a task-agnostic manner has shown promising results. However, previous works still struggle in learning and discovering meaningful skills in high-dimensional state-spaces, such as pixel-spaces. We approach the problem by leveraging unsupervised skill discovery and self-supervised learning of state representations. In our work, we learn a compact latent…
▽ More
Pre-training Reinforcement Learning agents in a task-agnostic manner has shown promising results. However, previous works still struggle in learning and discovering meaningful skills in high-dimensional state-spaces, such as pixel-spaces. We approach the problem by leveraging unsupervised skill discovery and self-supervised learning of state representations. In our work, we learn a compact latent representation by making use of variational and contrastive techniques. We demonstrate that both enable RL agents to learn a set of basic navigation skills by maximizing an information theoretic objective. We assess our method in Minecraft 3D pixel maps with different complexities. Our results show that representations and conditioned policies learned from pixels are enough for toy examples, but do not scale to realistic and complex maps. To overcome these limitations, we explore alternative input observations such as the relative position of the agent along with the raw pixels.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
TSDF++: A Multi-Object Formulation for Dynamic Object Tracking and Reconstruction
Authors:
Margarita Grinvald,
Federico Tombari,
Roland Siegwart,
Juan Nieto
Abstract:
The ability to simultaneously track and reconstruct multiple objects moving in the scene is of the utmost importance for robotic tasks such as autonomous navigation and interaction. Virtually all of the previous attempts to map multiple dynamic objects have evolved to store individual objects in separate reconstruction volumes and track the relative pose between them. While simple and intuitive, s…
▽ More
The ability to simultaneously track and reconstruct multiple objects moving in the scene is of the utmost importance for robotic tasks such as autonomous navigation and interaction. Virtually all of the previous attempts to map multiple dynamic objects have evolved to store individual objects in separate reconstruction volumes and track the relative pose between them. While simple and intuitive, such formulation does not scale well with respect to the number of objects in the scene and introduces the need for an explicit occlusion handling strategy. In contrast, we propose a map representation that allows maintaining a single volume for the entire scene and all the objects therein. To this end, we introduce a novel multi-object TSDF formulation that can encode multiple object surfaces at any given location in the map. In a multiple dynamic object tracking and reconstruction scenario, our representation allows maintaining accurate reconstruction of surfaces even while they become temporarily occluded by other objects moving in their proximity. We evaluate the proposed TSDF++ formulation on a public synthetic dataset and demonstrate its ability to preserve reconstructions of occluded surfaces when compared to the standard TSDF map representation.
△ Less
Submitted 16 May, 2021;
originally announced May 2021.
-
A Digital Twin of a Compartmental Epidemiological Model based on a Stieltjes Differential Equation
Authors:
Iván Area,
F. J. Fernández,
Juan J. Nieto,
F. Adrián F. Tojo
Abstract:
We introduce a digital twin of the classical compartmental SIR (Susceptible, Infected, Recovered) epidemic model and study the interrelation between the digital twin and the system. In doing so, we use Stieltjes derivatives to feed the data from the real system to the virtual model which, in return, improves it in real time. As a byproduct of the model, we present a precise mathematical definition…
▽ More
We introduce a digital twin of the classical compartmental SIR (Susceptible, Infected, Recovered) epidemic model and study the interrelation between the digital twin and the system. In doing so, we use Stieltjes derivatives to feed the data from the real system to the virtual model which, in return, improves it in real time. As a byproduct of the model, we present a precise mathematical definition of solution to the problem. We also analyze the existence and uniqueness of solutions, introduce the concept of Main Digital Twin and present some numerical simulations with real data of the COVID-19 epidemic, showing the accuracy of the proposed ideas.
△ Less
Submitted 29 April, 2021;
originally announced May 2021.
-
Crowd against the machine: A simulation-based benchmark tool to evaluate and compare robot capabilities to navigate a human crowd
Authors:
Fabien Grzeskowiak,
David Gonon,
Daniel Dugas,
Diego Paez-Granados,
Jen Chung,
Juan Nieto,
Roland Siegwart,
Aude Billard,
Marie Babel,
Julien Pettré
Abstract:
The evaluation of robot capabilities to navigate human crowds is essential to conceive new robots intended to operate in public spaces. This paper initiates the development of a benchmark tool to evaluate such capabilities; our long term vision is to provide the community with a simulation tool that generates virtual crowded environment to test robots, to establish standard scenarios and metrics t…
▽ More
The evaluation of robot capabilities to navigate human crowds is essential to conceive new robots intended to operate in public spaces. This paper initiates the development of a benchmark tool to evaluate such capabilities; our long term vision is to provide the community with a simulation tool that generates virtual crowded environment to test robots, to establish standard scenarios and metrics to evaluate navigation techniques in terms of safety and efficiency, and thus, to install new methods to benchmarking robots' crowd navigation capabilities. This paper presents the architecture of the simulation tools, introduces first scenarios and evaluation metrics, as well as early results to demonstrate that our solution is relevant to be used as a benchmark tool.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Spherical Multi-Modal Place Recognition for Heterogeneous Sensor Systems
Authors:
Lukas Bernreiter,
Lionel Ott,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
In this paper, we propose a robust end-to-end multi-modal pipeline for place recognition where the sensor systems can differ from the map building to the query. Our approach operates directly on images and LiDAR scans without requiring any local feature extraction modules. By projecting the sensor data onto the unit sphere, we learn a multi-modal descriptor of partially overlapping scenes using a…
▽ More
In this paper, we propose a robust end-to-end multi-modal pipeline for place recognition where the sensor systems can differ from the map building to the query. Our approach operates directly on images and LiDAR scans without requiring any local feature extraction modules. By projecting the sensor data onto the unit sphere, we learn a multi-modal descriptor of partially overlapping scenes using a spherical convolutional neural network. The employed spherical projection model enables the support of arbitrary LiDAR and camera systems readily without losing information. Loop closure candidates are found using a nearest-neighbor lookup in the embedding space. We tackle the problem of correctly identifying the closest place by correlating the candidates' power spectra, obtaining a confidence value per prospect. Our estimate for the correct place corresponds then to the candidate with the highest confidence. We evaluate our proposal w.r.t. state-of-the-art approaches in place recognition using real-world data acquired using different sensors. Our approach can achieve a recall that is up to 10% and 5% higher than for a LiDAR- and vision-based system, respectively, when the sensor setup differs between model training and deployment. Additionally, our place selection can correctly identify up to 95% matches from the candidate set.
△ Less
Submitted 17 April, 2021;
originally announced April 2021.
-
Multiscale continuum-velocity kinetic model for vehicular traffic with local and mean field interactions
Authors:
J. Calvo,
J. Nieto,
M. Zagour
Abstract:
This paper deals with the modeling and mathematical analysis of vehicular traffic phenomena according to a kinetic theory approach, where the microscopic state of vehicles is described by: (i) position, (ii) velocity, as a continuous variable, and also (iii) activity, namely a variable suited to model the quality of the driver-vehicle micro-system. Interactions at the microscopic scale are modeled…
▽ More
This paper deals with the modeling and mathematical analysis of vehicular traffic phenomena according to a kinetic theory approach, where the microscopic state of vehicles is described by: (i) position, (ii) velocity, as a continuous variable, and also (iii) activity, namely a variable suited to model the quality of the driver-vehicle micro-system. Interactions at the microscopic scale are modeled by methods of game theory with continuous velocity variable, thus leading to the derivation of mathematical models within the framework of the kinetic theory of active particles. Short-range interactions and mean field interactions are modeled to depict velocity changes related to passing and clustering phenomena. Finally, we perform an analysis of a constructive method to solve the model.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Mesh Manifold based Riemannian Motion Planning for Omnidirectional Micro Aerial Vehicles
Authors:
Michael Pantic,
Lionel Ott,
Cesar Cadena,
Roland Siegwart,
Juan Nieto
Abstract:
This paper presents a novel on-line path planning method that enables aerial robots to interact with surfaces. We present a solution to the problem of finding trajectories that drive a robot towards a surface and move along it. Triangular meshes are used as a surface map representation that is free of fixed discretization and allows for very large workspaces. We propose to leverage planar parametr…
▽ More
This paper presents a novel on-line path planning method that enables aerial robots to interact with surfaces. We present a solution to the problem of finding trajectories that drive a robot towards a surface and move along it. Triangular meshes are used as a surface map representation that is free of fixed discretization and allows for very large workspaces. We propose to leverage planar parametrization methods to obtain a lower-dimensional topologically equivalent representation of the original surface. Furthermore, we interpret the original surface and its lower-dimensional representation as manifold approximations that allow the use of Riemannian Motion Policies (RMPs), resulting in an efficient, versatile, and elegant motion generation framework. We compare against several Rapidly-exploring Random Tree (RRT) planners, a customized CHOMP variant, and the discrete geodesic algorithm. Using extensive simulations on real-world data we show that the proposed planner can reliably plan high-quality near-optimal trajectories at minimal computational cost. The accompanying multimedia attachment demonstrates feasibility on a real OMAV. The obtained paths show less than 10% deviation from the theoretical optimum while facilitating reactive re-planning at kHz refresh rates, enabling flying robots to perform motion planning for interaction with complex surfaces.
△ Less
Submitted 20 February, 2021;
originally announced February 2021.
-
Hough2Map -- Iterative Event-based Hough Transform for High-Speed Railway Mapping
Authors:
Florian Tschopp,
Cornelius von Einem,
Andrei Cramariuc,
David Hug,
Andrew William Palmer,
Roland Siegwart,
Margarita Chli,
Juan Nieto
Abstract:
To cope with the growing demand for transportation on the railway system, accurate, robust, and high-frequency positioning is required to enable a safe and efficient utilization of the existing railway infrastructure. As a basis for a localization system we propose a complete on-board mapping pipeline able to map robust meaningful landmarks, such as poles from power lines, in the vicinity of the v…
▽ More
To cope with the growing demand for transportation on the railway system, accurate, robust, and high-frequency positioning is required to enable a safe and efficient utilization of the existing railway infrastructure. As a basis for a localization system we propose a complete on-board mapping pipeline able to map robust meaningful landmarks, such as poles from power lines, in the vicinity of the vehicle. Such poles are good candidates for reliable and long term landmarks even through difficult weather conditions or seasonal changes. To address the challenges of motion blur and illumination changes in railway scenarios we employ a Dynamic Vision Sensor, a novel event-based camera. Using a sideways oriented on-board camera, poles appear as vertical lines. To map such lines in a real-time event stream, we introduce Hough2Map, a novel consecutive iterative event-based Hough transform framework capable of detecting, tracking, and triangulating close-by structures. We demonstrate the mapping reliability and accuracy of Hough2Map on real-world data in typical usage scenarios and evaluate using surveyed infrastructure ground truth maps. Hough2Map achieves a detection reliability of up to 92% and a mapping root mean square error accuracy of 1.1518m.
△ Less
Submitted 18 February, 2021; v1 submitted 16 February, 2021;
originally announced February 2021.
-
PHASER: a Robust and Correspondence-free Global Pointcloud Registration
Authors:
Lukas Bernreiter,
Lionel Ott,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
We propose PHASER, a correspondence-free global registration of sensor-centric pointclouds that is robust to noise, sparsity, and partial overlaps. Our method can seamlessly handle multimodal information and does not rely on keypoint nor descriptor preprocessing modules. By exploiting properties of Fourier analysis, PHASER operates directly on the sensor's signal, fusing the spectra of multiple ch…
▽ More
We propose PHASER, a correspondence-free global registration of sensor-centric pointclouds that is robust to noise, sparsity, and partial overlaps. Our method can seamlessly handle multimodal information and does not rely on keypoint nor descriptor preprocessing modules. By exploiting properties of Fourier analysis, PHASER operates directly on the sensor's signal, fusing the spectra of multiple channels and computing the 6-DoF transformation based on correlation. Our registration pipeline starts by finding the most likely rotation followed by computing the most likely translation. Both estimates are distributed according to a probability distribution that takes the underlying manifold into account, i.e., a Bingham and Gaussian distribution, respectively. This further allows our approach to consider the periodic-nature of rotations and naturally represent its uncertainty. We extensively compare PHASER against several well-known registration algorithms on both simulated datasets, and real-world data acquired using different sensor configurations. Our results show that PHASER can globally align pointclouds in less than 100ms with an average accuracy of 2cm and 0.5deg, is resilient against noise, and can handle partial overlap.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Active Model Learning using Informative Trajectories for Improved Closed-Loop Control on Real Robots
Authors:
Weixuan Zhang,
Marco Tognon,
Lionel Ott,
Roland Siegwart,
Juan Nieto
Abstract:
Model-based controllers on real robots require accurate knowledge of the system dynamics to perform optimally. For complex dynamics, first-principles modeling is not sufficiently precise, and data-driven approaches can be leveraged to learn a statistical model from real experiments. However, the efficient and effective data collection for such a data-driven system on real robots is still an open c…
▽ More
Model-based controllers on real robots require accurate knowledge of the system dynamics to perform optimally. For complex dynamics, first-principles modeling is not sufficiently precise, and data-driven approaches can be leveraged to learn a statistical model from real experiments. However, the efficient and effective data collection for such a data-driven system on real robots is still an open challenge. This paper introduces an optimization problem formulation to find an informative trajectory that allows for efficient data collection and model learning. We present a sampling-based method that computes an approximation of the trajectory that minimizes the prediction uncertainty of the dynamics model. This trajectory is then executed, collecting the data to update the learned model. In experiments we demonstrate the capabilities of our proposed framework when applied to a complex omnidirectional flying vehicle with tiltable rotors. Using our informative trajectories results in models which outperform models obtained from non-informative trajectory by 13.3\% with the same amount of training data. Furthermore, we show that the model learned from informative trajectories generalizes better than the one learned from non-informative trajectories, achieving better tracking performance on different tasks.
△ Less
Submitted 14 May, 2021; v1 submitted 20 January, 2021;
originally announced January 2021.
-
Fractional model of COVID-19 applied to Galicia, Spain and Portugal
Authors:
Faical Ndairou,
Ivan Area,
Juan J. Nieto,
Cristiana J. Silva,
Delfim F. M. Torres
Abstract:
A fractional compartmental mathematical model for the spread of the COVID-19 disease is proposed. Special focus has been done on the transmissibility of super-spreaders individuals. Numerical simulations are shown for data of Galicia, Spain, and Portugal. For each region, the order of the Caputo derivative takes a different value, that is not close to one, showing the relevance of considering frac…
▽ More
A fractional compartmental mathematical model for the spread of the COVID-19 disease is proposed. Special focus has been done on the transmissibility of super-spreaders individuals. Numerical simulations are shown for data of Galicia, Spain, and Portugal. For each region, the order of the Caputo derivative takes a different value, that is not close to one, showing the relevance of considering fractional models.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Volumetric Grasping Network: Real-time 6 DOF Grasp Detection in Clutter
Authors:
Michel Breyer,
Jen Jen Chung,
Lionel Ott,
Roland Siegwart,
Juan Nieto
Abstract:
General robot grasping in clutter requires the ability to synthesize grasps that work for previously unseen objects and that are also robust to physical interactions, such as collisions with other objects in the scene. In this work, we design and train a network that predicts 6 DOF grasps from 3D scene information gathered from an on-board sensor such as a wrist-mounted depth camera. Our proposed…
▽ More
General robot grasping in clutter requires the ability to synthesize grasps that work for previously unseen objects and that are also robust to physical interactions, such as collisions with other objects in the scene. In this work, we design and train a network that predicts 6 DOF grasps from 3D scene information gathered from an on-board sensor such as a wrist-mounted depth camera. Our proposed Volumetric Grasping Network (VGN) accepts a Truncated Signed Distance Function (TSDF) representation of the scene and directly outputs the predicted grasp quality and the associated gripper orientation and opening width for each voxel in the queried 3D volume. We show that our approach can plan grasps in only 10 ms and is able to clear 92% of the objects in real-world clutter removal experiments without the need for explicit collision checking. The real-time capability opens up the possibility for closed-loop grasp planning, allowing robots to handle disturbances, recover from errors and provide increased robustness. Code is available at https://github.com/ethz-asl/vgn.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Multiple Hypothesis Semantic Mapping for Robust Data Association
Authors:
Lukas Bernreiter,
Abel Gawel,
Hannes Sommer,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
In this paper, we present a semantic mapping approach with multiple hypothesis tracking for data association. As semantic information has the potential to overcome ambiguity in measurements and place recognition, it forms an eminent modality for autonomous systems. This is particularly evident in urban scenarios with several similar looking surroundings. Nevertheless, it requires the handling of a…
▽ More
In this paper, we present a semantic mapping approach with multiple hypothesis tracking for data association. As semantic information has the potential to overcome ambiguity in measurements and place recognition, it forms an eminent modality for autonomous systems. This is particularly evident in urban scenarios with several similar looking surroundings. Nevertheless, it requires the handling of a non-Gaussian and discrete random variable coming from object detectors. Previous methods facilitate semantic information for global localization and data association to reduce the instance ambiguity between the landmarks. However, many of these approaches do not deal with the creation of complete globally consistent representations of the environment and typically do not scale well. We utilize multiple hypothesis trees to derive a probabilistic data association for semantic measurements by means of position, instance and class to create a semantic representation. We propose an optimized mapping method and make use of a pose graph to derive a novel semantic SLAM solution. Furthermore, we show that semantic covisibility graphs allow for a precise place recognition in urban environments. We verify our approach using real-world outdoor dataset and demonstrate an average drift reduction of 33 % w.r.t. the raw odometry source. Moreover, our approach produces 55 % less hypotheses on average than a regular multiple hypotheses approach.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
NavRep: Unsupervised Representations for Reinforcement Learning of Robot Navigation in Dynamic Human Environments
Authors:
Daniel Dugas,
Juan Nieto,
Roland Siegwart,
Jen Jen Chung
Abstract:
Robot navigation is a task where reinforcement learning approaches are still unable to compete with traditional path planning. State-of-the-art methods differ in small ways, and do not all provide reproducible, openly available implementations. This makes comparing methods a challenge. Recent research has shown that unsupervised learning methods can scale impressively, and be leveraged to solve di…
▽ More
Robot navigation is a task where reinforcement learning approaches are still unable to compete with traditional path planning. State-of-the-art methods differ in small ways, and do not all provide reproducible, openly available implementations. This makes comparing methods a challenge. Recent research has shown that unsupervised learning methods can scale impressively, and be leveraged to solve difficult problems. In this work, we design ways in which unsupervised learning can be used to assist reinforcement learning for robot navigation. We train two end-to-end, and 18 unsupervised-learning-based architectures, and compare them, along with existing approaches, in unseen test cases. We demonstrate our approach working on a real life robot. Our results show that unsupervised learning methods are competitive with end-to-end methods. We also highlight the importance of various components such as input representation, predictive unsupervised learning, and latent features. We make all our models publicly available, as well as training and testing environments, and tools. This release also includes OpenAI-gym-compatible environments designed to emulate the training conditions described by other papers, with as much fidelity as possible. Our hope is that this helps in bringing together the field of RL for robot navigation, and allows meaningful comparisons across state-of-the-art methods.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Out-of-Distribution Detection for Automotive Perception
Authors:
Julia Nitsch,
Masha Itkina,
Ransalu Senanayake,
Juan Nieto,
Max Schmidt,
Roland Siegwart,
Mykel J. Kochenderfer,
Cesar Cadena
Abstract:
Neural networks (NNs) are widely used for object classification in autonomous driving. However, NNs can fail on input data not well represented by the training dataset, known as out-of-distribution (OOD) data. A mechanism to detect OOD samples is important for safety-critical applications, such as automotive perception, to trigger a safe fallback mode. NNs often rely on softmax normalization for c…
▽ More
Neural networks (NNs) are widely used for object classification in autonomous driving. However, NNs can fail on input data not well represented by the training dataset, known as out-of-distribution (OOD) data. A mechanism to detect OOD samples is important for safety-critical applications, such as automotive perception, to trigger a safe fallback mode. NNs often rely on softmax normalization for confidence estimation, which can lead to high confidences being assigned to OOD samples, thus hindering the detection of failures. This paper presents a method for determining whether inputs are OOD, which does not require OOD data during training and does not increase the computational cost of inference. The latter property is especially important in automotive applications with limited computational resources and real-time constraints. Our proposed approach outperforms state-of-the-art methods on real-world automotive datasets.
△ Less
Submitted 5 September, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Automatic Extension of a Symbolic Mobile Manipulation Skill Set
Authors:
Julian Förster,
Lionel Ott,
Juan Nieto,
Roland Siegwart,
Jen Jen Chung
Abstract:
Symbolic planning can provide an intuitive interface for non-expert users to operate autonomous robots by abstracting away much of the low-level programming. However, symbolic planners assume that the initially provided abstract domain and problem descriptions are closed and complete. This means that they are fundamentally unable to adapt to changes in the environment or task that are not captured…
▽ More
Symbolic planning can provide an intuitive interface for non-expert users to operate autonomous robots by abstracting away much of the low-level programming. However, symbolic planners assume that the initially provided abstract domain and problem descriptions are closed and complete. This means that they are fundamentally unable to adapt to changes in the environment or task that are not captured by the initial description. We propose a method that allows an agent to automatically extend its skill set, and thus the abstract description, upon encountering such a situation. We introduce strategies for generalizing from previous experience, completing sequences of key actions and discovering preconditions to ensure the efficiency of our skill sequence exploration scheme. The resulting system is evaluated in simulation on object rearrangement tasks. Compared to a Monte Carlo Tree Search baseline, our strategies for efficient search have on average a 29% higher success rate at a 68% faster runtime.
△ Less
Submitted 2 September, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
A Unified Approach for Autonomous Volumetric Exploration of Large Scale Environments under Severe Odometry Drift
Authors:
Lukas Schmid,
Victor Reijgwart,
Lionel Ott,
Juan Nieto,
Roland Siegwart,
Cesar Cadena
Abstract:
Exploration is a fundamental problem in robot autonomy. A major limitation, however, is that during exploration robots oftentimes have to rely on on-board systems alone for state estimation, accumulating significant drift over time in large environments. Drift can be detrimental to robot safety and exploration performance. In this work, a submap-based, multi-layer approach for both mapping and pla…
▽ More
Exploration is a fundamental problem in robot autonomy. A major limitation, however, is that during exploration robots oftentimes have to rely on on-board systems alone for state estimation, accumulating significant drift over time in large environments. Drift can be detrimental to robot safety and exploration performance. In this work, a submap-based, multi-layer approach for both mapping and planning is proposed to enable safe and efficient volumetric exploration of large scale environments despite odometry drift. The central idea of our approach combines local (temporally and spatially) and global mapping to guarantee safety and efficiency. Similarly, our planning approach leverages the presented map to compute global volumetric frontiers in a changing global map and utilizes the nature of exploration dealing with partial information for efficient local and global planning. The presented system is thoroughly evaluated and shown to outperform state of the art methods even under drift-free conditions. Our system, termed GLoca}, will be made available open source.
△ Less
Submitted 5 March, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Freetures: Localization in Signed Distance Function Maps
Authors:
Alexander Millane,
Helen Oleynikova,
Christian Lanegger,
Jeff Delmerico,
Juan Nieto,
Roland Siegwart,
Marc Pollefeys,
Cesar Cadena
Abstract:
Localization of a robotic system within a previously mapped environment is important for reducing estimation drift and for reusing previously built maps. Existing techniques for geometry-based localization have focused on the description of local surface geometry, usually using pointclouds as the underlying representation. We propose a system for geometry-based localization that extracts features…
▽ More
Localization of a robotic system within a previously mapped environment is important for reducing estimation drift and for reusing previously built maps. Existing techniques for geometry-based localization have focused on the description of local surface geometry, usually using pointclouds as the underlying representation. We propose a system for geometry-based localization that extracts features directly from an implicit surface representation: the Signed Distance Function (SDF). The SDF varies continuously through space, which allows the proposed system to extract and utilize features describing both surfaces and free-space. Through evaluations on public datasets, we demonstrate the flexibility of this approach, and show an increase in localization performance over state-of-the-art handcrafted surfaces-only descriptors. We achieve an average improvement of ~12% on an RGB-D dataset and ~18% on a LiDAR-based dataset. Finally, we demonstrate our system for localizing a LiDAR-equipped MAV within a previously built map of a search and rescue training ground.
△ Less
Submitted 21 October, 2020; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Optimal control of vaccination and plasma transfusion with potential usefulness for COVID-19
Authors:
Juliana Couras,
Ivan Area,
Juan J. Nieto,
Cristiana J. Silva,
Delfim F. M. Torres
Abstract:
The SEIR model is a compartmental model used to simulate the dynamics of an epidemic. In this chapter, we introduce two control functions in the compartmental SEIR model representing vaccination and plasma transfusion. Optimal control problems are proposed to study the effects of these two control measures, on the reduction of infected individuals and increase of recovered ones, with minimal costs…
▽ More
The SEIR model is a compartmental model used to simulate the dynamics of an epidemic. In this chapter, we introduce two control functions in the compartmental SEIR model representing vaccination and plasma transfusion. Optimal control problems are proposed to study the effects of these two control measures, on the reduction of infected individuals and increase of recovered ones, with minimal costs. Up to our knowledge, the plasma transfusion treatment has never been considered as a control strategy for epidemics mitigation. The proposed vaccination and treatment strategies may have a real application in the challenging and hard problem of controlling the COVID-19 pandemic.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
Optimal control of the COVID-19 pandemic: controlled sanitary deconfinement in Portugal
Authors:
Cristiana J. Silva,
Carla Cruz,
Delfim F. M. Torres,
Alberto P. Munuzuri,
Alejandro Carballosa,
Ivan Area,
Juan J. Nieto,
Rui Fonseca-Pinto,
Rui Passadouro da Fonseca,
Estevao Soares dos Santos,
Wilson Abreu,
Jorge Mira
Abstract:
The COVID-19 pandemic has forced policy makers to decree urgent confinements to stop a rapid and massive contagion. However, after that stage, societies are being forced to find an equilibrium between the need to reduce contagion rates and the need to reopen their economies. The experience hitherto lived has provided data on the evolution of the pandemic, in particular the population dynamics as a…
▽ More
The COVID-19 pandemic has forced policy makers to decree urgent confinements to stop a rapid and massive contagion. However, after that stage, societies are being forced to find an equilibrium between the need to reduce contagion rates and the need to reopen their economies. The experience hitherto lived has provided data on the evolution of the pandemic, in particular the population dynamics as a result of the public health measures enacted. This allows the formulation of forecasting mathematical models to anticipate the consequences of political decisions. Here we propose a model to do so and apply it to the case of Portugal. With a mathematical deterministic model, described by a system of ordinary differential equations, we fit the real evolution of COVID-19 in this country. After identification of the population readiness to follow social restrictions, by analyzing the social media, we incorporate this effect in a version of the model that allow us to check different scenarios. This is realized by considering a Monte Carlo discrete version of the previous model coupled via a complex network. Then, we apply optimal control theory to maximize the number of people returning to "normal life" and minimizing the number of active infected individuals with minimal economical costs while warranting a low level of hospitalizations. This work allows testing various scenarios of pandemic management (closure of sectors of the economy, partial/total compliance with protection measures by citizens, number of beds in intensive care units, etc.), ensuring the responsiveness of the health system, thus being a public health decision support tool.
△ Less
Submitted 2 February, 2021; v1 submitted 1 September, 2020;
originally announced September 2020.
-
IDOL: A Framework for IMU-DVS Odometry using Lines
Authors:
Cedric Le Gentil,
Florian Tschopp,
Ignacio Alzugaray,
Teresa Vidal-Calleja,
Roland Siegwart,
Juan Nieto
Abstract:
In this paper, we introduce IDOL, an optimization-based framework for IMU-DVS Odometry using Lines. Event cameras, also called Dynamic Vision Sensors (DVSs), generate highly asynchronous streams of events triggered upon illumination changes for each individual pixel. This novel paradigm presents advantages in low illumination conditions and high-speed motions. Nonetheless, this unconventional sens…
▽ More
In this paper, we introduce IDOL, an optimization-based framework for IMU-DVS Odometry using Lines. Event cameras, also called Dynamic Vision Sensors (DVSs), generate highly asynchronous streams of events triggered upon illumination changes for each individual pixel. This novel paradigm presents advantages in low illumination conditions and high-speed motions. Nonetheless, this unconventional sensing modality brings new challenges to perform scene reconstruction or motion estimation. The proposed method offers to leverage a continuous-time representation of the inertial readings to associate each event with timely accurate inertial data. The method's front-end extracts event clusters that belong to line segments in the environment whereas the back-end estimates the system's trajectory alongside the lines' 3D position by minimizing point-to-line distances between individual events and the lines' projection in the image space. A novel attraction/repulsion mechanism is presented to accurately estimate the lines' extremities, avoiding their explicit detection in the event data. The proposed method is benchmarked against a state-of-the-art frame-based visual-inertial odometry framework using public datasets. The results show that IDOL performs at the same order of magnitude on most datasets and even shows better orientation estimates. These findings can have a great impact on new algorithms for DVS.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Quasi-periodic travelling waves for a class of damped beams on rectangular tori
Authors:
Bochao Chen,
Yixian Gao,
Juan J. Nieto
Abstract:
This article concerns a class of beam equations with damping on rectangular tori. When the generators satisfy certain relationship, by excluding some value of two model parameters, we prove that such models admit small amplitude quasi-periodic travelling wave solutions with two frequencies, which are continuations of two rotating wave solutions with one frequency. This result holds not only for an…
▽ More
This article concerns a class of beam equations with damping on rectangular tori. When the generators satisfy certain relationship, by excluding some value of two model parameters, we prove that such models admit small amplitude quasi-periodic travelling wave solutions with two frequencies, which are continuations of two rotating wave solutions with one frequency. This result holds not only for an isotropic torus, but also for an anisotropic torus. The proof is mainly based on a Lyapunov--Schmidt reduction together with the implicit function theorem.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
Learning dynamics for improving control of overactuated flying systems
Authors:
Weixuan Zhang,
Maximilian Brunner,
Lionel Ott,
Mina Kamel,
Roland Siegwart,
Juan Nieto
Abstract:
Overactuated omnidirectional flying vehicles are capable of generating force and torque in any direction, which is important for applications such as contact-based industrial inspection. This comes at the price of an increase in model complexity. These vehicles usually have non-negligible, repetitive dynamics that are hard to model, such as the aerodynamic interference between the propellers. This…
▽ More
Overactuated omnidirectional flying vehicles are capable of generating force and torque in any direction, which is important for applications such as contact-based industrial inspection. This comes at the price of an increase in model complexity. These vehicles usually have non-negligible, repetitive dynamics that are hard to model, such as the aerodynamic interference between the propellers. This makes it difficult for high-performance trajectory tracking using a model-based controller. This paper presents an approach that combines a data-driven and a first-principle model for the system actuation and uses it to improve the controller. In a first step, the first-principle model errors are learned offline using a Gaussian Process (GP) regressor. At runtime, the first-principle model and the GP regressor are used jointly to obtain control commands. This is formulated as an optimization problem, which avoids ambiguous solutions present in a standard inverse model in overactuated systems, by only using forward models. The approach is validated using a tilt-arm overactuated omnidirectional flying vehicle performing attitude trajectory tracking. The results show that with our proposed method, the attitude trajectory error is reduced by 32% on average as compared to a nominal PID controller.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Modeling glioma invasion with anisotropy- and hypoxia-triggered motility enhancement: from subcellular dynamics to macroscopic PDEs with multiple taxis
Authors:
G. Corbin,
C. Engwer,
A. Klar,
J. Nieto,
J. Soler,
C. Surulescu,
M. Wenske
Abstract:
We deduce a model for glioma invasion making use of DTI data and accounting for the dynamics of brain tissue being actively degraded by tumor cells via excessive acidity production, but also according to the local orientation of tissue fibers. Our approach has a multiscale character: we start with a microscopic description of single cell dynamics including biochemical and/or biophysical effects of…
▽ More
We deduce a model for glioma invasion making use of DTI data and accounting for the dynamics of brain tissue being actively degraded by tumor cells via excessive acidity production, but also according to the local orientation of tissue fibers. Our approach has a multiscale character: we start with a microscopic description of single cell dynamics including biochemical and/or biophysical effects of the tumor microenvironment, translated on the one hand into cell stress and corresponding forces and on the other hand into receptor binding dynamics; these lead on the mesoscopic level to kinetic equations involving transport terms w.r.t. all kinetic variables and eventually, by appropriate upscaling, to a macroscopic reaction-diffusion equation for glioma density with multiple taxis, coupled to (integro-)differential equations characterizing the evolution of acidity and macro- and mesoscopic tissue. Our approach also allows for a switch between fast and slower moving regimes, %diffusion- and drift-dominated regimes, according to the local tissue anisotropy. We perform numerical simulations to investigate the behavior of solutions w.r.t. various scenarios of tissue dynamics and the dominance of each of the tactic terms, also suggesting how the model can be used to perform a numerical necrosis-based tumor grading or support radiotherapy planning by dose painting. We also provide a discussion about alternative ways of including cell level environmental influences in such multiscale modeling approach, ultimately leading in the macroscopic limit to (multiple) taxis.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Voxgraph: Globally Consistent, Volumetric Mapping using Signed Distance Function Submaps
Authors:
Victor Reijgwart,
Alexander Millane,
Helen Oleynikova,
Roland Siegwart,
Cesar Cadena,
Juan Nieto
Abstract:
Globally consistent dense maps are a key requirement for long-term robot navigation in complex environments. While previous works have addressed the challenges of dense mapping and global consistency, most require more computational resources than may be available on-board small robots. We propose a framework that creates globally consistent volumetric maps on a CPU and is lightweight enough to ru…
▽ More
Globally consistent dense maps are a key requirement for long-term robot navigation in complex environments. While previous works have addressed the challenges of dense mapping and global consistency, most require more computational resources than may be available on-board small robots. We propose a framework that creates globally consistent volumetric maps on a CPU and is lightweight enough to run on computationally constrained platforms. Our approach represents the environment as a collection of overlapping Signed Distance Function (SDF) submaps, and maintains global consistency by computing an optimal alignment of the submap collection. By exploiting the underlying SDF representation, we generate correspondence free constraints between submap pairs that are computationally efficient enough to optimize the global problem each time a new submap is added. We deploy the proposed system on a hexacopter Micro Aerial Vehicle (MAV) with an Intel i7-8650U CPU in two realistic scenarios: mapping a large-scale area using a 3D LiDAR, and mapping an industrial space using an RGB-D camera. In the large-scale outdoor experiments, the system optimizes a 120x80m map in less than 4s and produces absolute trajectory RMSEs of less than 1m over 400m trajectories. Our complete system, called voxgraph, is available as open source.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Mathematical Modeling of COVID-19 Transmission Dynamics with a Case Study of Wuhan
Authors:
Faical Ndairou,
Ivan Area,
Juan J. Nieto,
Delfim F. M. Torres
Abstract:
We propose a compartmental mathematical model for the spread of the COVID-19 disease with special focus on the transmissibility of super-spreaders individuals. We compute the basic reproduction number threshold, we study the local stability of the disease free equilibrium in terms of the basic reproduction number, and we investigate the sensitivity of the model with respect to the variation of eac…
▽ More
We propose a compartmental mathematical model for the spread of the COVID-19 disease with special focus on the transmissibility of super-spreaders individuals. We compute the basic reproduction number threshold, we study the local stability of the disease free equilibrium in terms of the basic reproduction number, and we investigate the sensitivity of the model with respect to the variation of each one of its parameters. Numerical simulations show the suitability of the proposed COVID-19 model for the outbreak that occurred in Wuhan, China.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Go Fetch: Mobile Manipulation in Unstructured Environments
Authors:
Kenneth Blomqvist,
Michel Breyer,
Andrei Cramariuc,
Julian Förster,
Margarita Grinvald,
Florian Tschopp,
Jen Jen Chung,
Lionel Ott,
Juan Nieto,
Roland Siegwart
Abstract:
With humankind facing new and increasingly large-scale challenges in the medical and domestic spheres, automation of the service sector carries a tremendous potential for improved efficiency, quality, and safety of operations. Mobile robotics can offer solutions with a high degree of mobility and dexterity, however these complex systems require a multitude of heterogeneous components to be careful…
▽ More
With humankind facing new and increasingly large-scale challenges in the medical and domestic spheres, automation of the service sector carries a tremendous potential for improved efficiency, quality, and safety of operations. Mobile robotics can offer solutions with a high degree of mobility and dexterity, however these complex systems require a multitude of heterogeneous components to be carefully integrated into one consistent framework. This work presents a mobile manipulation system that combines perception, localization, navigation, motion planning and grasping skills into one common workflow for fetch and carry applications in unstructured indoor environments. The tight integration across the various modules is experimentally demonstrated on the task of finding a commonly available object in an office environment, grasping it, and delivering it to a desired drop-off location. The accompanying video is available at https://youtu.be/e89_Xg1sLnY.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Active Interaction Force Control for Contact-Based Inspection with a Fully Actuated Aerial Vehicle
Authors:
Karen Bodie,
Maximilian Brunner,
Michael Pantic,
Stefan Walser,
Patrick Pfändler,
Ueli Angst,
Roland Siegwart,
Juan Nieto
Abstract:
This paper presents and validates active interaction force control and planning for fully actuated and omnidirectional aerial manipulation platforms, with the goal of aerial contact inspection in unstructured environments. We present a variable axis-selective impedance control which integrates direct force control for intentional interaction, using feedback from an on-board force sensor. The contr…
▽ More
This paper presents and validates active interaction force control and planning for fully actuated and omnidirectional aerial manipulation platforms, with the goal of aerial contact inspection in unstructured environments. We present a variable axis-selective impedance control which integrates direct force control for intentional interaction, using feedback from an on-board force sensor. The control approach aims to reject disturbances in free flight, while handling unintentional interaction, and actively controlling desired interaction forces. A fully actuated and omnidirectional tilt-rotor aerial system is used to show capabilities of the control and planning methods. Experiments demonstrate disturbance rejection, push-and-slide interaction, and force controlled interaction in different flight orientations. The system is validated as a tool for non-destructive testing of concrete infrastructure, and statistical results of
△ Less
Submitted 5 January, 2021; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Design and optimal control of a tiltrotor micro aerial vehicle for efficient omnidirectional flight
Authors:
Mike Allenspach,
Karen Bodie,
Maximilian Brunner,
Luca Rinsoz,
Zachary Taylor,
Mina Kamel,
Roland Siegwart,
Juan Nieto
Abstract:
Omnidirectional micro aerial vehicles are a growing field of research, with demonstrated advantages for aerial interaction and uninhibited observation. While systems with complete pose omnidirectionality and high hover efficiency have been developed independently, a robust system that combines the two has not been demonstrated to date. This paper presents the design and optimal control of a novel…
▽ More
Omnidirectional micro aerial vehicles are a growing field of research, with demonstrated advantages for aerial interaction and uninhibited observation. While systems with complete pose omnidirectionality and high hover efficiency have been developed independently, a robust system that combines the two has not been demonstrated to date. This paper presents the design and optimal control of a novel omnidirectional vehicle that can exert a wrench in any orientation while maintaining efficient flight configurations. The system design is motivated by the result of a morphology design optimization. A six degrees of freedom optimal controller is derived, with an actuator allocation approach that implements task prioritization, and is robust to singularities. Flight experiments demonstrate and verify the system's capabilities.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Whole-Body Control of a Mobile Manipulator using End-to-End Reinforcement Learning
Authors:
Julien Kindle,
Fadri Furrer,
Tonci Novkovic,
Jen Jen Chung,
Roland Siegwart,
Juan Nieto
Abstract:
Mobile manipulation is usually achieved by sequentially executing base and manipulator movements. This simplification, however, leads to a loss in efficiency and in some cases a reduction of workspace size. Even though different methods have been proposed to solve Whole-Body Control (WBC) online, they are either limited by a kinematic model or do not allow for reactive, online obstacle avoidance.…
▽ More
Mobile manipulation is usually achieved by sequentially executing base and manipulator movements. This simplification, however, leads to a loss in efficiency and in some cases a reduction of workspace size. Even though different methods have been proposed to solve Whole-Body Control (WBC) online, they are either limited by a kinematic model or do not allow for reactive, online obstacle avoidance. In order to overcome these drawbacks, in this work, we propose an end-to-end Reinforcement Learning (RL) approach to WBC. We compared our learned controller against a state-of-the-art sampling-based method in simulation and achieved faster overall mission times. In addition, we validated the learned policy on our mobile manipulator RoyalPanda in challenging narrow corridor environments.
△ Less
Submitted 25 February, 2020;
originally announced March 2020.
-
MOZARD: Multi-Modal Localization for Autonomous Vehicles in Urban Outdoor Environments
Authors:
Lukas Schaupp,
Patrick Pfreundschuh,
Mathias Buerki,
Cesar Cadena,
Roland Siegwart,
Juan Nieto
Abstract:
Visually poor scenarios are one of the main sources of failure in visual localization systems in outdoor environments. To address this challenge, we present MOZARD, a multi-modal localization system for urban outdoor environments using vision and LiDAR. By extending our preexisting key-point based visual multi-session local localization approach with the use of semantic data, an improved localizat…
▽ More
Visually poor scenarios are one of the main sources of failure in visual localization systems in outdoor environments. To address this challenge, we present MOZARD, a multi-modal localization system for urban outdoor environments using vision and LiDAR. By extending our preexisting key-point based visual multi-session local localization approach with the use of semantic data, an improved localization recall can be achieved across vastly different appearance conditions. In particular we focus on the use of curbstone information because of their broad distribution and reliability within urban environments. We present thorough experimental evaluations on several driving kilometers in challenging urban outdoor environments, analyze the recall and accuracy of our localization system and demonstrate in a case study possible failure cases of each subsystem. We demonstrate that MOZARD is able to bridge scenarios where our previous work VIZARD fails, hence yielding an increased recall performance, while a similar localization accuracy of 0.2m is achieved
△ Less
Submitted 2 March, 2020; v1 submitted 2 March, 2020;
originally announced March 2020.
-
A fuzzy method for solving fuzzy fractional differential equations based on the generalized fuzzy Taylor expansion
Authors:
T. Allahviranloo,
Z. Noeiaghdam,
S. Noeiaghdam,
S. Salahshour,
Juan J. Nieto
Abstract:
In many mathematical types of research, in order to solve the fuzzy fractional differential equations, we should transform these problems into crisp corresponding problems and by solving them the approximate solution can be obtained. The aim of this paper is to present a new direct method to solve the fuzzy fractional differential equations without this transformation. In this work, the fuzzy gene…
▽ More
In many mathematical types of research, in order to solve the fuzzy fractional differential equations, we should transform these problems into crisp corresponding problems and by solving them the approximate solution can be obtained. The aim of this paper is to present a new direct method to solve the fuzzy fractional differential equations without this transformation. In this work, the fuzzy generalized Taylor expansion by using the sense of fuzzy Caputo fractional derivative for fuzzy-valued functions is presented. For solving fuzzy fractional differential equations, the fuzzy generalized Euler's method is applied. In order to show the accuracy and efficiency of the presented method, the local and global truncation errors are determined. Moreover, the consistency, the convergence and the stability of the generalized Euler's method are proved in detail. Eventually, the numerical examples, especially in the switching point case, show the flexibility and the capability of the presented method.
△ Less
Submitted 30 October, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
VersaVIS: An Open Versatile Multi-Camera Visual-Inertial Sensor Suite
Authors:
Florian Tschopp,
Michael Riner,
Marius Fehr,
Lukas Bernreiter,
Fadri Furrer,
Tonci Novkovic,
Andreas Pfrunder,
Cesar Cadena,
Roland Siegwart,
Juan Nieto
Abstract:
Robust and accurate pose estimation is crucial for many applications in mobile robotics. Extending visual Simultaneous Localization and Mapping (SLAM) with other modalities such as an inertial measurement unit (IMU) can boost robustness and accuracy. However, for a tight sensor fusion, accurate time synchronization of the sensors is often crucial. Changing exposure times, internal sensor filtering…
▽ More
Robust and accurate pose estimation is crucial for many applications in mobile robotics. Extending visual Simultaneous Localization and Mapping (SLAM) with other modalities such as an inertial measurement unit (IMU) can boost robustness and accuracy. However, for a tight sensor fusion, accurate time synchronization of the sensors is often crucial. Changing exposure times, internal sensor filtering, multiple clock sources and unpredictable delays from operation system scheduling and data transfer can make sensor synchronization challenging. In this paper, we present VersaVIS, an Open Versatile Multi-Camera Visual-Inertial Sensor Suite aimed to be an efficient research platform for easy deployment, integration and extension for many mobile robotic applications. VersaVIS provides a complete, open-source hardware, firmware and software bundle to perform time synchronization of multiple cameras with an IMU featuring exposure compensation, host clock translation and independent and stereo camera triggering. The sensor suite supports a wide range of cameras and IMUs to match the requirements of the application. The synchronization accuracy of the framework is evaluated on multiple experiments achieving timing accuracy of less than 1 ms. Furthermore, the applicability and versatility of the sensor suite is demonstrated in multiple applications including visual-inertial SLAM, multi-camera applications, multimodal mapping, reconstruction and object based mapping.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
Object Finding in Cluttered Scenes Using Interactive Perception
Authors:
Tonci Novkovic,
Remi Pautrat,
Fadri Furrer,
Michel Breyer,
Roland Siegwart,
Juan Nieto
Abstract:
Object finding in clutter is a skill that requires perception of the environment and in many cases physical interaction. In robotics, interactive perception defines a set of algorithms that leverage actions to improve the perception of the environment, and vice versa use perception to guide the next action. Scene interactions are difficult to model, therefore, most of the current systems use prede…
▽ More
Object finding in clutter is a skill that requires perception of the environment and in many cases physical interaction. In robotics, interactive perception defines a set of algorithms that leverage actions to improve the perception of the environment, and vice versa use perception to guide the next action. Scene interactions are difficult to model, therefore, most of the current systems use predefined heuristics. This limits their ability to efficiently search for the target object in a complex environment. In order to remove heuristics and the need for explicit models of the interactions, in this work we propose a reinforcement learning based active and interactive perception system for scene exploration and object search. We evaluate our work both in simulated and in real-world experiments using a robotic manipulator equipped with an RGB and a depth camera, and compare our system to two baselines. The results indicate that our approach, trained in simulation only, transfers smoothly to reality and can solve the object finding task efficiently and with more than 88% success rate.
△ Less
Submitted 30 May, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Norms and scalar products for AdS_3
Authors:
Juan Miguel Nieto,
Alessandro Torrielli
Abstract:
We compute scalar products and norms of Bethe vectors in the massless sector of AdS_3 integrable superstring theories, by exploiting the general difference form of the S-matrix of massless excitations in the pure Ramond-Ramond case, and the difference form valid only in the BMN limit in the mixed-flux case. We obtain determinant-like formulas for the scalar products, generalising a procedure devel…
▽ More
We compute scalar products and norms of Bethe vectors in the massless sector of AdS_3 integrable superstring theories, by exploiting the general difference form of the S-matrix of massless excitations in the pure Ramond-Ramond case, and the difference form valid only in the BMN limit in the mixed-flux case. We obtain determinant-like formulas for the scalar products, generalising a procedure developed in previous literature for standard R-matrices to the present non-conventional situation. We verify our expressions against explicit calculations using Bethe vectors for chains of small length, and perform some computer tests of the exact formulas as far as numerical accuracy sustains us. This should be the first step towards the derivation of integrable form-factors and correlation functions for the AdS_3 S-matrix theory.
△ Less
Submitted 25 November, 2019; v1 submitted 15 November, 2019;
originally announced November 2019.