{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IVVYB3ANZVVTG3ZQGLJ7EH76FN","short_pith_number":"pith:IVVYB3AN","canonical_record":{"source":{"id":"2505.03612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-05-06T15:10:29Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"eb72df726c902b0935c3868991ccd37f8d2202e89782ab6ea7ec87db917158ba","abstract_canon_sha256":"8e7edb11bf62f55c0542b93996d7fa65fc44e5b60adbb0aca22f9c2cae3fa38d"},"schema_version":"1.0"},"canonical_sha256":"456b80ec0dcd6b336f3032d3f21ffe2b6e5345aeaceac2dc1fdcf1ebc8ef0f40","source":{"kind":"arxiv","id":"2505.03612","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03612","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03612v1","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03612","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_12","alias_value":"IVVYB3ANZVVT","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_16","alias_value":"IVVYB3ANZVVTG3ZQ","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_8","alias_value":"IVVYB3AN","created_at":"2026-07-05T10:59:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IVVYB3ANZVVTG3ZQGLJ7EH76FN","target":"record","payload":{"canonical_record":{"source":{"id":"2505.03612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-05-06T15:10:29Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"eb72df726c902b0935c3868991ccd37f8d2202e89782ab6ea7ec87db917158ba","abstract_canon_sha256":"8e7edb11bf62f55c0542b93996d7fa65fc44e5b60adbb0aca22f9c2cae3fa38d"},"schema_version":"1.0"},"canonical_sha256":"456b80ec0dcd6b336f3032d3f21ffe2b6e5345aeaceac2dc1fdcf1ebc8ef0f40","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:59:19.290429Z","signature_b64":"kIkjoOi5e+THuhBe77F+XLFYDSg4H3aow4heXwHXolncilc71nZ/nWayKymeQadT8/ivknQ+ZghxnRRIoy1kAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"456b80ec0dcd6b336f3032d3f21ffe2b6e5345aeaceac2dc1fdcf1ebc8ef0f40","last_reissued_at":"2026-07-05T10:59:19.289953Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:59:19.289953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.03612","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:59:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zTgXh6KkOyOcrZbrbDZyTCmwYB0nDzMVaOFsKIsfXaiLHquf+vQOnxL0i6mXVeOAX09R18YDai+R39PZt2kpBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:10:32.219580Z"},"content_sha256":"8c1175f5f3d6799a466e1c89ca97fc01cb469cfa365565cbbe9f0a7a569627b3","schema_version":"1.0","event_id":"sha256:8c1175f5f3d6799a466e1c89ca97fc01cb469cfa365565cbbe9f0a7a569627b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IVVYB3ANZVVTG3ZQGLJ7EH76FN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Dingran Yuan, Jianqiang Ding, Shankar A. Deka","submitted_at":"2025-05-06T15:10:29Z","abstract_excerpt":"Designing controllers with provable formal guarantees has become an urgent requirement for cyber-physical systems in safety-critical scenarios. Beyond addressing scalability in high-dimensional implementations, controller synthesis methodologies separating safety and reachability objectives may risk optimization infeasibility due to conflicting constraints, thereby significantly undermining their applicability in practical applications. In this paper, by leveraging feedback linearization and backstepping techniques, we present a novel framework for constructing provable reach-avoid formal cert"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03612","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/2505.03612/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:59:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jmwt5PvGlGBceuRrjMwltAtdedeDgRuGGnId2TVzHh2eL5LqKDkC4mSDNlLpjc0erPCHQ9BbranJOUUog1PJBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:10:32.219948Z"},"content_sha256":"fb55d6b2c05841b4afafbd7e2a0597420041824469958274753b0fdb04de7261","schema_version":"1.0","event_id":"sha256:fb55d6b2c05841b4afafbd7e2a0597420041824469958274753b0fdb04de7261"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/bundle.json","state_url":"https://pith.science/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/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-07T07:10:32Z","links":{"resolver":"https://pith.science/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN","bundle":"https://pith.science/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/bundle.json","state":"https://pith.science/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVVYB3ANZVVTG3ZQGLJ7EH76FN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IVVYB3ANZVVTG3ZQGLJ7EH76FN","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":"8e7edb11bf62f55c0542b93996d7fa65fc44e5b60adbb0aca22f9c2cae3fa38d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-05-06T15:10:29Z","title_canon_sha256":"eb72df726c902b0935c3868991ccd37f8d2202e89782ab6ea7ec87db917158ba"},"schema_version":"1.0","source":{"id":"2505.03612","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.03612","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"arxiv_version","alias_value":"2505.03612v1","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.03612","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_12","alias_value":"IVVYB3ANZVVT","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_16","alias_value":"IVVYB3ANZVVTG3ZQ","created_at":"2026-07-05T10:59:19Z"},{"alias_kind":"pith_short_8","alias_value":"IVVYB3AN","created_at":"2026-07-05T10:59:19Z"}],"graph_snapshots":[{"event_id":"sha256:fb55d6b2c05841b4afafbd7e2a0597420041824469958274753b0fdb04de7261","target":"graph","created_at":"2026-07-05T10:59:19Z","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/2505.03612/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Designing controllers with provable formal guarantees has become an urgent requirement for cyber-physical systems in safety-critical scenarios. Beyond addressing scalability in high-dimensional implementations, controller synthesis methodologies separating safety and reachability objectives may risk optimization infeasibility due to conflicting constraints, thereby significantly undermining their applicability in practical applications. In this paper, by leveraging feedback linearization and backstepping techniques, we present a novel framework for constructing provable reach-avoid formal cert","authors_text":"Dingran Yuan, Jianqiang Ding, Shankar A. Deka","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.03612","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:8c1175f5f3d6799a466e1c89ca97fc01cb469cfa365565cbbe9f0a7a569627b3","target":"record","created_at":"2026-07-05T10:59:19Z","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":"8e7edb11bf62f55c0542b93996d7fa65fc44e5b60adbb0aca22f9c2cae3fa38d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-05-06T15:10:29Z","title_canon_sha256":"eb72df726c902b0935c3868991ccd37f8d2202e89782ab6ea7ec87db917158ba"},"schema_version":"1.0","source":{"id":"2505.03612","kind":"arxiv","version":1}},"canonical_sha256":"456b80ec0dcd6b336f3032d3f21ffe2b6e5345aeaceac2dc1fdcf1ebc8ef0f40","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"456b80ec0dcd6b336f3032d3f21ffe2b6e5345aeaceac2dc1fdcf1ebc8ef0f40","first_computed_at":"2026-07-05T10:59:19.289953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:59:19.289953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kIkjoOi5e+THuhBe77F+XLFYDSg4H3aow4heXwHXolncilc71nZ/nWayKymeQadT8/ivknQ+ZghxnRRIoy1kAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:59:19.290429Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.03612","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c1175f5f3d6799a466e1c89ca97fc01cb469cfa365565cbbe9f0a7a569627b3","sha256:fb55d6b2c05841b4afafbd7e2a0597420041824469958274753b0fdb04de7261"],"state_sha256":"e7416e067ff5ae5a48101da0e375147a544a8cf69c0ca96283c64c42db36485e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ryZW80mulGC2k+qK5DAhlOj4psibN7V4xeImNFGaKiKAAn5ZA27cUG0uwayad2Dtn0rh5kdHUR7rnq2/1xKFAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T07:10:32.221806Z","bundle_sha256":"aef2f35953cd9422dd01fd0aa124e888b8799ca4234d1cfa60d8e02f9f9ba8ae"}}