{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:2THX35EAXSPSYIEHKJ7OW4KOUD","short_pith_number":"pith:2THX35EA","schema_version":"1.0","canonical_sha256":"d4cf7df480bc9f2c2087527eeb714ea0dc7556d33fb533577e2c556cf87fe360","source":{"kind":"arxiv","id":"2105.14937","version":2},"attestation_state":"computed","paper":{"title":"Safe Pontryagin Differentiable Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"George J. Pappas, Shaoshuai Mou, Wanxin Jin","submitted_at":"2021-05-31T13:03:00Z","abstract_excerpt":"We propose a Safe Pontryagin Differentiable Programming (Safe PDP) methodology, which establishes a theoretical and algorithmic framework to solve a broad class of safety-critical learning and control tasks -- problems that require the guarantee of safety constraint satisfaction at any stage of the learning and control progress. In the spirit of interior-point methods, Safe PDP handles different types of system constraints on states and inputs by incorporating them into the cost or loss through barrier functions. We prove three fundamentals of the proposed Safe PDP: first, both the solution an"},"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":"2105.14937","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-05-31T13:03:00Z","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"e451a198f7c204e8b2332cdc9b8e47db39815bd20a53e35db1235de82378de45","abstract_canon_sha256":"c49a73f621ce5818f466773e100448a8b7c4490a8f24e665fdebe01d90309398"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:25:31.407574Z","signature_b64":"Mam56kK/XkoAJEFOEAB84z48ClQoTvqn+5pG9NOKiTOOG1HhlXqh5Kq6Fy4TBCk8wMvK16J0KdBuG+cN0QArDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4cf7df480bc9f2c2087527eeb714ea0dc7556d33fb533577e2c556cf87fe360","last_reissued_at":"2026-07-05T03:25:31.407141Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:25:31.407141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safe Pontryagin Differentiable Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"George J. Pappas, Shaoshuai Mou, Wanxin Jin","submitted_at":"2021-05-31T13:03:00Z","abstract_excerpt":"We propose a Safe Pontryagin Differentiable Programming (Safe PDP) methodology, which establishes a theoretical and algorithmic framework to solve a broad class of safety-critical learning and control tasks -- problems that require the guarantee of safety constraint satisfaction at any stage of the learning and control progress. In the spirit of interior-point methods, Safe PDP handles different types of system constraints on states and inputs by incorporating them into the cost or loss through barrier functions. We prove three fundamentals of the proposed Safe PDP: first, both the solution an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14937","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/2105.14937/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2105.14937","created_at":"2026-07-05T03:25:31.407199+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.14937v2","created_at":"2026-07-05T03:25:31.407199+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14937","created_at":"2026-07-05T03:25:31.407199+00:00"},{"alias_kind":"pith_short_12","alias_value":"2THX35EAXSPS","created_at":"2026-07-05T03:25:31.407199+00:00"},{"alias_kind":"pith_short_16","alias_value":"2THX35EAXSPSYIEH","created_at":"2026-07-05T03:25:31.407199+00:00"},{"alias_kind":"pith_short_8","alias_value":"2THX35EA","created_at":"2026-07-05T03:25:31.407199+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/2THX35EAXSPSYIEHKJ7OW4KOUD","json":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD.json","graph_json":"https://pith.science/api/pith-number/2THX35EAXSPSYIEHKJ7OW4KOUD/graph.json","events_json":"https://pith.science/api/pith-number/2THX35EAXSPSYIEHKJ7OW4KOUD/events.json","paper":"https://pith.science/paper/2THX35EA"},"agent_actions":{"view_html":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD","download_json":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD.json","view_paper":"https://pith.science/paper/2THX35EA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.14937&json=true","fetch_graph":"https://pith.science/api/pith-number/2THX35EAXSPSYIEHKJ7OW4KOUD/graph.json","fetch_events":"https://pith.science/api/pith-number/2THX35EAXSPSYIEHKJ7OW4KOUD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD/action/storage_attestation","attest_author":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD/action/author_attestation","sign_citation":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD/action/citation_signature","submit_replication":"https://pith.science/pith/2THX35EAXSPSYIEHKJ7OW4KOUD/action/replication_record"}},"created_at":"2026-07-05T03:25:31.407199+00:00","updated_at":"2026-07-05T03:25:31.407199+00:00"}