Luis Benet
YOU?
Author Swipe
View article: Jet transport applications to the preliminary orbit determination problem
Jet transport applications to the preliminary orbit determination problem Open
The typical angles-only orbit determination (OD) process first fits a Keplerian preliminary orbit to a set of topocentric right ascension and declination measurements and then refines it via a nonlinear least squares minimization procedure…
View article: ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Open
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with artificial intelligence (AI) components. Specifically, machine learning (ML) components in cyber-physical systems (CPS…
View article: ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: Verified propagation of imprecise probabilities in non-linear ODEs
Verified propagation of imprecise probabilities in non-linear ODEs Open
We combine reachability analysis and probability bounds analysis, which allow for imprecisely known random variables (multivariate intervals or p-boxes) to be specified as the initial states of a dynamical system. In combination, the metho…
View article: A framework to test interval arithmetic libraries and their IEEE 1788‐2015 compliance
A framework to test interval arithmetic libraries and their IEEE 1788‐2015 compliance Open
Summary As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a hi…
View article: A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance Open
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and …
View article: A smooth transition towards a Tracy–Widom distribution for the largest eigenvalue of interacting k-body fermionic embedded Gaussian ensembles
A smooth transition towards a Tracy–Widom distribution for the largest eigenvalue of interacting k-body fermionic embedded Gaussian ensembles Open
In spite of its simplicity, the central limit theorem captures one of the most outstanding phenomena in mathematical physics, that of universality. While this classical result is well understood, it is still not very clear what happens to …
View article: ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Open
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with artificial intelligence (AI) components. Specifically, machine learning (ML) components in cyber-physical systems (CPS…
View article: Transversal Yarkovsky acceleration for Apophis through jet transport
Transversal Yarkovsky acceleration for Apophis through jet transport Open
In this contribution we describe the jet transport techniques that we used in Pérez-Hernández and Benet (2022) for the estimation of the Yarkovsky transversal acceleration for (99942) Apophis, which included optical and radar astrometry ob…
View article: Quantum-classical correspondence of strongly chaotic many-body spin models
Quantum-classical correspondence of strongly chaotic many-body spin models Open
We study the quantum-classical correspondence for systems with interacting spin-particles that are strongly chaotic in the classical limit. This is done in the presence of constants of motion associated with the fixed angular momenta of in…
View article: A smooth transition towards a Tracy-Widom distribution for the largest eigenvalue of interacting $k$-body fermionic Embedded Gaussian Ensembles
A smooth transition towards a Tracy-Widom distribution for the largest eigenvalue of interacting $k$-body fermionic Embedded Gaussian Ensembles Open
In spite of its simplicity, the central limit theorem captures one of the most outstanding phenomena in mathematical physics, that of universality. While this classical result is well understood it is still not very clear what happens to t…
View article: Testing interval arithmetic libraries, including their IEEE-1788 compliance
Testing interval arithmetic libraries, including their IEEE-1788 compliance Open
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it came to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and p…
View article: Rigorous time evolution of p-boxes in non-linear ODEs
Rigorous time evolution of p-boxes in non-linear ODEs Open
We combine reachability analysis and probability bounds analysis, which allow for imprecisely known random variables (multivariate intervals or p-boxes) to be specified as the initial states of a dynamical system. In combination, the metho…
View article: ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Open
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with artificial intelligence (AI) components. Specifically, machine learning (ML) components in cyber-physical systems (CPS…
View article: ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: Spectra, eigenstates and transport properties of a PT -symmetric ring
Spectra, eigenstates and transport properties of a PT -symmetric ring Open
We study, analytically and numerically, a simple -symmetric tight-binding ring with an onsite energy a at the gain and loss sites. We show that if a ≠ 0, the system generically exhibits an unbroken -symmetric phase. We study the natu…
View article: Spectra, eigenstates and transport properties of a $\mathcal{PT}$-symmetric ring
Spectra, eigenstates and transport properties of a $\mathcal{PT}$-symmetric ring Open
We study, analytically and numerically, a simple $\mathcal{PT}$-symmetric tight-binding ring with an onsite energy $a$ at the gain and loss sites. We show that if $a\neq 0$, the system generically exhibits an unbroken $\mathcal{PT}$-symmet…
View article: JuliaIntervals/IntervalArithmetic.jl: v0.17.6
JuliaIntervals/IntervalArithmetic.jl: v0.17.6 Open
IntervalArithmetic v0.17.6 Diff since v0.17.5 Closed issues: Rename interval_part -> interval for DecoratedInterval (#212) 📝🐞 ieee1788-constructors.jl - parse more cases (#222) nai should be a decorated interval (#233) cot and coth test ca…
View article: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: $\mathcal{PT}$-symmetric tight-binding chain with gain and loss: A completely solvable model
$\mathcal{PT}$-symmetric tight-binding chain with gain and loss: A completely solvable model Open
We present the analytical solution for the eigenvalues and eigenvectors of a $\mathcal{PT}$-symmetric tight-binding chain with gain and loss in a symmetric configuration. We show a simple method to predict the values of the parameters at w…
View article: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Open
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous a…
View article: On the dynamics of Comet 1P/Halley: Lyapunov and power spectra
On the dynamics of Comet 1P/Halley: Lyapunov and power spectra Open
Using a purely Newtonian model for the Solar System, we investigate the dynamics of comet 1P/Halley considering in particular the Lyapunov and power spectra of its orbit, using the nominal initial conditions of JPL's Horizons system. We ca…
View article: Two-particle quantum correlations in stochastically-coupled networks
Two-particle quantum correlations in stochastically-coupled networks Open
Quantum walks in dynamically-disordered networks have become an invaluable tool for understanding the physics of open quantum systems. Although much work has been carried out considering networks affected by diagonal disorder, it is of fun…
View article: TaylorSeries.jl: Taylor expansions in one and several variables in Julia
TaylorSeries.jl: Taylor expansions in one and several variables in Julia Open
The purpose of the TaylorSeries.jlpackage is to provide a framework to exploit Taylor polynomials in one and several variables in the Julia programming language (Bezanson, Edelman, Karpinski, & Shah, 2017).It can be thought of as providing…
View article: Robustness of optimal transport in disordered interacting many-body networks
Robustness of optimal transport in disordered interacting many-body networks Open
The robustness of quantum transport under various perturbations is analyzed in disordered interacting many-body systems, which are constructed from the embedded Gaussian random matrix ensembles (EGEs). The transport efficiency can be enhan…
View article: Probing two-particle exchange processes in two-mode Bose-Einstein condensates
Probing two-particle exchange processes in two-mode Bose-Einstein condensates Open
We study the fidelity decay and its freeze for an initial coherent state of\ntwo-mode Bose-Einstein condensates in the Fock regime considering a\nBose-Hubbard model that includes two-particle tunneling terms. By using\nlinear-response theo…