{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BINCNBVVM7CSLUTEEQLVEHSV2G","short_pith_number":"pith:BINCNBVV","canonical_record":{"source":{"id":"1803.03866","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-03-10T22:12:58Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2577f34bd2a6c2e84cf0770c615c8904db0d54c0562d4b04a6ef17507c668b77","abstract_canon_sha256":"c3ad130e96d843a613b3d2a321180d17d1d17a201b04e037c2f36a26d5d95e1d"},"schema_version":"1.0"},"canonical_sha256":"0a1a2686b567c525d2642417521e55d1993001f22b2a8031a3cc4b951189549e","source":{"kind":"arxiv","id":"1803.03866","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03866","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03866v2","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03866","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_12","alias_value":"BINCNBVVM7CS","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_16","alias_value":"BINCNBVVM7CSLUTE","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_8","alias_value":"BINCNBVV","created_at":"2026-06-04T19:11:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BINCNBVVM7CSLUTEEQLVEHSV2G","target":"record","payload":{"canonical_record":{"source":{"id":"1803.03866","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-03-10T22:12:58Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2577f34bd2a6c2e84cf0770c615c8904db0d54c0562d4b04a6ef17507c668b77","abstract_canon_sha256":"c3ad130e96d843a613b3d2a321180d17d1d17a201b04e037c2f36a26d5d95e1d"},"schema_version":"1.0"},"canonical_sha256":"0a1a2686b567c525d2642417521e55d1993001f22b2a8031a3cc4b951189549e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T19:11:40.282393Z","signature_b64":"UzlbIqaCcQXzOiILUAPd2mr/BRc7V5kqrxQUB0bMjD77Hgw0ee28kf1z75uaiIK1gcGoWSAg6DiY5laBWx6YDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a1a2686b567c525d2642417521e55d1993001f22b2a8031a3cc4b951189549e","last_reissued_at":"2026-06-04T19:11:40.281869Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T19:11:40.281869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.03866","source_version":2,"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-04T19:11:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L3fxb8Rl/morDiH7TwM4EJiAN5V/MIM9LNxwtCGlIxlXGyUe1F0hj/es618uUpENtgS8JTGD9C3niw3Pw+4yDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T10:49:05.893202Z"},"content_sha256":"83097a1dd44fadbb44aacb7c9e37d6482aeb9bb4007cde25ccdd8e3de36e8133","schema_version":"1.0","event_id":"sha256:83097a1dd44fadbb44aacb7c9e37d6482aeb9bb4007cde25ccdd8e3de36e8133"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BINCNBVVM7CSLUTEEQLVEHSV2G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Time-Staging Enhancement of Hybrid System Falsification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Gidon Ernst, Ichiro Hasuo, Sean Sedwards, Zhenya Zhang","submitted_at":"2018-03-10T22:12:58Z","abstract_excerpt":"Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of time-dependent signals to be exploited by the optimizers. Time staging consists of running a falsification solver multiple times, from one interval to another, incrementally constructing an input signal candidate. Our experiments show that time staging can dramatically increase performance in some realistic examples. We also present theoretical res"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03866","kind":"arxiv","version":2},"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/1803.03866/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-04T19:11:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0RWrVDdlE/Yn9L3zdyiXJP88IpngGqTsFnX6BX7J11Kv52lYvSs0elLHOEeyXAyhZPnATRLDOv6hs102451tBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T10:49:05.893986Z"},"content_sha256":"8ae5f389845603ed613a599a287331cc01efdc3323943960642248761774cc35","schema_version":"1.0","event_id":"sha256:8ae5f389845603ed613a599a287331cc01efdc3323943960642248761774cc35"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/bundle.json","state_url":"https://pith.science/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/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-06T10:49:05Z","links":{"resolver":"https://pith.science/pith/BINCNBVVM7CSLUTEEQLVEHSV2G","bundle":"https://pith.science/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/bundle.json","state":"https://pith.science/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BINCNBVVM7CSLUTEEQLVEHSV2G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BINCNBVVM7CSLUTEEQLVEHSV2G","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":"c3ad130e96d843a613b3d2a321180d17d1d17a201b04e037c2f36a26d5d95e1d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-03-10T22:12:58Z","title_canon_sha256":"2577f34bd2a6c2e84cf0770c615c8904db0d54c0562d4b04a6ef17507c668b77"},"schema_version":"1.0","source":{"id":"1803.03866","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03866","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03866v2","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03866","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_12","alias_value":"BINCNBVVM7CS","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_16","alias_value":"BINCNBVVM7CSLUTE","created_at":"2026-06-04T19:11:40Z"},{"alias_kind":"pith_short_8","alias_value":"BINCNBVV","created_at":"2026-06-04T19:11:40Z"}],"graph_snapshots":[{"event_id":"sha256:8ae5f389845603ed613a599a287331cc01efdc3323943960642248761774cc35","target":"graph","created_at":"2026-06-04T19:11:40Z","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/1803.03866/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of time-dependent signals to be exploited by the optimizers. Time staging consists of running a falsification solver multiple times, from one interval to another, incrementally constructing an input signal candidate. Our experiments show that time staging can dramatically increase performance in some realistic examples. We also present theoretical res","authors_text":"Gidon Ernst, Ichiro Hasuo, Sean Sedwards, Zhenya Zhang","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-03-10T22:12:58Z","title":"Time-Staging Enhancement of Hybrid System Falsification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03866","kind":"arxiv","version":2},"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:83097a1dd44fadbb44aacb7c9e37d6482aeb9bb4007cde25ccdd8e3de36e8133","target":"record","created_at":"2026-06-04T19:11:40Z","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":"c3ad130e96d843a613b3d2a321180d17d1d17a201b04e037c2f36a26d5d95e1d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-03-10T22:12:58Z","title_canon_sha256":"2577f34bd2a6c2e84cf0770c615c8904db0d54c0562d4b04a6ef17507c668b77"},"schema_version":"1.0","source":{"id":"1803.03866","kind":"arxiv","version":2}},"canonical_sha256":"0a1a2686b567c525d2642417521e55d1993001f22b2a8031a3cc4b951189549e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a1a2686b567c525d2642417521e55d1993001f22b2a8031a3cc4b951189549e","first_computed_at":"2026-06-04T19:11:40.281869Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T19:11:40.281869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UzlbIqaCcQXzOiILUAPd2mr/BRc7V5kqrxQUB0bMjD77Hgw0ee28kf1z75uaiIK1gcGoWSAg6DiY5laBWx6YDQ==","signature_status":"signed_v1","signed_at":"2026-06-04T19:11:40.282393Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.03866","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83097a1dd44fadbb44aacb7c9e37d6482aeb9bb4007cde25ccdd8e3de36e8133","sha256:8ae5f389845603ed613a599a287331cc01efdc3323943960642248761774cc35"],"state_sha256":"88eb095252bf0607c0e3dd434cb851ee00817a1eb8a79ce4a6c170d17282a87a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sjDX/FV1tHlrbPXDtcE2Mwa3Nzpy8ZaWCGDh7tsPiXdN15dP+9MLr7sOx93+7nSjkT1QxVAEJvJHLozX3CfUDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T10:49:05.898281Z","bundle_sha256":"770bbf9d36be29727a32c95699363efdb2854befe103c996dabddc375e7311d2"}}