{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:QJB2KPV5A2DFUAS57H4NO4DVRP","short_pith_number":"pith:QJB2KPV5","canonical_record":{"source":{"id":"1404.4699","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-18T06:20:07Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"847f8003e06fd7809ef4ed3dcb08c22c3699f41f4d37a313573204a2b7ba7eb5","abstract_canon_sha256":"c1281fd56c29bcf4b0dff4f092a063f4f2e68659847bde3e2b3938eb32e724b1"},"schema_version":"1.0"},"canonical_sha256":"8243a53ebd06865a025df9f8d770758be90fbf042e46f48843a4875c6ffc37cf","source":{"kind":"arxiv","id":"1404.4699","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.4699","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1404.4699v2","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.4699","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"QJB2KPV5A2DF","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QJB2KPV5A2DFUAS5","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QJB2KPV5","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:QJB2KPV5A2DFUAS57H4NO4DVRP","target":"record","payload":{"canonical_record":{"source":{"id":"1404.4699","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-18T06:20:07Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"847f8003e06fd7809ef4ed3dcb08c22c3699f41f4d37a313573204a2b7ba7eb5","abstract_canon_sha256":"c1281fd56c29bcf4b0dff4f092a063f4f2e68659847bde3e2b3938eb32e724b1"},"schema_version":"1.0"},"canonical_sha256":"8243a53ebd06865a025df9f8d770758be90fbf042e46f48843a4875c6ffc37cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:11.787118Z","signature_b64":"s0FkYMunwAarLQm0blydalZbFSqSNv0Fis43NmAKc49liRM1YJfOcYn6x9XMRm1M0Wb7d4syYn3zBmBcgs4qAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8243a53ebd06865a025df9f8d770758be90fbf042e46f48843a4875c6ffc37cf","last_reissued_at":"2026-05-18T02:31:11.786445Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:11.786445Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.4699","source_version":2,"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:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VbzPyMrGfst2hDazYGw51rirnEFAIBU65zBr30g78yPKDYop58SnFtjMU6XcFsruncgZ+rQ4ANBhxYMyCtUVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:58:25.049004Z"},"content_sha256":"b70fd8fedb3ddd9b058f78f27679c4690e1e025f456992026092847f2771e842","schema_version":"1.0","event_id":"sha256:b70fd8fedb3ddd9b058f78f27679c4690e1e025f456992026092847f2771e842"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:QJB2KPV5A2DFUAS57H4NO4DVRP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modal occupation measures and LMI relaxations for nonlinear switched systems control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Didier Henrion, IUF), Jamal Daafouz (CRAN, Mathieu Claeys","submitted_at":"2014-04-18T06:20:07Z","abstract_excerpt":"This paper presents a linear programming approach for the optimal control of nonlinear switched systems where the control is the switching sequence. This is done by introducing modal occupation measures, which allow to relax the problem as a primal linear programming (LP) problem. Its dual linear program of Hamilton-Jacobi-Bellman inequalities is also characterized. The LPs are then solved numerically with a converging hierarchy of primal-dual moment-sum-of-squares (SOS) linear matrix inequalities (LMI). Because of the special structure of switched systems, we obtain a much more efficient meth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.4699","kind":"arxiv","version":2},"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:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9XwW0NLXsC5yBO8UUKUF0vTI1PN59FOjk5+nZBBPF4Fw2DFwiFZyUpxz575u2JXkv+yj9K/CDMTB+WwHdRwLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:58:25.049365Z"},"content_sha256":"c6882afe1b92dddebdd25b1aa47adf1f12f076b1f3803871b76d6dc5150455ce","schema_version":"1.0","event_id":"sha256:c6882afe1b92dddebdd25b1aa47adf1f12f076b1f3803871b76d6dc5150455ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/bundle.json","state_url":"https://pith.science/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/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-25T23:58:25Z","links":{"resolver":"https://pith.science/pith/QJB2KPV5A2DFUAS57H4NO4DVRP","bundle":"https://pith.science/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/bundle.json","state":"https://pith.science/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QJB2KPV5A2DFUAS57H4NO4DVRP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QJB2KPV5A2DFUAS57H4NO4DVRP","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":"c1281fd56c29bcf4b0dff4f092a063f4f2e68659847bde3e2b3938eb32e724b1","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-18T06:20:07Z","title_canon_sha256":"847f8003e06fd7809ef4ed3dcb08c22c3699f41f4d37a313573204a2b7ba7eb5"},"schema_version":"1.0","source":{"id":"1404.4699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.4699","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1404.4699v2","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.4699","created_at":"2026-05-18T02:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"QJB2KPV5A2DF","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QJB2KPV5A2DFUAS5","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QJB2KPV5","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:c6882afe1b92dddebdd25b1aa47adf1f12f076b1f3803871b76d6dc5150455ce","target":"graph","created_at":"2026-05-18T02:31:11Z","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":"This paper presents a linear programming approach for the optimal control of nonlinear switched systems where the control is the switching sequence. This is done by introducing modal occupation measures, which allow to relax the problem as a primal linear programming (LP) problem. Its dual linear program of Hamilton-Jacobi-Bellman inequalities is also characterized. The LPs are then solved numerically with a converging hierarchy of primal-dual moment-sum-of-squares (SOS) linear matrix inequalities (LMI). Because of the special structure of switched systems, we obtain a much more efficient meth","authors_text":"Didier Henrion, IUF), Jamal Daafouz (CRAN, Mathieu Claeys","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-18T06:20:07Z","title":"Modal occupation measures and LMI relaxations for nonlinear switched systems control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.4699","kind":"arxiv","version":2},"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:b70fd8fedb3ddd9b058f78f27679c4690e1e025f456992026092847f2771e842","target":"record","created_at":"2026-05-18T02:31:11Z","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":"c1281fd56c29bcf4b0dff4f092a063f4f2e68659847bde3e2b3938eb32e724b1","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-18T06:20:07Z","title_canon_sha256":"847f8003e06fd7809ef4ed3dcb08c22c3699f41f4d37a313573204a2b7ba7eb5"},"schema_version":"1.0","source":{"id":"1404.4699","kind":"arxiv","version":2}},"canonical_sha256":"8243a53ebd06865a025df9f8d770758be90fbf042e46f48843a4875c6ffc37cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8243a53ebd06865a025df9f8d770758be90fbf042e46f48843a4875c6ffc37cf","first_computed_at":"2026-05-18T02:31:11.786445Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:11.786445Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s0FkYMunwAarLQm0blydalZbFSqSNv0Fis43NmAKc49liRM1YJfOcYn6x9XMRm1M0Wb7d4syYn3zBmBcgs4qAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:11.787118Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.4699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b70fd8fedb3ddd9b058f78f27679c4690e1e025f456992026092847f2771e842","sha256:c6882afe1b92dddebdd25b1aa47adf1f12f076b1f3803871b76d6dc5150455ce"],"state_sha256":"7ddfee31a185be4208a4d2fcd7a67f30621adb42c1b833d3d02ad4e523b924e1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yq/Vjre1yiTEijU40jtPDZzHyJwZqFxF8utzQ5h/UN8X6WIqOb3docOSyqa9sbxuyE1fSOctUMx2oHyu9rpCAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T23:58:25.051355Z","bundle_sha256":"9babc418c84a7d1529aa0b3703c24e84b96025d63dce647782b605b2a7c1d3ff"}}