{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JUARPEX73GWDT6EMMSAQKY3NQ7","short_pith_number":"pith:JUARPEX7","canonical_record":{"source":{"id":"2311.06680","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-11T22:41:04Z","cross_cats_sorted":["cs.SY","eess.SY","math.AP"],"title_canon_sha256":"22ead5e8b8bb99984b80eae4c92d485ed49acc91220714907be27c8da135edbc","abstract_canon_sha256":"fa41a9de664c4fdfcbe051fcd90747c815562ccaf4a47c24fe8e9ca8ef360123"},"schema_version":"1.0"},"canonical_sha256":"4d011792ffd9ac39f88c648105636d87ee66e4a43acb3aa8b158dbd9cc84758f","source":{"kind":"arxiv","id":"2311.06680","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.06680","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"arxiv_version","alias_value":"2311.06680v1","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.06680","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_12","alias_value":"JUARPEX73GWD","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_16","alias_value":"JUARPEX73GWDT6EM","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_8","alias_value":"JUARPEX7","created_at":"2026-07-05T07:12:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JUARPEX73GWDT6EMMSAQKY3NQ7","target":"record","payload":{"canonical_record":{"source":{"id":"2311.06680","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-11T22:41:04Z","cross_cats_sorted":["cs.SY","eess.SY","math.AP"],"title_canon_sha256":"22ead5e8b8bb99984b80eae4c92d485ed49acc91220714907be27c8da135edbc","abstract_canon_sha256":"fa41a9de664c4fdfcbe051fcd90747c815562ccaf4a47c24fe8e9ca8ef360123"},"schema_version":"1.0"},"canonical_sha256":"4d011792ffd9ac39f88c648105636d87ee66e4a43acb3aa8b158dbd9cc84758f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:12:02.047690Z","signature_b64":"Y+qfe5bkTYlJbzBPqGj3XXIKtQbKh/hFcLRlTrjbVo2/FdHrTIvdOoNH8we05okE9zMOXbg4CxYJGN6voUqNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d011792ffd9ac39f88c648105636d87ee66e4a43acb3aa8b158dbd9cc84758f","last_reissued_at":"2026-07-05T07:12:02.047217Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:12:02.047217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.06680","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:12:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ECf4x6y90biUczwSRLlHKvf2VWA5GrOlx+Dt8Pbm4dFpCWnv8OESIsqUqnRSne30BjqQ41XL6+1coSzC+8rDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:44:45.295659Z"},"content_sha256":"35b626836a5ab0cceeecf663849146420ea37a7e347385c76fdbff6b2cdd0a33","schema_version":"1.0","event_id":"sha256:35b626836a5ab0cceeecf663849146420ea37a7e347385c76fdbff6b2cdd0a33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JUARPEX73GWDT6EMMSAQKY3NQ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extremum Seeking for Stefan PDE with Moving Boundary","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY","math.AP"],"primary_cat":"math.OC","authors_text":"Mauricio Linhares Galvao, Miroslav Krstic, Tiago Roux Oliveira","submitted_at":"2023-11-11T22:41:04Z","abstract_excerpt":"This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We compensate the average-based actuation dynamics by a controller via backstepping transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.06680","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/2311.06680/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:12:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OWQnS8gCfWMvQyruGGkbyNXU1YMNskNhO9BBkjrpd5uAdPQLlgwV7NVmZmXhXS6ui/EeMAEzdFoSGcT4umROBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:44:45.296037Z"},"content_sha256":"72ec9f73a5d8f686f160d4c78e67d786f7ba0316399fecc75a2def45261471ae","schema_version":"1.0","event_id":"sha256:72ec9f73a5d8f686f160d4c78e67d786f7ba0316399fecc75a2def45261471ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/bundle.json","state_url":"https://pith.science/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/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-07T03:44:45Z","links":{"resolver":"https://pith.science/pith/JUARPEX73GWDT6EMMSAQKY3NQ7","bundle":"https://pith.science/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/bundle.json","state":"https://pith.science/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JUARPEX73GWDT6EMMSAQKY3NQ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JUARPEX73GWDT6EMMSAQKY3NQ7","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":"fa41a9de664c4fdfcbe051fcd90747c815562ccaf4a47c24fe8e9ca8ef360123","cross_cats_sorted":["cs.SY","eess.SY","math.AP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-11T22:41:04Z","title_canon_sha256":"22ead5e8b8bb99984b80eae4c92d485ed49acc91220714907be27c8da135edbc"},"schema_version":"1.0","source":{"id":"2311.06680","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.06680","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"arxiv_version","alias_value":"2311.06680v1","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.06680","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_12","alias_value":"JUARPEX73GWD","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_16","alias_value":"JUARPEX73GWDT6EM","created_at":"2026-07-05T07:12:02Z"},{"alias_kind":"pith_short_8","alias_value":"JUARPEX7","created_at":"2026-07-05T07:12:02Z"}],"graph_snapshots":[{"event_id":"sha256:72ec9f73a5d8f686f160d4c78e67d786f7ba0316399fecc75a2def45261471ae","target":"graph","created_at":"2026-07-05T07:12:02Z","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/2311.06680/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We compensate the average-based actuation dynamics by a controller via backstepping transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system","authors_text":"Mauricio Linhares Galvao, Miroslav Krstic, Tiago Roux Oliveira","cross_cats":["cs.SY","eess.SY","math.AP"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-11T22:41:04Z","title":"Extremum Seeking for Stefan PDE with Moving Boundary"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.06680","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:35b626836a5ab0cceeecf663849146420ea37a7e347385c76fdbff6b2cdd0a33","target":"record","created_at":"2026-07-05T07:12:02Z","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":"fa41a9de664c4fdfcbe051fcd90747c815562ccaf4a47c24fe8e9ca8ef360123","cross_cats_sorted":["cs.SY","eess.SY","math.AP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-11-11T22:41:04Z","title_canon_sha256":"22ead5e8b8bb99984b80eae4c92d485ed49acc91220714907be27c8da135edbc"},"schema_version":"1.0","source":{"id":"2311.06680","kind":"arxiv","version":1}},"canonical_sha256":"4d011792ffd9ac39f88c648105636d87ee66e4a43acb3aa8b158dbd9cc84758f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d011792ffd9ac39f88c648105636d87ee66e4a43acb3aa8b158dbd9cc84758f","first_computed_at":"2026-07-05T07:12:02.047217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:12:02.047217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y+qfe5bkTYlJbzBPqGj3XXIKtQbKh/hFcLRlTrjbVo2/FdHrTIvdOoNH8we05okE9zMOXbg4CxYJGN6voUqNBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:12:02.047690Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.06680","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35b626836a5ab0cceeecf663849146420ea37a7e347385c76fdbff6b2cdd0a33","sha256:72ec9f73a5d8f686f160d4c78e67d786f7ba0316399fecc75a2def45261471ae"],"state_sha256":"4a77c5519c8373293eb08961d51e89ad4491d663f222e51fd760541c74e8d5f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P4MUpnJ7WbNIoiBDVI3rPzFJFCTk1V2OnxKpD5rUeENK8bP1CoEI6WKtB3AEHjClsYJkFbQuVyheJIrN9WoeDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T03:44:45.298165Z","bundle_sha256":"c0fdcf8df2cc2db430fc64bc80f318833830c8020a5ca43126e798900e7ae22e"}}