{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:M4WNGS7SWXFPZAFQ2PW36USZRX","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":"d2d48acc1819029de84e0cc74e007c6e8207fba6338b76a6d040cde9ff3a3fae","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-30T02:51:29Z","title_canon_sha256":"5c2772626e1dcd561bcd0446d057215a9594a9e6ef2c56a8705092a38a25e10b"},"schema_version":"1.0","source":{"id":"2404.19223","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.19223","created_at":"2026-07-05T08:13:40Z"},{"alias_kind":"arxiv_version","alias_value":"2404.19223v1","created_at":"2026-07-05T08:13:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.19223","created_at":"2026-07-05T08:13:40Z"},{"alias_kind":"pith_short_12","alias_value":"M4WNGS7SWXFP","created_at":"2026-07-05T08:13:40Z"},{"alias_kind":"pith_short_16","alias_value":"M4WNGS7SWXFPZAFQ","created_at":"2026-07-05T08:13:40Z"},{"alias_kind":"pith_short_8","alias_value":"M4WNGS7S","created_at":"2026-07-05T08:13:40Z"}],"graph_snapshots":[{"event_id":"sha256:aad64d40c31ff7b1c69a09675da54bf6d00d9098418492c4b93515c41edbbe0a","target":"graph","created_at":"2026-07-05T08:13:40Z","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/2404.19223/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use finite temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements. We fix a parameterized template for the set of disturbances and form a robust optimization problem under the system dynamics and the temporal specifications to find the maximum value of the parameter. Additionally, we i","authors_text":"Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-30T02:51:29Z","title":"Temporal Logic Resilience for Dynamical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.19223","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:d384534bd613b0117bc2a01d299b8fb529aea1dfb4bde7134a9edb7e1f121a1e","target":"record","created_at":"2026-07-05T08:13:40Z","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":"d2d48acc1819029de84e0cc74e007c6e8207fba6338b76a6d040cde9ff3a3fae","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-30T02:51:29Z","title_canon_sha256":"5c2772626e1dcd561bcd0446d057215a9594a9e6ef2c56a8705092a38a25e10b"},"schema_version":"1.0","source":{"id":"2404.19223","kind":"arxiv","version":1}},"canonical_sha256":"672cd34bf2b5cafc80b0d3edbf52598df7ab2f512fa134b3e6efe9acd2616dc0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"672cd34bf2b5cafc80b0d3edbf52598df7ab2f512fa134b3e6efe9acd2616dc0","first_computed_at":"2026-07-05T08:13:40.185744Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:13:40.185744Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RyzEWhajjzZiK4yrI3RuQOUcokwdDb+oHFjAaZS/Z+l/IUgVUQaG1ZablZE2dwtmJrxFcgQW1lBiQzzmi6L6Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:13:40.186202Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.19223","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d384534bd613b0117bc2a01d299b8fb529aea1dfb4bde7134a9edb7e1f121a1e","sha256:aad64d40c31ff7b1c69a09675da54bf6d00d9098418492c4b93515c41edbbe0a"],"state_sha256":"e60c2079eaa9bdeb03d0c153780cb5961a70693038857b3da723b6bdf49b7d03"}