{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:OQSYYWPM6DPYCGKUK6BDFNTCVX","short_pith_number":"pith:OQSYYWPM","schema_version":"1.0","canonical_sha256":"74258c59ecf0df811954578232b662ade0a5bb23e5ba38c2e84acd6dba1ee3d4","source":{"kind":"arxiv","id":"1709.06661","version":1},"attestation_state":"computed","paper":{"title":"Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"John Maidens, Murat Arcak","submitted_at":"2017-09-19T22:04:58Z","abstract_excerpt":"A shortcoming of existing reachability approaches for nonlinear systems is the poor scalability with the number of continuous state variables. To mitigate this problem we present a simulation-based approach where we first sample a number of trajectories of the system and next establish bounds on the convergence or divergence between the samples and neighboring trajectories. We compute these bounds using contraction theory and reduce the conservatism by partitioning the state vector into several components and analyzing contraction properties separately in each direction. Among other benefits t"},"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":"1709.06661","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T22:04:58Z","cross_cats_sorted":[],"title_canon_sha256":"166d9887fbb9b262c45ece75f8c29f638fb6572db7f40d9dfbc058825a6b5bec","abstract_canon_sha256":"e7b1502ced537852220254139e7e19e8e63e4f4a18e51de75b25f7767a90a4c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:40.875834Z","signature_b64":"d2sHKxVK59WLeTq1Q4BOxaUlPxR2SA0Xox0asBAj+LfUMIUhBN7Rbz9mEMh7z0O6558ouJxq58MUTioy++SmAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74258c59ecf0df811954578232b662ade0a5bb23e5ba38c2e84acd6dba1ee3d4","last_reissued_at":"2026-05-18T00:34:40.875302Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:40.875302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"John Maidens, Murat Arcak","submitted_at":"2017-09-19T22:04:58Z","abstract_excerpt":"A shortcoming of existing reachability approaches for nonlinear systems is the poor scalability with the number of continuous state variables. To mitigate this problem we present a simulation-based approach where we first sample a number of trajectories of the system and next establish bounds on the convergence or divergence between the samples and neighboring trajectories. We compute these bounds using contraction theory and reduce the conservatism by partitioning the state vector into several components and analyzing contraction properties separately in each direction. Among other benefits t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06661","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":"1709.06661","created_at":"2026-05-18T00:34:40.875399+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.06661v1","created_at":"2026-05-18T00:34:40.875399+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06661","created_at":"2026-05-18T00:34:40.875399+00:00"},{"alias_kind":"pith_short_12","alias_value":"OQSYYWPM6DPY","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"OQSYYWPM6DPYCGKU","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"OQSYYWPM","created_at":"2026-05-18T12:31:34.259226+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/OQSYYWPM6DPYCGKUK6BDFNTCVX","json":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX.json","graph_json":"https://pith.science/api/pith-number/OQSYYWPM6DPYCGKUK6BDFNTCVX/graph.json","events_json":"https://pith.science/api/pith-number/OQSYYWPM6DPYCGKUK6BDFNTCVX/events.json","paper":"https://pith.science/paper/OQSYYWPM"},"agent_actions":{"view_html":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX","download_json":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX.json","view_paper":"https://pith.science/paper/OQSYYWPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.06661&json=true","fetch_graph":"https://pith.science/api/pith-number/OQSYYWPM6DPYCGKUK6BDFNTCVX/graph.json","fetch_events":"https://pith.science/api/pith-number/OQSYYWPM6DPYCGKUK6BDFNTCVX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX/action/storage_attestation","attest_author":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX/action/author_attestation","sign_citation":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX/action/citation_signature","submit_replication":"https://pith.science/pith/OQSYYWPM6DPYCGKUK6BDFNTCVX/action/replication_record"}},"created_at":"2026-05-18T00:34:40.875399+00:00","updated_at":"2026-05-18T00:34:40.875399+00:00"}