{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:CDW6NVKAAHHUQP6ZSYP63GTFE7","short_pith_number":"pith:CDW6NVKA","schema_version":"1.0","canonical_sha256":"10ede6d54001cf483fd9961fed9a6527df21a8f42cebfefc453c3868ab1f32e8","source":{"kind":"arxiv","id":"1902.09149","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1902.09149","created_at":"2026-05-17T23:52:46.506963+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.09149v1","created_at":"2026-05-17T23:52:46.506963+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.09149","created_at":"2026-05-17T23:52:46.506963+00:00"},{"alias_kind":"pith_short_12","alias_value":"CDW6NVKAAHHU","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"CDW6NVKAAHHUQP6Z","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"CDW6NVKA","created_at":"2026-05-18T12:33:12.712433+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7","json":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7.json","graph_json":"https://pith.science/api/pith-number/CDW6NVKAAHHUQP6ZSYP63GTFE7/graph.json","events_json":"https://pith.science/api/pith-number/CDW6NVKAAHHUQP6ZSYP63GTFE7/events.json","paper":"https://pith.science/paper/CDW6NVKA"},"agent_actions":{"view_html":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7","download_json":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7.json","view_paper":"https://pith.science/paper/CDW6NVKA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.09149&json=true","fetch_graph":"https://pith.science/api/pith-number/CDW6NVKAAHHUQP6ZSYP63GTFE7/graph.json","fetch_events":"https://pith.science/api/pith-number/CDW6NVKAAHHUQP6ZSYP63GTFE7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/action/storage_attestation","attest_author":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/action/author_attestation","sign_citation":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/action/citation_signature","submit_replication":"https://pith.science/pith/CDW6NVKAAHHUQP6ZSYP63GTFE7/action/replication_record"}},"created_at":"2026-05-17T23:52:46.506963+00:00","updated_at":"2026-05-17T23:52:46.506963+00:00"}