Pith. sign in

Paper Citation Record · LEDGER

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

As of 20 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-20T06:33:59.587034+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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:38.779619Z digest=sha256:9484851873b4cdb96601f4dc08eface1351eb1048527dd1cfc224bbf19645576

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:38.955363Z digest=sha256:488ece04eca9df557a5e306e6b548b60e969363d0baf08bb666f6bfc7c06add7

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.058720Z digest=sha256:70100f91d87252c2a41eb05a5e7a58526d47b1a489b6e5a57d176b1693f8e45b

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.577996Z digest=sha256:72bb3dd177059d8f27c9235d85ccdb4a4b185c347e9de1a37b766c17b7c65cdc

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.667049Z digest=sha256:86efadb28df6450d3409da770f490ae0b4b22a542a3d5a1f94536b8e46d0c92d

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.709732Z digest=sha256:091cbd4d8be1ca3db005f14727ba4d4c49eaae50b7d06c0b00232c3be109fff0

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.859512Z digest=sha256:226f1b2c6f0101d62e4f3aa36295137c8823f0417f3da28ca48c1870e40d03fe

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.903349Z digest=sha256:9659d76f36f039461b914b60d607d18485ecb7ed604d1b39a575b7eed05c52b4

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:39.978998Z digest=sha256:4ce64f9d7d794ac55314be50adc63218c46fe092ebd4e703910073e256fb8803

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:40.143073Z digest=sha256:900b40336df32b284b9c8a6e68fb32968b4e18a5a03858979a3f80c1286c4999

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-20T06:33:59.587034+00:00.

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

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-07T12:16:40.315225Z digest=sha256:5924af0c09f4ea79b5f352d259228d9c58d488c943d428c7a57c8f41f06dec27

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-20T06:33:59.587034+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.