{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:SOCRGWZXLMGXJWLP7WMKU5ZJLU","short_pith_number":"pith:SOCRGWZX","canonical_record":{"source":{"id":"1104.5335","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-28T09:49:10Z","cross_cats_sorted":[],"title_canon_sha256":"376c59f30669c9c34a707441c1151ae71c92e94543833062b791854f3756880e","abstract_canon_sha256":"bda165041f82e2b10f3af519a24f654d2da772dcda6722196a0c411c2a754dc9"},"schema_version":"1.0"},"canonical_sha256":"9385135b375b0d74d96ffd98aa77295d12db31e8968c4e5eb8daae1f59196838","source":{"kind":"arxiv","id":"1104.5335","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.5335","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1104.5335v1","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.5335","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"SOCRGWZXLMGX","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SOCRGWZXLMGXJWLP","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SOCRGWZX","created_at":"2026-05-18T12:26:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:SOCRGWZXLMGXJWLP7WMKU5ZJLU","target":"record","payload":{"canonical_record":{"source":{"id":"1104.5335","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-28T09:49:10Z","cross_cats_sorted":[],"title_canon_sha256":"376c59f30669c9c34a707441c1151ae71c92e94543833062b791854f3756880e","abstract_canon_sha256":"bda165041f82e2b10f3af519a24f654d2da772dcda6722196a0c411c2a754dc9"},"schema_version":"1.0"},"canonical_sha256":"9385135b375b0d74d96ffd98aa77295d12db31e8968c4e5eb8daae1f59196838","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:23:21.692866Z","signature_b64":"99+LfTreMlQwwBE0auvnACt8bbQcfGikuu3m2qyiGdVUhAmxfZ5Sx0nNk/FJxM7G1er8RU1a64el7HRUeNlRBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9385135b375b0d74d96ffd98aa77295d12db31e8968c4e5eb8daae1f59196838","last_reissued_at":"2026-05-18T04:23:21.692338Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:23:21.692338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.5335","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:23:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8M0O4ZoNTBsCha3YCK5hlHVOKC5gmBgT602aH4Sf/Z8sy5vyuN2jwtM/beQjDS9rXxBIb6x31fj02BP0w4aCAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:24:00.090153Z"},"content_sha256":"39f80cc1ed1a49561d22f7a82efb5a188a07b4fd124b3b3893646614101bfc7c","schema_version":"1.0","event_id":"sha256:39f80cc1ed1a49561d22f7a82efb5a188a07b4fd124b3b3893646614101bfc7c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:SOCRGWZXLMGXJWLP7WMKU5ZJLU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Reachability for Hybrid Automata over Bounded Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Gilles Geeraerts, James Worrell, Jean-Fran\\c{c}ois Raskin, Jo\\\"el Ouaknine, Laurent Doyen, Thomas Brihaye","submitted_at":"2011-04-28T09:49:10Z","abstract_excerpt":"This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target location within T time units, where T is a constant rational value. We show that, in contrast to the classical (unbounded) reachability problem, the timed-bounded version is decidable for rectangular hybrid automata provided only non-negative rates are allowed. This class of systems is of practical interest and subsumes, among others, the class of stopwatch automata. We also show that the problem becomes undecidable if eit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.5335","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:23:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5B1CSKXhaLlt7DKD/1DM/N3EO64vHHmACJrIsqtoU4i/+jMgNPjMWoKuTikCDL4WKebFkN0rmmnk6KqYXLJqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:24:00.090787Z"},"content_sha256":"8961d3279be11da9da8fac9f10a254f97e8a707a0ff2995d84f6f4da7293d5d9","schema_version":"1.0","event_id":"sha256:8961d3279be11da9da8fac9f10a254f97e8a707a0ff2995d84f6f4da7293d5d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/bundle.json","state_url":"https://pith.science/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/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-26T20:24:00Z","links":{"resolver":"https://pith.science/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU","bundle":"https://pith.science/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/bundle.json","state":"https://pith.science/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SOCRGWZXLMGXJWLP7WMKU5ZJLU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:SOCRGWZXLMGXJWLP7WMKU5ZJLU","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":"bda165041f82e2b10f3af519a24f654d2da772dcda6722196a0c411c2a754dc9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-28T09:49:10Z","title_canon_sha256":"376c59f30669c9c34a707441c1151ae71c92e94543833062b791854f3756880e"},"schema_version":"1.0","source":{"id":"1104.5335","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.5335","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1104.5335v1","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.5335","created_at":"2026-05-18T04:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"SOCRGWZXLMGX","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SOCRGWZXLMGXJWLP","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SOCRGWZX","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:8961d3279be11da9da8fac9f10a254f97e8a707a0ff2995d84f6f4da7293d5d9","target":"graph","created_at":"2026-05-18T04:23:21Z","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 paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target location within T time units, where T is a constant rational value. We show that, in contrast to the classical (unbounded) reachability problem, the timed-bounded version is decidable for rectangular hybrid automata provided only non-negative rates are allowed. This class of systems is of practical interest and subsumes, among others, the class of stopwatch automata. We also show that the problem becomes undecidable if eit","authors_text":"Gilles Geeraerts, James Worrell, Jean-Fran\\c{c}ois Raskin, Jo\\\"el Ouaknine, Laurent Doyen, Thomas Brihaye","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-28T09:49:10Z","title":"On Reachability for Hybrid Automata over Bounded Time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.5335","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:39f80cc1ed1a49561d22f7a82efb5a188a07b4fd124b3b3893646614101bfc7c","target":"record","created_at":"2026-05-18T04:23:21Z","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":"bda165041f82e2b10f3af519a24f654d2da772dcda6722196a0c411c2a754dc9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-04-28T09:49:10Z","title_canon_sha256":"376c59f30669c9c34a707441c1151ae71c92e94543833062b791854f3756880e"},"schema_version":"1.0","source":{"id":"1104.5335","kind":"arxiv","version":1}},"canonical_sha256":"9385135b375b0d74d96ffd98aa77295d12db31e8968c4e5eb8daae1f59196838","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9385135b375b0d74d96ffd98aa77295d12db31e8968c4e5eb8daae1f59196838","first_computed_at":"2026-05-18T04:23:21.692338Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:23:21.692338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"99+LfTreMlQwwBE0auvnACt8bbQcfGikuu3m2qyiGdVUhAmxfZ5Sx0nNk/FJxM7G1er8RU1a64el7HRUeNlRBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:23:21.692866Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.5335","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39f80cc1ed1a49561d22f7a82efb5a188a07b4fd124b3b3893646614101bfc7c","sha256:8961d3279be11da9da8fac9f10a254f97e8a707a0ff2995d84f6f4da7293d5d9"],"state_sha256":"a4c50e86c7f0dcf64b007d1af89249401d5d2530bf65158bddd98f74d84bd521"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B/nHkguwQx7dRYSEk1y7+ns6u3mfFkxZlAzB0BT1JMOfl+6mLpfgjdiXCrhiJbtMz1nzTYlv0VTbqtrOwJPiCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:24:00.094002Z","bundle_sha256":"3ccd2fc2767370f114bed5170df577ffda48584e0d2c4ba9442baa7c9c1527b8"}}