{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YEZH6YNR4XWJTE5QABTVQGLVGT","short_pith_number":"pith:YEZH6YNR","schema_version":"1.0","canonical_sha256":"c1327f61b1e5ec9993b0006758197534dc4cbfd473bfd8f87f571af8bcd46d8b","source":{"kind":"arxiv","id":"2606.10344","version":1},"attestation_state":"computed","paper":{"title":"Koopman Modeling and Stabilization of Discrete-Time Nonlinear Control Systems: Bilinearity on a Reproducing Kernel Hilbert Space","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jarod Morris, Wentao Tang, Xiuzhen Ye","submitted_at":"2026-06-09T02:53:47Z","abstract_excerpt":"Despite the popularity of Koopman modeling for nonlinear systems, in the presence of input variables, the evident nonexistence of a fully linear time-invariant model even in infinite dimensions makes Koopman-based control largely an open problem to date. Focusing on discrete-time systems in this paper, which eschews from using operator semigroup and infinitesimal generator notions, it is proven that nonlinear systems, if satisfying appropriate smoothness and regularity conditions, can be expressed exactly as bilinear dynamics, when the state variables and input variables are separately lifted "},"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":"2606.10344","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-09T02:53:47Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"e1b1a675f7b39669be1bca1eef4ea35f8ec8dbf3e9e5e0b9ff44d2574b24e09d","abstract_canon_sha256":"df03e7dbb9ba941405af049b73c2560c92c10f54181e551628ca199867758fc3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:10:12.810644Z","signature_b64":"TDpE1bEeWmur+eOR5pmKutDmJ6y2xGLHBd2LepN4SCHATjt+oE2fPxmLHSEyz9Q+CbFbRRGYcNWnPMR6owjfAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1327f61b1e5ec9993b0006758197534dc4cbfd473bfd8f87f571af8bcd46d8b","last_reissued_at":"2026-06-10T01:10:12.809749Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:10:12.809749Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Koopman Modeling and Stabilization of Discrete-Time Nonlinear Control Systems: Bilinearity on a Reproducing Kernel Hilbert Space","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jarod Morris, Wentao Tang, Xiuzhen Ye","submitted_at":"2026-06-09T02:53:47Z","abstract_excerpt":"Despite the popularity of Koopman modeling for nonlinear systems, in the presence of input variables, the evident nonexistence of a fully linear time-invariant model even in infinite dimensions makes Koopman-based control largely an open problem to date. Focusing on discrete-time systems in this paper, which eschews from using operator semigroup and infinitesimal generator notions, it is proven that nonlinear systems, if satisfying appropriate smoothness and regularity conditions, can be expressed exactly as bilinear dynamics, when the state variables and input variables are separately lifted "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10344","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/2606.10344/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":"2606.10344","created_at":"2026-06-10T01:10:12.809901+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.10344v1","created_at":"2026-06-10T01:10:12.809901+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10344","created_at":"2026-06-10T01:10:12.809901+00:00"},{"alias_kind":"pith_short_12","alias_value":"YEZH6YNR4XWJ","created_at":"2026-06-10T01:10:12.809901+00:00"},{"alias_kind":"pith_short_16","alias_value":"YEZH6YNR4XWJTE5Q","created_at":"2026-06-10T01:10:12.809901+00:00"},{"alias_kind":"pith_short_8","alias_value":"YEZH6YNR","created_at":"2026-06-10T01:10:12.809901+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/YEZH6YNR4XWJTE5QABTVQGLVGT","json":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT.json","graph_json":"https://pith.science/api/pith-number/YEZH6YNR4XWJTE5QABTVQGLVGT/graph.json","events_json":"https://pith.science/api/pith-number/YEZH6YNR4XWJTE5QABTVQGLVGT/events.json","paper":"https://pith.science/paper/YEZH6YNR"},"agent_actions":{"view_html":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT","download_json":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT.json","view_paper":"https://pith.science/paper/YEZH6YNR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.10344&json=true","fetch_graph":"https://pith.science/api/pith-number/YEZH6YNR4XWJTE5QABTVQGLVGT/graph.json","fetch_events":"https://pith.science/api/pith-number/YEZH6YNR4XWJTE5QABTVQGLVGT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT/action/storage_attestation","attest_author":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT/action/author_attestation","sign_citation":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT/action/citation_signature","submit_replication":"https://pith.science/pith/YEZH6YNR4XWJTE5QABTVQGLVGT/action/replication_record"}},"created_at":"2026-06-10T01:10:12.809901+00:00","updated_at":"2026-06-10T01:10:12.809901+00:00"}