{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:E3RYVL2LI7FXHHVAXLNP7NOQUL","short_pith_number":"pith:E3RYVL2L","canonical_record":{"source":{"id":"2306.09966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-06-16T16:50:54Z","cross_cats_sorted":[],"title_canon_sha256":"29550f0816047367a053493d926ee0e08a7ef7f5639340d82ee5d1db92c2cb98","abstract_canon_sha256":"082de61eafc0d51dac75417fc99955d5c470dac845ca9e3f53d8de742d984f8f"},"schema_version":"1.0"},"canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","source":{"kind":"arxiv","id":"2306.09966","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.09966","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"arxiv_version","alias_value":"2306.09966v1","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.09966","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_12","alias_value":"E3RYVL2LI7FX","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_16","alias_value":"E3RYVL2LI7FXHHVA","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_8","alias_value":"E3RYVL2L","created_at":"2026-07-05T06:21:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:E3RYVL2LI7FXHHVAXLNP7NOQUL","target":"record","payload":{"canonical_record":{"source":{"id":"2306.09966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-06-16T16:50:54Z","cross_cats_sorted":[],"title_canon_sha256":"29550f0816047367a053493d926ee0e08a7ef7f5639340d82ee5d1db92c2cb98","abstract_canon_sha256":"082de61eafc0d51dac75417fc99955d5c470dac845ca9e3f53d8de742d984f8f"},"schema_version":"1.0"},"canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:21:25.997249Z","signature_b64":"TbK8pHS8A44lHlLhy4YEoB4qnewzLhvOheUi2X/O1V3CwJSAwNhrHyjqoYQCuV35byGVulZYtXVrR+uvyZQRCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","last_reissued_at":"2026-07-05T06:21:25.996819Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:21:25.996819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.09966","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-05T06:21:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vaN+PVqBt6dcuH4b9JUklwHcIIC+NlEWEWg4HPBzrjiCGybumgqugNno34Q7d+Uww4beLE3yJEaOoPkcr7YqAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T09:15:04.704973Z"},"content_sha256":"1924f58baeb15dd003b0bc8d191ecdca6cd770f6e2ad179fde5079e2b87351a3","schema_version":"1.0","event_id":"sha256:1924f58baeb15dd003b0bc8d191ecdca6cd770f6e2ad179fde5079e2b87351a3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:E3RYVL2LI7FXHHVAXLNP7NOQUL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Nasim Baharisangari, Sze Zheng Yong, Zeyuan Jin, Zhe Xu","submitted_at":"2023-06-16T16:50:54Z","abstract_excerpt":"This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that govern their mode sequences, where only sampled data of the unknown dynamics and tasks are available. To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unknown specifications such that both set-membership models of the unknown dynamics and LTL formulas are guaranteed to include the ground truth model and specification/task. Moreover, we present an optimiz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.09966","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/2306.09966/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-05T06:21:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tL3Voekh4jkr2sWapgRmRW5vNwoG79vSI2vCGICIZ734MnJp4a8fygfU40HYKdj/+vv7QmS2CvrhiUiH4wJICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T09:15:04.705505Z"},"content_sha256":"a1cd411ac3ec0754ad517f80f842887425b559315fa3e0d652e76a6ba1232958","schema_version":"1.0","event_id":"sha256:a1cd411ac3ec0754ad517f80f842887425b559315fa3e0d652e76a6ba1232958"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/bundle.json","state_url":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/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-08-01T09:15:04Z","links":{"resolver":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL","bundle":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/bundle.json","state":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:E3RYVL2LI7FXHHVAXLNP7NOQUL","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":"082de61eafc0d51dac75417fc99955d5c470dac845ca9e3f53d8de742d984f8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-06-16T16:50:54Z","title_canon_sha256":"29550f0816047367a053493d926ee0e08a7ef7f5639340d82ee5d1db92c2cb98"},"schema_version":"1.0","source":{"id":"2306.09966","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.09966","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"arxiv_version","alias_value":"2306.09966v1","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.09966","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_12","alias_value":"E3RYVL2LI7FX","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_16","alias_value":"E3RYVL2LI7FXHHVA","created_at":"2026-07-05T06:21:25Z"},{"alias_kind":"pith_short_8","alias_value":"E3RYVL2L","created_at":"2026-07-05T06:21:25Z"}],"graph_snapshots":[{"event_id":"sha256:a1cd411ac3ec0754ad517f80f842887425b559315fa3e0d652e76a6ba1232958","target":"graph","created_at":"2026-07-05T06:21:25Z","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/2306.09966/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that govern their mode sequences, where only sampled data of the unknown dynamics and tasks are available. To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unknown specifications such that both set-membership models of the unknown dynamics and LTL formulas are guaranteed to include the ground truth model and specification/task. Moreover, we present an optimiz","authors_text":"Nasim Baharisangari, Sze Zheng Yong, Zeyuan Jin, Zhe Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-06-16T16:50:54Z","title":"Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.09966","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:1924f58baeb15dd003b0bc8d191ecdca6cd770f6e2ad179fde5079e2b87351a3","target":"record","created_at":"2026-07-05T06:21:25Z","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":"082de61eafc0d51dac75417fc99955d5c470dac845ca9e3f53d8de742d984f8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-06-16T16:50:54Z","title_canon_sha256":"29550f0816047367a053493d926ee0e08a7ef7f5639340d82ee5d1db92c2cb98"},"schema_version":"1.0","source":{"id":"2306.09966","kind":"arxiv","version":1}},"canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","first_computed_at":"2026-07-05T06:21:25.996819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:21:25.996819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TbK8pHS8A44lHlLhy4YEoB4qnewzLhvOheUi2X/O1V3CwJSAwNhrHyjqoYQCuV35byGVulZYtXVrR+uvyZQRCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:21:25.997249Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.09966","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1924f58baeb15dd003b0bc8d191ecdca6cd770f6e2ad179fde5079e2b87351a3","sha256:a1cd411ac3ec0754ad517f80f842887425b559315fa3e0d652e76a6ba1232958"],"state_sha256":"1935d7968880797088eaf75e5080b475669fd4beee14d77bd2ba95f51bf23710"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zm26+pboqThxGawhUouBWa/Vy6X58zUzcWh5KCULQvJW39Fvs10eqHdXnW1k+HrnxHiBjxflBTuqhS1OwRk1AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T09:15:04.710658Z","bundle_sha256":"63453757f2bb93c4b0b56748e82e10aef01cb05bd200aded608353b5507ca220"}}