Pith. sign in

Paper Citation Record · LEDGER

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains

As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2506.00251.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.00251 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:16:40.372301Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

  • verified exact1
  • verified fuzzy0
  • unresolved25
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 11bbab52-4643-474d-ba8a-33ecb53423a6 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:44.836927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.441789Z digest=sha256:5dbbfbf36455eb4cad200a628cf335da4273c665cb2e65231905c277daf34ef4

Observation f75caaf6-ef03-4652-9dad-50748656bc94 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:44.572431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.492667Z digest=sha256:e292ade7d1f51921f783141220434b1493159114700d4ebf4b8c1cc469249b7e

Observation 436288b9-7d07-4972-9a6e-a34201b6780f · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:44.354843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.582828Z digest=sha256:791015ad9dcc20fd8d0a8891b0b4d5e95b8b4f180a9ff16ab0e4148feb4ad4af

Observation 1b2b065e-2eb0-475d-aa6d-617daa80458d · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:44.099932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.682677Z digest=sha256:d7a6d42ef1d9a1b4874fafe063c1749de6ca3f01c7bf00f5ac7ce21fb13b927b

Observation 9ec1dcfa-e003-43ab-8889-439688c94408 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:43.839931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.779619Z digest=sha256:2e074b1c23cee0dc0de83f3eec94133996272985d50c798002e7222eba780df6

Observation 03f6f4de-edb3-460a-80dd-9dc0ee6a0f9f · outbound

This paper cites Benveniste, P.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Benveniste, P

Reference 6

Resolution
metadata mismatch
raw_fallback, observed 2026-08-07T12:16:40.888661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.828860Z digest=sha256:9be0e186b0ac018da89fcc98c50c09ba8fbdcba51d584569225264c953a3ae2a

Observation b6d58f4d-a458-4355-86ee-49bd44b6178b · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:43.592940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:38.955363Z digest=sha256:4f75c5d41e6c69f119e7b8d9158043b2869983670ea62f74926395b32fb76a74

Observation 0d5e415f-10b0-4b6f-97b6-180916a8cf68 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:43.334437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.058720Z digest=sha256:3caee6e6d49a17bfb5a2c3cde43adf6fbeeea1db67af7740e6c75de76b7d2ccf

Observation 2364623d-ee6f-4bcc-96a1-9c61213cd780 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:43.089771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.157259Z digest=sha256:cdd177e635fdc555c201a5529dc67e1c9e27ef1256a0e4cc8b0e6de7e2c32472

Observation 60e99c98-ebf3-4fcc-8c0d-3bd496631c11 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.834897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.184882Z digest=sha256:f27f346ddd217a50d4c15a0d8872fe7b2365de2fb6a5dcf780ccdafdf13ad5e8

Observation a1c5a234-d423-41d2-81e0-c4d0670d4884 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.582077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.233776Z digest=sha256:a4845be9096b279364090d63be09a354ad72213eead26f820a44d061c90f562f

Observation f6048465-258b-4da5-b901-bd56f2f27512 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.556150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.309509Z digest=sha256:1ba6e555b5eae5c8794d4f9854b409dae69bb008b57f75fbce6bc9206ccc8e8a

Observation 4b2c6010-825d-403f-909e-bc0518b04a3a · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.436263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.382335Z digest=sha256:e7faacd8e317183916304e6a366345e80c3f683fa57572a280e9d9f6ea11d97d

Observation 6f89b6fb-01ea-4433-aad5-e736ff10ccce · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-07T12:16:39.437215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T12:16:39.437215Z digest=sha256:8a9d24e49f1c254ec8f4a663edcdbc83d7947eaef83021170ae48af6cafb4194

Observation c821843c-5f2d-4ab4-b1b4-ba2f02e58ad4 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.316771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.496904Z digest=sha256:7fa6a22b2ad227f309fdf14434b6f64cdfe25d6d7ea1f59f2361fa0a539e69ee

Observation e5c70aa6-b949-48e2-bdaa-3a9439ab9651 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.192926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.577996Z digest=sha256:6734e2d96676ba5f826401439f18cc835a72b4bca04694a93cb728808610d7b3

Observation 9f551eaf-cb13-4b1f-9924-b7441e3d922b · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:42.098150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.667049Z digest=sha256:0a1603a3aad749ebc85042680116b67eeed8793b05a05d9033cbe43d3887fa1e

Observation 2ef35ab5-a655-4b9d-896f-22aeed31927e · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.987050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.709732Z digest=sha256:9fb1789ea185a930cb31736092c22c3e63405fca49ce65aa61d84589e50f69b6

Observation 67c3e0c4-07c1-4d16-a3fc-7705496adb16 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.839194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.771354Z digest=sha256:38f069d0d21642ac900053a5ab44021c71011139b573245b70b1c838044d9529

Observation d40ea2c0-7b89-4181-b2bb-6ea6975af949 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.762740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.859512Z digest=sha256:1ff4b17094929654bd74658497f3f3aed3cf2849e596dffecad321d2ffc3ebe6

Observation 2d28441d-a76d-4175-99dd-c44cd83d7f36 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.631589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.903349Z digest=sha256:49c453e53bb020ad0659af6c7f33b082846d5b0b8a75b9dcbf08d36ca8d9c173

Observation b4bc2a00-bc8f-4342-805b-a25107747d5a · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.507394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:39.978998Z digest=sha256:9d7b392858349f292d7e124ea136677680e3c8f1acba34c9279c3d926d30aca7

Observation 05d718fa-4195-4cde-8f75-be90a8288a84 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.425336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:40.049736Z digest=sha256:8d704795a43405a92a246475cf1101606bad1d10832d307e42088d444907276e

Observation 01875285-e351-43fb-a6c7-762279c7819e · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.314381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:40.143073Z digest=sha256:76333893d8b9602c244a7724510cdd8d017300e9251ef4a87f2cecf0342a711c

Observation e0f4f93a-28bc-4dcf-bdbe-bf092cbf5ca6 · outbound

This paper cites Runtime Enforcement of CPS against Signal Temporal Logic.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Runtime Enforcement of CPS against Signal Temporal Logic

Reference 25

Resolution
verified exact
local_arxiv, observed 2026-08-07T12:16:40.534456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:40.228496Z digest=sha256:90b704a159e57b8cf1214a116542489c75785998576b3cddbe3f041d1e54e8b3

Observation 49e6583a-ffa8-4551-978d-1a132386b641 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.173227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:40.315225Z digest=sha256:3fcc8b96f3da46247c20f600b1f94f2c24b8a22d0393f723950df7f04f825e78

Observation 67f6f878-d959-44bb-825a-345a30f6eed0 · outbound

This paper cites an unresolved cited work.

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-07T12:16:41.024806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-07T12:16:40.372301Z digest=sha256:039db4bd54dbb23b56d3ff907f901270ee6c876ab57d39cac94d7249b2e42989

Pith citing papers

No inbound Pith citation observations are available.