{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:CXTFVQ3AK6EHZJKV65JILL6TTS","short_pith_number":"pith:CXTFVQ3A","schema_version":"1.0","canonical_sha256":"15e65ac36057887ca555f75285afd39c9fe22c18efb27370a6db83a9e8885cba","source":{"kind":"arxiv","id":"1211.6080","version":1},"attestation_state":"computed","paper":{"title":"Convexity of reachable sets of nonlinear ordinary differential equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Gunther Rei{\\ss}ig","submitted_at":"2012-11-26T20:19:22Z","abstract_excerpt":"We present a necessary and sufficient condition for the reachable set, i.e., the set of states reachable from a ball of initial states at some time, of an ordinary differential equation to be convex. In particular, convexity is guaranteed if the ball of initial states is sufficiently small, and we provide an upper bound on the radius of that ball, which can be directly obtained from the right hand side of the differential equation. In finite dimensions, our results cover the case of ellipsoids of initial states. A potential application of our results is inner and outer polyhedral approximation"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1211.6080","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-26T20:19:22Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2c89dba28605aa317480036868ba1dc1f1f373ccf0a1faf3fe8bd19884e36c15","abstract_canon_sha256":"0bcdc1d9358b488f09d45c96717404d9df049e398401493746dd92ba9f389500"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:16.875823Z","signature_b64":"zv1AkOT7kEAhZaLfF3qBIOXPx2nDa8ohp6Aia2nr2IeGQeUEE0yp2CXRUg0SZYX5v+P/wSYOP2/n4vk2U+r5BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15e65ac36057887ca555f75285afd39c9fe22c18efb27370a6db83a9e8885cba","last_reissued_at":"2026-05-18T03:32:16.874895Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:16.874895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Convexity of reachable sets of nonlinear ordinary differential equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Gunther Rei{\\ss}ig","submitted_at":"2012-11-26T20:19:22Z","abstract_excerpt":"We present a necessary and sufficient condition for the reachable set, i.e., the set of states reachable from a ball of initial states at some time, of an ordinary differential equation to be convex. In particular, convexity is guaranteed if the ball of initial states is sufficiently small, and we provide an upper bound on the radius of that ball, which can be directly obtained from the right hand side of the differential equation. In finite dimensions, our results cover the case of ellipsoids of initial states. A potential application of our results is inner and outer polyhedral approximation"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6080","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1211.6080","created_at":"2026-05-18T03:32:16.875017+00:00"},{"alias_kind":"arxiv_version","alias_value":"1211.6080v1","created_at":"2026-05-18T03:32:16.875017+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6080","created_at":"2026-05-18T03:32:16.875017+00:00"},{"alias_kind":"pith_short_12","alias_value":"CXTFVQ3AK6EH","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_16","alias_value":"CXTFVQ3AK6EHZJKV","created_at":"2026-05-18T12:27:01.376967+00:00"},{"alias_kind":"pith_short_8","alias_value":"CXTFVQ3A","created_at":"2026-05-18T12:27:01.376967+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS","json":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS.json","graph_json":"https://pith.science/api/pith-number/CXTFVQ3AK6EHZJKV65JILL6TTS/graph.json","events_json":"https://pith.science/api/pith-number/CXTFVQ3AK6EHZJKV65JILL6TTS/events.json","paper":"https://pith.science/paper/CXTFVQ3A"},"agent_actions":{"view_html":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS","download_json":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS.json","view_paper":"https://pith.science/paper/CXTFVQ3A","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1211.6080&json=true","fetch_graph":"https://pith.science/api/pith-number/CXTFVQ3AK6EHZJKV65JILL6TTS/graph.json","fetch_events":"https://pith.science/api/pith-number/CXTFVQ3AK6EHZJKV65JILL6TTS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS/action/storage_attestation","attest_author":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS/action/author_attestation","sign_citation":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS/action/citation_signature","submit_replication":"https://pith.science/pith/CXTFVQ3AK6EHZJKV65JILL6TTS/action/replication_record"}},"created_at":"2026-05-18T03:32:16.875017+00:00","updated_at":"2026-05-18T03:32:16.875017+00:00"}