{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LLUFCGLWICDCBOGNBB7M4UGVVB","short_pith_number":"pith:LLUFCGLW","canonical_record":{"source":{"id":"1804.02722","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-04-08T17:13:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"00120cc578b3a2563da61af0fe386f4b011a70e639145551b4d79a7f7d58e056","abstract_canon_sha256":"59db14a2471764bde5e2ed460e638ecb37b2ee247e90347440fa1469b54340ee"},"schema_version":"1.0"},"canonical_sha256":"5ae8511976408620b8cd087ece50d5a8597317dd74b1c92ae407d35c76189829","source":{"kind":"arxiv","id":"1804.02722","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02722","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02722v2","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02722","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_12","alias_value":"LLUFCGLWICDC","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_16","alias_value":"LLUFCGLWICDCBOGN","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_8","alias_value":"LLUFCGLW","created_at":"2026-06-04T19:11:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LLUFCGLWICDCBOGNBB7M4UGVVB","target":"record","payload":{"canonical_record":{"source":{"id":"1804.02722","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-04-08T17:13:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"00120cc578b3a2563da61af0fe386f4b011a70e639145551b4d79a7f7d58e056","abstract_canon_sha256":"59db14a2471764bde5e2ed460e638ecb37b2ee247e90347440fa1469b54340ee"},"schema_version":"1.0"},"canonical_sha256":"5ae8511976408620b8cd087ece50d5a8597317dd74b1c92ae407d35c76189829","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T19:11:46.315374Z","signature_b64":"AKpvv/SJztugMmnF5cJcaIiuq+h2dIsRejckxKhpRVWGzze5JRBN5N17CM3UjilFOWyNuKNfgcbQNZDyK/OjAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ae8511976408620b8cd087ece50d5a8597317dd74b1c92ae407d35c76189829","last_reissued_at":"2026-06-04T19:11:46.314965Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T19:11:46.314965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.02722","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-06-04T19:11:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AHTVRoXBiAuHEgsQU+U6Gl3tLl+z8rVMxWJnT3rFq+3OX4gb2UF7nr8b914rAnG94bbRNaUYS9FppkkObZapCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:13:21.049689Z"},"content_sha256":"fe990c7c26e556f67657a891a7c0cbd791f2a267a3c770b0964f7d0679b62c24","schema_version":"1.0","event_id":"sha256:fe990c7c26e556f67657a891a7c0cbd791f2a267a3c770b0964f7d0679b62c24"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LLUFCGLWICDCBOGNBB7M4UGVVB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lazy Abstraction-Based Controller Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Anne-Kathrin Schmuck, Kaushik Mallik, Kyle Hsu, Rupak Majumdar","submitted_at":"2018-04-08T17:13:19Z","abstract_excerpt":"We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02722","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1804.02722/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-06-04T19:11:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fpqgSj1bvjj58zLNr876MOsp153bc8HnQrvIgAtqYV2xkym+a/d9LZWmxWM4Nekl+F/UbfkdpQt6NQcJtqJFDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:13:21.050400Z"},"content_sha256":"f9cb47ef7be8092eefb61e9219b32c99a98b3b946f9f2945e9a36f4f26d24617","schema_version":"1.0","event_id":"sha256:f9cb47ef7be8092eefb61e9219b32c99a98b3b946f9f2945e9a36f4f26d24617"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/bundle.json","state_url":"https://pith.science/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/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-07T17:13:21Z","links":{"resolver":"https://pith.science/pith/LLUFCGLWICDCBOGNBB7M4UGVVB","bundle":"https://pith.science/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/bundle.json","state":"https://pith.science/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LLUFCGLWICDCBOGNBB7M4UGVVB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LLUFCGLWICDCBOGNBB7M4UGVVB","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":"59db14a2471764bde5e2ed460e638ecb37b2ee247e90347440fa1469b54340ee","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-04-08T17:13:19Z","title_canon_sha256":"00120cc578b3a2563da61af0fe386f4b011a70e639145551b4d79a7f7d58e056"},"schema_version":"1.0","source":{"id":"1804.02722","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02722","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02722v2","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02722","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_12","alias_value":"LLUFCGLWICDC","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_16","alias_value":"LLUFCGLWICDCBOGN","created_at":"2026-06-04T19:11:46Z"},{"alias_kind":"pith_short_8","alias_value":"LLUFCGLW","created_at":"2026-06-04T19:11:46Z"}],"graph_snapshots":[{"event_id":"sha256:f9cb47ef7be8092eefb61e9219b32c99a98b3b946f9f2945e9a36f4f26d24617","target":"graph","created_at":"2026-06-04T19:11:46Z","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/1804.02722/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at","authors_text":"Anne-Kathrin Schmuck, Kaushik Mallik, Kyle Hsu, Rupak Majumdar","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-04-08T17:13:19Z","title":"Lazy Abstraction-Based Controller Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02722","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:fe990c7c26e556f67657a891a7c0cbd791f2a267a3c770b0964f7d0679b62c24","target":"record","created_at":"2026-06-04T19:11:46Z","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":"59db14a2471764bde5e2ed460e638ecb37b2ee247e90347440fa1469b54340ee","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2018-04-08T17:13:19Z","title_canon_sha256":"00120cc578b3a2563da61af0fe386f4b011a70e639145551b4d79a7f7d58e056"},"schema_version":"1.0","source":{"id":"1804.02722","kind":"arxiv","version":2}},"canonical_sha256":"5ae8511976408620b8cd087ece50d5a8597317dd74b1c92ae407d35c76189829","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ae8511976408620b8cd087ece50d5a8597317dd74b1c92ae407d35c76189829","first_computed_at":"2026-06-04T19:11:46.314965Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T19:11:46.314965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AKpvv/SJztugMmnF5cJcaIiuq+h2dIsRejckxKhpRVWGzze5JRBN5N17CM3UjilFOWyNuKNfgcbQNZDyK/OjAg==","signature_status":"signed_v1","signed_at":"2026-06-04T19:11:46.315374Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.02722","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe990c7c26e556f67657a891a7c0cbd791f2a267a3c770b0964f7d0679b62c24","sha256:f9cb47ef7be8092eefb61e9219b32c99a98b3b946f9f2945e9a36f4f26d24617"],"state_sha256":"15e9634a4668cad102713b036173a1a2dc5c07c4d3ec9522fc148fa263e2aec1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aFlm4H8dp3xd/tVki14ZXaUhR64tgkN5Y/DBVw+QjkH2NJDOJQ84GKzaWAE1m2PLSLvfoEzR2HqKuzj7ZFbpDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T17:13:21.052861Z","bundle_sha256":"af6b9716165959488f844ae0bbb1f7d2338b9a40d8b2b14895b190bcca8aaa4d"}}