Periodic orbits in the restricted three body problem with earth-moon masses

Classification scheme for symmetric periodic orbits in restricted three body problem with two dimensions and earth-moon mass rati

Periodic orbits in the elliptic restricted three-body problem Technical report, 1 Jul. 1967 - 30 Jun. 1968

Periodic orbits in restricted three body proble

A Direct Multigrid Poisson Solver for Oct-Tree Adaptive Meshes

We describe a finite-volume method for solving the Poisson equation on oct-tree adaptive meshes using direct solvers for individual mesh blocks. The method is a modified version of the method presented by Huang and Greengard (2000), which works with finite-difference meshes and does not allow for shared boundaries between refined patches. Our algorithm is implemented within the FLASH code framework and makes use of the PARAMESH library, permitting efficient use of parallel computers. We describe the algorithm and present test results that demonstrate its accuracy.Comment: 10 pages, 6 figures, accepted by the Astrophysical Journal; minor revisions in response to referee's comments; added char

Instabilities and stickiness in a 3D rotating galactic potential

We study the dynamics in the neighborhood of simple and double unstable periodic orbits in a rotating 3D autonomous Hamiltonian system of galactic type. In order to visualize the four dimensional spaces of section we use the method of color and rotation. We investigate the structure of the invariant manifolds that we found in the neighborhood of simple and double unstable periodic orbits in the 4D spaces of section. We consider orbits in the neighborhood of the families x1v2, belonging to the x1 tree, and the z-axis (the rotational axis of our system). Close to the transition points from stability to simple instability, in the neighborhood of the bifurcated simple unstable x1v2 periodic orbits we encounter the phenomenon of stickiness as the asymptotic curves of the unstable manifold surround regions of the phase space occupied by rotational tori existing in the region. For larger energies, away from the bifurcating point, the consequents of the chaotic orbits form clouds of points with mixing of color in their 4D representations. In the case of double instability, close to x1v2 orbits, we find clouds of points in the four dimensional spaces of section. However, in some cases of double unstable periodic orbits belonging to the z-axis family we can visualize the associated unstable eigensurface. Chaotic orbits close to the periodic orbit remain sticky to this surface for long times (of the order of a Hubble time or more). Among the orbits we studied we found those close to the double unstable orbits of the x1v2 family having the largest diffusion speed.Comment: 29pages, 25 figures, accepted for publication in the International Journal of Bifurcation and Chao

Unfolding-Based Process Discovery

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper.Comment: This is the unabridged version of a paper with the same title appearead at the proceedings of ATVA 201

The evolution of the orbit distance in the double averaged restricted 3-body problem with crossing singularities

We study the long term evolution of the distance between two Keplerian confocal trajectories in the framework of the averaged restricted 3-body problem. The bodies may represent the Sun, a solar system planet and an asteroid. The secular evolution of the orbital elements of the asteroid is computed by averaging the equations of motion over the mean anomalies of the asteroid and the planet. When an orbit crossing with the planet occurs the averaged equations become singular. However, it is possible to define piecewise differentiable solutions by extending the averaged vector field beyond the singularity from both sides of the orbit crossing set. In this paper we improve the previous results, concerning in particular the singularity extraction technique, and show that the extended vector fields are Lipschitz-continuous. Moreover, we consider the distance between the Keplerian trajectories of the small body and of the planet. Apart from exceptional cases, we can select a sign for this distance so that it becomes an analytic map of the orbital elements near to crossing configurations. We prove that the evolution of the 'signed' distance along the averaged vector field is more regular than that of the elements in a neighborhood of crossing times. A comparison between averaged and non-averaged evolutions and an application of these results are shown using orbits of near-Earth asteroids.Comment: 29 pages, 8 figure

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

Abstract. This paper proposes a design method for discrete abstrac-tions of nonlinear systems using multi-resolution quantizer, which is ca-pable of handling state dependent approximation precision requirements. To this aim, we extend the notion of quantizer embedding, which has been proposed by the authors ’ previous works as a transformation from continuous-state systems to discrete-state systems, to a multi-resolution setting. Then, we propose a computational method that analyzes how a locally generated quantization error is propagated through the state space. Based on this method, we present an algorithm that generates a multi-resolution quantizer with a specified error precision by finite refine-ments. Discrete abstractions produced by the proposed method exhibit non-uniform distribution of discrete states and inputs.

Natural and sail-displaced doubly-symmetric Lagrange point orbits for polar coverage

This paper proposes the use of doubly-symmetric, eight-shaped orbits in the circular restricted three-body problem for continuous coverage of the high-latitude regions of the Earth. These orbits, for a range of amplitudes, spend a large fraction of their period above either pole of the Earth. It is shown that they complement Sun-synchronous polar and highly eccentric Molniya orbits, and present a possible alternative to low thrust pole-sitter orbits. Both natural and solar-sail displaced orbits are considered. Continuation methods are described and used to generate families of these orbits. Starting from ballistic orbits, other families are created either by increasing the sail lightness number, varying the period or changing the sail attitude. Some representative orbits are then chosen to demonstrate the visibility of high-latitude regions throughout the year. A stability analysis is also performed, revealing that the orbits are unstable: it is found that for particular orbits, a solar sail can reduce their instability. A preliminary design of a linear quadratic regulator is presented as a solution to stabilize the system by using the solar sail only. Finally, invariant manifolds are exploited to identify orbits that present the opportunity of a ballistic transfer directly from low Earth orbit

Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u