{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:T4MCX7SXWADFB37CV5TWLQXCF5","short_pith_number":"pith:T4MCX7SX","canonical_record":{"source":{"id":"1712.06311","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-18T09:38:11Z","cross_cats_sorted":[],"title_canon_sha256":"1cc7ec7cb7ed798ff1e8e2d5ea0661424d16a1e2d050f01380fead58e4ee4295","abstract_canon_sha256":"332e43d7a7fabd71f4e60b5c7c38f1de79cd1dd42e3f7e77ccaf78ed9a855105"},"schema_version":"1.0"},"canonical_sha256":"9f182bfe57b00650efe2af6765c2e22f5bf3d1f6226233208cb111466aff8df5","source":{"kind":"arxiv","id":"1712.06311","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.06311","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"arxiv_version","alias_value":"1712.06311v2","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.06311","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"pith_short_12","alias_value":"T4MCX7SXWADF","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"T4MCX7SXWADFB37C","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"T4MCX7SX","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:T4MCX7SXWADFB37CV5TWLQXCF5","target":"record","payload":{"canonical_record":{"source":{"id":"1712.06311","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-18T09:38:11Z","cross_cats_sorted":[],"title_canon_sha256":"1cc7ec7cb7ed798ff1e8e2d5ea0661424d16a1e2d050f01380fead58e4ee4295","abstract_canon_sha256":"332e43d7a7fabd71f4e60b5c7c38f1de79cd1dd42e3f7e77ccaf78ed9a855105"},"schema_version":"1.0"},"canonical_sha256":"9f182bfe57b00650efe2af6765c2e22f5bf3d1f6226233208cb111466aff8df5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:17.289313Z","signature_b64":"4qX3lZWwxgXKAT/aK0+qHoezEnYxcXyB/WhpD8nKNtjKNVSU6VehmaBK9JXgf+X5Puzf1PVpSwRJQqHyVpvLBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f182bfe57b00650efe2af6765c2e22f5bf3d1f6226233208cb111466aff8df5","last_reissued_at":"2026-05-18T00:27:17.288925Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:17.288925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.06311","source_version":2,"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:27:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aNyf2hSw0HHKlm7DRsC/HMd/LI0fQ93DRCZ2w0DfgPgclE6HkKdhxsqrwq93WNV1uEs9hwS4vdO7bxo6er9jDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:53:25.904577Z"},"content_sha256":"b26ae0341a731cb8d7f5bdaee0a67342c9479b66a7848356dfcf661ae7a994e0","schema_version":"1.0","event_id":"sha256:b26ae0341a731cb8d7f5bdaee0a67342c9479b66a7848356dfcf661ae7a994e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:T4MCX7SXWADFB37CV5TWLQXCF5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Ichiro Hasuo, Kengo Kido, Sean Sedwards","submitted_at":"2017-12-18T09:38:11Z","abstract_excerpt":"Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is based on approximate bisimulation, a notion that has been previously utilized mainly for symbolic (discrete) abstraction of state spaces. Notable in our framework is that, in deriving an approximate bisimulation and thus an error bound, we use a simple incremental stability assumption (namely {\\delta}-GUAS) that does not itself refer to time delays. That this is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.06311","kind":"arxiv","version":2},"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:27:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K/YWXhdA5wcDcgFnBklrbJMVmuZjVoZ7IQKIWwDp9Xfjb/ZvGQAvt9a6j6K11xyZoxiz1MKAwaAWZY8+TwIjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:53:25.904961Z"},"content_sha256":"dceaa0f2deede93152c6116ad028bfa9886fa65f7fffec6e29221819059f525f","schema_version":"1.0","event_id":"sha256:dceaa0f2deede93152c6116ad028bfa9886fa65f7fffec6e29221819059f525f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T4MCX7SXWADFB37CV5TWLQXCF5/bundle.json","state_url":"https://pith.science/pith/T4MCX7SXWADFB37CV5TWLQXCF5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T4MCX7SXWADFB37CV5TWLQXCF5/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:53:25Z","links":{"resolver":"https://pith.science/pith/T4MCX7SXWADFB37CV5TWLQXCF5","bundle":"https://pith.science/pith/T4MCX7SXWADFB37CV5TWLQXCF5/bundle.json","state":"https://pith.science/pith/T4MCX7SXWADFB37CV5TWLQXCF5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T4MCX7SXWADFB37CV5TWLQXCF5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:T4MCX7SXWADFB37CV5TWLQXCF5","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":"332e43d7a7fabd71f4e60b5c7c38f1de79cd1dd42e3f7e77ccaf78ed9a855105","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-18T09:38:11Z","title_canon_sha256":"1cc7ec7cb7ed798ff1e8e2d5ea0661424d16a1e2d050f01380fead58e4ee4295"},"schema_version":"1.0","source":{"id":"1712.06311","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.06311","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"arxiv_version","alias_value":"1712.06311v2","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.06311","created_at":"2026-05-18T00:27:17Z"},{"alias_kind":"pith_short_12","alias_value":"T4MCX7SXWADF","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"T4MCX7SXWADFB37C","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"T4MCX7SX","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:dceaa0f2deede93152c6116ad028bfa9886fa65f7fffec6e29221819059f525f","target":"graph","created_at":"2026-05-18T00:27:17Z","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":"Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is based on approximate bisimulation, a notion that has been previously utilized mainly for symbolic (discrete) abstraction of state spaces. Notable in our framework is that, in deriving an approximate bisimulation and thus an error bound, we use a simple incremental stability assumption (namely {\\delta}-GUAS) that does not itself refer to time delays. That this is","authors_text":"Ichiro Hasuo, Kengo Kido, Sean Sedwards","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-18T09:38:11Z","title":"Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.06311","kind":"arxiv","version":2},"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:b26ae0341a731cb8d7f5bdaee0a67342c9479b66a7848356dfcf661ae7a994e0","target":"record","created_at":"2026-05-18T00:27:17Z","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":"332e43d7a7fabd71f4e60b5c7c38f1de79cd1dd42e3f7e77ccaf78ed9a855105","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-18T09:38:11Z","title_canon_sha256":"1cc7ec7cb7ed798ff1e8e2d5ea0661424d16a1e2d050f01380fead58e4ee4295"},"schema_version":"1.0","source":{"id":"1712.06311","kind":"arxiv","version":2}},"canonical_sha256":"9f182bfe57b00650efe2af6765c2e22f5bf3d1f6226233208cb111466aff8df5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f182bfe57b00650efe2af6765c2e22f5bf3d1f6226233208cb111466aff8df5","first_computed_at":"2026-05-18T00:27:17.288925Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:17.288925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4qX3lZWwxgXKAT/aK0+qHoezEnYxcXyB/WhpD8nKNtjKNVSU6VehmaBK9JXgf+X5Puzf1PVpSwRJQqHyVpvLBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:17.289313Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.06311","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b26ae0341a731cb8d7f5bdaee0a67342c9479b66a7848356dfcf661ae7a994e0","sha256:dceaa0f2deede93152c6116ad028bfa9886fa65f7fffec6e29221819059f525f"],"state_sha256":"39a79ec733dc7bbd55afbb14514cbdbd6041bdfa30e63374f12bca108a38cee6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LHNpZMGXpFNZVokIXh8gLJfKXo1GCUUZ9JEG1gTUSgs95j93N40Eyp6mhs80TpuHEQbZuYeZsgTsiHQvlvHwDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T20:53:25.907005Z","bundle_sha256":"2b3c32df95cadd947270e3fc7668a202070e74f3c63cdb1abfa9ef8848db377c"}}