{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DLSMWLRAFA7CXA22XLZK7TIDDY","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":"b96521e857e918016490173f6baa8b43621d705a273d655b4e6ae14d13b656fc","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-12-12T15:08:48Z","title_canon_sha256":"d1d16b3dc6ae7996bdc3bfcdc95177d600bfd009632ae9a1827e8d40b02e3e53"},"schema_version":"1.0","source":{"id":"2312.07345","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.07345","created_at":"2026-07-05T07:23:18Z"},{"alias_kind":"arxiv_version","alias_value":"2312.07345v1","created_at":"2026-07-05T07:23:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.07345","created_at":"2026-07-05T07:23:18Z"},{"alias_kind":"pith_short_12","alias_value":"DLSMWLRAFA7C","created_at":"2026-07-05T07:23:18Z"},{"alias_kind":"pith_short_16","alias_value":"DLSMWLRAFA7CXA22","created_at":"2026-07-05T07:23:18Z"},{"alias_kind":"pith_short_8","alias_value":"DLSMWLRA","created_at":"2026-07-05T07:23:18Z"}],"graph_snapshots":[{"event_id":"sha256:536ec6c816f61fdee78ba1f2a958669a82ba48c650aeab75a9f958154a965491","target":"graph","created_at":"2026-07-05T07:23: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2312.07345/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a deep learning based control synthesis framework for fast and online computation of controllers that guarantees the safety of general nonlinear control systems with unknown dynamics in the presence of input constraints. Towards this goal, we propose a framework for simultaneously learning the unknown system dynamics, which can change with time due to external disturbances, and an integral control law for trajectory tracking based on imitation learning. Simultaneously, we learn corresponding safety certificates, which we refer to as Neural Integral Control Barrier Fun","authors_text":"Efstathios Bakolas, Rohan Chandra, Vrushabh Zinage","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-12-12T15:08:48Z","title":"Neural Differentiable Integral Control Barrier Functions for Unknown Nonlinear Systems with Input Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.07345","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:7a169e72b20106f00fec57966fecbf7f8eac367ef863482b0a47ac61f66b2616","target":"record","created_at":"2026-07-05T07:23: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":"b96521e857e918016490173f6baa8b43621d705a273d655b4e6ae14d13b656fc","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-12-12T15:08:48Z","title_canon_sha256":"d1d16b3dc6ae7996bdc3bfcdc95177d600bfd009632ae9a1827e8d40b02e3e53"},"schema_version":"1.0","source":{"id":"2312.07345","kind":"arxiv","version":1}},"canonical_sha256":"1ae4cb2e20283e2b835abaf2afcd031e09212cc9d95afdb5e8e7af9f261c812f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ae4cb2e20283e2b835abaf2afcd031e09212cc9d95afdb5e8e7af9f261c812f","first_computed_at":"2026-07-05T07:23:18.520549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:23:18.520549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8jup4gPVVLwgnup2ALVYA8EtiCt/syrmR9rrj58b4Q+rkoK/PyJzGy9mp+55tbjLyveQ9n8LJa2d/E4eer5qAw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:23:18.520942Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.07345","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a169e72b20106f00fec57966fecbf7f8eac367ef863482b0a47ac61f66b2616","sha256:536ec6c816f61fdee78ba1f2a958669a82ba48c650aeab75a9f958154a965491"],"state_sha256":"e968ed7ca15ba709f19c5bcb9dd940dd908f446d81202cc9b6b443d8c59cd84b"}