{"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"}