{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:QUIOWJWK75FBYW6JXCWN3UFAEN","short_pith_number":"pith:QUIOWJWK","canonical_record":{"source":{"id":"1103.2612","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-03-14T09:42:58Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"7049c38da802c4cf511e157e14156c2e9432426fd495baf57461ff2e5794a08f","abstract_canon_sha256":"a0de3140a9a7d2b5ec95e395901fce033e6f94c73b1c645a9ccce9cd8f6a1daa"},"schema_version":"1.0"},"canonical_sha256":"8510eb26caff4a1c5bc9b8acddd0a0235b66a54edd4564d8b17d6211787bb270","source":{"kind":"arxiv","id":"1103.2612","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.2612","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"arxiv_version","alias_value":"1103.2612v3","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.2612","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"pith_short_12","alias_value":"QUIOWJWK75FB","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUIOWJWK75FBYW6J","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUIOWJWK","created_at":"2026-05-18T12:26:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:QUIOWJWK75FBYW6JXCWN3UFAEN","target":"record","payload":{"canonical_record":{"source":{"id":"1103.2612","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-03-14T09:42:58Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"7049c38da802c4cf511e157e14156c2e9432426fd495baf57461ff2e5794a08f","abstract_canon_sha256":"a0de3140a9a7d2b5ec95e395901fce033e6f94c73b1c645a9ccce9cd8f6a1daa"},"schema_version":"1.0"},"canonical_sha256":"8510eb26caff4a1c5bc9b8acddd0a0235b66a54edd4564d8b17d6211787bb270","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:13:39.229751Z","signature_b64":"iaCSvMn73B/O/V/dbn3FllfgJpv2Iv4i9YWFnw9qjduJCt/KIzSNXtc0Qt64IMUiDt2qrzTmUjiBugQW1s6RAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8510eb26caff4a1c5bc9b8acddd0a0235b66a54edd4564d8b17d6211787bb270","last_reissued_at":"2026-05-18T04:13:39.229212Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:13:39.229212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.2612","source_version":3,"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-18T04:13:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z8psOA5CxGHabjNO5WDneelQLOyexxj94zzdL03oWeRsFjhAnk6Msn/cGTz6i0DM0MJZyNXs0UmU6aD96zWnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:29:04.809067Z"},"content_sha256":"ffac26ee63e2e4f94c4ce3179218288ec2fad20f6ea2ecaf5ef9231f2900020c","schema_version":"1.0","event_id":"sha256:ffac26ee63e2e4f94c4ce3179218288ec2fad20f6ea2ecaf5ef9231f2900020c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:QUIOWJWK75FBYW6JXCWN3UFAEN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Antoine Girard, Samuel Martin","submitted_at":"2011-03-14T09:42:58Z","abstract_excerpt":"In this paper, we propose an approach to controller synthesis for a class of constrained nonlinear systems. It is based on the use of a hybridization, that is a hybrid abstraction of the nonlinear dynamics. This abstraction is defined on a triangulation of the state-space where on each simplex of the triangulation, the nonlinear dynamics is conservatively approximated by an affine system subject to disturbances. Except for the disturbances, this hybridization can be seen as a piecewise affine hybrid system on simplices for which appealing control synthesis techniques have been developed in the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.2612","kind":"arxiv","version":3},"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-18T04:13:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GoQ2/hHhIvHQdWh/C9lnpvpD3zC7f0q/bxhVqnERceGQ06gSvif7s5DO1OLyWmKT+SQHl1MhQ7uayobTTH7nAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:29:04.809661Z"},"content_sha256":"af9597a683fd246898b90dd3ee057dd1e6cb8114f3e807af232364743c30b853","schema_version":"1.0","event_id":"sha256:af9597a683fd246898b90dd3ee057dd1e6cb8114f3e807af232364743c30b853"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/bundle.json","state_url":"https://pith.science/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/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-04T19:29:04Z","links":{"resolver":"https://pith.science/pith/QUIOWJWK75FBYW6JXCWN3UFAEN","bundle":"https://pith.science/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/bundle.json","state":"https://pith.science/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QUIOWJWK75FBYW6JXCWN3UFAEN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:QUIOWJWK75FBYW6JXCWN3UFAEN","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":"a0de3140a9a7d2b5ec95e395901fce033e6f94c73b1c645a9ccce9cd8f6a1daa","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-03-14T09:42:58Z","title_canon_sha256":"7049c38da802c4cf511e157e14156c2e9432426fd495baf57461ff2e5794a08f"},"schema_version":"1.0","source":{"id":"1103.2612","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.2612","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"arxiv_version","alias_value":"1103.2612v3","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.2612","created_at":"2026-05-18T04:13:39Z"},{"alias_kind":"pith_short_12","alias_value":"QUIOWJWK75FB","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUIOWJWK75FBYW6J","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUIOWJWK","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:af9597a683fd246898b90dd3ee057dd1e6cb8114f3e807af232364743c30b853","target":"graph","created_at":"2026-05-18T04:13:39Z","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 this paper, we propose an approach to controller synthesis for a class of constrained nonlinear systems. It is based on the use of a hybridization, that is a hybrid abstraction of the nonlinear dynamics. This abstraction is defined on a triangulation of the state-space where on each simplex of the triangulation, the nonlinear dynamics is conservatively approximated by an affine system subject to disturbances. Except for the disturbances, this hybridization can be seen as a piecewise affine hybrid system on simplices for which appealing control synthesis techniques have been developed in the","authors_text":"Antoine Girard, Samuel Martin","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-03-14T09:42:58Z","title":"Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.2612","kind":"arxiv","version":3},"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:ffac26ee63e2e4f94c4ce3179218288ec2fad20f6ea2ecaf5ef9231f2900020c","target":"record","created_at":"2026-05-18T04:13:39Z","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":"a0de3140a9a7d2b5ec95e395901fce033e6f94c73b1c645a9ccce9cd8f6a1daa","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2011-03-14T09:42:58Z","title_canon_sha256":"7049c38da802c4cf511e157e14156c2e9432426fd495baf57461ff2e5794a08f"},"schema_version":"1.0","source":{"id":"1103.2612","kind":"arxiv","version":3}},"canonical_sha256":"8510eb26caff4a1c5bc9b8acddd0a0235b66a54edd4564d8b17d6211787bb270","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8510eb26caff4a1c5bc9b8acddd0a0235b66a54edd4564d8b17d6211787bb270","first_computed_at":"2026-05-18T04:13:39.229212Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:13:39.229212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iaCSvMn73B/O/V/dbn3FllfgJpv2Iv4i9YWFnw9qjduJCt/KIzSNXtc0Qt64IMUiDt2qrzTmUjiBugQW1s6RAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:13:39.229751Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.2612","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ffac26ee63e2e4f94c4ce3179218288ec2fad20f6ea2ecaf5ef9231f2900020c","sha256:af9597a683fd246898b90dd3ee057dd1e6cb8114f3e807af232364743c30b853"],"state_sha256":"def01838d677aaebcfdee8b6955f4fab6375666337c6f706753e38d717b7a1a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EWxrLAUAgfMdwgKR0jsQrFIXetVh765zOaVj7LXA70MHsHm8m5t8PPOxd+2wKMF75YDAVR0LOp0SRiXPnI/FAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T19:29:04.812502Z","bundle_sha256":"973fe919b5a6891acec9bb86e397c1be4a6d3c15e90dfc8f704ee53ed1c48e32"}}