{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:XQHXZOLMM5PJGT2DHXSMDXJ3C7","short_pith_number":"pith:XQHXZOLM","schema_version":"1.0","canonical_sha256":"bc0f7cb96c675e934f433de4c1dd3b17f859e09f59517014c7086cfc3bc7db74","source":{"kind":"arxiv","id":"2105.00886","version":1},"attestation_state":"computed","paper":{"title":"Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Adam R. Gerlach, Kostiantyn Potomkin, Parasara Sridhar Duggirala, Sergiy Bogomolov, Stanley Bak","submitted_at":"2021-05-03T14:11:48Z","abstract_excerpt":"Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often be done efficiently in high dimensions. In this paper, we explore verification methods that leverage a connection between these two classes of systems based on the concept of the Koopman operator. The Koopman operator links the behaviors of a nonlinear system to a linear system embedded in a higher dimensional space, with an additional set of so-called observable variables. Although, the new dynamical system has line"},"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":"2105.00886","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-05-03T14:11:48Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5fec9ce211b8d6e0296e821bfd05f2b8e56b82b3f9e94c2b55fdf33fc6c355e9","abstract_canon_sha256":"4630ed95d2518845eafbd6047faa5c426901726472c701ade4ed09ff3061a842"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:36:59.208821Z","signature_b64":"hcckCp2i46npg6TS8kicwgiY9YRxl4LgToN8d1350rq1oZrIN8TRbWyrTB+VJqes5WUO0nO86AUredUPW5PPAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc0f7cb96c675e934f433de4c1dd3b17f859e09f59517014c7086cfc3bc7db74","last_reissued_at":"2026-07-05T02:36:59.208429Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:36:59.208429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Adam R. Gerlach, Kostiantyn Potomkin, Parasara Sridhar Duggirala, Sergiy Bogomolov, Stanley Bak","submitted_at":"2021-05-03T14:11:48Z","abstract_excerpt":"Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often be done efficiently in high dimensions. In this paper, we explore verification methods that leverage a connection between these two classes of systems based on the concept of the Koopman operator. The Koopman operator links the behaviors of a nonlinear system to a linear system embedded in a higher dimensional space, with an additional set of so-called observable variables. Although, the new dynamical system has line"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.00886","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/2105.00886/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":"2105.00886","created_at":"2026-07-05T02:36:59.208485+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.00886v1","created_at":"2026-07-05T02:36:59.208485+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.00886","created_at":"2026-07-05T02:36:59.208485+00:00"},{"alias_kind":"pith_short_12","alias_value":"XQHXZOLMM5PJ","created_at":"2026-07-05T02:36:59.208485+00:00"},{"alias_kind":"pith_short_16","alias_value":"XQHXZOLMM5PJGT2D","created_at":"2026-07-05T02:36:59.208485+00:00"},{"alias_kind":"pith_short_8","alias_value":"XQHXZOLM","created_at":"2026-07-05T02:36:59.208485+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.23957","citing_title":"Learning the Koopman Operator using Attention Free Transformers","ref_index":13,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7","json":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7.json","graph_json":"https://pith.science/api/pith-number/XQHXZOLMM5PJGT2DHXSMDXJ3C7/graph.json","events_json":"https://pith.science/api/pith-number/XQHXZOLMM5PJGT2DHXSMDXJ3C7/events.json","paper":"https://pith.science/paper/XQHXZOLM"},"agent_actions":{"view_html":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7","download_json":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7.json","view_paper":"https://pith.science/paper/XQHXZOLM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.00886&json=true","fetch_graph":"https://pith.science/api/pith-number/XQHXZOLMM5PJGT2DHXSMDXJ3C7/graph.json","fetch_events":"https://pith.science/api/pith-number/XQHXZOLMM5PJGT2DHXSMDXJ3C7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7/action/storage_attestation","attest_author":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7/action/author_attestation","sign_citation":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7/action/citation_signature","submit_replication":"https://pith.science/pith/XQHXZOLMM5PJGT2DHXSMDXJ3C7/action/replication_record"}},"created_at":"2026-07-05T02:36:59.208485+00:00","updated_at":"2026-07-05T02:36:59.208485+00:00"}