230 research outputs found
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
- …