{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:UQ5LQWXASY3PK3RPKNGOMW3U2M","short_pith_number":"pith:UQ5LQWXA","canonical_record":{"source":{"id":"1503.07139","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-03-24T18:53:29Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d2735fb8f4a0c47f2fa9b934dfdf0f9407167579f7ec0861cfb561b319770ba9","abstract_canon_sha256":"2a390d90153e6de3381eb352cda48eaa5063031a623221d5da18b3522fd6ece8"},"schema_version":"1.0"},"canonical_sha256":"a43ab85ae09636f56e2f534ce65b74d31006ddd729a2f8588da0d737b8f2fd29","source":{"kind":"arxiv","id":"1503.07139","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07139","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07139v2","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07139","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"pith_short_12","alias_value":"UQ5LQWXASY3P","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UQ5LQWXASY3PK3RP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UQ5LQWXA","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:UQ5LQWXASY3PK3RPKNGOMW3U2M","target":"record","payload":{"canonical_record":{"source":{"id":"1503.07139","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-03-24T18:53:29Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d2735fb8f4a0c47f2fa9b934dfdf0f9407167579f7ec0861cfb561b319770ba9","abstract_canon_sha256":"2a390d90153e6de3381eb352cda48eaa5063031a623221d5da18b3522fd6ece8"},"schema_version":"1.0"},"canonical_sha256":"a43ab85ae09636f56e2f534ce65b74d31006ddd729a2f8588da0d737b8f2fd29","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:18.160705Z","signature_b64":"Kx/othkEfyOIPdSfGtps9oLBq39L+hnHtr/+7nLzJNvQR+5iZJ2Milfbgj4deKvkZQT+1xVjMfaAHj3fqalJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a43ab85ae09636f56e2f534ce65b74d31006ddd729a2f8588da0d737b8f2fd29","last_reissued_at":"2026-05-18T01:36:18.160061Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:18.160061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.07139","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-05-18T01:36:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"utt9t2lXyOcO59S9IBwnu767eHPKGKwmIVH3m9twLq5QiZKyJVIwLACLbB8qqCUgQQYb+TYWRKLFRxDK0v+HBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T01:21:21.095485Z"},"content_sha256":"19384a2ba9f52d9070528b158c9bcd7b7fdbde8a01f1c28629a36597dbe3fa3f","schema_version":"1.0","event_id":"sha256:19384a2ba9f52d9070528b158c9bcd7b7fdbde8a01f1c28629a36597dbe3fa3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:UQ5LQWXASY3PK3RPKNGOMW3U2M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SY","authors_text":"Anne-Kathrin Schmuck, J\\\"org Raisch, Paulo Tabuada","submitted_at":"2015-03-24T18:53:29Z","abstract_excerpt":"This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid systems. Namely, we compare quotient based abstractions (QBA), with different realizations of strongest (asynchronous) $l$-complete approximations (SAlCA) Even though the idea behind their construction is very similar, we show that they are generally incomparable both in terms of behavioral inclusion and similarity relations. We therefore derive necessary and sufficient conditions for QBA to coincide with particular r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07139","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":""},"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-05-18T01:36:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gJfSRo/tp0nB2k0UvAUUHNtaCFndXnRCIsZ2F6hsBp7skPWThRJlLBOBSC3D/LQXtMjxwxpAp8Fc248H5s3DCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T01:21:21.095826Z"},"content_sha256":"7773d71cd415012b7797e6e2e416881e46ab7bb2603e06fd8e2ef269d8b71fc3","schema_version":"1.0","event_id":"sha256:7773d71cd415012b7797e6e2e416881e46ab7bb2603e06fd8e2ef269d8b71fc3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/bundle.json","state_url":"https://pith.science/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/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-03T01:21:21Z","links":{"resolver":"https://pith.science/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M","bundle":"https://pith.science/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/bundle.json","state":"https://pith.science/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UQ5LQWXASY3PK3RPKNGOMW3U2M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:UQ5LQWXASY3PK3RPKNGOMW3U2M","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":"2a390d90153e6de3381eb352cda48eaa5063031a623221d5da18b3522fd6ece8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-03-24T18:53:29Z","title_canon_sha256":"d2735fb8f4a0c47f2fa9b934dfdf0f9407167579f7ec0861cfb561b319770ba9"},"schema_version":"1.0","source":{"id":"1503.07139","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07139","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07139v2","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07139","created_at":"2026-05-18T01:36:18Z"},{"alias_kind":"pith_short_12","alias_value":"UQ5LQWXASY3P","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UQ5LQWXASY3PK3RP","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UQ5LQWXA","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:7773d71cd415012b7797e6e2e416881e46ab7bb2603e06fd8e2ef269d8b71fc3","target":"graph","created_at":"2026-05-18T01:36:18Z","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"},"paper":{"abstract_excerpt":"This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid systems. Namely, we compare quotient based abstractions (QBA), with different realizations of strongest (asynchronous) $l$-complete approximations (SAlCA) Even though the idea behind their construction is very similar, we show that they are generally incomparable both in terms of behavioral inclusion and similarity relations. We therefore derive necessary and sufficient conditions for QBA to coincide with particular r","authors_text":"Anne-Kathrin Schmuck, J\\\"org Raisch, Paulo Tabuada","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-03-24T18:53:29Z","title":"Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07139","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:19384a2ba9f52d9070528b158c9bcd7b7fdbde8a01f1c28629a36597dbe3fa3f","target":"record","created_at":"2026-05-18T01:36:18Z","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":"2a390d90153e6de3381eb352cda48eaa5063031a623221d5da18b3522fd6ece8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-03-24T18:53:29Z","title_canon_sha256":"d2735fb8f4a0c47f2fa9b934dfdf0f9407167579f7ec0861cfb561b319770ba9"},"schema_version":"1.0","source":{"id":"1503.07139","kind":"arxiv","version":2}},"canonical_sha256":"a43ab85ae09636f56e2f534ce65b74d31006ddd729a2f8588da0d737b8f2fd29","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a43ab85ae09636f56e2f534ce65b74d31006ddd729a2f8588da0d737b8f2fd29","first_computed_at":"2026-05-18T01:36:18.160061Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:18.160061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Kx/othkEfyOIPdSfGtps9oLBq39L+hnHtr/+7nLzJNvQR+5iZJ2Milfbgj4deKvkZQT+1xVjMfaAHj3fqalJDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:18.160705Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.07139","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19384a2ba9f52d9070528b158c9bcd7b7fdbde8a01f1c28629a36597dbe3fa3f","sha256:7773d71cd415012b7797e6e2e416881e46ab7bb2603e06fd8e2ef269d8b71fc3"],"state_sha256":"4203302d8d36cbaafe566c37375320abfc09128db89396b8d2b37f568f497f44"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K9Alr1mt0bMLp3bh18wzjsITV6eXHQC3eLEsrYDSpvXYFadXfh53XS1L21nSMVYLPe+6nmtCWbixtgA7clkdBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T01:21:21.097802Z","bundle_sha256":"8239144f2ee33d48fc77e42cfa54388c08dc386f6a34b3a709d1edd955a27c55"}}