{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:E3RYVL2LI7FXHHVAXLNP7NOQUL","short_pith_number":"pith:E3RYVL2L","schema_version":"1.0","canonical_sha256":"26e38aaf4b47cb739ea0badaffb5d0a2cfecebbd79fbba109a8a382c299bca4b","source":{"kind":"arxiv","id":"2306.09966","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2306.09966","created_at":"2026-07-05T06:21:25.996873+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.09966v1","created_at":"2026-07-05T06:21:25.996873+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.09966","created_at":"2026-07-05T06:21:25.996873+00:00"},{"alias_kind":"pith_short_12","alias_value":"E3RYVL2LI7FX","created_at":"2026-07-05T06:21:25.996873+00:00"},{"alias_kind":"pith_short_16","alias_value":"E3RYVL2LI7FXHHVA","created_at":"2026-07-05T06:21:25.996873+00:00"},{"alias_kind":"pith_short_8","alias_value":"E3RYVL2L","created_at":"2026-07-05T06:21:25.996873+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL","json":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL.json","graph_json":"https://pith.science/api/pith-number/E3RYVL2LI7FXHHVAXLNP7NOQUL/graph.json","events_json":"https://pith.science/api/pith-number/E3RYVL2LI7FXHHVAXLNP7NOQUL/events.json","paper":"https://pith.science/paper/E3RYVL2L"},"agent_actions":{"view_html":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL","download_json":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL.json","view_paper":"https://pith.science/paper/E3RYVL2L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.09966&json=true","fetch_graph":"https://pith.science/api/pith-number/E3RYVL2LI7FXHHVAXLNP7NOQUL/graph.json","fetch_events":"https://pith.science/api/pith-number/E3RYVL2LI7FXHHVAXLNP7NOQUL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/action/storage_attestation","attest_author":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/action/author_attestation","sign_citation":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/action/citation_signature","submit_replication":"https://pith.science/pith/E3RYVL2LI7FXHHVAXLNP7NOQUL/action/replication_record"}},"created_at":"2026-07-05T06:21:25.996873+00:00","updated_at":"2026-07-05T06:21:25.996873+00:00"}