{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:SEYHXQ25CQX5LLFMSEOWO3BX45","short_pith_number":"pith:SEYHXQ25","canonical_record":{"source":{"id":"1705.09316","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-25T18:24:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e43d3073da87be947ecc9c61bb1c0d19a0e1afe641a6931a0e87b24ae1998d35","abstract_canon_sha256":"fa34f96e113de526c729b0abbb9b615e2715ff370ae79e03cf654b46aa7fa98e"},"schema_version":"1.0"},"canonical_sha256":"91307bc35d142fd5acac911d676c37e77f8656a5e3764da06e36311f86501141","source":{"kind":"arxiv","id":"1705.09316","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09316","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09316v2","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09316","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"pith_short_12","alias_value":"SEYHXQ25CQX5","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SEYHXQ25CQX5LLFM","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SEYHXQ25","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:SEYHXQ25CQX5LLFMSEOWO3BX45","target":"record","payload":{"canonical_record":{"source":{"id":"1705.09316","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-25T18:24:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e43d3073da87be947ecc9c61bb1c0d19a0e1afe641a6931a0e87b24ae1998d35","abstract_canon_sha256":"fa34f96e113de526c729b0abbb9b615e2715ff370ae79e03cf654b46aa7fa98e"},"schema_version":"1.0"},"canonical_sha256":"91307bc35d142fd5acac911d676c37e77f8656a5e3764da06e36311f86501141","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:12.241999Z","signature_b64":"v2qarySDS2u7RsiUjGppXawPlzunej4AzU/ogp+MJu389HirmxJ/deI74OEf/KjPcR7FDdNmRindKuCj4VydBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91307bc35d142fd5acac911d676c37e77f8656a5e3764da06e36311f86501141","last_reissued_at":"2026-05-18T00:41:12.241430Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:12.241430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.09316","source_version":2,"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:41:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4FCL4YdujMeyNUVT2go7JiNA17uiwFZ/KMXBtPfTLmG/k5WCk2x3+TniYxJKUSn/nDR6HNAiFDu8BwG8u5UUDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:45:34.479918Z"},"content_sha256":"9e56ce800545a21905dcc171135703a116dd3b8d76f56dfd058411d2748b6b42","schema_version":"1.0","event_id":"sha256:9e56ce800545a21905dcc171135703a116dd3b8d76f56dfd058411d2748b6b42"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:SEYHXQ25CQX5LLFMSEOWO3BX45","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SY","authors_text":"Alberto Sangiovanni-Vincentelli, Dewei Li, Jiwei Li, Pierluigi Nuzzo, Yugeng Xi","submitted_at":"2017-05-25T18:24:51Z","abstract_excerpt":"We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a variant of signal temporal logic, namely, Stochastic Signal Temporal Logic (StSTL) to specify system behaviors as well as contract assumptions and guarantees, thus enabling automatic reasoning about requirements of stochastic systems. Given a stochastic linear system representation and a set of requirements captured by bounded StSTL contracts, we propose algorithms that can check contract compatibility, consistency, and r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09316","kind":"arxiv","version":2},"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:41:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1hFZyobCv52KIvNROJpDfgFEIdDU2ggoT1GyebbH1LM07u8kgKEHM4Vv41OKdqUy09lYNTj07X3d6n9Jt4L7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:45:34.480263Z"},"content_sha256":"8ab11a750e0dcdd682f3aa0d5b8e854897fa1d152733fdca42f7d435f1e3b61e","schema_version":"1.0","event_id":"sha256:8ab11a750e0dcdd682f3aa0d5b8e854897fa1d152733fdca42f7d435f1e3b61e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/bundle.json","state_url":"https://pith.science/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/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-08T16:45:34Z","links":{"resolver":"https://pith.science/pith/SEYHXQ25CQX5LLFMSEOWO3BX45","bundle":"https://pith.science/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/bundle.json","state":"https://pith.science/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SEYHXQ25CQX5LLFMSEOWO3BX45/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SEYHXQ25CQX5LLFMSEOWO3BX45","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":"fa34f96e113de526c729b0abbb9b615e2715ff370ae79e03cf654b46aa7fa98e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-25T18:24:51Z","title_canon_sha256":"e43d3073da87be947ecc9c61bb1c0d19a0e1afe641a6931a0e87b24ae1998d35"},"schema_version":"1.0","source":{"id":"1705.09316","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09316","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09316v2","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09316","created_at":"2026-05-18T00:41:12Z"},{"alias_kind":"pith_short_12","alias_value":"SEYHXQ25CQX5","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SEYHXQ25CQX5LLFM","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SEYHXQ25","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:8ab11a750e0dcdd682f3aa0d5b8e854897fa1d152733fdca42f7d435f1e3b61e","target":"graph","created_at":"2026-05-18T00:41:12Z","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":"We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a variant of signal temporal logic, namely, Stochastic Signal Temporal Logic (StSTL) to specify system behaviors as well as contract assumptions and guarantees, thus enabling automatic reasoning about requirements of stochastic systems. Given a stochastic linear system representation and a set of requirements captured by bounded StSTL contracts, we propose algorithms that can check contract compatibility, consistency, and r","authors_text":"Alberto Sangiovanni-Vincentelli, Dewei Li, Jiwei Li, Pierluigi Nuzzo, Yugeng Xi","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-25T18:24:51Z","title":"Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09316","kind":"arxiv","version":2},"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:9e56ce800545a21905dcc171135703a116dd3b8d76f56dfd058411d2748b6b42","target":"record","created_at":"2026-05-18T00:41:12Z","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":"fa34f96e113de526c729b0abbb9b615e2715ff370ae79e03cf654b46aa7fa98e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-25T18:24:51Z","title_canon_sha256":"e43d3073da87be947ecc9c61bb1c0d19a0e1afe641a6931a0e87b24ae1998d35"},"schema_version":"1.0","source":{"id":"1705.09316","kind":"arxiv","version":2}},"canonical_sha256":"91307bc35d142fd5acac911d676c37e77f8656a5e3764da06e36311f86501141","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"91307bc35d142fd5acac911d676c37e77f8656a5e3764da06e36311f86501141","first_computed_at":"2026-05-18T00:41:12.241430Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:41:12.241430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v2qarySDS2u7RsiUjGppXawPlzunej4AzU/ogp+MJu389HirmxJ/deI74OEf/KjPcR7FDdNmRindKuCj4VydBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:41:12.241999Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.09316","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e56ce800545a21905dcc171135703a116dd3b8d76f56dfd058411d2748b6b42","sha256:8ab11a750e0dcdd682f3aa0d5b8e854897fa1d152733fdca42f7d435f1e3b61e"],"state_sha256":"9bbdd7733ddb68f7c5c9e23459eb0f7fa1a78c41acf4e488822d76d3bed8aa75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sUbiQgClK9ei0uu+z25TV4RE1sXnbrM3I4L4YQ4cU0kRAz/D5+H0fKm722v2GkhLyvB3ZNjAnM3Qna7LpUNcDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T16:45:34.482757Z","bundle_sha256":"40cbbb21c4155a51ee1a2ad9c7dc1670fcbbd8e3b1e7151fbe938f0d91d00ab7"}}