{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:6KY57224QFBGWEYU2N72QQKKMA","short_pith_number":"pith:6KY57224","canonical_record":{"source":{"id":"1609.00302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-01T16:22:56Z","cross_cats_sorted":[],"title_canon_sha256":"1c23abbe17e24e12e03fd1756e1717a2e741380c72eac6fd7c623dcdfe1806de","abstract_canon_sha256":"4cf53559bc0200ec7bcfa6649c2b8fcb081996fc13adc443b477b69bf2611a0d"},"schema_version":"1.0"},"canonical_sha256":"f2b1dfeb5c81426b1314d37fa8414a602b376e4b2b1121d29e98f802be6a6895","source":{"kind":"arxiv","id":"1609.00302","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:6KY57224QFBGWEYU2N72QQKKMA","target":"record","payload":{"canonical_record":{"source":{"id":"1609.00302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-01T16:22:56Z","cross_cats_sorted":[],"title_canon_sha256":"1c23abbe17e24e12e03fd1756e1717a2e741380c72eac6fd7c623dcdfe1806de","abstract_canon_sha256":"4cf53559bc0200ec7bcfa6649c2b8fcb081996fc13adc443b477b69bf2611a0d"},"schema_version":"1.0"},"canonical_sha256":"f2b1dfeb5c81426b1314d37fa8414a602b376e4b2b1121d29e98f802be6a6895","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:25.182825Z","signature_b64":"DUYEAshOnY7ETxk4qn0LpuBW1MTPrMHdnjer9nJqN1BKh0skzDBR9lhLGed9IJ7qLkXqBnlr8tc7zRVO4mQ5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2b1dfeb5c81426b1314d37fa8414a602b376e4b2b1121d29e98f802be6a6895","last_reissued_at":"2026-05-18T01:06:25.182391Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:25.182391Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.00302","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-18T01:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZqqDDG1iul6aNHPpcFNIbMKUs055V68jFgLISZKf7pktuAwVmI1U8xDWwwzBEp46SCN7OkKQSfpHrpVPJ5hqBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T03:52:49.598429Z"},"content_sha256":"fced43db8972c5a403bd7010342a5f7df4cea6291bc8bf2957e5528feb9c2bfa","schema_version":"1.0","event_id":"sha256:fced43db8972c5a403bd7010342a5f7df4cea6291bc8bf2957e5528feb9c2bfa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:6KY57224QFBGWEYU2N72QQKKMA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Mircea Lazar, Ruxandra Bobiti","submitted_at":"2016-09-01T16:22:56Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00302","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-18T01:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n8bOSSbOwPY4mw7Zzn5SrOE5dN6xMhG8HEHPYCmX1qVreYZUSkwVJ85fvwxzQScIQisqDKhM9HftLAiIPgiCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T03:52:49.598772Z"},"content_sha256":"51657a3d93e6c7758b523e32534db9195eb2649f1607034aafe6d99035d1ba7f","schema_version":"1.0","event_id":"sha256:51657a3d93e6c7758b523e32534db9195eb2649f1607034aafe6d99035d1ba7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6KY57224QFBGWEYU2N72QQKKMA/bundle.json","state_url":"https://pith.science/pith/6KY57224QFBGWEYU2N72QQKKMA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6KY57224QFBGWEYU2N72QQKKMA/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-28T03:52:49Z","links":{"resolver":"https://pith.science/pith/6KY57224QFBGWEYU2N72QQKKMA","bundle":"https://pith.science/pith/6KY57224QFBGWEYU2N72QQKKMA/bundle.json","state":"https://pith.science/pith/6KY57224QFBGWEYU2N72QQKKMA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6KY57224QFBGWEYU2N72QQKKMA/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hEHnQeaN9xatJJLXGJV4o3MwUGzdolKWC5EM8qFSumP89JqIM8ef9uOWNPIlMFzdAzdEsF752cRIvYev5QDICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T03:52:49.600647Z","bundle_sha256":"3db8039c57ca93b0868e81c5e8a805ee26945e460fdc9142b1d75708007e4cc2"}}