{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:O4FAMHMLZATKMQUDZWURIGJ32Y","short_pith_number":"pith:O4FAMHML","canonical_record":{"source":{"id":"1102.1660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-02-07T20:56:26Z","cross_cats_sorted":[],"title_canon_sha256":"9b12e61081310347e5203024832848b86526dbc76c8879193d1ecd49701f826d","abstract_canon_sha256":"3b5308eff7280dc72f0f30a03093b8e83de0641e365a7fd955771dd1c47140fe"},"schema_version":"1.0"},"canonical_sha256":"770a061d8bc826a64283cda914193bd62e5228dec9a0b03c9382889cf1035cf9","source":{"kind":"arxiv","id":"1102.1660","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1660","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1660v1","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1660","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"pith_short_12","alias_value":"O4FAMHMLZATK","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"O4FAMHMLZATKMQUD","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"O4FAMHML","created_at":"2026-05-18T12:26:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:O4FAMHMLZATKMQUDZWURIGJ32Y","target":"record","payload":{"canonical_record":{"source":{"id":"1102.1660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-02-07T20:56:26Z","cross_cats_sorted":[],"title_canon_sha256":"9b12e61081310347e5203024832848b86526dbc76c8879193d1ecd49701f826d","abstract_canon_sha256":"3b5308eff7280dc72f0f30a03093b8e83de0641e365a7fd955771dd1c47140fe"},"schema_version":"1.0"},"canonical_sha256":"770a061d8bc826a64283cda914193bd62e5228dec9a0b03c9382889cf1035cf9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:39.652589Z","signature_b64":"jb56CYnLrArFjlTTty6d7jDKGW0uUPKhVrbizY/efQfhb7yWTu3orkP20qAkx3XVcHRv7hreAAAZp0xZdNDRAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"770a061d8bc826a64283cda914193bd62e5228dec9a0b03c9382889cf1035cf9","last_reissued_at":"2026-05-18T02:22:39.651787Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:39.651787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.1660","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:22:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J6FRAxU130cfRZyEcECErYqdlV0d7vIsJgf0jbWvQHUwJbmCsVDndnFDXgDUNs7fdUhKEK3R9eewhe64/0+rDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:17:19.689993Z"},"content_sha256":"928873ca20f15cfae7a2196db02a497fd61ae99e414a53d4ffe83a04c5ad93e6","schema_version":"1.0","event_id":"sha256:928873ca20f15cfae7a2196db02a497fd61ae99e414a53d4ffe83a04c5ad93e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:O4FAMHMLZATKMQUDZWURIGJ32Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Eric Feron, John-Paul B. Clarke, Karen M. Feigh, Vlad Popescu","submitted_at":"2011-02-07T20:56:26Z","abstract_excerpt":"A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. An Ornstein-Uhlenbeck model of the aircraft motion and a Poisson model of the flow scheduling are introduced along with reasonable numerical values of the model parameters. Analytic expressions are derived for the taskload probability density functions for basic functional elements of the flow structure. Monte Carlo simulations are performed for these basic functional elements and the controller taskload probabilities are exhibited."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1660","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:22:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kV1U4wi2ZQYECUVWIi3iuWqBZmfghWpULi9tMQ1sERJwlnzwKHfLThGLvmu2yeGPGAGiHvj1niUzYkfcuXAWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:17:19.690625Z"},"content_sha256":"ed50eb2c7f65b882e20afe00f430d7dc5467bbf9f769ead0ba7cb2ce9f353353","schema_version":"1.0","event_id":"sha256:ed50eb2c7f65b882e20afe00f430d7dc5467bbf9f769ead0ba7cb2ce9f353353"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/bundle.json","state_url":"https://pith.science/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/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-07T20:17:19Z","links":{"resolver":"https://pith.science/pith/O4FAMHMLZATKMQUDZWURIGJ32Y","bundle":"https://pith.science/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/bundle.json","state":"https://pith.science/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O4FAMHMLZATKMQUDZWURIGJ32Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:O4FAMHMLZATKMQUDZWURIGJ32Y","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":"3b5308eff7280dc72f0f30a03093b8e83de0641e365a7fd955771dd1c47140fe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-02-07T20:56:26Z","title_canon_sha256":"9b12e61081310347e5203024832848b86526dbc76c8879193d1ecd49701f826d"},"schema_version":"1.0","source":{"id":"1102.1660","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.1660","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"arxiv_version","alias_value":"1102.1660v1","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.1660","created_at":"2026-05-18T02:22:39Z"},{"alias_kind":"pith_short_12","alias_value":"O4FAMHMLZATK","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"O4FAMHMLZATKMQUD","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"O4FAMHML","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:ed50eb2c7f65b882e20afe00f430d7dc5467bbf9f769ead0ba7cb2ce9f353353","target":"graph","created_at":"2026-05-18T02:22:39Z","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":"A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. An Ornstein-Uhlenbeck model of the aircraft motion and a Poisson model of the flow scheduling are introduced along with reasonable numerical values of the model parameters. Analytic expressions are derived for the taskload probability density functions for basic functional elements of the flow structure. Monte Carlo simulations are performed for these basic functional elements and the controller taskload probabilities are exhibited.","authors_text":"Eric Feron, John-Paul B. Clarke, Karen M. Feigh, Vlad Popescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-02-07T20:56:26Z","title":"ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.1660","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:928873ca20f15cfae7a2196db02a497fd61ae99e414a53d4ffe83a04c5ad93e6","target":"record","created_at":"2026-05-18T02:22:39Z","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":"3b5308eff7280dc72f0f30a03093b8e83de0641e365a7fd955771dd1c47140fe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-02-07T20:56:26Z","title_canon_sha256":"9b12e61081310347e5203024832848b86526dbc76c8879193d1ecd49701f826d"},"schema_version":"1.0","source":{"id":"1102.1660","kind":"arxiv","version":1}},"canonical_sha256":"770a061d8bc826a64283cda914193bd62e5228dec9a0b03c9382889cf1035cf9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"770a061d8bc826a64283cda914193bd62e5228dec9a0b03c9382889cf1035cf9","first_computed_at":"2026-05-18T02:22:39.651787Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:39.651787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jb56CYnLrArFjlTTty6d7jDKGW0uUPKhVrbizY/efQfhb7yWTu3orkP20qAkx3XVcHRv7hreAAAZp0xZdNDRAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:39.652589Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.1660","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:928873ca20f15cfae7a2196db02a497fd61ae99e414a53d4ffe83a04c5ad93e6","sha256:ed50eb2c7f65b882e20afe00f430d7dc5467bbf9f769ead0ba7cb2ce9f353353"],"state_sha256":"feffc364a073973adc8b8943f1ddf502737441ba3a64d9e295f8716e66ff4005"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xf5mt8ku3bbQbdocDU9fy0kYXoLdq4BS5rD7+eOLAHG8302Y2HkOdRT2xPwdH3+i8gRTsmtVfC2LpihknCKdDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:17:19.694078Z","bundle_sha256":"7fbff645d2ed60942836dfb751507e18ad511e95f6b5142736abf99e254bde83"}}