{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:4ORIUA4DWXFK7JPLZJNMYBU5DP","short_pith_number":"pith:4ORIUA4D","canonical_record":{"source":{"id":"1911.03452","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-07T06:12:34Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"dd9de734fd2468d48c239817da7a2a5406e7f133ead1c7368c8bdef8ab831214","abstract_canon_sha256":"fe1ae4bc8c246fbd75d10c90735990c173a28cb50899256734399ee70882a1fb"},"schema_version":"1.0"},"canonical_sha256":"e3a28a0383b5caafa5ebca5acc069d1bdc4df852960d81163122614d56cf461d","source":{"kind":"arxiv","id":"1911.03452","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.03452","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"arxiv_version","alias_value":"1911.03452v2","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.03452","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_12","alias_value":"4ORIUA4DWXFK","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_16","alias_value":"4ORIUA4DWXFK7JPL","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_8","alias_value":"4ORIUA4D","created_at":"2026-07-05T01:35:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:4ORIUA4DWXFK7JPLZJNMYBU5DP","target":"record","payload":{"canonical_record":{"source":{"id":"1911.03452","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-07T06:12:34Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"dd9de734fd2468d48c239817da7a2a5406e7f133ead1c7368c8bdef8ab831214","abstract_canon_sha256":"fe1ae4bc8c246fbd75d10c90735990c173a28cb50899256734399ee70882a1fb"},"schema_version":"1.0"},"canonical_sha256":"e3a28a0383b5caafa5ebca5acc069d1bdc4df852960d81163122614d56cf461d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:35:57.220255Z","signature_b64":"twGFtDrg15xUtuO3yKMKKVMgzMc85pQgbjUiBzbeArcABmx0G206ELgcA8QWRt4o0AEWYVQOLt6Ah+uJ62S7BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3a28a0383b5caafa5ebca5acc069d1bdc4df852960d81163122614d56cf461d","last_reissued_at":"2026-07-05T01:35:57.219802Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:35:57.219802Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.03452","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-07-05T01:35:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y2vSJkO6OxNWkoJE9euxq7+0x31YDHzQul/sekJhKpt2E2atcE/+dTfs/DoDVMV70GORFAX+cRvDKegaMu0SDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T18:17:53.353812Z"},"content_sha256":"e673947af3368740364b0dc19ab851fd5e56acdfad3c13a0708dfcc2a75f5108","schema_version":"1.0","event_id":"sha256:e673947af3368740364b0dc19ab851fd5e56acdfad3c13a0708dfcc2a75f5108"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:4ORIUA4DWXFK7JPLZJNMYBU5DP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, James Anderson, Karan Kalsi, Steven H. Low, Yuxiao Chen","submitted_at":"2019-11-07T06:12:34Z","abstract_excerpt":"This paper aims at the safety-critical control synthesis of network systems such that the satisfaction of the safety constraints can be guaranteed. To handle the large state dimension of such systems, an assume-guarantee contract is used to break the large synthesis problem into smaller subproblems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that robust control invariant sets (RCIs) for the subsystems can be composed to form a robust control invariant set for the whole network s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.03452","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1911.03452/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:35:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ir1gyGUZSuVDR0JtqfjeRoNTeQ1+hARWUYYVVvR4Eerur6+1tPGNNfpDSrAiykaksLUDjBe+klDQ0LTmV8dyDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T18:17:53.354190Z"},"content_sha256":"542372d443975e55a91f62ac34abc59da2b2fdb75509c4e9447c0871d240ffd9","schema_version":"1.0","event_id":"sha256:542372d443975e55a91f62ac34abc59da2b2fdb75509c4e9447c0871d240ffd9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/bundle.json","state_url":"https://pith.science/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/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-07-19T18:17:53Z","links":{"resolver":"https://pith.science/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP","bundle":"https://pith.science/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/bundle.json","state":"https://pith.science/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4ORIUA4DWXFK7JPLZJNMYBU5DP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4ORIUA4DWXFK7JPLZJNMYBU5DP","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":"fe1ae4bc8c246fbd75d10c90735990c173a28cb50899256734399ee70882a1fb","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-07T06:12:34Z","title_canon_sha256":"dd9de734fd2468d48c239817da7a2a5406e7f133ead1c7368c8bdef8ab831214"},"schema_version":"1.0","source":{"id":"1911.03452","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.03452","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"arxiv_version","alias_value":"1911.03452v2","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.03452","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_12","alias_value":"4ORIUA4DWXFK","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_16","alias_value":"4ORIUA4DWXFK7JPL","created_at":"2026-07-05T01:35:57Z"},{"alias_kind":"pith_short_8","alias_value":"4ORIUA4D","created_at":"2026-07-05T01:35:57Z"}],"graph_snapshots":[{"event_id":"sha256:542372d443975e55a91f62ac34abc59da2b2fdb75509c4e9447c0871d240ffd9","target":"graph","created_at":"2026-07-05T01:35:57Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1911.03452/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper aims at the safety-critical control synthesis of network systems such that the satisfaction of the safety constraints can be guaranteed. To handle the large state dimension of such systems, an assume-guarantee contract is used to break the large synthesis problem into smaller subproblems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that robust control invariant sets (RCIs) for the subsystems can be composed to form a robust control invariant set for the whole network s","authors_text":"Aaron D. Ames, James Anderson, Karan Kalsi, Steven H. Low, Yuxiao Chen","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-07T06:12:34Z","title":"Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.03452","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:e673947af3368740364b0dc19ab851fd5e56acdfad3c13a0708dfcc2a75f5108","target":"record","created_at":"2026-07-05T01:35:57Z","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":"fe1ae4bc8c246fbd75d10c90735990c173a28cb50899256734399ee70882a1fb","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-11-07T06:12:34Z","title_canon_sha256":"dd9de734fd2468d48c239817da7a2a5406e7f133ead1c7368c8bdef8ab831214"},"schema_version":"1.0","source":{"id":"1911.03452","kind":"arxiv","version":2}},"canonical_sha256":"e3a28a0383b5caafa5ebca5acc069d1bdc4df852960d81163122614d56cf461d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3a28a0383b5caafa5ebca5acc069d1bdc4df852960d81163122614d56cf461d","first_computed_at":"2026-07-05T01:35:57.219802Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:35:57.219802Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"twGFtDrg15xUtuO3yKMKKVMgzMc85pQgbjUiBzbeArcABmx0G206ELgcA8QWRt4o0AEWYVQOLt6Ah+uJ62S7BA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:35:57.220255Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.03452","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e673947af3368740364b0dc19ab851fd5e56acdfad3c13a0708dfcc2a75f5108","sha256:542372d443975e55a91f62ac34abc59da2b2fdb75509c4e9447c0871d240ffd9"],"state_sha256":"5bac773561bb39c01f8ea68fabfb4297ffe32b9251b5565137ef7e642ece3460"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"254Y31phy4zo2vjgoqKKATukQ1t21n7OXwlXIgjvWshFdGESlApJlScn2d4sXn83KxCEOJ4jJMo3eJ9YX4OfBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T18:17:53.356249Z","bundle_sha256":"2c494aab9370ff0ad901cd23cdaf099fb5515a66ad761a12e50115cd3d876ed5"}}