{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XC4XCSIVUQZ2LHR2UHW7X4RXXC","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":"eca79dc8e2a069d9e8e8cdeffe81577c730efdedbc116e4ecd0b7c4b19e154e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-15T17:08:23Z","title_canon_sha256":"09cb6dda2b05eeba468cdbd8ae8df2355ac665c82f7d99090b703d872307ef82"},"schema_version":"1.0","source":{"id":"1507.04300","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04300","created_at":"2026-05-18T00:58:35Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04300v1","created_at":"2026-05-18T00:58:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04300","created_at":"2026-05-18T00:58:35Z"},{"alias_kind":"pith_short_12","alias_value":"XC4XCSIVUQZ2","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XC4XCSIVUQZ2LHR2","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XC4XCSIV","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:5590bb88f37ac3c79146962e6674c61ddd1028e2baa7cf9d229c290abe93b58b","target":"graph","created_at":"2026-05-18T00:58:35Z","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) have to meet stringent response time during operation. Verifying response time of automation is an important step during design phase before deployment. Timing discrepancies due to hardware, software and communication components of NAS affect the response time. This investigation uses model templates for verifying the response time in NAS. First, jitter bounds model the timing fluctuations of NAS components. These jitter bounds are the inputs to model templates that are formal models of timing fluctuations. The model templates are atomic action patterns compo","authors_text":"Furio Buonopane, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-15T17:08:23Z","title":"Verifying Response Times in Networked Automation Systems Using Jitter Bounds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04300","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:0a396bfb8456cc9d2e362ac25a8a1812ad1b0c90564e2d6918e7fdc55d92ab18","target":"record","created_at":"2026-05-18T00:58:35Z","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":"eca79dc8e2a069d9e8e8cdeffe81577c730efdedbc116e4ecd0b7c4b19e154e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-07-15T17:08:23Z","title_canon_sha256":"09cb6dda2b05eeba468cdbd8ae8df2355ac665c82f7d99090b703d872307ef82"},"schema_version":"1.0","source":{"id":"1507.04300","kind":"arxiv","version":1}},"canonical_sha256":"b8b9714915a433a59e3aa1edfbf237b880aa916d8670b20a5e2bd2106886c0bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8b9714915a433a59e3aa1edfbf237b880aa916d8670b20a5e2bd2106886c0bd","first_computed_at":"2026-05-18T00:58:35.287124Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:35.287124Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IJWcuOEfleWmZj+ZEfgdS1Jji+Ox29JBkef6YHgqCVIh2AnV9EOyRGCKnyxWjXYl/7Uo2Zx+I1ucTzCcrDGxCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:35.288015Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.04300","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a396bfb8456cc9d2e362ac25a8a1812ad1b0c90564e2d6918e7fdc55d92ab18","sha256:5590bb88f37ac3c79146962e6674c61ddd1028e2baa7cf9d229c290abe93b58b"],"state_sha256":"48a02a1c97f7356a0617236112e7541ece5a366b4122557cef67cdecbcaeeb25"}