{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:25ASB76NSRNFQGUWX4L57FQOPY","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":"a3aa7762e23d5ac1fc560d0c9b4a24e9e0c0520e6afe1ded4878b05af9e98947","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-10-31T06:09:16Z","title_canon_sha256":"d9214069a806d275c03079154a7d855ceb5a4a34198faaa351c3fd70cce03048"},"schema_version":"1.0","source":{"id":"1610.09795","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.09795","created_at":"2026-05-18T01:00:47Z"},{"alias_kind":"arxiv_version","alias_value":"1610.09795v1","created_at":"2026-05-18T01:00:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.09795","created_at":"2026-05-18T01:00:47Z"},{"alias_kind":"pith_short_12","alias_value":"25ASB76NSRNF","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"25ASB76NSRNFQGUW","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"25ASB76N","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:c9ae0bb76cb14d857479c26b7808b54bd0d2eadd80295122c8ac704b35ce9f2f","target":"graph","created_at":"2026-05-18T01:00:47Z","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":"The paper presents a novel algorithm for computing best and worst case execution times (BCET/WCET) of timed automata models with cyclic behaviour. The algorithms can work on any arbitrary diagonal-free TA and can handle more cases than previously existing algorithms for BCET/WCET computations, as it can handle cycles in TA and decide whether they lead to an infinite WCET. We show soundness of the proposed algorithm and study its complexity. To our knowledge, this is the first model checking algorithm that addresses comprehensively the BCET/WCET problem of systems with cyclic behaviour. Behrman","authors_text":"Mark Reynolds, Omar Al-Bataineh, Tim French","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-10-31T06:09:16Z","title":"Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.09795","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:0559bb8659fea8ebf588ea4684464263044df66440125ecb861cf0b934b1f950","target":"record","created_at":"2026-05-18T01:00:47Z","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":"a3aa7762e23d5ac1fc560d0c9b4a24e9e0c0520e6afe1ded4878b05af9e98947","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-10-31T06:09:16Z","title_canon_sha256":"d9214069a806d275c03079154a7d855ceb5a4a34198faaa351c3fd70cce03048"},"schema_version":"1.0","source":{"id":"1610.09795","kind":"arxiv","version":1}},"canonical_sha256":"d74120ffcd945a581a96bf17df960e7e0d12268b2711064b6bd940b5cf50d0d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d74120ffcd945a581a96bf17df960e7e0d12268b2711064b6bd940b5cf50d0d6","first_computed_at":"2026-05-18T01:00:47.171091Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:47.171091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2kUZIGaSs1y3lK3Nr7CJAN1PH2JP0SATPqICNEL3IlqQNDzZo+SnODVuISCLsJ0EcvQZdndCES6WfubUau5SAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:47.171513Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.09795","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0559bb8659fea8ebf588ea4684464263044df66440125ecb861cf0b934b1f950","sha256:c9ae0bb76cb14d857479c26b7808b54bd0d2eadd80295122c8ac704b35ce9f2f"],"state_sha256":"f0227b817eb05d3b38b45e13d645c438657ea2cc7f681af9d0e67a3fbf5a275c"}