However is there an option to remove additional state from the propagator? Or overwrite AdditionalStateProvider with new AdditionalStateProvider with same name?
No, its unfortunately not possible. There are no remove method and if you reuse the same name the library will complain that it is already in use. You will have to either rebuild a new propagator or set up a wrapper with that name that allows to switch between several implementations when you want to change them.
I’m upping this topic because I would like to add in the library this feature to remove (by name) providers, at least in analytical ones. My application is with IntegratedEphemeris, when you’re processing different things but for performance don’t want to pile up the internal computations.