{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FZBTACT7Z7VFHIDPRDYEDOFLV4","short_pith_number":"pith:FZBTACT7","canonical_record":{"source":{"id":"2504.12269","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-16T17:31:47Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"26c8c18d438c194f6df0b8f3c3229df096699485c0dfc22be3cdfda13430245c","abstract_canon_sha256":"c3fc87777658aafafd1d498707ef45f6c0ad26d989ef28e4564808e80579d4ed"},"schema_version":"1.0"},"canonical_sha256":"2e43300a7fcfea53a06f88f041b8abaf30ee15939c5ac30e5a6d99d3ab05aa3f","source":{"kind":"arxiv","id":"2504.12269","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.12269","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"arxiv_version","alias_value":"2504.12269v1","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.12269","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_12","alias_value":"FZBTACT7Z7VF","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_16","alias_value":"FZBTACT7Z7VFHIDP","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_8","alias_value":"FZBTACT7","created_at":"2026-07-05T10:50:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FZBTACT7Z7VFHIDPRDYEDOFLV4","target":"record","payload":{"canonical_record":{"source":{"id":"2504.12269","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-16T17:31:47Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"26c8c18d438c194f6df0b8f3c3229df096699485c0dfc22be3cdfda13430245c","abstract_canon_sha256":"c3fc87777658aafafd1d498707ef45f6c0ad26d989ef28e4564808e80579d4ed"},"schema_version":"1.0"},"canonical_sha256":"2e43300a7fcfea53a06f88f041b8abaf30ee15939c5ac30e5a6d99d3ab05aa3f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:50:05.248231Z","signature_b64":"lNKalM/KEG+TX9RQmUWmawIzqMdqz+7KORTapAx09Fo7ibnI+7boM9VnSRTBlHYsqx92OH+A/ay7e6XjzHR4DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e43300a7fcfea53a06f88f041b8abaf30ee15939c5ac30e5a6d99d3ab05aa3f","last_reissued_at":"2026-07-05T10:50:05.247735Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:50:05.247735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.12269","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-05T10:50:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bkbtJnfnpI7BHPaZOBuYSFMHWV/RYuGUqntiWSxzfRgqMCjhhhGWycpZSU1iIeQ2iDpTkFtf9wwKWO+ZL94DDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:23:31.575538Z"},"content_sha256":"246405a4277e50bdd427b444bd743e21688ca15245a97039d27f9a15c394643e","schema_version":"1.0","event_id":"sha256:246405a4277e50bdd427b444bd743e21688ca15245a97039d27f9a15c394643e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FZBTACT7Z7VFHIDPRDYEDOFLV4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Hasan Poonawala, Pouya Samanipour","submitted_at":"2025-04-16T17:31:47Z","abstract_excerpt":"This paper presents a novel framework for constructing the Region of Attraction (RoA) for dynamics derived either from Piecewise Affine (PWA) functions or from Neural Networks (NNs) with Rectified Linear Units (ReLU) activation function. This method, described as Sequential Estimation of RoA based on Invariant Set Estimation (SEROAISE), computes a Lyapunov-like PWA function over a certified PWA invariant set. While traditional approaches search for Lyapunov functions by enforcing Lyapunov conditions over pre-selected domains, this framework enforces Lyapunov-like conditions over a certified in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.12269","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.12269/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-05T10:50:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cSCJkfouOXUJ+R0tXtYbO02KvKoPsMdzU3gdOeqWOQRV6g8oBK18oM5RM64Yt//339tABqGzmlPKhCIGnX+CDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:23:31.576094Z"},"content_sha256":"533ffe0dbc4c5112db17bcd54061e682aa88f25be3b366667307dcdc3ad51329","schema_version":"1.0","event_id":"sha256:533ffe0dbc4c5112db17bcd54061e682aa88f25be3b366667307dcdc3ad51329"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/bundle.json","state_url":"https://pith.science/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/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-08-18T15:23:31Z","links":{"resolver":"https://pith.science/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4","bundle":"https://pith.science/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/bundle.json","state":"https://pith.science/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZBTACT7Z7VFHIDPRDYEDOFLV4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FZBTACT7Z7VFHIDPRDYEDOFLV4","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":"c3fc87777658aafafd1d498707ef45f6c0ad26d989ef28e4564808e80579d4ed","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-16T17:31:47Z","title_canon_sha256":"26c8c18d438c194f6df0b8f3c3229df096699485c0dfc22be3cdfda13430245c"},"schema_version":"1.0","source":{"id":"2504.12269","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.12269","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"arxiv_version","alias_value":"2504.12269v1","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.12269","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_12","alias_value":"FZBTACT7Z7VF","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_16","alias_value":"FZBTACT7Z7VFHIDP","created_at":"2026-07-05T10:50:05Z"},{"alias_kind":"pith_short_8","alias_value":"FZBTACT7","created_at":"2026-07-05T10:50:05Z"}],"graph_snapshots":[{"event_id":"sha256:533ffe0dbc4c5112db17bcd54061e682aa88f25be3b366667307dcdc3ad51329","target":"graph","created_at":"2026-07-05T10:50:05Z","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/2504.12269/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a novel framework for constructing the Region of Attraction (RoA) for dynamics derived either from Piecewise Affine (PWA) functions or from Neural Networks (NNs) with Rectified Linear Units (ReLU) activation function. This method, described as Sequential Estimation of RoA based on Invariant Set Estimation (SEROAISE), computes a Lyapunov-like PWA function over a certified PWA invariant set. While traditional approaches search for Lyapunov functions by enforcing Lyapunov conditions over pre-selected domains, this framework enforces Lyapunov-like conditions over a certified in","authors_text":"Hasan Poonawala, Pouya Samanipour","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.12269","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:246405a4277e50bdd427b444bd743e21688ca15245a97039d27f9a15c394643e","target":"record","created_at":"2026-07-05T10:50:05Z","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":"c3fc87777658aafafd1d498707ef45f6c0ad26d989ef28e4564808e80579d4ed","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-16T17:31:47Z","title_canon_sha256":"26c8c18d438c194f6df0b8f3c3229df096699485c0dfc22be3cdfda13430245c"},"schema_version":"1.0","source":{"id":"2504.12269","kind":"arxiv","version":1}},"canonical_sha256":"2e43300a7fcfea53a06f88f041b8abaf30ee15939c5ac30e5a6d99d3ab05aa3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e43300a7fcfea53a06f88f041b8abaf30ee15939c5ac30e5a6d99d3ab05aa3f","first_computed_at":"2026-07-05T10:50:05.247735Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:50:05.247735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lNKalM/KEG+TX9RQmUWmawIzqMdqz+7KORTapAx09Fo7ibnI+7boM9VnSRTBlHYsqx92OH+A/ay7e6XjzHR4DA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:50:05.248231Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.12269","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:246405a4277e50bdd427b444bd743e21688ca15245a97039d27f9a15c394643e","sha256:533ffe0dbc4c5112db17bcd54061e682aa88f25be3b366667307dcdc3ad51329"],"state_sha256":"2d5c7146ad4292ede80e3ff8d05bda08660846c2fe3268433fbdd945e2e27b0e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wy+m+t+YSDklw/SFUjpVW/aTaOvVVGZAz53+c0K/Ofltq/Co8EDGGP9tLu7nAVnGDgs7qqAYe/iCYHXBFtpWBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T15:23:31.581084Z","bundle_sha256":"2f422b37fd795962fdc1c3e98b432beddc1c7ca7590d1645e6f96f313a39239f"}}