{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NFV6IRCUIPDHA6W5SX2R5XUXXK","short_pith_number":"pith:NFV6IRCU","canonical_record":{"source":{"id":"2506.00251","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-05-30T21:40:44Z","cross_cats_sorted":[],"title_canon_sha256":"13dc57e4016049c770a28b3ba5126a9b020f2f62216f25a08808a281a1e5d844","abstract_canon_sha256":"c8e3fe3ec46e12b8f9773ae194d167f5ebfcbf7f37ca44259f731bc24f386bdf"},"schema_version":"1.0"},"canonical_sha256":"696be4445443c6707add95f51ede97baae5667f48ac2ffbd9b322214ec0e8a97","source":{"kind":"arxiv","id":"2506.00251","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NFV6IRCUIPDHA6W5SX2R5XUXXK","target":"record","payload":{"canonical_record":{"source":{"id":"2506.00251","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-05-30T21:40:44Z","cross_cats_sorted":[],"title_canon_sha256":"13dc57e4016049c770a28b3ba5126a9b020f2f62216f25a08808a281a1e5d844","abstract_canon_sha256":"c8e3fe3ec46e12b8f9773ae194d167f5ebfcbf7f37ca44259f731bc24f386bdf"},"schema_version":"1.0"},"canonical_sha256":"696be4445443c6707add95f51ede97baae5667f48ac2ffbd9b322214ec0e8a97","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:31.543867Z","signature_b64":"IZsnslFlM3mv+ZJqEZFNUjddR2/DWYhZwzpxv7Bsf9ZiNBgZ0Y9yX0Jiwi5szbnLeVK69ZxlKdaxg0L5/3ZNBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"696be4445443c6707add95f51ede97baae5667f48ac2ffbd9b322214ec0e8a97","last_reissued_at":"2026-07-05T11:13:31.543424Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:31.543424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.00251","source_version":1,"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-05T11:13:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hjkppkOtWW9IDbcntlRLwYkdUWQoxnHrp08Tnr0cM6tCYlPSFVb7Vkygb3zwoNief6dmmXg58ucZR02h1JcBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:50:12.176475Z"},"content_sha256":"32218362dee104fcce206cfd2deae3c7a5208d215b598c092eb38c9eaa8d7980","schema_version":"1.0","event_id":"sha256:32218362dee104fcce206cfd2deae3c7a5208d215b598c092eb38c9eaa8d7980"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NFV6IRCUIPDHA6W5SX2R5XUXXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Avinash Malik, Moon Kim, Partha Roop","submitted_at":"2025-05-30T21:40:44Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00251","kind":"arxiv","version":1},"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/2506.00251/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-05T11:13:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AYwWO8r/D3P+XufUQtdrfdFvsLOnt2zp8qDPR1ljnvobA3hLT4/tb/XocOj/z3JYtfPPr1lpRDuxfDgS9bEVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:50:12.176985Z"},"content_sha256":"2525c072e43f618e9785840f643adeda2de7b9990fa59aee721b86f5098f7da2","schema_version":"1.0","event_id":"sha256:2525c072e43f618e9785840f643adeda2de7b9990fa59aee721b86f5098f7da2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/bundle.json","state_url":"https://pith.science/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/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-08-08T04:50:12Z","links":{"resolver":"https://pith.science/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK","bundle":"https://pith.science/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/bundle.json","state":"https://pith.science/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NFV6IRCUIPDHA6W5SX2R5XUXXK/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ilQPWmuQFsa6LnTWOgauiD6xOqAYxtzjdw9438z9WCZDU40C/Pr+XuXedNYl6LtQKRDMs8MYj2GPL2jFSbf2AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T04:50:12.181914Z","bundle_sha256":"896bfa0fe7118e5977c5ce8324eb6d79ecc22f9a6a30b54f4d2409bf74070f59"}}