org.orekit.propagation

Interface FieldAdditionalStateProvider<T extends CalculusFieldElement<T>>

public interface FieldAdditionalStateProvider<T extends CalculusFieldElement<T>>

This interface represents providers for additional state data beyond SpacecraftState.

Propagators generate states that contain at least orbit, attitude, and mass. These states may however also contain additional states. Instances of classes implementing this interface are intended to be registered to propagators so they can add these additional states incrementally after having computed the basic components (orbit, attitude and mass).

Some additional states may depend on previous additional states to be already available the before they can be computed. It may even be impossible to compute some of these additional states at some time if they depend on conditions that are fulfilled only after propagation as started or some event has occurred. As the propagator builds the complete state incrementally, looping over the registered providers, it must call their getAdditionalState methods in an order that fulfill these dependencies that may be time-dependent and are not related to the order in which the providers are registered to the propagator. This reordering is performed each time the complete state is built, using a yield mechanism. The propagator first pushes all providers in a stack and then empty the stack, one provider at a time, taking care to select only providers that do not yield when asked. Consider for example a case where providers A, B and C have been registered and provider B needs in fact the additional state generated by provider C. Then when a complete state is built, the propagator puts the three providers in a new stack, and then starts the incremental generation of additional states. It first checks provider A which does not yield so it is popped from the stack and the additional state it generates is added. Then provider B is checked, but it yields because state from provider C is not yet available. So propagator checks provider C which does not yield, so it is popped out of the stack and applied. At this stage, provider B is the only remaining one in the stack, so it is checked again, but this time it does not yield because the state from provider C is available as it has just been added, so provider B is popped from the stack and applied. The stack is now empty and the propagator can return the completed state.

It is possible that at some stages in the propagation, a subset of the providers registered to a propagator all yied and cannot retrieve their additional state. This happens for example during the initialization phase of a propagator that computes State Transition Matrices or Jacobian matrices. These features are managed as secondary equations in the ODE integrator, and initialized after the primary equations (which correspond to orbit) have been initialized. So when the primary equation are initialized, the providers that depend on the secondary state will all yield. This behavior is expected. Another case occurs when users set up additional states that induce a dependency loop (state A depending on state B which depends on state C which depends on state A). In this case, the three corresponding providers will wait for each other and indefinitely yield. This second case is a deadlock and results from a design error of the additional states management at application level. The propagator cannot know it in advance if a subset of providers that all yield is normal or not. So at propagator level, when either situation is detected, the propagator just gives up and returns the most complete state it was able to compute, without generating any error. Errors will indeed not be triggered in the first case (once the primary equations have been initialized, the secondary equations will be initialized too), and they will be triggered in the second case as soon as user attempts to retrieve an additional state that was not added.

Author:

Luc Maisonobe

See Also:

FieldPropagator, FieldAdditionalDerivativesProvider

Method Summary

Modifier and Type	Method and Description
T[]	getAdditionalState(FieldSpacecraftState<T> state) Get the additional state.
String	getName() Get the name of the additional state.
default boolean	yield(FieldSpacecraftState<T> state) Check if this provider should yield so another provider has an opportunity to add missing parts.

Method Detail

getName

String getName()

Get the name of the additional state.

Returns:

name of the additional state

yield

default boolean yield(FieldSpacecraftState<T> state)

Check if this provider should yield so another provider has an opportunity to add missing parts.

Decision to yield is often based on an additional state being already available in the provided state (but it could theoretically also depend on an additional state derivative being already available, or any other criterion). If for example a provider needs the state transition matrix, it could implement this method as:

 public boolean yield(final FieldSpacecraftState state) {
     return !state.getAdditionalStates().containsKey("STM");
 }
 

The default implementation returns false, meaning that state data can be generated immediately.

Parameters:

state - state to handle

Returns:

true if this provider should yield so another provider has an opportunity to add missing parts as the state is incrementally built up

Since:

11.1

getAdditionalState

T[] getAdditionalState(FieldSpacecraftState<T> state)

Get the additional state.

Parameters:

state - spacecraft state to which additional state should correspond

Returns:

additional state corresponding to spacecraft state