{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZICFKXT5GUBSIVF57WOKT3UN6U","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"591771336b4b81a2f069390fe314e91afc37b58d50300f4fc2dbf8186fb42101","cross_cats_sorted":["astro-ph.EP","astro-ph.IM","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T13:58:14Z","title_canon_sha256":"d85349c56e188cf4fe63545ef6cf9d5edbb0e90828fb11e840a982d27cdc1c91"},"schema_version":"1.0","source":{"id":"2604.15028","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.15028","created_at":"2026-06-11T01:10:36Z"},{"alias_kind":"arxiv_version","alias_value":"2604.15028v1","created_at":"2026-06-11T01:10:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.15028","created_at":"2026-06-11T01:10:36Z"},{"alias_kind":"pith_short_12","alias_value":"ZICFKXT5GUBS","created_at":"2026-06-11T01:10:36Z"},{"alias_kind":"pith_short_16","alias_value":"ZICFKXT5GUBSIVF5","created_at":"2026-06-11T01:10:36Z"},{"alias_kind":"pith_short_8","alias_value":"ZICFKXT5","created_at":"2026-06-11T01:10:36Z"}],"graph_snapshots":[{"event_id":"sha256:19a4df9014fce6b42720ec8adc5628c9d765a60cfec5ad8b6d5e42a05fc48d62","target":"graph","created_at":"2026-06-11T01:10:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Almost global uniform exponential stability guarantees are attained, as shown through Lyapunov's stability theory. Saturation of the actuators is formally included in the controller design, such that these guarantees hold even in the event of saturation."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The high-fidelity model of the dynamics accurately captures the real Earth-Moon gravitational environment and that the Lyapunov analysis assumptions remain valid for the targeted quasi-periodic orbits under operational errors and external perturbations."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A saturated nonlinear backstepping controller achieves almost global uniform exponential stability for low-thrust station-keeping of Earth-Moon libration point orbits under a high-fidelity model."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A saturation-inclusive nonlinear backstepping controller provides almost global exponential stability for low-thrust station-keeping on Earth-Moon libration point orbits."}],"snapshot_sha256":"cf9cf893965dddab010f4ee0ff0121977e51b7cdbb0a01ef1ab06c3f63b5d0b1"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.15028/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a novel nonlinear backstepping control law for continuous, low-thrust station-keeping in the Earth-Moon system. Quasi-periodic libration point orbits are targeted under a high-fidelity model of the dynamics. Almost global uniform exponential stability guarantees are attained, as shown through Lyapunov's stability theory. Saturation of the actuators is formally included in the controller design, such that these guarantees hold even in the event of saturation. The relationship between saturation threshold, control gains, and deviation is studied and an optimal procedure for g","authors_text":"Ant\\'onio Nunes, Pedro Batista, S\\'ergio Br\\'as","cross_cats":["astro-ph.EP","astro-ph.IM","cs.SY"],"headline":"A saturation-inclusive nonlinear backstepping controller provides almost global exponential stability for low-thrust station-keeping on Earth-Moon libration point orbits.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T13:58:14Z","title":"Nonlinear backstepping with saturation for low-thrust station-keeping of libration point orbits"},"references":{"count":51,"internal_anchors":0,"resolved_work":51,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"R. W. Farquhar, The Control and Use of Libration-point Satellites, Technical report, NASA (1970)","work_id":"03259346-fae1-4221-a66c-adb8a7235b44","year":1970},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"J. Breakwell, A. Kamel, M. Ratner, Station-keeping for a translunar communication station, Celestial Mechanics 10 (1974) 357–373","work_id":"bb78ede4-e3b9-44fb-9208-57bb57fb4587","year":1974},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"W. Wiesel, W. Shelton, Modal control of an unstable periodic orbit, Journal of the Astronautical Sciences 31 (1983) 63–76","work_id":"3d708f2c-89ac-494f-9cdc-f5d65c4f56fd","year":1983},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"C. Simó, G. Goméz, J. Llibre, R. Martinez, Stationkeeping of a quasiperiodic halo orbit using invariant manifolds, in: ESA Special Pub- lication, Vol. 255 of ESA Special Publication, 1986, pp. 65–70","work_id":"9f1be76e-025b-499c-8cf0-c2beac92f757","year":1986},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"C. Simó, G. Gómez, J. Llibre, R. Martínez, J. Rodríguez, On the optimal station keeping control of halo orbits, Acta Astronautica 15 (6) (1987) 391–397. 47","work_id":"6b005e52-c2ea-4138-9a87-bacc24628b94","year":1987}],"snapshot_sha256":"a072310f3b961a95e580c97c74ae03e6f628e6cfcfd5d673d71a5a686853268e"},"source":{"id":"2604.15028","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-10T10:32:53.329833Z","id":"64f997fd-076b-4a71-ad1e-b8b613672295","model_set":{"reader":"grok-4.3"},"one_line_summary":"A saturated nonlinear backstepping controller achieves almost global uniform exponential stability for low-thrust station-keeping of Earth-Moon libration point orbits under a high-fidelity model.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A saturation-inclusive nonlinear backstepping controller provides almost global exponential stability for low-thrust station-keeping on Earth-Moon libration point orbits.","strongest_claim":"Almost global uniform exponential stability guarantees are attained, as shown through Lyapunov's stability theory. Saturation of the actuators is formally included in the controller design, such that these guarantees hold even in the event of saturation.","weakest_assumption":"The high-fidelity model of the dynamics accurately captures the real Earth-Moon gravitational environment and that the Lyapunov analysis assumptions remain valid for the targeted quasi-periodic orbits under operational errors and external perturbations."}},"verdict_id":"64f997fd-076b-4a71-ad1e-b8b613672295"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:263f4a9fc460f17f7ac15cd4ec6931043e260da6910381404d5a89163cf20199","target":"record","created_at":"2026-06-11T01:10:36Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"591771336b4b81a2f069390fe314e91afc37b58d50300f4fc2dbf8186fb42101","cross_cats_sorted":["astro-ph.EP","astro-ph.IM","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-04-16T13:58:14Z","title_canon_sha256":"d85349c56e188cf4fe63545ef6cf9d5edbb0e90828fb11e840a982d27cdc1c91"},"schema_version":"1.0","source":{"id":"2604.15028","kind":"arxiv","version":1}},"canonical_sha256":"ca04555e7d35032454bdfd9ca9ee8df51b869de1d6f660ff2938d976ce518fee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca04555e7d35032454bdfd9ca9ee8df51b869de1d6f660ff2938d976ce518fee","first_computed_at":"2026-06-11T01:10:36.246165Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:10:36.246165Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y1ordvsc2WNaMNDzyYJOMG6WGjjuQrrBBqXCW2V11RMC6qp+zlpmdbpCCggeEEuyHW1xLIbQNRa0EL+JYMNAAQ==","signature_status":"signed_v1","signed_at":"2026-06-11T01:10:36.247127Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.15028","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:263f4a9fc460f17f7ac15cd4ec6931043e260da6910381404d5a89163cf20199","sha256:19a4df9014fce6b42720ec8adc5628c9d765a60cfec5ad8b6d5e42a05fc48d62"],"state_sha256":"b14cc4550613e384d72f79852737ba9645ae8f74490cfb350d75632a9335ff81"}