{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:AM2VTXQSVEK3TQZV4OCIBJ7FIS","short_pith_number":"pith:AM2VTXQS","canonical_record":{"source":{"id":"1611.06692","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-21T09:23:53Z","cross_cats_sorted":[],"title_canon_sha256":"eed7cce88d8ec0fe32fd348c3b161aef28386446a00daa90ee1ffd729e747421","abstract_canon_sha256":"8eb75a0245822106460e7633203075191905790ba976d3fd904e372355f3a4d9"},"schema_version":"1.0"},"canonical_sha256":"033559de12a915b9c335e38480a7e544b65321c2b9b598fdf3845f1bcf7b28be","source":{"kind":"arxiv","id":"1611.06692","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.06692","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"1611.06692v1","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.06692","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"AM2VTXQSVEK3","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AM2VTXQSVEK3TQZV","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AM2VTXQS","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:AM2VTXQSVEK3TQZV4OCIBJ7FIS","target":"record","payload":{"canonical_record":{"source":{"id":"1611.06692","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-21T09:23:53Z","cross_cats_sorted":[],"title_canon_sha256":"eed7cce88d8ec0fe32fd348c3b161aef28386446a00daa90ee1ffd729e747421","abstract_canon_sha256":"8eb75a0245822106460e7633203075191905790ba976d3fd904e372355f3a4d9"},"schema_version":"1.0"},"canonical_sha256":"033559de12a915b9c335e38480a7e544b65321c2b9b598fdf3845f1bcf7b28be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:33.159786Z","signature_b64":"xY2SihBU3TBHiXcYjvJjSuA5yp4kgDb/E2YH5tmtO8hVOhEGPZ1J1mrk7YrVTgNgz6MYCvC2uRfI3OcoE2/jCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"033559de12a915b9c335e38480a7e544b65321c2b9b598fdf3845f1bcf7b28be","last_reissued_at":"2026-05-18T00:57:33.159218Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:33.159218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.06692","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-18T00:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ohrZnoz829bvEiiQRHd7KQo7ponojcvtCIdY74m3c1xfhPhC8vIjhEZRQnC2lop+evOHQU0QeTkjTVxTmz6sCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:46:44.718323Z"},"content_sha256":"f4a73d073f34aace275b798a62fcfee66a3cd094637a729f8d2ee0438cf88e1a","schema_version":"1.0","event_id":"sha256:f4a73d073f34aace275b798a62fcfee66a3cd094637a729f8d2ee0438cf88e1a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:AM2VTXQSVEK3TQZV4OCIBJ7FIS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control of nonlinear switched systems based on validated simulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Adrien Le Co\\\"ent (CMLA), Alexandre Chapoutot (ENSTA ParisTech U2IS/SFL), Julien Alexandre Dit Sandretto (ENSTA ParisTech U2IS/SFL), Laurent Fribourg (LSV)","submitted_at":"2016-11-21T09:23:53Z","abstract_excerpt":"We present an algorithm of control synthesis for nonlinear switched systems, based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of validated simulation. The use of validated simulation also permits to take bounded perturbations and varying parameters into account. It is particularly interesting for safety critical applications, such as in aeronautical, military or medical fields. The whole approach is entirely guaranteed and the induced controllers are correct-by-design."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.06692","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-18T00:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H+jFamOGB7afy1NQlNCleCk2IZPbbSAN3ja+fS25BwjfRfPiFV90FDIxG5oVWR/NK8x9ckmnImLUcPyMgZ2nCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:46:44.718780Z"},"content_sha256":"37e54f46c458d4b76f824724bef769aac2db2d11fc39d11042543b38c1266bb3","schema_version":"1.0","event_id":"sha256:37e54f46c458d4b76f824724bef769aac2db2d11fc39d11042543b38c1266bb3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/bundle.json","state_url":"https://pith.science/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/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-30T08:46:44Z","links":{"resolver":"https://pith.science/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS","bundle":"https://pith.science/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/bundle.json","state":"https://pith.science/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AM2VTXQSVEK3TQZV4OCIBJ7FIS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AM2VTXQSVEK3TQZV4OCIBJ7FIS","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":"8eb75a0245822106460e7633203075191905790ba976d3fd904e372355f3a4d9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-21T09:23:53Z","title_canon_sha256":"eed7cce88d8ec0fe32fd348c3b161aef28386446a00daa90ee1ffd729e747421"},"schema_version":"1.0","source":{"id":"1611.06692","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.06692","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"1611.06692v1","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.06692","created_at":"2026-05-18T00:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"AM2VTXQSVEK3","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AM2VTXQSVEK3TQZV","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AM2VTXQS","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:37e54f46c458d4b76f824724bef769aac2db2d11fc39d11042543b38c1266bb3","target":"graph","created_at":"2026-05-18T00:57:33Z","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":"We present an algorithm of control synthesis for nonlinear switched systems, based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of validated simulation. The use of validated simulation also permits to take bounded perturbations and varying parameters into account. It is particularly interesting for safety critical applications, such as in aeronautical, military or medical fields. The whole approach is entirely guaranteed and the induced controllers are correct-by-design.","authors_text":"Adrien Le Co\\\"ent (CMLA), Alexandre Chapoutot (ENSTA ParisTech U2IS/SFL), Julien Alexandre Dit Sandretto (ENSTA ParisTech U2IS/SFL), Laurent Fribourg (LSV)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-21T09:23:53Z","title":"Control of nonlinear switched systems based on validated simulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.06692","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:f4a73d073f34aace275b798a62fcfee66a3cd094637a729f8d2ee0438cf88e1a","target":"record","created_at":"2026-05-18T00:57:33Z","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":"8eb75a0245822106460e7633203075191905790ba976d3fd904e372355f3a4d9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-21T09:23:53Z","title_canon_sha256":"eed7cce88d8ec0fe32fd348c3b161aef28386446a00daa90ee1ffd729e747421"},"schema_version":"1.0","source":{"id":"1611.06692","kind":"arxiv","version":1}},"canonical_sha256":"033559de12a915b9c335e38480a7e544b65321c2b9b598fdf3845f1bcf7b28be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"033559de12a915b9c335e38480a7e544b65321c2b9b598fdf3845f1bcf7b28be","first_computed_at":"2026-05-18T00:57:33.159218Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:33.159218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xY2SihBU3TBHiXcYjvJjSuA5yp4kgDb/E2YH5tmtO8hVOhEGPZ1J1mrk7YrVTgNgz6MYCvC2uRfI3OcoE2/jCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:33.159786Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.06692","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4a73d073f34aace275b798a62fcfee66a3cd094637a729f8d2ee0438cf88e1a","sha256:37e54f46c458d4b76f824724bef769aac2db2d11fc39d11042543b38c1266bb3"],"state_sha256":"78ca5e01bbd6919419ae950837bb5495720d9672df8b8a8fe8c25545e30c7861"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JcikrAqVJTS4ZBW/GFnqrwynxevmfjeXspRPX7UXNqYYkpiySEm8WMMwbQbHABCfqVqJoJDl8paSWLsy9N0zAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:46:44.721357Z","bundle_sha256":"23bb65433ece7770fd8ae9e3b26aa415659e1227abad3b1de38b69d637639cac"}}