{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:H4JRQWOD4GG66ZMS7QXNFKSMU6","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":"7d938b477c666c9a94b570f59f88e9c99514edaf5c202f37908dc1861c894d84","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-09-14T13:55:25Z","title_canon_sha256":"28e9d4f4b02aa0c154e97e3a0d6ef479b600bc7eaf4ea82809c48b432e270925"},"schema_version":"1.0","source":{"id":"2109.06697","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.06697","created_at":"2026-07-05T03:20:37Z"},{"alias_kind":"arxiv_version","alias_value":"2109.06697v2","created_at":"2026-07-05T03:20:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.06697","created_at":"2026-07-05T03:20:37Z"},{"alias_kind":"pith_short_12","alias_value":"H4JRQWOD4GG6","created_at":"2026-07-05T03:20:37Z"},{"alias_kind":"pith_short_16","alias_value":"H4JRQWOD4GG66ZMS","created_at":"2026-07-05T03:20:37Z"},{"alias_kind":"pith_short_8","alias_value":"H4JRQWOD","created_at":"2026-07-05T03:20:37Z"}],"graph_snapshots":[{"event_id":"sha256:c00927ae6d49124201c805d2db5259b2c526aaf4e12207ed9517200967ef41d4","target":"graph","created_at":"2026-07-05T03:20:37Z","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/2109.06697/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We develop a model-based learning approach to synthesize robust feedback controllers with safety and stability guarantees. We take inspiration from robust convex optimization and Lyapunov theory to define robust control Lyapunov barrier functions that generalize despite model uncertainty. We demonstrate our approach in simulation on problems including car trajectory tracking, nonlinear control with obstacle avoidance, satell","authors_text":"Charles Dawson, Chuchu Fan, Sicun Gao, Zengyi Qin","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-09-14T13:55:25Z","title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.06697","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:91c31d623c70e07620b9572c9f073c40e8c7b44e31d52fe5119fe7ac61c133bf","target":"record","created_at":"2026-07-05T03:20:37Z","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":"7d938b477c666c9a94b570f59f88e9c99514edaf5c202f37908dc1861c894d84","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-09-14T13:55:25Z","title_canon_sha256":"28e9d4f4b02aa0c154e97e3a0d6ef479b600bc7eaf4ea82809c48b432e270925"},"schema_version":"1.0","source":{"id":"2109.06697","kind":"arxiv","version":2}},"canonical_sha256":"3f131859c3e18def6592fc2ed2aa4ca79efa9700aa42d27a20638d03b90eaa2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f131859c3e18def6592fc2ed2aa4ca79efa9700aa42d27a20638d03b90eaa2a","first_computed_at":"2026-07-05T03:20:37.626810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:20:37.626810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ObgzzBodK283X6lgODXKCxQh5qeFVzzuP9YGMJo6G1N5vfF4MHlZ4lmC53UGe0hYUKslBsi5ZDRMux6dDm4kAg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:20:37.627295Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.06697","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91c31d623c70e07620b9572c9f073c40e8c7b44e31d52fe5119fe7ac61c133bf","sha256:c00927ae6d49124201c805d2db5259b2c526aaf4e12207ed9517200967ef41d4"],"state_sha256":"9bb910132aa128c5dff7eba13cc1b909c003f0bc4f2f9adb1859d7a6cb530306"}