{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:OYLUJJPPVNOEDUD3E6I2NAX7GG","short_pith_number":"pith:OYLUJJPP","canonical_record":{"source":{"id":"1407.3890","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-07-15T06:40:28Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0c476fcf7f570cd504f4b361d22d249023c0a4a87f0a7a43a807f90cec26ea88","abstract_canon_sha256":"c6212755dd40e77d9111f8da4adee0a4a76be7a9c58cdd2529a20636d5831570"},"schema_version":"1.0"},"canonical_sha256":"761744a5efab5c41d07b2791a682ff31be0271dd7b649cf1ff6efdfec0c11df9","source":{"kind":"arxiv","id":"1407.3890","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.3890","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"arxiv_version","alias_value":"1407.3890v1","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.3890","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"pith_short_12","alias_value":"OYLUJJPPVNOE","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"OYLUJJPPVNOEDUD3","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"OYLUJJPP","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:OYLUJJPPVNOEDUD3E6I2NAX7GG","target":"record","payload":{"canonical_record":{"source":{"id":"1407.3890","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-07-15T06:40:28Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"0c476fcf7f570cd504f4b361d22d249023c0a4a87f0a7a43a807f90cec26ea88","abstract_canon_sha256":"c6212755dd40e77d9111f8da4adee0a4a76be7a9c58cdd2529a20636d5831570"},"schema_version":"1.0"},"canonical_sha256":"761744a5efab5c41d07b2791a682ff31be0271dd7b649cf1ff6efdfec0c11df9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:32.374175Z","signature_b64":"ahzal87A1dd5B58FhWHWSab8rnjj3Ykd7XoRltz9hhdZjcKg8BXzHPdi/RxRjGJprZM+YbzXBs7r9e7VshLtBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"761744a5efab5c41d07b2791a682ff31be0271dd7b649cf1ff6efdfec0c11df9","last_reissued_at":"2026-05-18T02:47:32.373564Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:32.373564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.3890","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:47:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SEU6Arwppc3xm3zjMHz5dFu0/QkG2+9vzEX3PYLg5tU9yKucYTjgfoXx47UAOyXZjF76doAcoP4h4tRJoiKoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:29:01.560150Z"},"content_sha256":"f3571514b169e92416e719453a76747be451da1a760f1d3d7058d882497421fb","schema_version":"1.0","event_id":"sha256:f3571514b169e92416e719453a76747be451da1a760f1d3d7058d882497421fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:OYLUJJPPVNOEDUD3E6I2NAX7GG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Bertrand Revol (SATIE, Denis Labrousse (SATIE, ENS Cachan & CNRS, ENS de Cachan & CNRS, France), Gilles Feld (SATIE, Laurent Fribourg (LSV, Romain Soulat (LSV","submitted_at":"2014-07-15T06:40:28Z","abstract_excerpt":"High-power converters based on elementary switching cells are more and  more used in the industry of power electronics owing to various advantages such as lower voltage  stress and reduced power loss. However, the complexity of controlling such converters is a major  challenge that  the power manufacturing industry has to face with. The synthesis of  industrial  switching controllers relies today on heuristic rules and empiric simulation. The state of the system is not guaranteed to stay within the limits that are admissible for its correct electrical behavior. We show here how to apply a form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.3890","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:47:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hs8QwbjIfz+RsJvKZmCLXCXYTq/JJk5UEBiqiOWftFzeRY3HbVWyrgDSiyAY1xshjgYY95vGCyT3ig3fZU+aDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:29:01.560800Z"},"content_sha256":"02279d6e8906445c8ef30c393e8468b7e531a29de6454147260ce6b26c0fe133","schema_version":"1.0","event_id":"sha256:02279d6e8906445c8ef30c393e8468b7e531a29de6454147260ce6b26c0fe133"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/bundle.json","state_url":"https://pith.science/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/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-09T13:29:01Z","links":{"resolver":"https://pith.science/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG","bundle":"https://pith.science/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/bundle.json","state":"https://pith.science/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OYLUJJPPVNOEDUD3E6I2NAX7GG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:OYLUJJPPVNOEDUD3E6I2NAX7GG","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":"c6212755dd40e77d9111f8da4adee0a4a76be7a9c58cdd2529a20636d5831570","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-07-15T06:40:28Z","title_canon_sha256":"0c476fcf7f570cd504f4b361d22d249023c0a4a87f0a7a43a807f90cec26ea88"},"schema_version":"1.0","source":{"id":"1407.3890","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.3890","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"arxiv_version","alias_value":"1407.3890v1","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.3890","created_at":"2026-05-18T02:47:32Z"},{"alias_kind":"pith_short_12","alias_value":"OYLUJJPPVNOE","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"OYLUJJPPVNOEDUD3","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"OYLUJJPP","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:02279d6e8906445c8ef30c393e8468b7e531a29de6454147260ce6b26c0fe133","target":"graph","created_at":"2026-05-18T02:47:32Z","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":"High-power converters based on elementary switching cells are more and  more used in the industry of power electronics owing to various advantages such as lower voltage  stress and reduced power loss. However, the complexity of controlling such converters is a major  challenge that  the power manufacturing industry has to face with. The synthesis of  industrial  switching controllers relies today on heuristic rules and empiric simulation. The state of the system is not guaranteed to stay within the limits that are admissible for its correct electrical behavior. We show here how to apply a form","authors_text":"Bertrand Revol (SATIE, Denis Labrousse (SATIE, ENS Cachan & CNRS, ENS de Cachan & CNRS, France), Gilles Feld (SATIE, Laurent Fribourg (LSV, Romain Soulat (LSV","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-07-15T06:40:28Z","title":"Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.3890","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:f3571514b169e92416e719453a76747be451da1a760f1d3d7058d882497421fb","target":"record","created_at":"2026-05-18T02:47:32Z","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":"c6212755dd40e77d9111f8da4adee0a4a76be7a9c58cdd2529a20636d5831570","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-07-15T06:40:28Z","title_canon_sha256":"0c476fcf7f570cd504f4b361d22d249023c0a4a87f0a7a43a807f90cec26ea88"},"schema_version":"1.0","source":{"id":"1407.3890","kind":"arxiv","version":1}},"canonical_sha256":"761744a5efab5c41d07b2791a682ff31be0271dd7b649cf1ff6efdfec0c11df9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"761744a5efab5c41d07b2791a682ff31be0271dd7b649cf1ff6efdfec0c11df9","first_computed_at":"2026-05-18T02:47:32.373564Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:32.373564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ahzal87A1dd5B58FhWHWSab8rnjj3Ykd7XoRltz9hhdZjcKg8BXzHPdi/RxRjGJprZM+YbzXBs7r9e7VshLtBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:32.374175Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.3890","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3571514b169e92416e719453a76747be451da1a760f1d3d7058d882497421fb","sha256:02279d6e8906445c8ef30c393e8468b7e531a29de6454147260ce6b26c0fe133"],"state_sha256":"303e9df830f462ac9a47f75efa2fe5dee3e2bc1e235363d22229103301390b41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+YJLy7868ZDKi9T9Feprq/fNSHmhFoWMcpirib2wp6J95iGKo0SOFaZ8ajP0FGA/+kb6xcV0xQKRi6H6VL+lAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T13:29:01.564397Z","bundle_sha256":"02b804da46607d062c003c5587a1b1c2d0f7675224e28b3544c3b85271b304ee"}}