{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:LKOONN7GXE53PNSFS2LXO2OGYO","short_pith_number":"pith:LKOONN7G","schema_version":"1.0","canonical_sha256":"5a9ce6b7e6b93bb7b64596977769c6c3ad6b54444ff8a90dafab96e1ec1dae7f","source":{"kind":"arxiv","id":"2504.17139","version":1},"attestation_state":"computed","paper":{"title":"Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Antonis Papachristodoulou, Han Wang, Keyan Miao, Konstantinos Gatsis, Liqun Zhao","submitted_at":"2025-04-23T23:09:37Z","abstract_excerpt":"Designing controllers that achieve task objectives while ensuring safety is a key challenge in control systems. This work introduces Opt-ODENet, a Neural ODE framework with a differentiable Quadratic Programming (QP) optimization layer to enforce constraints as hard requirements. Eliminating the reliance on nominal controllers or large datasets, our framework solves the optimal control problem directly using Neural ODEs. Stability and convergence are ensured through Control Lyapunov Functions (CLFs) in the loss function, while Control Barrier Functions (CBFs) embedded in the QP layer enforce r"},"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":"2504.17139","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T23:09:37Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7764f37c3a5cd0ca29992fef414edeed26e36db86c000956ca9061102e573fb3","abstract_canon_sha256":"01a637f8e5f57cbdca053228c91d42be7f8f6492f14bf0e195f43bb46a88ca18"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:53:23.005804Z","signature_b64":"0K6dO8mztITZZ1q8u2qfi0BboRT8apd8JNrZ7Y5c6rdddGHPcESSSC1x35LJD+JW6nOXWpXdGs+e6Axi1YniCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a9ce6b7e6b93bb7b64596977769c6c3ad6b54444ff8a90dafab96e1ec1dae7f","last_reissued_at":"2026-07-05T10:53:23.005283Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:53:23.005283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Antonis Papachristodoulou, Han Wang, Keyan Miao, Konstantinos Gatsis, Liqun Zhao","submitted_at":"2025-04-23T23:09:37Z","abstract_excerpt":"Designing controllers that achieve task objectives while ensuring safety is a key challenge in control systems. This work introduces Opt-ODENet, a Neural ODE framework with a differentiable Quadratic Programming (QP) optimization layer to enforce constraints as hard requirements. Eliminating the reliance on nominal controllers or large datasets, our framework solves the optimal control problem directly using Neural ODEs. Stability and convergence are ensured through Control Lyapunov Functions (CLFs) in the loss function, while Control Barrier Functions (CBFs) embedded in the QP layer enforce r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.17139","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/2504.17139/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":"2504.17139","created_at":"2026-07-05T10:53:23.005353+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.17139v1","created_at":"2026-07-05T10:53:23.005353+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.17139","created_at":"2026-07-05T10:53:23.005353+00:00"},{"alias_kind":"pith_short_12","alias_value":"LKOONN7GXE53","created_at":"2026-07-05T10:53:23.005353+00:00"},{"alias_kind":"pith_short_16","alias_value":"LKOONN7GXE53PNSF","created_at":"2026-07-05T10:53:23.005353+00:00"},{"alias_kind":"pith_short_8","alias_value":"LKOONN7G","created_at":"2026-07-05T10:53:23.005353+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/LKOONN7GXE53PNSFS2LXO2OGYO","json":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO.json","graph_json":"https://pith.science/api/pith-number/LKOONN7GXE53PNSFS2LXO2OGYO/graph.json","events_json":"https://pith.science/api/pith-number/LKOONN7GXE53PNSFS2LXO2OGYO/events.json","paper":"https://pith.science/paper/LKOONN7G"},"agent_actions":{"view_html":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO","download_json":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO.json","view_paper":"https://pith.science/paper/LKOONN7G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.17139&json=true","fetch_graph":"https://pith.science/api/pith-number/LKOONN7GXE53PNSFS2LXO2OGYO/graph.json","fetch_events":"https://pith.science/api/pith-number/LKOONN7GXE53PNSFS2LXO2OGYO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO/action/storage_attestation","attest_author":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO/action/author_attestation","sign_citation":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO/action/citation_signature","submit_replication":"https://pith.science/pith/LKOONN7GXE53PNSFS2LXO2OGYO/action/replication_record"}},"created_at":"2026-07-05T10:53:23.005353+00:00","updated_at":"2026-07-05T10:53:23.005353+00:00"}