{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:I5YR2Q7ESTDGWWENPGG35ZQYXL","short_pith_number":"pith:I5YR2Q7E","canonical_record":{"source":{"id":"2004.02018","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-04T21:09:31Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"4427b5ff9d637afe78c23f90b9a77e9bc58c13ba6f6dae5f6dba24a53826ff1b","abstract_canon_sha256":"75c1e09cabde31726c5538047168e6f01a6315ba63f9430ccfdbd9fccde5f28c"},"schema_version":"1.0"},"canonical_sha256":"47711d43e494c66b588d798dbee618bae122ae619525acd5a13ad457ec1e8c07","source":{"kind":"arxiv","id":"2004.02018","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.02018","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"arxiv_version","alias_value":"2004.02018v1","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.02018","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_12","alias_value":"I5YR2Q7ESTDG","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_16","alias_value":"I5YR2Q7ESTDGWWEN","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_8","alias_value":"I5YR2Q7E","created_at":"2026-07-05T00:52:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:I5YR2Q7ESTDGWWENPGG35ZQYXL","target":"record","payload":{"canonical_record":{"source":{"id":"2004.02018","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-04T21:09:31Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"4427b5ff9d637afe78c23f90b9a77e9bc58c13ba6f6dae5f6dba24a53826ff1b","abstract_canon_sha256":"75c1e09cabde31726c5538047168e6f01a6315ba63f9430ccfdbd9fccde5f28c"},"schema_version":"1.0"},"canonical_sha256":"47711d43e494c66b588d798dbee618bae122ae619525acd5a13ad457ec1e8c07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:52:55.242557Z","signature_b64":"26vDccy6wScNFUdYJI+ZLUss/Jmk7lnG2Jfcoe4zTutQ/jwfX3j9T3IFhmDQb1WuPjt7/MF/bVItrlr2pRDpDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47711d43e494c66b588d798dbee618bae122ae619525acd5a13ad457ec1e8c07","last_reissued_at":"2026-07-05T00:52:55.242216Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:52:55.242216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.02018","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-07-05T00:52:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LFNXQ7m1MR8PGZqSFCajhlnOUXGa1P0DjIxl9Ozb5RZECbBQH8Z1YBpfi63lArg1rGnss9x7zzJxY6Ultnv1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:50:02.098210Z"},"content_sha256":"45e77daeda0a69f7fbb89b594c251450255b6e4724433d4f9113ab22bf0c5986","schema_version":"1.0","event_id":"sha256:45e77daeda0a69f7fbb89b594c251450255b6e4724433d4f9113ab22bf0c5986"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:I5YR2Q7ESTDGWWENPGG35ZQYXL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"eess.SY","authors_text":"Agung Julius, Yi Deng, Zhe Xu","submitted_at":"2020-04-04T21:09:31Z","abstract_excerpt":"In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through inferring metric temporal logic (MTL) formulae from simulated trajectories from the hybrid system. We first approximate the system behavior by simulating finitely many trajectories with timerobust tube segments around them. These time-robust tube segments account for both spatial and temporal uncertainties that exist in the hybrid system with initial state variations. The inferred MTL formulae classify different time-robu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.02018","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/2004.02018/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-07-05T00:52:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pYbZsptgGjXjfFBxcSDFGZw8aMdUhPhkN4qvEqi7eHvAtWxlu8q7N+JzV/mmAqdNhHu4fWjTaNnTGsI7pykmAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:50:02.098590Z"},"content_sha256":"b796ad0e8fecea91e0c8e986c62d17b6feefc85b0023e593591a49c6cc487138","schema_version":"1.0","event_id":"sha256:b796ad0e8fecea91e0c8e986c62d17b6feefc85b0023e593591a49c6cc487138"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/bundle.json","state_url":"https://pith.science/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/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-07-07T10:50:02Z","links":{"resolver":"https://pith.science/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL","bundle":"https://pith.science/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/bundle.json","state":"https://pith.science/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I5YR2Q7ESTDGWWENPGG35ZQYXL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:I5YR2Q7ESTDGWWENPGG35ZQYXL","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":"75c1e09cabde31726c5538047168e6f01a6315ba63f9430ccfdbd9fccde5f28c","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-04T21:09:31Z","title_canon_sha256":"4427b5ff9d637afe78c23f90b9a77e9bc58c13ba6f6dae5f6dba24a53826ff1b"},"schema_version":"1.0","source":{"id":"2004.02018","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.02018","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"arxiv_version","alias_value":"2004.02018v1","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.02018","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_12","alias_value":"I5YR2Q7ESTDG","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_16","alias_value":"I5YR2Q7ESTDGWWEN","created_at":"2026-07-05T00:52:55Z"},{"alias_kind":"pith_short_8","alias_value":"I5YR2Q7E","created_at":"2026-07-05T00:52:55Z"}],"graph_snapshots":[{"event_id":"sha256:b796ad0e8fecea91e0c8e986c62d17b6feefc85b0023e593591a49c6cc487138","target":"graph","created_at":"2026-07-05T00:52:55Z","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/2004.02018/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through inferring metric temporal logic (MTL) formulae from simulated trajectories from the hybrid system. We first approximate the system behavior by simulating finitely many trajectories with timerobust tube segments around them. These time-robust tube segments account for both spatial and temporal uncertainties that exist in the hybrid system with initial state variations. The inferred MTL formulae classify different time-robu","authors_text":"Agung Julius, Yi Deng, Zhe Xu","cross_cats":["cs.FL","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-04T21:09:31Z","title":"Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.02018","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:45e77daeda0a69f7fbb89b594c251450255b6e4724433d4f9113ab22bf0c5986","target":"record","created_at":"2026-07-05T00:52:55Z","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":"75c1e09cabde31726c5538047168e6f01a6315ba63f9430ccfdbd9fccde5f28c","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-04T21:09:31Z","title_canon_sha256":"4427b5ff9d637afe78c23f90b9a77e9bc58c13ba6f6dae5f6dba24a53826ff1b"},"schema_version":"1.0","source":{"id":"2004.02018","kind":"arxiv","version":1}},"canonical_sha256":"47711d43e494c66b588d798dbee618bae122ae619525acd5a13ad457ec1e8c07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47711d43e494c66b588d798dbee618bae122ae619525acd5a13ad457ec1e8c07","first_computed_at":"2026-07-05T00:52:55.242216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:52:55.242216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"26vDccy6wScNFUdYJI+ZLUss/Jmk7lnG2Jfcoe4zTutQ/jwfX3j9T3IFhmDQb1WuPjt7/MF/bVItrlr2pRDpDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:52:55.242557Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.02018","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45e77daeda0a69f7fbb89b594c251450255b6e4724433d4f9113ab22bf0c5986","sha256:b796ad0e8fecea91e0c8e986c62d17b6feefc85b0023e593591a49c6cc487138"],"state_sha256":"8d59250b75c6174a19a030922bdc4c668522f750868b6b78b6c8ea46d692baf0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"APRtt8FqrP65i5KUqhUC95EP1k0BspJeMiyoKAlFo2JgtGVpyjnsqir1m+gBjvZow1FTAlwcxkmg4EAIOu9sAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:50:02.100534Z","bundle_sha256":"7e088ea93c8d6d0742192fafa3aac096ac581f25b52778ca60564d54e14f5fa9"}}