{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:4KTM2YRQ6AR7W3BMUIH3F4PD3N","short_pith_number":"pith:4KTM2YRQ","canonical_record":{"source":{"id":"1507.05991","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-10T17:45:10Z","cross_cats_sorted":[],"title_canon_sha256":"390f56297ace2d8b050781b4bea812a73283dec32dba70104d1e6154a19d6a4b","abstract_canon_sha256":"0c6647fa8999ced8b6f8b732cbf3a88396c72eb8b00719d3764efea7eb64adaa"},"schema_version":"1.0"},"canonical_sha256":"e2a6cd6230f023fb6c2ca20fb2f1e3db5309cac4975b7fb3105b308ef2d767aa","source":{"kind":"arxiv","id":"1507.05991","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05991","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05991v1","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05991","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"4KTM2YRQ6AR7","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4KTM2YRQ6AR7W3BM","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4KTM2YRQ","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:4KTM2YRQ6AR7W3BMUIH3F4PD3N","target":"record","payload":{"canonical_record":{"source":{"id":"1507.05991","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-10T17:45:10Z","cross_cats_sorted":[],"title_canon_sha256":"390f56297ace2d8b050781b4bea812a73283dec32dba70104d1e6154a19d6a4b","abstract_canon_sha256":"0c6647fa8999ced8b6f8b732cbf3a88396c72eb8b00719d3764efea7eb64adaa"},"schema_version":"1.0"},"canonical_sha256":"e2a6cd6230f023fb6c2ca20fb2f1e3db5309cac4975b7fb3105b308ef2d767aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:27.000331Z","signature_b64":"uFBwEElJ7Z9j4jW7Cn3PKND7S5cCHaQhqm82bHEZcGXmqLGX6sTt/6ImW4K4CGoTIV1rGF2tsIams3yfmX2bDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2a6cd6230f023fb6c2ca20fb2f1e3db5309cac4975b7fb3105b308ef2d767aa","last_reissued_at":"2026-05-18T01:36:26.999733Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:26.999733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.05991","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-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gtGeLo3oxmQwJDJVKjEGloyHfcvSe4SwAxDY8VSty1OIsj104KPIgZF355dNAksS0zpT4/+tHFODMHZsSxmrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:49:38.792142Z"},"content_sha256":"37cc7986cd66a9538f3f3adb5976c1e05e0d5459028296d511ba387a69ade534","schema_version":"1.0","event_id":"sha256:37cc7986cd66a9538f3f3adb5976c1e05e0d5459028296d511ba387a69ade534"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:4KTM2YRQ6AR7W3BMUIH3F4PD3N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design Contracts For Networked Automation Systems Co-design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"B. Sreram, B. Subathra, Seshadhri Srinivasan, Srini Ramaswamy","submitted_at":"2015-07-10T17:45:10Z","abstract_excerpt":"Networked automation systems (NAS) are characterized by confluence of control, computation, communication and Information (C3I) technologies. Design decisions of one domain are affected by the constraints posed by others. Reliable NAS design should address the requirements of the system, and simultaneously meet the constraints posed by other domains and this is called co-design in literature. Co-design requires clear definition of interfaces among these domains. Control design in NAS is affected by the timing imperfections posed by other domains. In this investigation, we first study the diffe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05991","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-18T01:36:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kM5xgeZLVH3l3lFbCCRJdkzFDQnirG8bHhuj/MxK0PIcVu7kws5dZVtcGR7JuoDvbT0MMe1l/529gt3KhpysCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:49:38.792501Z"},"content_sha256":"aba3b707538c96bf58b1b240083b08a24593ef3b86c9488e2c65e6521b806b7a","schema_version":"1.0","event_id":"sha256:aba3b707538c96bf58b1b240083b08a24593ef3b86c9488e2c65e6521b806b7a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/bundle.json","state_url":"https://pith.science/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/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-06-01T17:49:38Z","links":{"resolver":"https://pith.science/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N","bundle":"https://pith.science/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/bundle.json","state":"https://pith.science/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4KTM2YRQ6AR7W3BMUIH3F4PD3N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:4KTM2YRQ6AR7W3BMUIH3F4PD3N","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":"0c6647fa8999ced8b6f8b732cbf3a88396c72eb8b00719d3764efea7eb64adaa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-10T17:45:10Z","title_canon_sha256":"390f56297ace2d8b050781b4bea812a73283dec32dba70104d1e6154a19d6a4b"},"schema_version":"1.0","source":{"id":"1507.05991","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05991","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05991v1","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05991","created_at":"2026-05-18T01:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"4KTM2YRQ6AR7","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4KTM2YRQ6AR7W3BM","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4KTM2YRQ","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:aba3b707538c96bf58b1b240083b08a24593ef3b86c9488e2c65e6521b806b7a","target":"graph","created_at":"2026-05-18T01:36:26Z","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":"Networked automation systems (NAS) are characterized by confluence of control, computation, communication and Information (C3I) technologies. Design decisions of one domain are affected by the constraints posed by others. Reliable NAS design should address the requirements of the system, and simultaneously meet the constraints posed by other domains and this is called co-design in literature. Co-design requires clear definition of interfaces among these domains. Control design in NAS is affected by the timing imperfections posed by other domains. In this investigation, we first study the diffe","authors_text":"B. Sreram, B. Subathra, Seshadhri Srinivasan, Srini Ramaswamy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-10T17:45:10Z","title":"Design Contracts For Networked Automation Systems Co-design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05991","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:37cc7986cd66a9538f3f3adb5976c1e05e0d5459028296d511ba387a69ade534","target":"record","created_at":"2026-05-18T01:36:26Z","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":"0c6647fa8999ced8b6f8b732cbf3a88396c72eb8b00719d3764efea7eb64adaa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-10T17:45:10Z","title_canon_sha256":"390f56297ace2d8b050781b4bea812a73283dec32dba70104d1e6154a19d6a4b"},"schema_version":"1.0","source":{"id":"1507.05991","kind":"arxiv","version":1}},"canonical_sha256":"e2a6cd6230f023fb6c2ca20fb2f1e3db5309cac4975b7fb3105b308ef2d767aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2a6cd6230f023fb6c2ca20fb2f1e3db5309cac4975b7fb3105b308ef2d767aa","first_computed_at":"2026-05-18T01:36:26.999733Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:26.999733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uFBwEElJ7Z9j4jW7Cn3PKND7S5cCHaQhqm82bHEZcGXmqLGX6sTt/6ImW4K4CGoTIV1rGF2tsIams3yfmX2bDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:27.000331Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.05991","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37cc7986cd66a9538f3f3adb5976c1e05e0d5459028296d511ba387a69ade534","sha256:aba3b707538c96bf58b1b240083b08a24593ef3b86c9488e2c65e6521b806b7a"],"state_sha256":"ea574b92a6795b44bbc561abb34b6651423791c37c46d51eb3a9d3b4e181162e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1RYCjxFdgLb7IXynQwCvHboI/BtuaMb9Ityt31DSTChPfcaLAXDJ1eX2A8enRXsKQKn3Vzl0rZgKfR481fYrBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T17:49:38.794380Z","bundle_sha256":"6364b222c380e41dcd40d815ebb246374d7003703adb6348d3462cdbd31694b8"}}