{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JRFTLW4RC6EQUONIXRL7Z3QDHN","short_pith_number":"pith:JRFTLW4R","canonical_record":{"source":{"id":"1311.6092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2013-11-24T08:15:31Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"2341f231b53eb5387033a1d55567f2d2ddca69fbedcf28040f7b8a5e0e0110b4","abstract_canon_sha256":"6cfdae0a10d5f29584236a09d9f3e7d0c01fb7eee8889ad82ab6b73e50f8395b"},"schema_version":"1.0"},"canonical_sha256":"4c4b35db9117890a39a8bc57fcee033b4fd6ab6e0f570414216fd1a0db75c927","source":{"kind":"arxiv","id":"1311.6092","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.6092","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"1311.6092v1","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.6092","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"JRFTLW4RC6EQ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JRFTLW4RC6EQUONI","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JRFTLW4R","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JRFTLW4RC6EQUONIXRL7Z3QDHN","target":"record","payload":{"canonical_record":{"source":{"id":"1311.6092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2013-11-24T08:15:31Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"2341f231b53eb5387033a1d55567f2d2ddca69fbedcf28040f7b8a5e0e0110b4","abstract_canon_sha256":"6cfdae0a10d5f29584236a09d9f3e7d0c01fb7eee8889ad82ab6b73e50f8395b"},"schema_version":"1.0"},"canonical_sha256":"4c4b35db9117890a39a8bc57fcee033b4fd6ab6e0f570414216fd1a0db75c927","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:20.570515Z","signature_b64":"25q+LZwJ3KWtNFDKCnv7EypQS/TRIrEt5hwVZm+Zp/2H/6L6Ffrcxa2q35O0x3JueuyxQV1D5LDsrY63P27kDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c4b35db9117890a39a8bc57fcee033b4fd6ab6e0f570414216fd1a0db75c927","last_reissued_at":"2026-05-18T03:06:20.569762Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:20.569762Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.6092","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-18T03:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iebgPvScYcbbRrmVpk2fQtzPWw6iiVeG47k5yTTTLnkbaO5YlHkegEhvyEIbuiB5Q/pe1Nu6YcDgKdhtuCrHDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:50:04.528543Z"},"content_sha256":"240f41e059ad70ddf80fa359cfdd3b0ce26e9167fff9f94551de2d76a7d33886","schema_version":"1.0","event_id":"sha256:240f41e059ad70ddf80fa359cfdd3b0ce26e9167fff9f94551de2d76a7d33886"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JRFTLW4RC6EQUONIXRL7Z3QDHN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Alberto Sangiovanni-Vincentelli, John Finn, Mohammad Mozumdar, Pierluigi Nuzzo","submitted_at":"2013-11-24T08:15:31Z","abstract_excerpt":"In an aircraft electric power system (EPS), a supervisory control unit must actuate a set of switches to distribute power from generators to loads, while satisfying safety, reliability and real-time performance requirements. To reduce expensive re-design steps in current design methodologies, such a control problem is generally addressed based on minor incremental changes on top of consolidated solutions, since it is difficult to estimate the impact of earlier design decisions on the final implementation. In this paper, we introduce a methodology for the design space exploration and virtual pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.6092","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-18T03:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EFRIHwDfuR+u245coWqCRzZ9+L3HflX8LgVVwP1irmsBud/VVYjSLJIjs+vq7WKL/hQ3aVc2PeRQk/Aj1gQnDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:50:04.528890Z"},"content_sha256":"98bc4935de4d48002321922edbe4c736099cfaedf39ed399e7c1feda4cc95d4e","schema_version":"1.0","event_id":"sha256:98bc4935de4d48002321922edbe4c736099cfaedf39ed399e7c1feda4cc95d4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/bundle.json","state_url":"https://pith.science/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/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-28T13:50:04Z","links":{"resolver":"https://pith.science/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN","bundle":"https://pith.science/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/bundle.json","state":"https://pith.science/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JRFTLW4RC6EQUONIXRL7Z3QDHN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JRFTLW4RC6EQUONIXRL7Z3QDHN","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":"6cfdae0a10d5f29584236a09d9f3e7d0c01fb7eee8889ad82ab6b73e50f8395b","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2013-11-24T08:15:31Z","title_canon_sha256":"2341f231b53eb5387033a1d55567f2d2ddca69fbedcf28040f7b8a5e0e0110b4"},"schema_version":"1.0","source":{"id":"1311.6092","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.6092","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"1311.6092v1","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.6092","created_at":"2026-05-18T03:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"JRFTLW4RC6EQ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JRFTLW4RC6EQUONI","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JRFTLW4R","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:98bc4935de4d48002321922edbe4c736099cfaedf39ed399e7c1feda4cc95d4e","target":"graph","created_at":"2026-05-18T03:06:20Z","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":"In an aircraft electric power system (EPS), a supervisory control unit must actuate a set of switches to distribute power from generators to loads, while satisfying safety, reliability and real-time performance requirements. To reduce expensive re-design steps in current design methodologies, such a control problem is generally addressed based on minor incremental changes on top of consolidated solutions, since it is difficult to estimate the impact of earlier design decisions on the final implementation. In this paper, we introduce a methodology for the design space exploration and virtual pr","authors_text":"Alberto Sangiovanni-Vincentelli, John Finn, Mohammad Mozumdar, Pierluigi Nuzzo","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2013-11-24T08:15:31Z","title":"Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.6092","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:240f41e059ad70ddf80fa359cfdd3b0ce26e9167fff9f94551de2d76a7d33886","target":"record","created_at":"2026-05-18T03:06:20Z","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":"6cfdae0a10d5f29584236a09d9f3e7d0c01fb7eee8889ad82ab6b73e50f8395b","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SY","submitted_at":"2013-11-24T08:15:31Z","title_canon_sha256":"2341f231b53eb5387033a1d55567f2d2ddca69fbedcf28040f7b8a5e0e0110b4"},"schema_version":"1.0","source":{"id":"1311.6092","kind":"arxiv","version":1}},"canonical_sha256":"4c4b35db9117890a39a8bc57fcee033b4fd6ab6e0f570414216fd1a0db75c927","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c4b35db9117890a39a8bc57fcee033b4fd6ab6e0f570414216fd1a0db75c927","first_computed_at":"2026-05-18T03:06:20.569762Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:20.569762Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"25q+LZwJ3KWtNFDKCnv7EypQS/TRIrEt5hwVZm+Zp/2H/6L6Ffrcxa2q35O0x3JueuyxQV1D5LDsrY63P27kDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:20.570515Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.6092","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:240f41e059ad70ddf80fa359cfdd3b0ce26e9167fff9f94551de2d76a7d33886","sha256:98bc4935de4d48002321922edbe4c736099cfaedf39ed399e7c1feda4cc95d4e"],"state_sha256":"f1f7c249eb266fc5a8f446851f3a957b05706fb387122b002df0827ee9a0e36f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WXRtPDzWL9nvYhqMJJN9tiw3hdvetnY3KjnM/TvW1CxUNvs50rMHBI2Zb9SJzDLiTaZPm5PQ3J3XdhMteDnYBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T13:50:04.530795Z","bundle_sha256":"8132a797225cc5fe862df878da432cef11b407b71e0db6d3830e77ab37d6c1aa"}}