{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:7LIM54N2NNEG7EJIRKU7FA342W","short_pith_number":"pith:7LIM54N2","schema_version":"1.0","canonical_sha256":"fad0cef1ba6b486f91288aa9f2837cd59a12e5038f71d725806e62af7b0134a0","source":{"kind":"arxiv","id":"2502.20878","version":1},"attestation_state":"computed","paper":{"title":"Geometric Reachability for Attitude Control Systems via Contraction Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Chencheng Xu, Chengcheng Zhao, Jiming Chen, Saber Jafarpour, Zhiguo Shi","submitted_at":"2025-02-28T09:21:06Z","abstract_excerpt":"In this paper, we present a geometric framework for the reachability analysis of attitude control systems. We model the attitude dynamics on the product manifold $\\mathrm{SO}(3) \\times \\mathbb{R}^3$ and introduce a novel parametrized family of Riemannian metrics on this space. Using contraction theory on manifolds, we establish reliable upper bounds on the Riemannian distance between nearby trajectories of the attitude control systems. By combining these trajectory bounds with numerical simulations, we provide a simulation-based algorithm to over-approximate the reachable sets of attitude syst"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2502.20878","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-02-28T09:21:06Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"8bbef97746c6e2af37ab6a9b5037dc611c67cf07816ed8c940fb6cbd7ed4c083","abstract_canon_sha256":"c04e6e9fc422d24e40656a4370ed6b506c4cd0e2713c6c218762ba4a91289fc4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:21:41.556725Z","signature_b64":"2P9EMu7UOmc+bNIOdEve9D+pOaTF+3cgMFIEWSM5gmaO6ZfdRzvs0aG2AqK9fnTsf+wmRQyDJNXgWE1PNHJUCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fad0cef1ba6b486f91288aa9f2837cd59a12e5038f71d725806e62af7b0134a0","last_reissued_at":"2026-07-05T10:21:41.556196Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:21:41.556196Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Geometric Reachability for Attitude Control Systems via Contraction Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Chencheng Xu, Chengcheng Zhao, Jiming Chen, Saber Jafarpour, Zhiguo Shi","submitted_at":"2025-02-28T09:21:06Z","abstract_excerpt":"In this paper, we present a geometric framework for the reachability analysis of attitude control systems. We model the attitude dynamics on the product manifold $\\mathrm{SO}(3) \\times \\mathbb{R}^3$ and introduce a novel parametrized family of Riemannian metrics on this space. Using contraction theory on manifolds, we establish reliable upper bounds on the Riemannian distance between nearby trajectories of the attitude control systems. By combining these trajectory bounds with numerical simulations, we provide a simulation-based algorithm to over-approximate the reachable sets of attitude syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.20878","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.20878/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.20878","created_at":"2026-07-05T10:21:41.556257+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.20878v1","created_at":"2026-07-05T10:21:41.556257+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.20878","created_at":"2026-07-05T10:21:41.556257+00:00"},{"alias_kind":"pith_short_12","alias_value":"7LIM54N2NNEG","created_at":"2026-07-05T10:21:41.556257+00:00"},{"alias_kind":"pith_short_16","alias_value":"7LIM54N2NNEG7EJI","created_at":"2026-07-05T10:21:41.556257+00:00"},{"alias_kind":"pith_short_8","alias_value":"7LIM54N2","created_at":"2026-07-05T10:21:41.556257+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W","json":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W.json","graph_json":"https://pith.science/api/pith-number/7LIM54N2NNEG7EJIRKU7FA342W/graph.json","events_json":"https://pith.science/api/pith-number/7LIM54N2NNEG7EJIRKU7FA342W/events.json","paper":"https://pith.science/paper/7LIM54N2"},"agent_actions":{"view_html":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W","download_json":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W.json","view_paper":"https://pith.science/paper/7LIM54N2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.20878&json=true","fetch_graph":"https://pith.science/api/pith-number/7LIM54N2NNEG7EJIRKU7FA342W/graph.json","fetch_events":"https://pith.science/api/pith-number/7LIM54N2NNEG7EJIRKU7FA342W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W/action/storage_attestation","attest_author":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W/action/author_attestation","sign_citation":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W/action/citation_signature","submit_replication":"https://pith.science/pith/7LIM54N2NNEG7EJIRKU7FA342W/action/replication_record"}},"created_at":"2026-07-05T10:21:41.556257+00:00","updated_at":"2026-07-05T10:21:41.556257+00:00"}