{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:II5P2RTES3HC4LCE2JFIFSL7GJ","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":"f2365b9312c66836a9758a1397f50eba16227171fab26af5b865e5c7795ff54e","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-07-08T00:53:32Z","title_canon_sha256":"4d1aab76f6f4dd2ee36ae08d1e0473486d86f4f213a78e36cfbc85d702ac26f5"},"schema_version":"1.0","source":{"id":"2307.03870","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.03870","created_at":"2026-07-05T06:29:04Z"},{"alias_kind":"arxiv_version","alias_value":"2307.03870v1","created_at":"2026-07-05T06:29:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.03870","created_at":"2026-07-05T06:29:04Z"},{"alias_kind":"pith_short_12","alias_value":"II5P2RTES3HC","created_at":"2026-07-05T06:29:04Z"},{"alias_kind":"pith_short_16","alias_value":"II5P2RTES3HC4LCE","created_at":"2026-07-05T06:29:04Z"},{"alias_kind":"pith_short_8","alias_value":"II5P2RTE","created_at":"2026-07-05T06:29:04Z"}],"graph_snapshots":[{"event_id":"sha256:95bf4144eaf4799aae1b8fc05c20b00c84eba5d22383a8ee9e4c6b3137c881e6","target":"graph","created_at":"2026-07-05T06:29:04Z","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/2307.03870/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Finite automata (FAs) model is a popular tool to characterize discrete event systems (DESs) due to its succinctness. However, for some complex systems, it is difficult to describe the necessary details by means of FAs model. In this paper, we consider a kind of extended finite automata (EFAs) in which each transition carries a predicate over state and event parameters. We also consider a type of simplified EFAs, called Event-Parameters EFAs (EP-EFAs), where the state parameters are removed. Based upon these two parametric models, we investigate the problem of opacity analysis for parametric DE","authors_text":"Daowen Qiu, Jingkai Yang, Weilin Deng","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-07-08T00:53:32Z","title":"Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.03870","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:76252b50b3ad32680239d1dfb2bf45c740cf4c0c8f9b03f2ecc48378e4e3b4bd","target":"record","created_at":"2026-07-05T06:29:04Z","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":"f2365b9312c66836a9758a1397f50eba16227171fab26af5b865e5c7795ff54e","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-07-08T00:53:32Z","title_canon_sha256":"4d1aab76f6f4dd2ee36ae08d1e0473486d86f4f213a78e36cfbc85d702ac26f5"},"schema_version":"1.0","source":{"id":"2307.03870","kind":"arxiv","version":1}},"canonical_sha256":"423afd466496ce2e2c44d24a82c97f3274f387b3b2d3002068ec2a60a3d0ed32","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"423afd466496ce2e2c44d24a82c97f3274f387b3b2d3002068ec2a60a3d0ed32","first_computed_at":"2026-07-05T06:29:04.881481Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:29:04.881481Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LGvzF39rW63kEX0EbewlIt2yyNy/5+PTKrJbUgRpIWXdWmUV2ajSMU0WEO3CKgY2ymRbywy3qP0hlZ8oRm6RBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:29:04.881970Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.03870","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76252b50b3ad32680239d1dfb2bf45c740cf4c0c8f9b03f2ecc48378e4e3b4bd","sha256:95bf4144eaf4799aae1b8fc05c20b00c84eba5d22383a8ee9e4c6b3137c881e6"],"state_sha256":"38bfb6f7994c03c4671f80ddab12edaae21fa9d61dec6dc1df6fa3c78bfbf834"}