{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:ILKI64K6JGG4PTW4GJS5LOGFRS","short_pith_number":"pith:ILKI64K6","schema_version":"1.0","canonical_sha256":"42d48f715e498dc7cedc3265d5b8c58c966e15e6adc1c03aec83367f37d33963","source":{"kind":"arxiv","id":"1807.09973","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1807.09973","created_at":"2026-05-18T00:09:45.859583+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.09973v1","created_at":"2026-05-18T00:09:45.859583+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09973","created_at":"2026-05-18T00:09:45.859583+00:00"},{"alias_kind":"pith_short_12","alias_value":"ILKI64K6JGG4","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_16","alias_value":"ILKI64K6JGG4PTW4","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_8","alias_value":"ILKI64K6","created_at":"2026-05-18T12:32:31.084164+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/ILKI64K6JGG4PTW4GJS5LOGFRS","json":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS.json","graph_json":"https://pith.science/api/pith-number/ILKI64K6JGG4PTW4GJS5LOGFRS/graph.json","events_json":"https://pith.science/api/pith-number/ILKI64K6JGG4PTW4GJS5LOGFRS/events.json","paper":"https://pith.science/paper/ILKI64K6"},"agent_actions":{"view_html":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS","download_json":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS.json","view_paper":"https://pith.science/paper/ILKI64K6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.09973&json=true","fetch_graph":"https://pith.science/api/pith-number/ILKI64K6JGG4PTW4GJS5LOGFRS/graph.json","fetch_events":"https://pith.science/api/pith-number/ILKI64K6JGG4PTW4GJS5LOGFRS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/action/storage_attestation","attest_author":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/action/author_attestation","sign_citation":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/action/citation_signature","submit_replication":"https://pith.science/pith/ILKI64K6JGG4PTW4GJS5LOGFRS/action/replication_record"}},"created_at":"2026-05-18T00:09:45.859583+00:00","updated_at":"2026-05-18T00:09:45.859583+00:00"}