{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:NGI3NDBUKIUKNZST4XUJ4454QN","short_pith_number":"pith:NGI3NDBU","canonical_record":{"source":{"id":"cs/0611051","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2006-11-13T17:28:24Z","cross_cats_sorted":[],"title_canon_sha256":"91ecbf1f0041117c23dd6df49eb5b1f350433c6c871dc386280d051d62c62371","abstract_canon_sha256":"88256a0f520e2dfbec2ee60f2834fc561b6de5763a2150d47cc625a743885324"},"schema_version":"1.0"},"canonical_sha256":"6991b68c345228a6e653e5e89e73bc834b7965b31a025436f58805f4389bafd1","source":{"kind":"arxiv","id":"cs/0611051","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0611051","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0611051v1","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0611051","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"NGI3NDBUKIUK","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"NGI3NDBUKIUKNZST","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"NGI3NDBU","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:NGI3NDBUKIUKNZST4XUJ4454QN","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0611051","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2006-11-13T17:28:24Z","cross_cats_sorted":[],"title_canon_sha256":"91ecbf1f0041117c23dd6df49eb5b1f350433c6c871dc386280d051d62c62371","abstract_canon_sha256":"88256a0f520e2dfbec2ee60f2834fc561b6de5763a2150d47cc625a743885324"},"schema_version":"1.0"},"canonical_sha256":"6991b68c345228a6e653e5e89e73bc834b7965b31a025436f58805f4389bafd1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:08:54.031033Z","signature_b64":"9ObNbEuOE13Y3KwLzZd4Nyb4cG5KvShTCiGMRBxxWqoVrH8mphHPqmtD6Vnx+LiCtOFxBpl/gTn1TuIO3GNqCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6991b68c345228a6e653e5e89e73bc834b7965b31a025436f58805f4389bafd1","last_reissued_at":"2026-05-18T04:08:54.030457Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:08:54.030457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0611051","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-18T04:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZHldIMcIZy7gx9JnanjqDJy6uX6bugyEk/lNQMjJfcvavwYtR8ftIMrrFgSypwBGs9iywO9jplnVKz4AntkPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:46:30.553919Z"},"content_sha256":"0ec8622cfaa8429b37900ced37a235a29563ae73d31da6d2bc2d490c776cb462","schema_version":"1.0","event_id":"sha256:0ec8622cfaa8429b37900ced37a235a29563ae73d31da6d2bc2d490c776cb462"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:NGI3NDBUKIUKNZST4XUJ4454QN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata","license":"","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Sumit Kumar Jha","submitted_at":"2006-11-13T17:28:24Z","abstract_excerpt":"This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata. A notion of $\\epsilon-$ structural robustness is also introduced which allows the algorithm to validate counterexamples using numerical simulations.\n  Keywords: verification, model checking, hybrid systems, hybrid automata, robustness, robust hybrid systems, numerical simulation, cegar, abstraction refi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0611051","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-18T04:08:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ildlzywngi6WBHWinOb3Jf7jY8bmNmHWteeRpl9SlDYiAx4h7uEuPbhgY22iEd7CUfctR3N+c5bwhdqr2iQBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:46:30.554559Z"},"content_sha256":"3b3dc37370d849ca1eeb381f57a9fee1c3a9bb9e4f9b0103901c06794f426a3e","schema_version":"1.0","event_id":"sha256:3b3dc37370d849ca1eeb381f57a9fee1c3a9bb9e4f9b0103901c06794f426a3e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NGI3NDBUKIUKNZST4XUJ4454QN/bundle.json","state_url":"https://pith.science/pith/NGI3NDBUKIUKNZST4XUJ4454QN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NGI3NDBUKIUKNZST4XUJ4454QN/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-02T14:46:30Z","links":{"resolver":"https://pith.science/pith/NGI3NDBUKIUKNZST4XUJ4454QN","bundle":"https://pith.science/pith/NGI3NDBUKIUKNZST4XUJ4454QN/bundle.json","state":"https://pith.science/pith/NGI3NDBUKIUKNZST4XUJ4454QN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NGI3NDBUKIUKNZST4XUJ4454QN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:NGI3NDBUKIUKNZST4XUJ4454QN","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":"88256a0f520e2dfbec2ee60f2834fc561b6de5763a2150d47cc625a743885324","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2006-11-13T17:28:24Z","title_canon_sha256":"91ecbf1f0041117c23dd6df49eb5b1f350433c6c871dc386280d051d62c62371"},"schema_version":"1.0","source":{"id":"cs/0611051","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0611051","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0611051v1","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0611051","created_at":"2026-05-18T04:08:54Z"},{"alias_kind":"pith_short_12","alias_value":"NGI3NDBUKIUK","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"NGI3NDBUKIUKNZST","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"NGI3NDBU","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:3b3dc37370d849ca1eeb381f57a9fee1c3a9bb9e4f9b0103901c06794f426a3e","target":"graph","created_at":"2026-05-18T04:08: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":"This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata. A notion of $\\epsilon-$ structural robustness is also introduced which allows the algorithm to validate counterexamples using numerical simulations.\n  Keywords: verification, model checking, hybrid systems, hybrid automata, robustness, robust hybrid systems, numerical simulation, cegar, abstraction refi","authors_text":"Sumit Kumar Jha","cross_cats":[],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2006-11-13T17:28:24Z","title":"Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0611051","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:0ec8622cfaa8429b37900ced37a235a29563ae73d31da6d2bc2d490c776cb462","target":"record","created_at":"2026-05-18T04:08: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":"88256a0f520e2dfbec2ee60f2834fc561b6de5763a2150d47cc625a743885324","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2006-11-13T17:28:24Z","title_canon_sha256":"91ecbf1f0041117c23dd6df49eb5b1f350433c6c871dc386280d051d62c62371"},"schema_version":"1.0","source":{"id":"cs/0611051","kind":"arxiv","version":1}},"canonical_sha256":"6991b68c345228a6e653e5e89e73bc834b7965b31a025436f58805f4389bafd1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6991b68c345228a6e653e5e89e73bc834b7965b31a025436f58805f4389bafd1","first_computed_at":"2026-05-18T04:08:54.030457Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:08:54.030457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9ObNbEuOE13Y3KwLzZd4Nyb4cG5KvShTCiGMRBxxWqoVrH8mphHPqmtD6Vnx+LiCtOFxBpl/gTn1TuIO3GNqCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:08:54.031033Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0611051","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ec8622cfaa8429b37900ced37a235a29563ae73d31da6d2bc2d490c776cb462","sha256:3b3dc37370d849ca1eeb381f57a9fee1c3a9bb9e4f9b0103901c06794f426a3e"],"state_sha256":"8bb34ed41300fcd7b7d1220d93fa1c2d8422d7ab01ea1a4549212daa4ced5e37"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lJ/Ehs5RQSnnseY0Zi7GR+l0zG5TxXLgD5vVkFxINMjztDWbWwpRfqvyvUjvAwrlz+0W4cHy79HPTmi4IDhJAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:46:30.557623Z","bundle_sha256":"2016cab6d201f287ced4317779e32bc5fbccc857b2b1f77d4f5d74bdd6681b6a"}}