{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PY2ABTFY7KHLVG6ERCUDHHENTJ","short_pith_number":"pith:PY2ABTFY","canonical_record":{"source":{"id":"2606.26352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07Z","cross_cats_sorted":["cs.SY","math.DS"],"title_canon_sha256":"8c5c56ca37454aa8017b937891c5830d4cf6b795c501d0843a88fb4ed898f2d8","abstract_canon_sha256":"282a198092cb8e1f653228e0d3dca9a85f479fb908f2f75f346ae98c9269af3d"},"schema_version":"1.0"},"canonical_sha256":"7e3400ccb8fa8eba9bc488a8339c8d9a571d0fa73b7d06389b63addece2b41ee","source":{"kind":"arxiv","id":"2606.26352","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26352","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26352v1","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26352","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_12","alias_value":"PY2ABTFY7KHL","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_16","alias_value":"PY2ABTFY7KHLVG6E","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_8","alias_value":"PY2ABTFY","created_at":"2026-06-26T00:15:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PY2ABTFY7KHLVG6ERCUDHHENTJ","target":"record","payload":{"canonical_record":{"source":{"id":"2606.26352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07Z","cross_cats_sorted":["cs.SY","math.DS"],"title_canon_sha256":"8c5c56ca37454aa8017b937891c5830d4cf6b795c501d0843a88fb4ed898f2d8","abstract_canon_sha256":"282a198092cb8e1f653228e0d3dca9a85f479fb908f2f75f346ae98c9269af3d"},"schema_version":"1.0"},"canonical_sha256":"7e3400ccb8fa8eba9bc488a8339c8d9a571d0fa73b7d06389b63addece2b41ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T00:15:37.602597Z","signature_b64":"9WhfvaSioGSJcR0PidFpWjo/KNXKfgWZU3gfY2DbECh9FDIfdLb2Y/k6GIAFyEWXfFSBxfKqtNNMI9SvPFdEAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e3400ccb8fa8eba9bc488a8339c8d9a571d0fa73b7d06389b63addece2b41ee","last_reissued_at":"2026-06-26T00:15:37.602105Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T00:15:37.602105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.26352","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-06-26T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cq+1h1rqV+jIW8R7VVp00wHIXlm7zw/IKiMn9/o/YyKdMCjSeK2VUr9ucqMQB1hmztpn4pgn9PTVdPrK+TEfDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:25:56.943955Z"},"content_sha256":"d7d997754b7111d35589080827cbc019036c0949d402238946b01809caccd675","schema_version":"1.0","event_id":"sha256:d7d997754b7111d35589080827cbc019036c0949d402238946b01809caccd675"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PY2ABTFY7KHLVG6ERCUDHHENTJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.DS"],"primary_cat":"eess.SY","authors_text":"Christian Schilling, Daniel H. Hansen, Grace Melchiors, Kim Guldstrand Larsen, Mikkel Bj{\\o}rn","submitted_at":"2026-06-24T19:53:07Z","abstract_excerpt":"We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first discretize time and then apply a forward analysis in the discretized system. Existing algorithms use either a fixed time step or an adaptive time step that changes based on the approximation error compared to the underlying continuous system. In this paper, we present an efficient reachability algorithm that adapts the time step based on a given safety property. Essentially, our algorithm makes the largest possible t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26352","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.26352/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-26T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BJykCphYvxWFbMKLchX6WucTDxTFlcnGp4SSmbPcXHdrNNGHO6FRXkEHYJE89P37oO6yQ1KWmQj1rOLtb1gEBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:25:56.944383Z"},"content_sha256":"ff26246efc060b7eef3730c26d1c80c01e975b763a51c572b9160071229a8c71","schema_version":"1.0","event_id":"sha256:ff26246efc060b7eef3730c26d1c80c01e975b763a51c572b9160071229a8c71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/bundle.json","state_url":"https://pith.science/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/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-29T19:25:56Z","links":{"resolver":"https://pith.science/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ","bundle":"https://pith.science/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/bundle.json","state":"https://pith.science/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PY2ABTFY7KHLVG6ERCUDHHENTJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PY2ABTFY7KHLVG6ERCUDHHENTJ","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":"282a198092cb8e1f653228e0d3dca9a85f479fb908f2f75f346ae98c9269af3d","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07Z","title_canon_sha256":"8c5c56ca37454aa8017b937891c5830d4cf6b795c501d0843a88fb4ed898f2d8"},"schema_version":"1.0","source":{"id":"2606.26352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26352","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26352v1","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26352","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_12","alias_value":"PY2ABTFY7KHL","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_16","alias_value":"PY2ABTFY7KHLVG6E","created_at":"2026-06-26T00:15:37Z"},{"alias_kind":"pith_short_8","alias_value":"PY2ABTFY","created_at":"2026-06-26T00:15:37Z"}],"graph_snapshots":[{"event_id":"sha256:ff26246efc060b7eef3730c26d1c80c01e975b763a51c572b9160071229a8c71","target":"graph","created_at":"2026-06-26T00:15:37Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.26352/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first discretize time and then apply a forward analysis in the discretized system. Existing algorithms use either a fixed time step or an adaptive time step that changes based on the approximation error compared to the underlying continuous system. In this paper, we present an efficient reachability algorithm that adapts the time step based on a given safety property. Essentially, our algorithm makes the largest possible t","authors_text":"Christian Schilling, Daniel H. Hansen, Grace Melchiors, Kim Guldstrand Larsen, Mikkel Bj{\\o}rn","cross_cats":["cs.SY","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07Z","title":"Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26352","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:d7d997754b7111d35589080827cbc019036c0949d402238946b01809caccd675","target":"record","created_at":"2026-06-26T00:15:37Z","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":"282a198092cb8e1f653228e0d3dca9a85f479fb908f2f75f346ae98c9269af3d","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07Z","title_canon_sha256":"8c5c56ca37454aa8017b937891c5830d4cf6b795c501d0843a88fb4ed898f2d8"},"schema_version":"1.0","source":{"id":"2606.26352","kind":"arxiv","version":1}},"canonical_sha256":"7e3400ccb8fa8eba9bc488a8339c8d9a571d0fa73b7d06389b63addece2b41ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e3400ccb8fa8eba9bc488a8339c8d9a571d0fa73b7d06389b63addece2b41ee","first_computed_at":"2026-06-26T00:15:37.602105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T00:15:37.602105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9WhfvaSioGSJcR0PidFpWjo/KNXKfgWZU3gfY2DbECh9FDIfdLb2Y/k6GIAFyEWXfFSBxfKqtNNMI9SvPFdEAQ==","signature_status":"signed_v1","signed_at":"2026-06-26T00:15:37.602597Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7d997754b7111d35589080827cbc019036c0949d402238946b01809caccd675","sha256:ff26246efc060b7eef3730c26d1c80c01e975b763a51c572b9160071229a8c71"],"state_sha256":"9527cdb8088ada368b2450f57a9b5d205ff21589134237b1c336c151297aceb5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AIgLeSbSE/bOLvYY4twqEc1gL+yMPozBFMfer1mO72GL3A3x9chnfAVxGF2oaRiM+BG6TNzewciUIjJa9TbUAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T19:25:56.946431Z","bundle_sha256":"48f7184fda988f7c07b9a6b9b5169e2dd4fa4e4b413562c0831285e9e5b5d5ce"}}