{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NFV6IRCUIPDHA6W5SX2R5XUXXK","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":"c8e3fe3ec46e12b8f9773ae194d167f5ebfcbf7f37ca44259f731bc24f386bdf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-05-30T21:40:44Z","title_canon_sha256":"13dc57e4016049c770a28b3ba5126a9b020f2f62216f25a08808a281a1e5d844"},"schema_version":"1.0","source":{"id":"2506.00251","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00251","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00251v1","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00251","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_12","alias_value":"NFV6IRCUIPDH","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_16","alias_value":"NFV6IRCUIPDHA6W5","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_8","alias_value":"NFV6IRCU","created_at":"2026-07-05T11:13:31Z"}],"graph_snapshots":[{"event_id":"sha256:2525c072e43f618e9785840f643adeda2de7b9990fa59aee721b86f5098f7da2","target":"graph","created_at":"2026-07-05T11:13:31Z","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/2506.00251/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their distinct advantages. For example, frequency domain modelling is better suited for control systems, using features such as spectra of the signal. Considering this, we introduce, for the first time, a formal model called frequency automata for hybrid systems modelling and simulation, which are represented in combined time and frequency domains. We propose a sound translation from Hybrid Automata (HA) to Frequency Auto","authors_text":"Avinash Malik, Moon Kim, Partha Roop","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00251","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:32218362dee104fcce206cfd2deae3c7a5208d215b598c092eb38c9eaa8d7980","target":"record","created_at":"2026-07-05T11:13:31Z","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":"c8e3fe3ec46e12b8f9773ae194d167f5ebfcbf7f37ca44259f731bc24f386bdf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-05-30T21:40:44Z","title_canon_sha256":"13dc57e4016049c770a28b3ba5126a9b020f2f62216f25a08808a281a1e5d844"},"schema_version":"1.0","source":{"id":"2506.00251","kind":"arxiv","version":1}},"canonical_sha256":"696be4445443c6707add95f51ede97baae5667f48ac2ffbd9b322214ec0e8a97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"696be4445443c6707add95f51ede97baae5667f48ac2ffbd9b322214ec0e8a97","first_computed_at":"2026-07-05T11:13:31.543424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:31.543424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IZsnslFlM3mv+ZJqEZFNUjddR2/DWYhZwzpxv7Bsf9ZiNBgZ0Y9yX0Jiwi5szbnLeVK69ZxlKdaxg0L5/3ZNBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:31.543867Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00251","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32218362dee104fcce206cfd2deae3c7a5208d215b598c092eb38c9eaa8d7980","sha256:2525c072e43f618e9785840f643adeda2de7b9990fa59aee721b86f5098f7da2"],"state_sha256":"b38aacc4b9b40811c3cc2a666edba9535f033e8250fa104491f200674b07a353"}