{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:CDW6NVKAAHHUQP6ZSYP63GTFE7","short_pith_number":"pith:CDW6NVKA","canonical_record":{"source":{"id":"1902.09149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-25T09:06:09Z","cross_cats_sorted":[],"title_canon_sha256":"87ed2ba0266b8d6df7a796623d28a889f0f21c083c6cad1db5e2f16fadcb130f","abstract_canon_sha256":"7f894fadaf4fcf2057c1fcd143e802c71098c4d2b83f85498202348efd455ec9"},"schema_version":"1.0"},"canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","source":{"kind":"arxiv","id":"1902.09149","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09149","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09149v1","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09149","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"pith_short_12","alias_value":"CDW6NVKAAHHU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"CDW6NVKAAHHUQP6Z","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"CDW6NVKA","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:CDW6NVKAAHHUQP6ZSYP63GTFE7","target":"record","payload":{"canonical_record":{"source":{"id":"1902.09149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-25T09:06:09Z","cross_cats_sorted":[],"title_canon_sha256":"87ed2ba0266b8d6df7a796623d28a889f0f21c083c6cad1db5e2f16fadcb130f","abstract_canon_sha256":"7f894fadaf4fcf2057c1fcd143e802c71098c4d2b83f85498202348efd455ec9"},"schema_version":"1.0"},"canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:46.507433Z","signature_b64":"mzo9ARhlw+xcCzMtdaGwdrh9Qwe9VJUbFOphes2M7jp90LLP+ixjsjZQ89d0K8PBUUKhOQvMF61pjPoluc2lBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","last_reissued_at":"2026-05-17T23:52:46.506879Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:46.506879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.09149","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-17T23:52:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oR6iwhY+5LCqCezS86KcfyH6LUmYA3moSwlcYFSjZhYoDJvp6SKE1NqBvFk71Uuhg5fQeccNeO3AG4SuedBRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:15:37.978762Z"},"content_sha256":"bc2bd6d25e9af4575e703927f395fa942dff73774dfe8ad7f2a20eb9f9a7f54e","schema_version":"1.0","event_id":"sha256:bc2bd6d25e9af4575e703927f395fa942dff73774dfe8ad7f2a20eb9f9a7f54e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:CDW6NVKAAHHUQP6ZSYP63GTFE7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Real-Time Quad-Rotor Path Planning Using Convex Optimization and Compound State-Triggered Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Behcet Acikmese, Danylo Malyuta, Margaret Skye Mceowen, Michael Szmuk, Taylor P. Reynolds","submitted_at":"2019-02-25T09:06:09Z","abstract_excerpt":"The contribution of this paper is the application of compound state-triggered constraints (STCs) to real-time quad-rotor path planning. Originally developed for rocket landing applications, STCs are made up of a trigger condition and a constraint condition that are arranged such that satisfaction of the former implies satisfaction of the latter. Compound STCs go a step further by allowing multiple trigger and constraint conditions to be combined via Boolean \"and\" or \"or\" operations. The logical implications embodied by STCs can be formulated using continuous variables, and thus enable the inco"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09149","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-17T23:52:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LLieMnjeZ02hStd/ufVsj3ws2YIp1wk3OH9wbJutqmkwgNCwFT6anhda7G1+SumiO9+Q45hfOX5NC9OYlmIFCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:15:37.979105Z"},"content_sha256":"ad6d38882e5886cd7fde2c820f0980afa76c38d806c180bf3a95cb3ed688f73a","schema_version":"1.0","event_id":"sha256:ad6d38882e5886cd7fde2c820f0980afa76c38d806c180bf3a95cb3ed688f73a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/bundle.json","state_url":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/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-02T07:15:37Z","links":{"resolver":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7","bundle":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/bundle.json","state":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:CDW6NVKAAHHUQP6ZSYP63GTFE7","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":"7f894fadaf4fcf2057c1fcd143e802c71098c4d2b83f85498202348efd455ec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-25T09:06:09Z","title_canon_sha256":"87ed2ba0266b8d6df7a796623d28a889f0f21c083c6cad1db5e2f16fadcb130f"},"schema_version":"1.0","source":{"id":"1902.09149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.09149","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"arxiv_version","alias_value":"1902.09149v1","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09149","created_at":"2026-05-17T23:52:46Z"},{"alias_kind":"pith_short_12","alias_value":"CDW6NVKAAHHU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"CDW6NVKAAHHUQP6Z","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"CDW6NVKA","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:ad6d38882e5886cd7fde2c820f0980afa76c38d806c180bf3a95cb3ed688f73a","target":"graph","created_at":"2026-05-17T23:52:46Z","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":"The contribution of this paper is the application of compound state-triggered constraints (STCs) to real-time quad-rotor path planning. Originally developed for rocket landing applications, STCs are made up of a trigger condition and a constraint condition that are arranged such that satisfaction of the former implies satisfaction of the latter. Compound STCs go a step further by allowing multiple trigger and constraint conditions to be combined via Boolean \"and\" or \"or\" operations. The logical implications embodied by STCs can be formulated using continuous variables, and thus enable the inco","authors_text":"Behcet Acikmese, Danylo Malyuta, Margaret Skye Mceowen, Michael Szmuk, Taylor P. Reynolds","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-25T09:06:09Z","title":"Real-Time Quad-Rotor Path Planning Using Convex Optimization and Compound State-Triggered Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.09149","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:bc2bd6d25e9af4575e703927f395fa942dff73774dfe8ad7f2a20eb9f9a7f54e","target":"record","created_at":"2026-05-17T23:52:46Z","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":"7f894fadaf4fcf2057c1fcd143e802c71098c4d2b83f85498202348efd455ec9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-02-25T09:06:09Z","title_canon_sha256":"87ed2ba0266b8d6df7a796623d28a889f0f21c083c6cad1db5e2f16fadcb130f"},"schema_version":"1.0","source":{"id":"1902.09149","kind":"arxiv","version":1}},"canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","first_computed_at":"2026-05-17T23:52:46.506879Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:46.506879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mzo9ARhlw+xcCzMtdaGwdrh9Qwe9VJUbFOphes2M7jp90LLP+ixjsjZQ89d0K8PBUUKhOQvMF61pjPoluc2lBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:46.507433Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.09149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc2bd6d25e9af4575e703927f395fa942dff73774dfe8ad7f2a20eb9f9a7f54e","sha256:ad6d38882e5886cd7fde2c820f0980afa76c38d806c180bf3a95cb3ed688f73a"],"state_sha256":"5c09e142f114b25f6e3690146ac76ce39b32391e32d5c148ed8a9976ae3363ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aUslsNPMxFMoLNFInJcWhLQPSCioQyaMCJ4l/n0EsZUV9YNbAAEMXx9W3mDP0n3EGzhbvpZUCRpX/nfc2RcDDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T07:15:37.981065Z","bundle_sha256":"30bf00c0f2ab95792878f0c8626755c89ea0f2139040029f27cb34c49c0d8113"}}