{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ZVPYEXMXSW2DB5UPMMM5ALA4CT","short_pith_number":"pith:ZVPYEXMX","canonical_record":{"source":{"id":"1302.7314","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-28T20:50:26Z","cross_cats_sorted":["cs.RO","math.OC"],"title_canon_sha256":"5208b01bc5bf94cc7ae4a51ade3d8b47f5c63016acc5f2e6fb8799ab5988a30e","abstract_canon_sha256":"f33cc5f40dfce4fb0bebe2573d621fbc05fb21e1a701580b597567e2cb2dd34f"},"schema_version":"1.0"},"canonical_sha256":"cd5f825d9795b430f68f6319d02c1c14e859b0dc8ec77dc74ea8133ecd92ddfe","source":{"kind":"arxiv","id":"1302.7314","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.7314","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"arxiv_version","alias_value":"1302.7314v1","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.7314","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"pith_short_12","alias_value":"ZVPYEXMXSW2D","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZVPYEXMXSW2DB5UP","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZVPYEXMX","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ZVPYEXMXSW2DB5UPMMM5ALA4CT","target":"record","payload":{"canonical_record":{"source":{"id":"1302.7314","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-28T20:50:26Z","cross_cats_sorted":["cs.RO","math.OC"],"title_canon_sha256":"5208b01bc5bf94cc7ae4a51ade3d8b47f5c63016acc5f2e6fb8799ab5988a30e","abstract_canon_sha256":"f33cc5f40dfce4fb0bebe2573d621fbc05fb21e1a701580b597567e2cb2dd34f"},"schema_version":"1.0"},"canonical_sha256":"cd5f825d9795b430f68f6319d02c1c14e859b0dc8ec77dc74ea8133ecd92ddfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:16.233378Z","signature_b64":"pzZvnmQaMVTI2bqc7x8rYfO8Aj1b/tgMxGIXRPNBexkMLFfx8z2DrnTeLoeA64wW4LKwmjHHjSQGw6tL9/0zBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd5f825d9795b430f68f6319d02c1c14e859b0dc8ec77dc74ea8133ecd92ddfe","last_reissued_at":"2026-05-18T03:32:16.232606Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:16.232606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.7314","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-05-18T03:32:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r+cVJe7ukOwfm/d0MzhXnKDrMSzdoNoZCKG48mVTKpOuJ0T3YJwOEDl/GFsAtfrMCEyZUklQ5HOWZjrLi9XACw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T09:18:57.177175Z"},"content_sha256":"44b7fd3076931b84642b0bf9de1b23d1f96a8842d5922a6535773d6562353b3f","schema_version":"1.0","event_id":"sha256:44b7fd3076931b84642b0bf9de1b23d1f96a8842d5922a6535773d6562353b3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ZVPYEXMXSW2DB5UPMMM5ALA4CT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","math.OC"],"primary_cat":"cs.SY","authors_text":"Aaron D. Ames, J.W. Grizzle, Kevin Galloway, Koushil Sreenath","submitted_at":"2013-02-28T20:50:26Z","abstract_excerpt":"This paper presents a novel method for directly incorporating user-defined control input saturations into the calculation of a control Lyapunov function (CLF)-based walking controller for a biped robot. Previous work by the authors has demonstrated the effectiveness of CLF controllers for stabilizing periodic gaits for biped walkers, and the current work expands on those results by providing a more effective means for handling control saturations. The new approach, based on a convex optimization routine running at a 1 kHz control update rate, is useful not only for handling torque saturations "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.7314","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":""},"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-05-18T03:32:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eDv/kukB4b7R1y957R8XiDjsu6tH5yZKsFgNpXrSox0K27Aklw/H82YcVFxWZeY+9y/mcgqDjPbPWJC+6zQcDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T09:18:57.177548Z"},"content_sha256":"63f26c8efd504b9e8859aff96de0d86f2653aa71a1fe2628fba908217fbe1a4a","schema_version":"1.0","event_id":"sha256:63f26c8efd504b9e8859aff96de0d86f2653aa71a1fe2628fba908217fbe1a4a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/bundle.json","state_url":"https://pith.science/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/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-06-25T09:18:57Z","links":{"resolver":"https://pith.science/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT","bundle":"https://pith.science/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/bundle.json","state":"https://pith.science/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZVPYEXMXSW2DB5UPMMM5ALA4CT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ZVPYEXMXSW2DB5UPMMM5ALA4CT","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":"f33cc5f40dfce4fb0bebe2573d621fbc05fb21e1a701580b597567e2cb2dd34f","cross_cats_sorted":["cs.RO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-28T20:50:26Z","title_canon_sha256":"5208b01bc5bf94cc7ae4a51ade3d8b47f5c63016acc5f2e6fb8799ab5988a30e"},"schema_version":"1.0","source":{"id":"1302.7314","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.7314","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"arxiv_version","alias_value":"1302.7314v1","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.7314","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"pith_short_12","alias_value":"ZVPYEXMXSW2D","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZVPYEXMXSW2DB5UP","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZVPYEXMX","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:63f26c8efd504b9e8859aff96de0d86f2653aa71a1fe2628fba908217fbe1a4a","target":"graph","created_at":"2026-05-18T03:32:16Z","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"},"paper":{"abstract_excerpt":"This paper presents a novel method for directly incorporating user-defined control input saturations into the calculation of a control Lyapunov function (CLF)-based walking controller for a biped robot. Previous work by the authors has demonstrated the effectiveness of CLF controllers for stabilizing periodic gaits for biped walkers, and the current work expands on those results by providing a more effective means for handling control saturations. The new approach, based on a convex optimization routine running at a 1 kHz control update rate, is useful not only for handling torque saturations ","authors_text":"Aaron D. Ames, J.W. Grizzle, Kevin Galloway, Koushil Sreenath","cross_cats":["cs.RO","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-28T20:50:26Z","title":"Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.7314","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:44b7fd3076931b84642b0bf9de1b23d1f96a8842d5922a6535773d6562353b3f","target":"record","created_at":"2026-05-18T03:32:16Z","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":"f33cc5f40dfce4fb0bebe2573d621fbc05fb21e1a701580b597567e2cb2dd34f","cross_cats_sorted":["cs.RO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-28T20:50:26Z","title_canon_sha256":"5208b01bc5bf94cc7ae4a51ade3d8b47f5c63016acc5f2e6fb8799ab5988a30e"},"schema_version":"1.0","source":{"id":"1302.7314","kind":"arxiv","version":1}},"canonical_sha256":"cd5f825d9795b430f68f6319d02c1c14e859b0dc8ec77dc74ea8133ecd92ddfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd5f825d9795b430f68f6319d02c1c14e859b0dc8ec77dc74ea8133ecd92ddfe","first_computed_at":"2026-05-18T03:32:16.232606Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:16.232606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pzZvnmQaMVTI2bqc7x8rYfO8Aj1b/tgMxGIXRPNBexkMLFfx8z2DrnTeLoeA64wW4LKwmjHHjSQGw6tL9/0zBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:16.233378Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.7314","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44b7fd3076931b84642b0bf9de1b23d1f96a8842d5922a6535773d6562353b3f","sha256:63f26c8efd504b9e8859aff96de0d86f2653aa71a1fe2628fba908217fbe1a4a"],"state_sha256":"9d1dc2aecdc4539111f5a63c12958cbf8ffba4ea75f6db5b767e65ea2183843c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cgNvJATRy6JZI4joEZD8JYQ3XdPqQpvXk80EQqPJIKcmF1TOsudJ5l4ceWTvK0P30R0PvfiCLjvTyvsWaVTyDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T09:18:57.179485Z","bundle_sha256":"cf777492ddbe7b155058c38975ed61392e5283f46023f9d662656810ce708a83"}}