{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BAUQTM444ROLPTJ4FX65ND2V6I","short_pith_number":"pith:BAUQTM44","canonical_record":{"source":{"id":"1910.00782","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-10-02T05:28:40Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d74aa9ec2d989b8bfed1328ef8d8c8169aeaa823966812397c56eb8f02045e77","abstract_canon_sha256":"abe661312f0be3fb47cf32c913a394553cd7b4497ef533180ef92627b93fff14"},"schema_version":"1.0"},"canonical_sha256":"082909b39ce45cb7cd3c2dfdd68f55f2232f4b39cb115c7383ebdd764b3c79b2","source":{"kind":"arxiv","id":"1910.00782","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00782","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00782v1","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00782","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"BAUQTM444ROL","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_16","alias_value":"BAUQTM444ROLPTJ4","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_8","alias_value":"BAUQTM44","created_at":"2026-07-05T00:09:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BAUQTM444ROLPTJ4FX65ND2V6I","target":"record","payload":{"canonical_record":{"source":{"id":"1910.00782","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-10-02T05:28:40Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d74aa9ec2d989b8bfed1328ef8d8c8169aeaa823966812397c56eb8f02045e77","abstract_canon_sha256":"abe661312f0be3fb47cf32c913a394553cd7b4497ef533180ef92627b93fff14"},"schema_version":"1.0"},"canonical_sha256":"082909b39ce45cb7cd3c2dfdd68f55f2232f4b39cb115c7383ebdd764b3c79b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:09:19.020545Z","signature_b64":"zGuU/Mxecfym5kpi4XwuR6R8PojyL8DgtJrtrnHsOAUvv5RXEn8P4pWdtfuLqef/+/fBSiKochkBr3gUX2vQAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"082909b39ce45cb7cd3c2dfdd68f55f2232f4b39cb115c7383ebdd764b3c79b2","last_reissued_at":"2026-07-05T00:09:19.020025Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:09:19.020025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.00782","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-05T00:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IGG03IiJZfkEA4F6f9CQGn2Xh3S/VHb0HnsJbI7AEjBPVF9gpEEv/mXTTYI4iKvCqGA51HP9z4sjKbA726xwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T01:48:18.715807Z"},"content_sha256":"13dc445c4faddbd6b81d620fd18da23dfb463762711b68b095d2726919e7965d","schema_version":"1.0","event_id":"sha256:13dc445c4faddbd6b81d620fd18da23dfb463762711b68b095d2726919e7965d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BAUQTM444ROLPTJ4FX65ND2V6I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimization Based Planner Tracker Design for Safety Guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew Packard, He Yin, Monimoy Bujarbaruah, Murat Arcak","submitted_at":"2019-10-02T05:28:40Z","abstract_excerpt":"We present a safe-by-design approach to path planning and control for nonlinear systems. The planner uses a low fidelity model of the plant to compute reference trajectories by solving an MPC problem, while the plant being controlled utilizes a feedback control law that tracks those trajectories with an upper-bound on the tracking error. Our main goal is to allow for maximum permissiveness (that is, room for constraint feasibility) of the planner, while maintaining safety after accounting for the tracking error bound. We achieve this by parametrizing the state and input constraints imposed on "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00782","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/1910.00782/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-05T00:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e5rFjoa9ZLYbrVORNJAiLI4pjfFEMBWUI+C3w1WWhI7H22/nx9K+Wn6CI9zuJiInel0Fgdu3kZwetePLVQC4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T01:48:18.717989Z"},"content_sha256":"0809583c6ccabfeb20775ac2d43d8ecdd1026c1ec348c3545e7545ef19df8116","schema_version":"1.0","event_id":"sha256:0809583c6ccabfeb20775ac2d43d8ecdd1026c1ec348c3545e7545ef19df8116"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BAUQTM444ROLPTJ4FX65ND2V6I/bundle.json","state_url":"https://pith.science/pith/BAUQTM444ROLPTJ4FX65ND2V6I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BAUQTM444ROLPTJ4FX65ND2V6I/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-08-11T01:48:18Z","links":{"resolver":"https://pith.science/pith/BAUQTM444ROLPTJ4FX65ND2V6I","bundle":"https://pith.science/pith/BAUQTM444ROLPTJ4FX65ND2V6I/bundle.json","state":"https://pith.science/pith/BAUQTM444ROLPTJ4FX65ND2V6I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BAUQTM444ROLPTJ4FX65ND2V6I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BAUQTM444ROLPTJ4FX65ND2V6I","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":"abe661312f0be3fb47cf32c913a394553cd7b4497ef533180ef92627b93fff14","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-10-02T05:28:40Z","title_canon_sha256":"d74aa9ec2d989b8bfed1328ef8d8c8169aeaa823966812397c56eb8f02045e77"},"schema_version":"1.0","source":{"id":"1910.00782","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00782","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00782v1","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00782","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"BAUQTM444ROL","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_16","alias_value":"BAUQTM444ROLPTJ4","created_at":"2026-07-05T00:09:19Z"},{"alias_kind":"pith_short_8","alias_value":"BAUQTM44","created_at":"2026-07-05T00:09:19Z"}],"graph_snapshots":[{"event_id":"sha256:0809583c6ccabfeb20775ac2d43d8ecdd1026c1ec348c3545e7545ef19df8116","target":"graph","created_at":"2026-07-05T00:09: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/1910.00782/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a safe-by-design approach to path planning and control for nonlinear systems. The planner uses a low fidelity model of the plant to compute reference trajectories by solving an MPC problem, while the plant being controlled utilizes a feedback control law that tracks those trajectories with an upper-bound on the tracking error. Our main goal is to allow for maximum permissiveness (that is, room for constraint feasibility) of the planner, while maintaining safety after accounting for the tracking error bound. We achieve this by parametrizing the state and input constraints imposed on ","authors_text":"Andrew Packard, He Yin, Monimoy Bujarbaruah, Murat Arcak","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-10-02T05:28:40Z","title":"Optimization Based Planner Tracker Design for Safety Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00782","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:13dc445c4faddbd6b81d620fd18da23dfb463762711b68b095d2726919e7965d","target":"record","created_at":"2026-07-05T00:09: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":"abe661312f0be3fb47cf32c913a394553cd7b4497ef533180ef92627b93fff14","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-10-02T05:28:40Z","title_canon_sha256":"d74aa9ec2d989b8bfed1328ef8d8c8169aeaa823966812397c56eb8f02045e77"},"schema_version":"1.0","source":{"id":"1910.00782","kind":"arxiv","version":1}},"canonical_sha256":"082909b39ce45cb7cd3c2dfdd68f55f2232f4b39cb115c7383ebdd764b3c79b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"082909b39ce45cb7cd3c2dfdd68f55f2232f4b39cb115c7383ebdd764b3c79b2","first_computed_at":"2026-07-05T00:09:19.020025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:09:19.020025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zGuU/Mxecfym5kpi4XwuR6R8PojyL8DgtJrtrnHsOAUvv5RXEn8P4pWdtfuLqef/+/fBSiKochkBr3gUX2vQAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:09:19.020545Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.00782","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13dc445c4faddbd6b81d620fd18da23dfb463762711b68b095d2726919e7965d","sha256:0809583c6ccabfeb20775ac2d43d8ecdd1026c1ec348c3545e7545ef19df8116"],"state_sha256":"39e5ee949543cf49c243d65c4d796e9a6b08828636f72ad68ea056a6240746a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YyCmqYXJPUqcG2Nsd01Mx/fj6+ZSJlUS/zkyDnx8tET/xk98v6ZgEka1We22jkHCNzN7XyvxWaR1j1m9ovzFBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T01:48:18.726704Z","bundle_sha256":"2403da08d5c98b3667d66a5bc752ff51fda544d1620e613b7e892f97659d200d"}}