{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:HBHLQJRVS2HVYHCQTE7N67RHKX","short_pith_number":"pith:HBHLQJRV","canonical_record":{"source":{"id":"1704.03102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-11T00:56:28Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"d19bc575fb8838ea576b6a83b4a26518ed51f2e41bcc83e86331035e76047ec0","abstract_canon_sha256":"d2029018d875306adb9df4e818f08518ba02817b4264366061440b82e95dfebd"},"schema_version":"1.0"},"canonical_sha256":"384eb82635968f5c1c50993edf7e2755fedab20234d1dd895f887167bfc3e7cd","source":{"kind":"arxiv","id":"1704.03102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.03102","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"arxiv_version","alias_value":"1704.03102v1","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03102","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"pith_short_12","alias_value":"HBHLQJRVS2HV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HBHLQJRVS2HVYHCQ","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HBHLQJRV","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:HBHLQJRVS2HVYHCQTE7N67RHKX","target":"record","payload":{"canonical_record":{"source":{"id":"1704.03102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-11T00:56:28Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"d19bc575fb8838ea576b6a83b4a26518ed51f2e41bcc83e86331035e76047ec0","abstract_canon_sha256":"d2029018d875306adb9df4e818f08518ba02817b4264366061440b82e95dfebd"},"schema_version":"1.0"},"canonical_sha256":"384eb82635968f5c1c50993edf7e2755fedab20234d1dd895f887167bfc3e7cd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:33.564249Z","signature_b64":"zhSBNfVJF/HFhh+kOMCCC15roEWO8ftyZNfT/LPMPEQ7PpUWJroLVJy+az9zW5DpkIFdSd0ayx8KgTaW14h6DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"384eb82635968f5c1c50993edf7e2755fedab20234d1dd895f887167bfc3e7cd","last_reissued_at":"2026-05-18T00:46:33.563578Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:33.563578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.03102","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:46:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6jqVnU44YWamO58vsWekY2SI/l7QpaKHHRopOwEwi7g1eC6NO35eLXuirrsYqHo2I/ejz+f3Dj1/qArPLT+fBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:16:07.918440Z"},"content_sha256":"7525cb49d36555affe24a71b6c3d82dda52411601a2ab543c20d72e9cedca7b0","schema_version":"1.0","event_id":"sha256:7525cb49d36555affe24a71b6c3d82dda52411601a2ab543c20d72e9cedca7b0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:HBHLQJRVS2HVYHCQTE7N67RHKX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"cs.SY","authors_text":"Adrien Le Co\\\"ent (ENS Paris-Saclay), CNRS, Florian De Vuyst (ENS Paris-Saclay), INRIA), Laurent Fribourg (ENS Paris-Saclay, Ludovic Chamoin (ENS Paris-Saclay)","submitted_at":"2017-04-11T00:56:28Z","abstract_excerpt":"In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a guaranteed control. The benefit of this method is that the error introduced by symbolic modeling is bounded by choosing suitable time and space discretizations. The method is implemented in the interpreted language Octave. Several examples of the literature are performed and the results are compared with results obtained with a previous method based on the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03102","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:46:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CqnaM06EgUlssHAIGI622j3S3VyBQ0gu/LXTU+OHV7Hr/uc3+QwR9mPd1RvZ/bj2ySuG+AmT0TffTE8/F6J+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:16:07.918786Z"},"content_sha256":"87d4900fcd3bfd18a29ffa4b2564511cfc70b88b68be3ded2ecca23979890e33","schema_version":"1.0","event_id":"sha256:87d4900fcd3bfd18a29ffa4b2564511cfc70b88b68be3ded2ecca23979890e33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/bundle.json","state_url":"https://pith.science/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/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-03T07:16:07Z","links":{"resolver":"https://pith.science/pith/HBHLQJRVS2HVYHCQTE7N67RHKX","bundle":"https://pith.science/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/bundle.json","state":"https://pith.science/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HBHLQJRVS2HVYHCQTE7N67RHKX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HBHLQJRVS2HVYHCQTE7N67RHKX","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":"d2029018d875306adb9df4e818f08518ba02817b4264366061440b82e95dfebd","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-11T00:56:28Z","title_canon_sha256":"d19bc575fb8838ea576b6a83b4a26518ed51f2e41bcc83e86331035e76047ec0"},"schema_version":"1.0","source":{"id":"1704.03102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.03102","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"arxiv_version","alias_value":"1704.03102v1","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03102","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"pith_short_12","alias_value":"HBHLQJRVS2HV","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HBHLQJRVS2HVYHCQ","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HBHLQJRV","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:87d4900fcd3bfd18a29ffa4b2564511cfc70b88b68be3ded2ecca23979890e33","target":"graph","created_at":"2026-05-18T00:46: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":"In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a guaranteed control. The benefit of this method is that the error introduced by symbolic modeling is bounded by choosing suitable time and space discretizations. The method is implemented in the interpreted language Octave. Several examples of the literature are performed and the results are compared with results obtained with a previous method based on the ","authors_text":"Adrien Le Co\\\"ent (ENS Paris-Saclay), CNRS, Florian De Vuyst (ENS Paris-Saclay), INRIA), Laurent Fribourg (ENS Paris-Saclay, Ludovic Chamoin (ENS Paris-Saclay)","cross_cats":["cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-11T00:56:28Z","title":"Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03102","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:7525cb49d36555affe24a71b6c3d82dda52411601a2ab543c20d72e9cedca7b0","target":"record","created_at":"2026-05-18T00:46: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":"d2029018d875306adb9df4e818f08518ba02817b4264366061440b82e95dfebd","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-11T00:56:28Z","title_canon_sha256":"d19bc575fb8838ea576b6a83b4a26518ed51f2e41bcc83e86331035e76047ec0"},"schema_version":"1.0","source":{"id":"1704.03102","kind":"arxiv","version":1}},"canonical_sha256":"384eb82635968f5c1c50993edf7e2755fedab20234d1dd895f887167bfc3e7cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"384eb82635968f5c1c50993edf7e2755fedab20234d1dd895f887167bfc3e7cd","first_computed_at":"2026-05-18T00:46:33.563578Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:33.563578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zhSBNfVJF/HFhh+kOMCCC15roEWO8ftyZNfT/LPMPEQ7PpUWJroLVJy+az9zW5DpkIFdSd0ayx8KgTaW14h6DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:33.564249Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.03102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7525cb49d36555affe24a71b6c3d82dda52411601a2ab543c20d72e9cedca7b0","sha256:87d4900fcd3bfd18a29ffa4b2564511cfc70b88b68be3ded2ecca23979890e33"],"state_sha256":"3ff771c02adef939cb2c4d6347306aea527c3d5945b3c456ae16a2730c0487b8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bD5WTTNd+Kpb3B1ttS9W1kYjBjfT0ATLsWuA1wN5AF2v8j8sy93mgx/BEeIHX/fKKeSSjrCm7idaXsMsFuVpCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:16:07.920836Z","bundle_sha256":"05c064ceffec720c56a2b2bb86aa2718286043af933a3895b0521a9236a93b28"}}