{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BEVVGEGWJGEMXWIOLV5OQY4QPO","short_pith_number":"pith:BEVVGEGW","canonical_record":{"source":{"id":"1412.3670","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-09T19:26:03Z","cross_cats_sorted":[],"title_canon_sha256":"28987b259936f9df5165c3488456b7736d79b1585aafdce5b0dcc122e7097626","abstract_canon_sha256":"64c159888c7afa2fa78b2c05ab3b97c3ae4513b8dfcc24d82aaa189fc32cbe0a"},"schema_version":"1.0"},"canonical_sha256":"092b5310d64988cbd90e5d7ae863907b852e6b0ac3a8fa86f020d65413f979c9","source":{"kind":"arxiv","id":"1412.3670","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3670","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3670v1","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3670","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"pith_short_12","alias_value":"BEVVGEGWJGEM","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BEVVGEGWJGEMXWIO","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BEVVGEGW","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BEVVGEGWJGEMXWIOLV5OQY4QPO","target":"record","payload":{"canonical_record":{"source":{"id":"1412.3670","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-09T19:26:03Z","cross_cats_sorted":[],"title_canon_sha256":"28987b259936f9df5165c3488456b7736d79b1585aafdce5b0dcc122e7097626","abstract_canon_sha256":"64c159888c7afa2fa78b2c05ab3b97c3ae4513b8dfcc24d82aaa189fc32cbe0a"},"schema_version":"1.0"},"canonical_sha256":"092b5310d64988cbd90e5d7ae863907b852e6b0ac3a8fa86f020d65413f979c9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:30.570418Z","signature_b64":"gI0bVnXLSz6NIV1K8pReITDZbFhq8diK8/dsqFjad/JxbdZ+r8feCIAukW3HXBS7+ENdDyOswPw+ZwajWU/gCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"092b5310d64988cbd90e5d7ae863907b852e6b0ac3a8fa86f020d65413f979c9","last_reissued_at":"2026-05-18T02:31:30.570015Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:30.570015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.3670","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-18T02:31:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2jcHFnr7Yi0edkZ12quwku81P6l8hi6v6IIoGJ/yX0aITBSCvL2s0l/VSYCOQWSAxwUEOZhS+u9S6lnOUCajDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T17:57:44.580929Z"},"content_sha256":"6628578adf9b3bd65450550e382b04c7cbeb2be8816ecc51e931e219f51581a0","schema_version":"1.0","event_id":"sha256:6628578adf9b3bd65450550e382b04c7cbeb2be8816ecc51e931e219f51581a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BEVVGEGWJGEMXWIOLV5OQY4QPO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounded-Rate Multi-Mode Systems Based Motion Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ashutosh Trivedi, Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe","submitted_at":"2014-12-09T19:26:03Z","abstract_excerpt":"Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-dependent rates that can vary within given bounded sets. Given an arbitrary piecewise linear trajectory, we study the problem of following the trajectory with arbitrary precision, using motion primitives given as bounded-rate multi-mode systems. We give an algorithm to solve the problem and show that the problem is co-NP complete. We further prove that the problem can be solved in polynomial time for multi-mode systems w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3670","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-18T02:31:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AfxW917Cydq0CX6xmLFEbfuUiV9zzxRaVlnL2fSvLtvE+3iNjjjC0sEZVSFASgp738Gj6bzWZvS7tzjFJRi3CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T17:57:44.581579Z"},"content_sha256":"875af1eacf296823a58f048c07911a7216f7204da41e06b490e76afe389627b9","schema_version":"1.0","event_id":"sha256:875af1eacf296823a58f048c07911a7216f7204da41e06b490e76afe389627b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/bundle.json","state_url":"https://pith.science/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/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-23T17:57:44Z","links":{"resolver":"https://pith.science/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO","bundle":"https://pith.science/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/bundle.json","state":"https://pith.science/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BEVVGEGWJGEMXWIOLV5OQY4QPO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BEVVGEGWJGEMXWIOLV5OQY4QPO","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":"64c159888c7afa2fa78b2c05ab3b97c3ae4513b8dfcc24d82aaa189fc32cbe0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-09T19:26:03Z","title_canon_sha256":"28987b259936f9df5165c3488456b7736d79b1585aafdce5b0dcc122e7097626"},"schema_version":"1.0","source":{"id":"1412.3670","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3670","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3670v1","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3670","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"pith_short_12","alias_value":"BEVVGEGWJGEM","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BEVVGEGWJGEMXWIO","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BEVVGEGW","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:875af1eacf296823a58f048c07911a7216f7204da41e06b490e76afe389627b9","target":"graph","created_at":"2026-05-18T02:31:30Z","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":"Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-dependent rates that can vary within given bounded sets. Given an arbitrary piecewise linear trajectory, we study the problem of following the trajectory with arbitrary precision, using motion primitives given as bounded-rate multi-mode systems. We give an algorithm to solve the problem and show that the problem is co-NP complete. We further prove that the problem can be solved in polynomial time for multi-mode systems w","authors_text":"Ashutosh Trivedi, Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-09T19:26:03Z","title":"Bounded-Rate Multi-Mode Systems Based Motion Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3670","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:6628578adf9b3bd65450550e382b04c7cbeb2be8816ecc51e931e219f51581a0","target":"record","created_at":"2026-05-18T02:31:30Z","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":"64c159888c7afa2fa78b2c05ab3b97c3ae4513b8dfcc24d82aaa189fc32cbe0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-09T19:26:03Z","title_canon_sha256":"28987b259936f9df5165c3488456b7736d79b1585aafdce5b0dcc122e7097626"},"schema_version":"1.0","source":{"id":"1412.3670","kind":"arxiv","version":1}},"canonical_sha256":"092b5310d64988cbd90e5d7ae863907b852e6b0ac3a8fa86f020d65413f979c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"092b5310d64988cbd90e5d7ae863907b852e6b0ac3a8fa86f020d65413f979c9","first_computed_at":"2026-05-18T02:31:30.570015Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:30.570015Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gI0bVnXLSz6NIV1K8pReITDZbFhq8diK8/dsqFjad/JxbdZ+r8feCIAukW3HXBS7+ENdDyOswPw+ZwajWU/gCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:30.570418Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.3670","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6628578adf9b3bd65450550e382b04c7cbeb2be8816ecc51e931e219f51581a0","sha256:875af1eacf296823a58f048c07911a7216f7204da41e06b490e76afe389627b9"],"state_sha256":"cd538fb0965b53d4785054b1349d5573bdeb4b32ef835aacc9fcfcac442700b0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qF4LyuyQz2UB4plqI67gdmIQYoM0j7Mu2TIQoWAY4c2+QoQogHiV76o9r/ZS7Cayteqeafzz9tHGNHaNygYTAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T17:57:44.585157Z","bundle_sha256":"2147aab2069d0f3303167e572c1f7ab20ef92f8cee24f54d3766d5e24bcb818c"}}