{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:W2UGMBWL7UAJWMUTZNVAJ43LJ6","short_pith_number":"pith:W2UGMBWL","canonical_record":{"source":{"id":"2004.10883","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-22T22:07:57Z","cross_cats_sorted":["cs.LG","cs.NE","cs.SY"],"title_canon_sha256":"29f107ad212839c390ddfca48666c30abaf11821ba27d7a72a1cd0d02dac2273","abstract_canon_sha256":"2f9bb7251c233e7b82ecb22b72859695523234c46562defc812c49bcbbf03408"},"schema_version":"1.0"},"canonical_sha256":"b6a86606cbfd009b3293cb6a04f36b4f9b9f79207ff73f9658939691693ee2f1","source":{"kind":"arxiv","id":"2004.10883","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.10883","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"arxiv_version","alias_value":"2004.10883v1","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.10883","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_12","alias_value":"W2UGMBWL7UAJ","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_16","alias_value":"W2UGMBWL7UAJWMUT","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_8","alias_value":"W2UGMBWL","created_at":"2026-07-05T01:54:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:W2UGMBWL7UAJWMUTZNVAJ43LJ6","target":"record","payload":{"canonical_record":{"source":{"id":"2004.10883","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-22T22:07:57Z","cross_cats_sorted":["cs.LG","cs.NE","cs.SY"],"title_canon_sha256":"29f107ad212839c390ddfca48666c30abaf11821ba27d7a72a1cd0d02dac2273","abstract_canon_sha256":"2f9bb7251c233e7b82ecb22b72859695523234c46562defc812c49bcbbf03408"},"schema_version":"1.0"},"canonical_sha256":"b6a86606cbfd009b3293cb6a04f36b4f9b9f79207ff73f9658939691693ee2f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:54:43.793167Z","signature_b64":"RpP56lUw+WisXIxkKeiuwBxWQ6lAsY0RrGaFe0t5gF12k6CWgTeAGQIzslxBe8+X7VcFDT2g3SCDZ74sYeGUAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6a86606cbfd009b3293cb6a04f36b4f9b9f79207ff73f9658939691693ee2f1","last_reissued_at":"2026-07-05T01:54:43.792764Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:54:43.792764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.10883","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-05T01:54:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dISGvXlV9/1Fp9gLa4F3HemnFvKrqILb9ze+yv1gV5lc5PrEMWFs9n+hAWKWnoOWtOf9s79z+bG/uw9LSqSWAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:29:04.605574Z"},"content_sha256":"a6a539014919a3ede75c2a70ffdccbfee8ab6105d74ac6451d93b86bfcb08fda","schema_version":"1.0","event_id":"sha256:a6a539014919a3ede75c2a70ffdccbfee8ab6105d74ac6451d93b86bfcb08fda"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:W2UGMBWL7UAJWMUTZNVAJ43LJ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constrained Neural Ordinary Differential Equations with Stability Guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NE","cs.SY"],"primary_cat":"eess.SY","authors_text":"Aaron Tuor, Draguna Vrabie, Jan Drgona","submitted_at":"2020-04-22T22:07:57Z","abstract_excerpt":"Differential equations are frequently used in engineering domains, such as modeling and control of industrial systems, where safety and performance guarantees are of paramount importance. Traditional physics-based modeling approaches require domain expertise and are often difficult to tune or adapt to new systems. In this paper, we show how to model discrete ordinary differential equations (ODE) with algebraic nonlinearities as deep neural networks with varying degrees of prior knowledge. We derive the stability guarantees of the network layers based on the implicit constraints imposed on the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.10883","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/2004.10883/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-05T01:54:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lMXpSsdbptWheRx6uDicCJY8A1EdOYC55AA+JuCoBvK7OkNq+shfvgmcsC5C71TXFjFDPVJ9RACYxX4jE4QmCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:29:04.605972Z"},"content_sha256":"e5e474309aa91e8b3ca8c43b6ba2711d1140296e827fee4766644912c073319d","schema_version":"1.0","event_id":"sha256:e5e474309aa91e8b3ca8c43b6ba2711d1140296e827fee4766644912c073319d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/bundle.json","state_url":"https://pith.science/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/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-06T12:29:04Z","links":{"resolver":"https://pith.science/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6","bundle":"https://pith.science/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/bundle.json","state":"https://pith.science/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W2UGMBWL7UAJWMUTZNVAJ43LJ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:W2UGMBWL7UAJWMUTZNVAJ43LJ6","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":"2f9bb7251c233e7b82ecb22b72859695523234c46562defc812c49bcbbf03408","cross_cats_sorted":["cs.LG","cs.NE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-22T22:07:57Z","title_canon_sha256":"29f107ad212839c390ddfca48666c30abaf11821ba27d7a72a1cd0d02dac2273"},"schema_version":"1.0","source":{"id":"2004.10883","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.10883","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"arxiv_version","alias_value":"2004.10883v1","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.10883","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_12","alias_value":"W2UGMBWL7UAJ","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_16","alias_value":"W2UGMBWL7UAJWMUT","created_at":"2026-07-05T01:54:43Z"},{"alias_kind":"pith_short_8","alias_value":"W2UGMBWL","created_at":"2026-07-05T01:54:43Z"}],"graph_snapshots":[{"event_id":"sha256:e5e474309aa91e8b3ca8c43b6ba2711d1140296e827fee4766644912c073319d","target":"graph","created_at":"2026-07-05T01:54:43Z","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/2004.10883/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Differential equations are frequently used in engineering domains, such as modeling and control of industrial systems, where safety and performance guarantees are of paramount importance. Traditional physics-based modeling approaches require domain expertise and are often difficult to tune or adapt to new systems. In this paper, we show how to model discrete ordinary differential equations (ODE) with algebraic nonlinearities as deep neural networks with varying degrees of prior knowledge. We derive the stability guarantees of the network layers based on the implicit constraints imposed on the ","authors_text":"Aaron Tuor, Draguna Vrabie, Jan Drgona","cross_cats":["cs.LG","cs.NE","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-22T22:07:57Z","title":"Constrained Neural Ordinary Differential Equations with Stability Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.10883","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:a6a539014919a3ede75c2a70ffdccbfee8ab6105d74ac6451d93b86bfcb08fda","target":"record","created_at":"2026-07-05T01:54:43Z","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":"2f9bb7251c233e7b82ecb22b72859695523234c46562defc812c49bcbbf03408","cross_cats_sorted":["cs.LG","cs.NE","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-22T22:07:57Z","title_canon_sha256":"29f107ad212839c390ddfca48666c30abaf11821ba27d7a72a1cd0d02dac2273"},"schema_version":"1.0","source":{"id":"2004.10883","kind":"arxiv","version":1}},"canonical_sha256":"b6a86606cbfd009b3293cb6a04f36b4f9b9f79207ff73f9658939691693ee2f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6a86606cbfd009b3293cb6a04f36b4f9b9f79207ff73f9658939691693ee2f1","first_computed_at":"2026-07-05T01:54:43.792764Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:54:43.792764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RpP56lUw+WisXIxkKeiuwBxWQ6lAsY0RrGaFe0t5gF12k6CWgTeAGQIzslxBe8+X7VcFDT2g3SCDZ74sYeGUAw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:54:43.793167Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.10883","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6a539014919a3ede75c2a70ffdccbfee8ab6105d74ac6451d93b86bfcb08fda","sha256:e5e474309aa91e8b3ca8c43b6ba2711d1140296e827fee4766644912c073319d"],"state_sha256":"3a947f9e9f3ee7785ac4ed05f780cdf62ea3e87d4177b372911ce46074faa801"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wZzFiUpIn47+2MiaC/iHOkCMSlM1G1syNeQCVr9z7rcs1s33y2uGi9HnRNP9TLoL1Oq4tQtxcZjxtDtIWMZYAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T12:29:04.608033Z","bundle_sha256":"255035c5b8c1b3b6f44669f3400e1b4f9614e5d3cca2f4f3b4868ee9fd2b630d"}}