{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6KY57224QFBGWEYU2N72QQKKMA","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":"4cf53559bc0200ec7bcfa6649c2b8fcb081996fc13adc443b477b69bf2611a0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-01T16:22:56Z","title_canon_sha256":"1c23abbe17e24e12e03fd1756e1717a2e741380c72eac6fd7c623dcdfe1806de"},"schema_version":"1.0","source":{"id":"1609.00302","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.00302","created_at":"2026-05-18T01:06:25Z"},{"alias_kind":"arxiv_version","alias_value":"1609.00302v1","created_at":"2026-05-18T01:06:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00302","created_at":"2026-05-18T01:06:25Z"},{"alias_kind":"pith_short_12","alias_value":"6KY57224QFBG","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6KY57224QFBGWEYU","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6KY57224","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:51657a3d93e6c7758b523e32534db9195eb2649f1607034aafe6d99035d1ba7f","target":"graph","created_at":"2026-05-18T01:06:25Z","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":"This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of interest, one generally needs to handle large, possibly non-convex or non-feasible optimization problems. To avoid such problems, we propose a constructive and systematically applicable sampling-based method to Lyapunov's inequality verification. This approach proposes verification of the decrease condition for a candidate Lyapunov function on a finite sampli","authors_text":"Mircea Lazar, Ruxandra Bobiti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-01T16:22:56Z","title":"Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00302","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:fced43db8972c5a403bd7010342a5f7df4cea6291bc8bf2957e5528feb9c2bfa","target":"record","created_at":"2026-05-18T01:06:25Z","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":"4cf53559bc0200ec7bcfa6649c2b8fcb081996fc13adc443b477b69bf2611a0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-01T16:22:56Z","title_canon_sha256":"1c23abbe17e24e12e03fd1756e1717a2e741380c72eac6fd7c623dcdfe1806de"},"schema_version":"1.0","source":{"id":"1609.00302","kind":"arxiv","version":1}},"canonical_sha256":"f2b1dfeb5c81426b1314d37fa8414a602b376e4b2b1121d29e98f802be6a6895","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2b1dfeb5c81426b1314d37fa8414a602b376e4b2b1121d29e98f802be6a6895","first_computed_at":"2026-05-18T01:06:25.182391Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:25.182391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DUYEAshOnY7ETxk4qn0LpuBW1MTPrMHdnjer9nJqN1BKh0skzDBR9lhLGed9IJ7qLkXqBnlr8tc7zRVO4mQ5Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:25.182825Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.00302","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fced43db8972c5a403bd7010342a5f7df4cea6291bc8bf2957e5528feb9c2bfa","sha256:51657a3d93e6c7758b523e32534db9195eb2649f1607034aafe6d99035d1ba7f"],"state_sha256":"8e22b31b8a41c2888f42d1d93f7184a0f54aa42b82dd85dcb5e17348da0ad76e"}