{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JFA2HLIUAMLY4DZI7ZM7DERI35","short_pith_number":"pith:JFA2HLIU","canonical_record":{"source":{"id":"1704.01672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-06T00:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"27e3c8bf9c47163cdec8d56ca7a340e309429288074ae6df0cd08d12fe181604","abstract_canon_sha256":"eaab933bc87e494e25ce9300a65c55dad284a59b48fd2c471564bc82ae73542f"},"schema_version":"1.0"},"canonical_sha256":"4941a3ad1403178e0f28fe59f19228df4488f78016439488fc7858a31af3db96","source":{"kind":"arxiv","id":"1704.01672","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01672","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01672v1","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01672","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"pith_short_12","alias_value":"JFA2HLIUAMLY","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JFA2HLIUAMLY4DZI","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JFA2HLIU","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JFA2HLIUAMLY4DZI7ZM7DERI35","target":"record","payload":{"canonical_record":{"source":{"id":"1704.01672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-06T00:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"27e3c8bf9c47163cdec8d56ca7a340e309429288074ae6df0cd08d12fe181604","abstract_canon_sha256":"eaab933bc87e494e25ce9300a65c55dad284a59b48fd2c471564bc82ae73542f"},"schema_version":"1.0"},"canonical_sha256":"4941a3ad1403178e0f28fe59f19228df4488f78016439488fc7858a31af3db96","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:54.617404Z","signature_b64":"fofJZtQIV3+2rBIXXVK1Pq8mUlkxYEneywT9CZepF/+bvQhk8qLnOiegOme5ExOAVWmwXkTN2Xkp7/rxBU5ECQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4941a3ad1403178e0f28fe59f19228df4488f78016439488fc7858a31af3db96","last_reissued_at":"2026-05-18T00:46:54.616857Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:54.616857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.01672","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:46:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcwvhwOKauKOqkjTdV9RjyZ/F/W4fkauZTB3CWlVXymlF7vT+taF+c8Yo4YEhJuG9CTg4VxjHJR09FIL46wVDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:57:19.093848Z"},"content_sha256":"ec60dc5c8e6e034e6b48fd3136ae01c495d4cd54e5cffaa4d16667f8a002211b","schema_version":"1.0","event_id":"sha256:ec60dc5c8e6e034e6b48fd3136ae01c495d4cd54e5cffaa4d16667f8a002211b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JFA2HLIUAMLY4DZI7ZM7DERI35","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alessandro Abate, Fei Chen, Siep Weiland, Sofie Haesaert","submitted_at":"2017-04-06T00:18:16Z","abstract_excerpt":"The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high order. In this paper, we introduce a control refinement notion for these descriptor systems that enables analysis and control design over related reduced-order systems. Utilising the behavioural framework, we extend upon the standard hierarchical control refinement for ordinary systems and allow for algebraic couplings inherent to descriptor systems."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01672","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:46:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w9/5qxz883pSfI6OjlqSZQv9NH6XojmfLlg+E+banphcr/GT/O/nxwUL9H+uGB2gOdNwbFmXYMM2/MKNCca9DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:57:19.094213Z"},"content_sha256":"c5aa042876a131a8d15552e64b06574b890d39efad500567d668386cc71f72e4","schema_version":"1.0","event_id":"sha256:c5aa042876a131a8d15552e64b06574b890d39efad500567d668386cc71f72e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/bundle.json","state_url":"https://pith.science/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T20:57:19Z","links":{"resolver":"https://pith.science/pith/JFA2HLIUAMLY4DZI7ZM7DERI35","bundle":"https://pith.science/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/bundle.json","state":"https://pith.science/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JFA2HLIUAMLY4DZI7ZM7DERI35/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JFA2HLIUAMLY4DZI7ZM7DERI35","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":"eaab933bc87e494e25ce9300a65c55dad284a59b48fd2c471564bc82ae73542f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-06T00:18:16Z","title_canon_sha256":"27e3c8bf9c47163cdec8d56ca7a340e309429288074ae6df0cd08d12fe181604"},"schema_version":"1.0","source":{"id":"1704.01672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01672","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01672v1","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01672","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"pith_short_12","alias_value":"JFA2HLIUAMLY","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JFA2HLIUAMLY4DZI","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JFA2HLIU","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:c5aa042876a131a8d15552e64b06574b890d39efad500567d668386cc71f72e4","target":"graph","created_at":"2026-05-18T00:46:54Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high order. In this paper, we introduce a control refinement notion for these descriptor systems that enables analysis and control design over related reduced-order systems. Utilising the behavioural framework, we extend upon the standard hierarchical control refinement for ordinary systems and allow for algebraic couplings inherent to descriptor systems.","authors_text":"Alessandro Abate, Fei Chen, Siep Weiland, Sofie Haesaert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-06T00:18:16Z","title":"Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01672","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ec60dc5c8e6e034e6b48fd3136ae01c495d4cd54e5cffaa4d16667f8a002211b","target":"record","created_at":"2026-05-18T00:46:54Z","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":"eaab933bc87e494e25ce9300a65c55dad284a59b48fd2c471564bc82ae73542f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-06T00:18:16Z","title_canon_sha256":"27e3c8bf9c47163cdec8d56ca7a340e309429288074ae6df0cd08d12fe181604"},"schema_version":"1.0","source":{"id":"1704.01672","kind":"arxiv","version":1}},"canonical_sha256":"4941a3ad1403178e0f28fe59f19228df4488f78016439488fc7858a31af3db96","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4941a3ad1403178e0f28fe59f19228df4488f78016439488fc7858a31af3db96","first_computed_at":"2026-05-18T00:46:54.616857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:54.616857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fofJZtQIV3+2rBIXXVK1Pq8mUlkxYEneywT9CZepF/+bvQhk8qLnOiegOme5ExOAVWmwXkTN2Xkp7/rxBU5ECQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:54.617404Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.01672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec60dc5c8e6e034e6b48fd3136ae01c495d4cd54e5cffaa4d16667f8a002211b","sha256:c5aa042876a131a8d15552e64b06574b890d39efad500567d668386cc71f72e4"],"state_sha256":"3e40c83bd5c48c8ef8695c4fa7c3d55061c34e8754b819a880e64867158bafdf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1xZx/IaMt6GmX0vqwPuXanlyTlThVDWiZSY+BXGJRYQ9s5ERuv5Sdps7ES9s2J4v2PL0O/Fi3ZfgChCDfU3NDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T20:57:19.096537Z","bundle_sha256":"aa1983e87a62dc07fb6591fc02e8f874eccfbddba4c8d0cdb15eb5fb32f222c0"}}