{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:EWAQEU5GYRYO46NRMMRMVXI2KI","short_pith_number":"pith:EWAQEU5G","canonical_record":{"source":{"id":"1302.5974","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-25T01:54:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1458d6c26362f911ba92a2750dcdc48985a1593c4b40517830d565dd68263844","abstract_canon_sha256":"fb2ed2e3c16320dfe5810e4cb28a657d5d8723e4dafb86bf1afa8ddae866040a"},"schema_version":"1.0"},"canonical_sha256":"25810253a6c470ee79b16322cadd1a520f379eefdd0fc7cdcbf8fdf53996cfa2","source":{"kind":"arxiv","id":"1302.5974","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5974","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5974v1","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5974","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"EWAQEU5GYRYO","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EWAQEU5GYRYO46NR","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EWAQEU5G","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:EWAQEU5GYRYO46NRMMRMVXI2KI","target":"record","payload":{"canonical_record":{"source":{"id":"1302.5974","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-25T01:54:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1458d6c26362f911ba92a2750dcdc48985a1593c4b40517830d565dd68263844","abstract_canon_sha256":"fb2ed2e3c16320dfe5810e4cb28a657d5d8723e4dafb86bf1afa8ddae866040a"},"schema_version":"1.0"},"canonical_sha256":"25810253a6c470ee79b16322cadd1a520f379eefdd0fc7cdcbf8fdf53996cfa2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:33.018934Z","signature_b64":"bTG543UjP5TzkNCmZ6TrgfdD7yDmaYo1Bz0qECjXUdNJAE8ENjscsa+IXQwRp406lIuQx4DM6cK6FDwGRJCqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25810253a6c470ee79b16322cadd1a520f379eefdd0fc7cdcbf8fdf53996cfa2","last_reissued_at":"2026-05-18T03:32:33.018129Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:33.018129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.5974","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-18T03:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aTj5oWFScMNDVkNV7lrNGWtYpBG/iFTVjPPIpU1dGmwLkZz0/bX5frHXyCeKVp9cTxY2LfvG1n80tIb3Yzp2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T13:23:35.106353Z"},"content_sha256":"c69ac786e2d9ee4cc609fde6bc5f61b632cb55cb4bd9a2a1fe5ca9cbbd451816","schema_version":"1.0","event_id":"sha256:c69ac786e2d9ee4cc609fde6bc5f61b632cb55cb4bd9a2a1fe5ca9cbbd451816"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:EWAQEU5GYRYO46NRMMRMVXI2KI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SC","authors_text":"Min Wu, Wang Lin, Zhengfeng Yang","submitted_at":"2013-02-25T01:54:41Z","abstract_excerpt":"In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provided to verify safety properties of non-polynomial hybrid systems. Experiments on the benchmark hybrid systems are given to illustrate the efficiency of our method."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5974","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-18T03:32:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"szWnlQ//cW0yMNPDIpAuwUEYhWZmdqzyDTLIZWrn8nnCSb8BDkr5w3+ngrur5/FGWFtZRf4mhXlxvbeqW6j/CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T13:23:35.106920Z"},"content_sha256":"912c2c5c5af0f30992e7301f945fec261f9019f18f8c8aa0ba5d4ba4fb9965d6","schema_version":"1.0","event_id":"sha256:912c2c5c5af0f30992e7301f945fec261f9019f18f8c8aa0ba5d4ba4fb9965d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/bundle.json","state_url":"https://pith.science/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/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-21T13:23:35Z","links":{"resolver":"https://pith.science/pith/EWAQEU5GYRYO46NRMMRMVXI2KI","bundle":"https://pith.science/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/bundle.json","state":"https://pith.science/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EWAQEU5GYRYO46NRMMRMVXI2KI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:EWAQEU5GYRYO46NRMMRMVXI2KI","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":"fb2ed2e3c16320dfe5810e4cb28a657d5d8723e4dafb86bf1afa8ddae866040a","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-25T01:54:41Z","title_canon_sha256":"1458d6c26362f911ba92a2750dcdc48985a1593c4b40517830d565dd68263844"},"schema_version":"1.0","source":{"id":"1302.5974","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5974","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5974v1","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5974","created_at":"2026-05-18T03:32:33Z"},{"alias_kind":"pith_short_12","alias_value":"EWAQEU5GYRYO","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EWAQEU5GYRYO46NR","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EWAQEU5G","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:912c2c5c5af0f30992e7301f945fec261f9019f18f8c8aa0ba5d4ba4fb9965d6","target":"graph","created_at":"2026-05-18T03:32:33Z","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":"In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provided to verify safety properties of non-polynomial hybrid systems. Experiments on the benchmark hybrid systems are given to illustrate the efficiency of our method.","authors_text":"Min Wu, Wang Lin, Zhengfeng Yang","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-25T01:54:41Z","title":"Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5974","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:c69ac786e2d9ee4cc609fde6bc5f61b632cb55cb4bd9a2a1fe5ca9cbbd451816","target":"record","created_at":"2026-05-18T03:32:33Z","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":"fb2ed2e3c16320dfe5810e4cb28a657d5d8723e4dafb86bf1afa8ddae866040a","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-25T01:54:41Z","title_canon_sha256":"1458d6c26362f911ba92a2750dcdc48985a1593c4b40517830d565dd68263844"},"schema_version":"1.0","source":{"id":"1302.5974","kind":"arxiv","version":1}},"canonical_sha256":"25810253a6c470ee79b16322cadd1a520f379eefdd0fc7cdcbf8fdf53996cfa2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25810253a6c470ee79b16322cadd1a520f379eefdd0fc7cdcbf8fdf53996cfa2","first_computed_at":"2026-05-18T03:32:33.018129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:33.018129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bTG543UjP5TzkNCmZ6TrgfdD7yDmaYo1Bz0qECjXUdNJAE8ENjscsa+IXQwRp406lIuQx4DM6cK6FDwGRJCqDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:33.018934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.5974","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c69ac786e2d9ee4cc609fde6bc5f61b632cb55cb4bd9a2a1fe5ca9cbbd451816","sha256:912c2c5c5af0f30992e7301f945fec261f9019f18f8c8aa0ba5d4ba4fb9965d6"],"state_sha256":"c5346835169b010a6f00b957ca7dc179703a1cb08a6355e44d0de209b41eda5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hhB9rNHhjR/zSRYmDEfRh/Si6mGfqcCMl62UuTJnqFmCTimO0owyg3uUmuLbFe0wqcxmzF2zaVuv8yYtdtmWBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T13:23:35.109547Z","bundle_sha256":"f27a0b5de69de2b5910594cc3239c89a9c46f406a1203e574417f3880fa21f13"}}