{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ILKI64K6JGG4PTW4GJS5LOGFRS","short_pith_number":"pith:ILKI64K6","canonical_record":{"source":{"id":"1807.09973","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-26T06:40:38Z","cross_cats_sorted":[],"title_canon_sha256":"3cff8908f5e7cfdc502062fc53961a993fa5063974990f56d5c4fdda675b739e","abstract_canon_sha256":"2ac2212e0b1809ec90bc475fca5d3428975c93b945d1dc41a2c94fb61580f069"},"schema_version":"1.0"},"canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","source":{"kind":"arxiv","id":"1807.09973","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.09973","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"1807.09973v1","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09973","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"ILKI64K6JGG4","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"ILKI64K6JGG4PTW4","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"ILKI64K6","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ILKI64K6JGG4PTW4GJS5LOGFRS","target":"record","payload":{"canonical_record":{"source":{"id":"1807.09973","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-26T06:40:38Z","cross_cats_sorted":[],"title_canon_sha256":"3cff8908f5e7cfdc502062fc53961a993fa5063974990f56d5c4fdda675b739e","abstract_canon_sha256":"2ac2212e0b1809ec90bc475fca5d3428975c93b945d1dc41a2c94fb61580f069"},"schema_version":"1.0"},"canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:45.860181Z","signature_b64":"WgSXCtAS0iMxH0adRNdS4oJdMaQIfSS85kKnnYMat14fna7tCcveowwJs7kMEnzBUWSQbr9o8wQ/Khv6EMWyAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","last_reissued_at":"2026-05-18T00:09:45.859458Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:45.859458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.09973","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-05-18T00:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r540c42I79aoqkDij2Hw8syPyXcbWQ096M7siUv3D+Du9MWuP7qhV3exUOBfyCsKS+jDNrxYva1LgmlfeoG1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:43:42.458420Z"},"content_sha256":"59a7bfe4ed6ad7b7bc8e8bd2c43886d6bd98a0d10e113159a53f8bdab146c756","schema_version":"1.0","event_id":"sha256:59a7bfe4ed6ad7b7bc8e8bd2c43886d6bd98a0d10e113159a53f8bdab146c756"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ILKI64K6JGG4PTW4GJS5LOGFRS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstractions for Symbolic Controller Synthesis are Composable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Eric S. Kim, Murat Arcak","submitted_at":"2018-07-26T06:40:38Z","abstract_excerpt":"Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction construction step is unfortunately hamstrung by high runtime and memory requirements for high dimensional systems. This paper describes how the transition relation encoding the abstract system dynamics can be generated by connecting smaller abstract modules in series and parallel. We provide a composition operation and show that composing a collection of abstract modules yields another abstraction satisfying a feedback "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.09973","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":""},"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-18T00:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I139p//Ve4VnKQuS7InY0Y67BnwS78ep89pjtKXPj77cSSNH9jQeST8UwpXtbmcpsFD22XsqxQqsUBFfxzJ+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:43:42.458787Z"},"content_sha256":"883b7391fb18a7bc246d1bb11007e980e8862fd7323b881927da7acb6c8ba8e0","schema_version":"1.0","event_id":"sha256:883b7391fb18a7bc246d1bb11007e980e8862fd7323b881927da7acb6c8ba8e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/bundle.json","state_url":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/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-05-25T22:43:42Z","links":{"resolver":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS","bundle":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/bundle.json","state":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ILKI64K6JGG4PTW4GJS5LOGFRS","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":"2ac2212e0b1809ec90bc475fca5d3428975c93b945d1dc41a2c94fb61580f069","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-26T06:40:38Z","title_canon_sha256":"3cff8908f5e7cfdc502062fc53961a993fa5063974990f56d5c4fdda675b739e"},"schema_version":"1.0","source":{"id":"1807.09973","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.09973","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"1807.09973v1","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09973","created_at":"2026-05-18T00:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"ILKI64K6JGG4","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"ILKI64K6JGG4PTW4","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"ILKI64K6","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:883b7391fb18a7bc246d1bb11007e980e8862fd7323b881927da7acb6c8ba8e0","target":"graph","created_at":"2026-05-18T00:09:45Z","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":"Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction construction step is unfortunately hamstrung by high runtime and memory requirements for high dimensional systems. This paper describes how the transition relation encoding the abstract system dynamics can be generated by connecting smaller abstract modules in series and parallel. We provide a composition operation and show that composing a collection of abstract modules yields another abstraction satisfying a feedback ","authors_text":"Eric S. Kim, Murat Arcak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-26T06:40:38Z","title":"Abstractions for Symbolic Controller Synthesis are Composable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.09973","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:59a7bfe4ed6ad7b7bc8e8bd2c43886d6bd98a0d10e113159a53f8bdab146c756","target":"record","created_at":"2026-05-18T00:09:45Z","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":"2ac2212e0b1809ec90bc475fca5d3428975c93b945d1dc41a2c94fb61580f069","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-26T06:40:38Z","title_canon_sha256":"3cff8908f5e7cfdc502062fc53961a993fa5063974990f56d5c4fdda675b739e"},"schema_version":"1.0","source":{"id":"1807.09973","kind":"arxiv","version":1}},"canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","first_computed_at":"2026-05-18T00:09:45.859458Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:45.859458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WgSXCtAS0iMxH0adRNdS4oJdMaQIfSS85kKnnYMat14fna7tCcveowwJs7kMEnzBUWSQbr9o8wQ/Khv6EMWyAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:45.860181Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.09973","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:59a7bfe4ed6ad7b7bc8e8bd2c43886d6bd98a0d10e113159a53f8bdab146c756","sha256:883b7391fb18a7bc246d1bb11007e980e8862fd7323b881927da7acb6c8ba8e0"],"state_sha256":"3de1effc5e8b18cbafe9ce9d1b889a0da9f1fd37f24748b6f7975714ce72a4ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Np/fGeMmGo/SskyWVjeYyj8tGJErKSyhILUhkvPOhSjyc7+qeOLHfSOsadfUxVta+6Q9AgwWjuows1/x9oIFBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T22:43:42.461204Z","bundle_sha256":"e83620ef6778030cf33bbdc096b1e16028d22be3b0049bb93aa141dbcfdfa48f"}}