{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DLSMWLRAFA7CXA22XLZK7TIDDY","short_pith_number":"pith:DLSMWLRA","canonical_record":{"source":{"id":"2312.07345","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-12-12T15:08:48Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d1d16b3dc6ae7996bdc3bfcdc95177d600bfd009632ae9a1827e8d40b02e3e53","abstract_canon_sha256":"b96521e857e918016490173f6baa8b43621d705a273d655b4e6ae14d13b656fc"},"schema_version":"1.0"},"canonical_sha256":"1ae4cb2e20283e2b835abaf2afcd031e09212cc9d95afdb5e8e7af9f261c812f","source":{"kind":"arxiv","id":"2312.07345","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DLSMWLRAFA7CXA22XLZK7TIDDY","target":"record","payload":{"canonical_record":{"source":{"id":"2312.07345","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-12-12T15:08:48Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d1d16b3dc6ae7996bdc3bfcdc95177d600bfd009632ae9a1827e8d40b02e3e53","abstract_canon_sha256":"b96521e857e918016490173f6baa8b43621d705a273d655b4e6ae14d13b656fc"},"schema_version":"1.0"},"canonical_sha256":"1ae4cb2e20283e2b835abaf2afcd031e09212cc9d95afdb5e8e7af9f261c812f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:23:18.520942Z","signature_b64":"8jup4gPVVLwgnup2ALVYA8EtiCt/syrmR9rrj58b4Q+rkoK/PyJzGy9mp+55tbjLyveQ9n8LJa2d/E4eer5qAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ae4cb2e20283e2b835abaf2afcd031e09212cc9d95afdb5e8e7af9f261c812f","last_reissued_at":"2026-07-05T07:23:18.520549Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:23:18.520549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.07345","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-07-05T07:23:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P2YnE1srNNB7indFMKaWiTyub7VfiT4aEy7vsfFFOxgVtHZGgtMkDzlfFsSeuDIt7yw84rxm3HC9UTPuv9g6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:35:37.712332Z"},"content_sha256":"7a169e72b20106f00fec57966fecbf7f8eac367ef863482b0a47ac61f66b2616","schema_version":"1.0","event_id":"sha256:7a169e72b20106f00fec57966fecbf7f8eac367ef863482b0a47ac61f66b2616"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DLSMWLRAFA7CXA22XLZK7TIDDY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Differentiable Integral Control Barrier Functions for Unknown Nonlinear Systems with Input Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Efstathios Bakolas, Rohan Chandra, Vrushabh Zinage","submitted_at":"2023-12-12T15:08:48Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.07345","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.07345/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-07-05T07:23:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tRZZ6/zRffB/e11+NvTRvZgZ36VsrNu8tgEACjXVAEojQsGZB5AlAL1DdpsnSUbKAWG2nUPwk0Gm4Pk1JELLDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:35:37.712710Z"},"content_sha256":"536ec6c816f61fdee78ba1f2a958669a82ba48c650aeab75a9f958154a965491","schema_version":"1.0","event_id":"sha256:536ec6c816f61fdee78ba1f2a958669a82ba48c650aeab75a9f958154a965491"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/bundle.json","state_url":"https://pith.science/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/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-07-07T15:35:37Z","links":{"resolver":"https://pith.science/pith/DLSMWLRAFA7CXA22XLZK7TIDDY","bundle":"https://pith.science/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/bundle.json","state":"https://pith.science/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DLSMWLRAFA7CXA22XLZK7TIDDY/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yFT3lO3trCADmGQDQjdU2VYod4yI2w75DMhqc43+edKCRfziyaH3LjoW05NbO3IDaNjLtl4XxyPzLJrkMzLpDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T15:35:37.714658Z","bundle_sha256":"487e51ba6c15249617ec3919cc64c7957e290ddac517e1ce7410acbeaee50c6d"}}