{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XOVZJXTJDN6OEEVNHMC2GHIMI2","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":"ebd5b193fdfe83b4a053ee244e9daf00abd55916a52b4b602ef6cd8d71d6c260","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-12-29T04:58:03Z","title_canon_sha256":"666e81aa6ba5dc3ca66eebbb100db98a0e72e489c33689eec43053bf2f444017"},"schema_version":"1.0","source":{"id":"2512.23203","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.23203","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"arxiv_version","alias_value":"2512.23203v2","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.23203","created_at":"2026-05-17T23:39:04Z"},{"alias_kind":"pith_short_12","alias_value":"XOVZJXTJDN6O","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"XOVZJXTJDN6OEEVN","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"XOVZJXTJ","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:0e31ca5aac383b9bb05c241a2cd4d35dbce460209e8cebf85687e9dcd8c180d3","target":"graph","created_at":"2026-05-17T23:39:04Z","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":"For proportional output feedback, we derive coefficient-level conditions that are equivalent to the known solvability criteria in the explicit pH setting. These conditions ensure that the closed-loop system is regular, impulse-free, asymptotically stable, and remains port-Hamiltonian."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"A port-Hamiltonian representation is known to exist for the given coefficient matrices but is not explicitly computed; the coefficient-level conditions are assumed to be checkable directly from the matrices without that representation."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Coefficient-level conditions are given for proportional and proportional-derivative output feedback that render linear pH descriptor systems regular, impulse-free, asymptotically stable, and port-Hamiltonian without explicit pH forms."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Coefficient-level conditions stabilize linear port-Hamiltonian descriptor systems via output feedback without explicit representation."}],"snapshot_sha256":"d979a6728f676f38465bc8d9e5ee2560842220e9fb399d13d25be492d9bcac03"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"f51495652e35e6c8113914610193fb020aedf732d005d3f8348d2cb092a079d8"},"paper":{"abstract_excerpt":"This paper studies coefficient-level, structure-preserving output-feedback stabilization of linear port-Hamiltonian (pH) descriptor systems. Existing stabilization conditions generally require explicit pH representations, which may be costly to compute. We consider descriptor systems for which only the coefficient matrices are available and for which a pH representation is known to exist but is not explicitly given. For proportional output feedback, we derive coefficient-level conditions that are equivalent to the known solvability criteria in the explicit pH setting. These conditions ensure t","authors_text":"Juan Zhang, Shuo Shi","cross_cats":[],"headline":"Coefficient-level conditions stabilize linear port-Hamiltonian descriptor systems via output feedback without explicit representation.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-12-29T04:58:03Z","title":"Coefficient-level output-feedback stabilization of linear port-Hamiltonian descriptor systems"},"references":{"count":6,"internal_anchors":0,"resolved_work":6,"sample":[{"cited_arxiv_id":"","doi":"10.1137/s0363012994272630","is_internal_anchor":false,"ref_index":1,"title":"[1]C. Beattie, V. Mehrmann, and H. Xu,Port-Hamiltonian realizations of linear time invariant systems, arXiv preprint, https://arxiv.org/abs/2201.05355, (2022). [2]C. Beattie, V. Mehrmann, H. Xu, and H","work_id":"30e7334f-13da-4c38-b7e3-0d8f4615df36","year":2022},{"cited_arxiv_id":"","doi":"10.1016/0024-3795(89","is_internal_anchor":false,"ref_index":2,"title":"[21]J. Kautsky, N. Nichols, and E.-W. Chu,Robust pole assignment in singular control sys- tems, Linear Algebra Appl., 121 (1989), pp. 9–37, https://doi.org/10.1016/0024-3795(89) 90689-7. [22]P. Kunkel","work_id":"f0f92edc-81a9-444c-881e-ec37840b336c","year":1989},{"cited_arxiv_id":"","doi":"10.1137/18m1164275","is_internal_anchor":false,"ref_index":3,"title":"[23]C. Mehl, V. Mehrmann, and M. Wojtylak,Linear algebra properties of dissipative Hamil- tonian descriptor systems, SIAM J. Matrix Anal. Appl., 39 (2018), pp. 1489–1519, https://doi.org/10.1137/18M11","work_id":"25fbb5d6-106d-4733-85be-44fb03112aa6","year":2018},{"cited_arxiv_id":"","doi":"10.1109/tac","is_internal_anchor":false,"ref_index":4,"title":"[30]M. Shayman and Z. Zhou,Feedback control and classification of generalized linear systems, IEEE Trans. Automat. Control, 32 (1987), pp. 483–494, https://doi.org/10.1109/TAC. 1987.1104642. [31]V. L.","work_id":"5a5809bd-3d35-4a2c-adb2-ffd8883181a9","year":1987},{"cited_arxiv_id":"","doi":"10.1016/j.proeng.2012.01.1119","is_internal_anchor":false,"ref_index":5,"title":"[35]T. Xu, Y. Zeng, L. Zhang, and J. Qian,Direct modeling method of generalized Hamiltonian system and simulation simplified, Procedia Eng., 31 (2012), pp. 901–908, https://doi.org/ 10.1016/j.proeng.2","work_id":"b4050dba-a343-490e-a15b-d851994017d1","year":2012}],"snapshot_sha256":"7c2ddc7ca95601f91285ba5573b18108c4e3b1a9c7df8e42453e8aa568bb0807"},"source":{"id":"2512.23203","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-16T19:41:32.795532Z","id":"31317a2d-d4fb-4bcc-9a05-e82e221a644e","model_set":{"reader":"grok-4.3"},"one_line_summary":"Coefficient-level conditions are given for proportional and proportional-derivative output feedback that render linear pH descriptor systems regular, impulse-free, asymptotically stable, and port-Hamiltonian without explicit pH forms.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Coefficient-level conditions stabilize linear port-Hamiltonian descriptor systems via output feedback without explicit representation.","strongest_claim":"For proportional output feedback, we derive coefficient-level conditions that are equivalent to the known solvability criteria in the explicit pH setting. These conditions ensure that the closed-loop system is regular, impulse-free, asymptotically stable, and remains port-Hamiltonian.","weakest_assumption":"A port-Hamiltonian representation is known to exist for the given coefficient matrices but is not explicitly computed; the coefficient-level conditions are assumed to be checkable directly from the matrices without that representation."}},"verdict_id":"31317a2d-d4fb-4bcc-9a05-e82e221a644e"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:119316ecfe6caccb03a8d5eb19a102e27c377ae2484d43234c736ed8e79eae8f","target":"record","created_at":"2026-05-17T23:39:04Z","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":"ebd5b193fdfe83b4a053ee244e9daf00abd55916a52b4b602ef6cd8d71d6c260","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-12-29T04:58:03Z","title_canon_sha256":"666e81aa6ba5dc3ca66eebbb100db98a0e72e489c33689eec43053bf2f444017"},"schema_version":"1.0","source":{"id":"2512.23203","kind":"arxiv","version":2}},"canonical_sha256":"bbab94de691b7ce212ad3b05a31d0c4680b6b6c6846d2a7e30c6fd8b00867517","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbab94de691b7ce212ad3b05a31d0c4680b6b6c6846d2a7e30c6fd8b00867517","first_computed_at":"2026-05-17T23:39:04.545435Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:04.545435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Kyi4yKtcarSVIBSClK/G1nSkTYFvXro54KCxxfAK9ftpnLmgLPlnX/vNWhxwsscF0J8Wqbk+1sEKV1rToQe+Dg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:04.546133Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.23203","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:119316ecfe6caccb03a8d5eb19a102e27c377ae2484d43234c736ed8e79eae8f","sha256:0e31ca5aac383b9bb05c241a2cd4d35dbce460209e8cebf85687e9dcd8c180d3"],"state_sha256":"25ae439b83f720086246a79989a0d34b43978ba50be2ed8a95da447a7ff62911"}