{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3UAN4NI4D5NZGFIF5AIO2R2TIK","short_pith_number":"pith:3UAN4NI4","canonical_record":{"source":{"id":"1807.02696","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-07T17:09:51Z","cross_cats_sorted":[],"title_canon_sha256":"924fe56f9553cbb42e3c9a8c6653bce1e530d697949ff446c6a1c2b3da37b57f","abstract_canon_sha256":"3942d7c427a59c857064db6945f2ab3170760f8144b3f327ee06aaa0df411664"},"schema_version":"1.0"},"canonical_sha256":"dd00de351c1f5b931505e810ed475342bee5c573e8dd1968f0af0a33176dbce9","source":{"kind":"arxiv","id":"1807.02696","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.02696","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"arxiv_version","alias_value":"1807.02696v1","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.02696","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"pith_short_12","alias_value":"3UAN4NI4D5NZ","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3UAN4NI4D5NZGFIF","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3UAN4NI4","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3UAN4NI4D5NZGFIF5AIO2R2TIK","target":"record","payload":{"canonical_record":{"source":{"id":"1807.02696","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-07T17:09:51Z","cross_cats_sorted":[],"title_canon_sha256":"924fe56f9553cbb42e3c9a8c6653bce1e530d697949ff446c6a1c2b3da37b57f","abstract_canon_sha256":"3942d7c427a59c857064db6945f2ab3170760f8144b3f327ee06aaa0df411664"},"schema_version":"1.0"},"canonical_sha256":"dd00de351c1f5b931505e810ed475342bee5c573e8dd1968f0af0a33176dbce9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:16.262244Z","signature_b64":"RfoIiYrfaYLl9XWkVQYFPdmNRVHRQf0VUXp8SNN1LIR0jIFhS1r6lSQWFSAIjp639DoXw83Tov85p9b0J6NYDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd00de351c1f5b931505e810ed475342bee5c573e8dd1968f0af0a33176dbce9","last_reissued_at":"2026-05-18T00:11:16.261564Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:16.261564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.02696","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-18T00:11:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NreROts/qMuw3O3tD35NLF+AOh2TINXiJkjbQGIY6TLO/tWONw2xOB2Fl4w7zyIoSj5aeMEACjKK66cKs6ooAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:42:59.337255Z"},"content_sha256":"3e1a1250e9def86f6ff4b49d3a6495afb41370df87e29a7a91b7f1220ef6d306","schema_version":"1.0","event_id":"sha256:3e1a1250e9def86f6ff4b49d3a6495afb41370df87e29a7a91b7f1220ef6d306"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3UAN4NI4D5NZGFIF5AIO2R2TIK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Switching between Limit Cycles in a Model of Running Using Exponentially Stabilizing Discrete Control Lyapunov Function","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ali Zamani, Jason Pusey, Pranav A. Bhounsule","submitted_at":"2018-07-07T17:09:51Z","abstract_excerpt":"This paper considers the problem of switching between two periodic motions, also known as limit cycles, to create agile running motions. For each limit cycle, we use a control Lyapunov function to estimate the region of attraction at the apex of the flight phase. We switch controllers at the apex, only if the current state of the robot is within the region of attraction of the subsequent limit cycle. If the intersection between two limit cycles is the null set, then we construct additional limit cycles till we are able to achieve sufficient overlap of the region of attraction between sequentia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.02696","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-18T00:11:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MIJOoWZbB2xOyfIJSVJZ9rIhGKLRn+4APVVKauvbqFAJOLY3iadS2qBmjKIgonxX/LGHGL+FLmHNsc1Cp41bBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:42:59.337973Z"},"content_sha256":"68e2b0811796a6fe69d3f146942b6f6429d5bf0360db2f25b4428e1980603c17","schema_version":"1.0","event_id":"sha256:68e2b0811796a6fe69d3f146942b6f6429d5bf0360db2f25b4428e1980603c17"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/bundle.json","state_url":"https://pith.science/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/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-05-31T05:42:59Z","links":{"resolver":"https://pith.science/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK","bundle":"https://pith.science/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/bundle.json","state":"https://pith.science/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3UAN4NI4D5NZGFIF5AIO2R2TIK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3UAN4NI4D5NZGFIF5AIO2R2TIK","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":"3942d7c427a59c857064db6945f2ab3170760f8144b3f327ee06aaa0df411664","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-07T17:09:51Z","title_canon_sha256":"924fe56f9553cbb42e3c9a8c6653bce1e530d697949ff446c6a1c2b3da37b57f"},"schema_version":"1.0","source":{"id":"1807.02696","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.02696","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"arxiv_version","alias_value":"1807.02696v1","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.02696","created_at":"2026-05-18T00:11:16Z"},{"alias_kind":"pith_short_12","alias_value":"3UAN4NI4D5NZ","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3UAN4NI4D5NZGFIF","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3UAN4NI4","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:68e2b0811796a6fe69d3f146942b6f6429d5bf0360db2f25b4428e1980603c17","target":"graph","created_at":"2026-05-18T00:11: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 considers the problem of switching between two periodic motions, also known as limit cycles, to create agile running motions. For each limit cycle, we use a control Lyapunov function to estimate the region of attraction at the apex of the flight phase. We switch controllers at the apex, only if the current state of the robot is within the region of attraction of the subsequent limit cycle. If the intersection between two limit cycles is the null set, then we construct additional limit cycles till we are able to achieve sufficient overlap of the region of attraction between sequentia","authors_text":"Ali Zamani, Jason Pusey, Pranav A. Bhounsule","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-07T17:09:51Z","title":"Switching between Limit Cycles in a Model of Running Using Exponentially Stabilizing Discrete Control Lyapunov Function"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.02696","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:3e1a1250e9def86f6ff4b49d3a6495afb41370df87e29a7a91b7f1220ef6d306","target":"record","created_at":"2026-05-18T00:11: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":"3942d7c427a59c857064db6945f2ab3170760f8144b3f327ee06aaa0df411664","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-07T17:09:51Z","title_canon_sha256":"924fe56f9553cbb42e3c9a8c6653bce1e530d697949ff446c6a1c2b3da37b57f"},"schema_version":"1.0","source":{"id":"1807.02696","kind":"arxiv","version":1}},"canonical_sha256":"dd00de351c1f5b931505e810ed475342bee5c573e8dd1968f0af0a33176dbce9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd00de351c1f5b931505e810ed475342bee5c573e8dd1968f0af0a33176dbce9","first_computed_at":"2026-05-18T00:11:16.261564Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:16.261564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RfoIiYrfaYLl9XWkVQYFPdmNRVHRQf0VUXp8SNN1LIR0jIFhS1r6lSQWFSAIjp639DoXw83Tov85p9b0J6NYDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:16.262244Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.02696","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e1a1250e9def86f6ff4b49d3a6495afb41370df87e29a7a91b7f1220ef6d306","sha256:68e2b0811796a6fe69d3f146942b6f6429d5bf0360db2f25b4428e1980603c17"],"state_sha256":"9b34fbf1e88c0caedd6abd1142656a459f7d34ff9507e78d269b2b26a61d5eb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PZe4bl7+wdhwkc2R+J1bLNR7mbad3QxR6/UroPaxY4DuWCx6bm++pG0bx4xHjab0l7krKjq3O7YjF+xfStsvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T05:42:59.342035Z","bundle_sha256":"bdabcaac6be805811e6ea05eeda3517ab3756f15c039208060a0c4173e385f57"}}