Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:16:40.372301Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
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-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.