{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZWCIH6ZLOFOG4Q2LXAJT4JB3LA","short_pith_number":"pith:ZWCIH6ZL","canonical_record":{"source":{"id":"1806.05754","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-14T22:09:14Z","cross_cats_sorted":[],"title_canon_sha256":"c581947965d02e2321a388d38467faf4543fe6ac7c9e68ae7863f9e5d5c2edf8","abstract_canon_sha256":"edaf558fa9f9f0e4112f6a5622b0fdda40d1715a788e63c9c8f3a03acec4e008"},"schema_version":"1.0"},"canonical_sha256":"cd8483fb2b715c6e434bb8133e243b58160537d914887593da651a5f76bc219d","source":{"kind":"arxiv","id":"1806.05754","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05754","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05754v1","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05754","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"pith_short_12","alias_value":"ZWCIH6ZLOFOG","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZWCIH6ZLOFOG4Q2L","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZWCIH6ZL","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZWCIH6ZLOFOG4Q2LXAJT4JB3LA","target":"record","payload":{"canonical_record":{"source":{"id":"1806.05754","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-14T22:09:14Z","cross_cats_sorted":[],"title_canon_sha256":"c581947965d02e2321a388d38467faf4543fe6ac7c9e68ae7863f9e5d5c2edf8","abstract_canon_sha256":"edaf558fa9f9f0e4112f6a5622b0fdda40d1715a788e63c9c8f3a03acec4e008"},"schema_version":"1.0"},"canonical_sha256":"cd8483fb2b715c6e434bb8133e243b58160537d914887593da651a5f76bc219d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:09.548836Z","signature_b64":"fMWE74w5qgxBKKz1ncgMMPUh0ZJ+bxYiihdYi3ii3jweiyoEX0LZSyCGbIXuseqAnPrywrHM2ojCw2giv43tBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd8483fb2b715c6e434bb8133e243b58160537d914887593da651a5f76bc219d","last_reissued_at":"2026-05-18T00:13:09.548132Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:09.548132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.05754","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:13:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g4Hmvf74Uo0o9vma8QhVAgtg1jSrR658wJMj1bwLjZvav0XHQIuotQMfn17C9HTMPQ/0geY0bNOu2+eZIketCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T22:44:48.750519Z"},"content_sha256":"d9fc1a5dfeea5254adf9a57cf5793285f4477bf9d22b3f3141e25853d648d0d1","schema_version":"1.0","event_id":"sha256:d9fc1a5dfeea5254adf9a57cf5793285f4477bf9d22b3f3141e25853d648d0d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZWCIH6ZLOFOG4Q2LXAJT4JB3LA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantized State Hybrid Automata for Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Avinash Malik, Partha Roop","submitted_at":"2018-06-14T22:09:14Z","abstract_excerpt":"Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are highly safety critical. Hybrid Automata (HA) based formal approach is gaining momentum for the specification and validation of CPS. HA combines the model of the plant along with its discrete controller resulting in a piece-wise continuous system with discontinuities. Accurate detection of these discontinuities, using appropriate level crossing detectors, is a key challenge to simulation of CPS based on HA. Existing techn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05754","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:13:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UIY+DHtoXkfV/ph+uTpmviYM38Iqp4nhMZ6SyUCI9ApXro4A9bsEdEW5ilmU9+YCymEXoViL5iKdRDax+bn2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T22:44:48.750860Z"},"content_sha256":"3dfe08fe60114aac88996f171ffb92e83a366f74f0816d93014f981e074047b1","schema_version":"1.0","event_id":"sha256:3dfe08fe60114aac88996f171ffb92e83a366f74f0816d93014f981e074047b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/bundle.json","state_url":"https://pith.science/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/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-22T22:44:48Z","links":{"resolver":"https://pith.science/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA","bundle":"https://pith.science/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/bundle.json","state":"https://pith.science/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZWCIH6ZLOFOG4Q2LXAJT4JB3LA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZWCIH6ZLOFOG4Q2LXAJT4JB3LA","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":"edaf558fa9f9f0e4112f6a5622b0fdda40d1715a788e63c9c8f3a03acec4e008","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-14T22:09:14Z","title_canon_sha256":"c581947965d02e2321a388d38467faf4543fe6ac7c9e68ae7863f9e5d5c2edf8"},"schema_version":"1.0","source":{"id":"1806.05754","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05754","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05754v1","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05754","created_at":"2026-05-18T00:13:09Z"},{"alias_kind":"pith_short_12","alias_value":"ZWCIH6ZLOFOG","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZWCIH6ZLOFOG4Q2L","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZWCIH6ZL","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:3dfe08fe60114aac88996f171ffb92e83a366f74f0816d93014f981e074047b1","target":"graph","created_at":"2026-05-18T00:13:09Z","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":"Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are highly safety critical. Hybrid Automata (HA) based formal approach is gaining momentum for the specification and validation of CPS. HA combines the model of the plant along with its discrete controller resulting in a piece-wise continuous system with discontinuities. Accurate detection of these discontinuities, using appropriate level crossing detectors, is a key challenge to simulation of CPS based on HA. Existing techn","authors_text":"Avinash Malik, Partha Roop","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-14T22:09:14Z","title":"Quantized State Hybrid Automata for Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05754","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:d9fc1a5dfeea5254adf9a57cf5793285f4477bf9d22b3f3141e25853d648d0d1","target":"record","created_at":"2026-05-18T00:13:09Z","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":"edaf558fa9f9f0e4112f6a5622b0fdda40d1715a788e63c9c8f3a03acec4e008","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-14T22:09:14Z","title_canon_sha256":"c581947965d02e2321a388d38467faf4543fe6ac7c9e68ae7863f9e5d5c2edf8"},"schema_version":"1.0","source":{"id":"1806.05754","kind":"arxiv","version":1}},"canonical_sha256":"cd8483fb2b715c6e434bb8133e243b58160537d914887593da651a5f76bc219d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd8483fb2b715c6e434bb8133e243b58160537d914887593da651a5f76bc219d","first_computed_at":"2026-05-18T00:13:09.548132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:09.548132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fMWE74w5qgxBKKz1ncgMMPUh0ZJ+bxYiihdYi3ii3jweiyoEX0LZSyCGbIXuseqAnPrywrHM2ojCw2giv43tBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:09.548836Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.05754","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9fc1a5dfeea5254adf9a57cf5793285f4477bf9d22b3f3141e25853d648d0d1","sha256:3dfe08fe60114aac88996f171ffb92e83a366f74f0816d93014f981e074047b1"],"state_sha256":"57bbdc9697342efb4df9914ec403f66edcbab1082e9f7b572dbe8b210a349367"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZKd/y7SUB1DEoIoNZPW9fIEmJSyjQalYJ75g8yBRGTtZMJqzTDomA8CnhQ7OTCPYN5wGgYxLgkqoyBwRNYhyDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T22:44:48.752821Z","bundle_sha256":"db74bbbca68e728bad3f3645e9942ce403ab18d44f57fd24e7ef9b8de0acc1c4"}}