{"as_of":"2026-08-08T02:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:df91fe427f11fe3fd993826af1850d9336dd0b7643927d6e7dc4b7b6a0dbca92","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:16:40.372301Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.00251/citation-record","integrity":"/paper/2506.00251/integrity","json":"/paper/2506.00251/citation-record.json","paper":"/paper/2506.00251"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:44.722886Z","title":null,"venue":null,"work_id":"5ab16983-647d-4e27-acf8-6bc162f55d89","year":2014},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.441789Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:f28dc01c375b4592a8dfc3d7a0f378a445d7dd5c4279a6bd16854f621b58206f","observation_id":"11bbab52-4643-474d-ba8a-33ecb53423a6","resolution":{"observed_at":"2026-08-07T12:16:44.836927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:44.468629Z","title":null,"venue":null,"work_id":"b75a7e1c-5340-4be4-9825-c8be00c9aba0","year":2015},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.492667Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:f3b9e41f4dbe41756186ded47326c07a8712c4459204b23a639986c17cb9998f","observation_id":"f75caaf6-ef03-4652-9dad-50748656bc94","resolution":{"observed_at":"2026-08-07T12:16:44.572431Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:44.263095Z","title":null,"venue":null,"work_id":"14b165bc-e78f-4019-ae66-060e0af5b661","year":1994},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.582828Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:4798d1d7faf21a2c578486ea80878a62c54264c2bf99b6998afa716cd23fd947","observation_id":"436288b9-7d07-4972-9a6e-a34201b6780f","resolution":{"observed_at":"2026-08-07T12:16:44.354843Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:43.956747Z","title":null,"venue":null,"work_id":"a08ef2c9-771d-40e3-b55a-f975e02e99dd","year":2008},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.682677Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:5806a80be7480694de2ab8c24669fde0b342990c7d442b6b1ab84a4548f75b20","observation_id":"1b2b065e-2eb0-475d-aa6d-617daa80458d","resolution":{"observed_at":"2026-08-07T12:16:44.099932Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:43.719476Z","title":null,"venue":null,"work_id":"3ac1b5d6-83fd-4d4e-ac64-c9468170005d","year":2020},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.779619Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:07230d75731d2aaea7670d7475c63ddd88d752a10207eb46836f62e741fd0e8a","observation_id":"9ec1dcfa-e003-43ab-8889-439688c94408","resolution":{"observed_at":"2026-08-07T12:16:43.839931Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.80582","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:40.832421Z","title":"Benveniste, P","venue":null,"work_id":"b2cfa471-fa70-4f63-b5df-208b373273e8","year":2003},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.828860Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:e29cd3929b581be1442d8063fac70cca2423ae0537ddc82132b5a2f22f98113c","observation_id":"03f6f4de-edb3-460a-80dd-9dc0ee6a0f9f","resolution":{"observed_at":"2026-08-07T12:16:40.888661Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:43.470927Z","title":null,"venue":null,"work_id":"dbc8c9d2-2e1c-40a8-91df-7f8953481c29","year":2014},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:38.955363Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:fdde0207128d0b4d4bb71ceb31912892495203d404d13caf31a4c574219000af","observation_id":"b6d58f4d-a458-4355-86ee-49bd44b6178b","resolution":{"observed_at":"2026-08-07T12:16:43.592940Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:43.208601Z","title":null,"venue":null,"work_id":"4a5ab822-b860-4d08-847b-97be5aef1cae","year":2013},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.058720Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:8dde1ad5aab1b57c865e0876d57f39a4d225c3e67dfc47010d2912bdd1f1172d","observation_id":"0d5e415f-10b0-4b6f-97b6-180916a8cf68","resolution":{"observed_at":"2026-08-07T12:16:43.334437Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:43.000838Z","title":null,"venue":null,"work_id":"17f3e633-9b86-4da3-9b2f-0c47a2919265","year":2019},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.157259Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:145a5cfef1d7cfa197d6011f48393377985b0c3896c2028c015583486499a1b4","observation_id":"2364623d-ee6f-4bcc-96a1-9c61213cd780","resolution":{"observed_at":"2026-08-07T12:16:43.089771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.702159Z","title":null,"venue":null,"work_id":"90d0a67e-026f-47ce-a706-b8e0e09128b1","year":2013},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.184882Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:7eff3e5920b7ae3a32eb356fc6f8fdec2fa9bf95c4e310176ccb60aa0b1358f9","observation_id":"60e99c98-ebf3-4fcc-8c0d-3bd496631c11","resolution":{"observed_at":"2026-08-07T12:16:42.834897Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.563670Z","title":null,"venue":null,"work_id":"b7639477-928d-4e8e-ab48-e390c03443a0","year":2012},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.233776Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:b953a6805ef0a251a3469f9553a95f26f1a25fd1181d9bf3a052ea615d2fee03","observation_id":"a1c5a234-d423-41d2-81e0-c4d0670d4884","resolution":{"observed_at":"2026-08-07T12:16:42.582077Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.507645Z","title":null,"venue":null,"work_id":"21d6ce3c-b1dd-453a-afc2-58b88ab8d260","year":2001},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.309509Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:950e8ad2f027b89d1c633f7f8294568465395df7379daf077e419c8bca0b91df","observation_id":"f6048465-258b-4da5-b901-bd56f2f27512","resolution":{"observed_at":"2026-08-07T12:16:42.556150Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.374693Z","title":null,"venue":null,"work_id":"c55e790d-f1a0-4f80-86d1-362d2229bd32","year":2014},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.382335Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:3f031521fe7f84a2c3ba9484e3b7a559d35cca6f1105d1940681abadf19d58aa","observation_id":"4b2c6010-825d-403f-909e-bc0518b04a3a","resolution":{"observed_at":"2026-08-07T12:16:42.436263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:39.437215Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.437215Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:8a9d24e49f1c254ec8f4a663edcdbc83d7947eaef83021170ae48af6cafb4194","observation_id":"6f89b6fb-01ea-4433-aad5-e736ff10ccce","resolution":{"observed_at":"2026-08-07T12:16:39.437215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.268989Z","title":null,"venue":null,"work_id":"a22d8edd-ddbd-4b5f-91cc-8ec4c03fbe30","year":2013},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.496904Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:8123fa58d5ff27f847b3978569f30852540434cdd6a0f0ace2ffd3220b9c774d","observation_id":"c821843c-5f2d-4ab4-b1b4-ba2f02e58ad4","resolution":{"observed_at":"2026-08-07T12:16:42.316771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.161069Z","title":null,"venue":null,"work_id":"dbf88c10-06e5-4e0f-a572-75bd470af73c","year":2004},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.577996Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:d3f1f4b10816dfa0ccdbd98524c3a6ec26e708215919b8442fa4c1138a6c3dee","observation_id":"e5c70aa6-b949-48e2-bdaa-3a9439ab9651","resolution":{"observed_at":"2026-08-07T12:16:42.192926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:42.038641Z","title":null,"venue":null,"work_id":"e2cf7343-3184-426b-a3f2-63344da91e20","year":2020},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.667049Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:8784f80f5d10f82296f7040d7500cc20c254079c4d0302f72f8ef657ac839887","observation_id":"9f551eaf-cb13-4b1f-9924-b7441e3d922b","resolution":{"observed_at":"2026-08-07T12:16:42.098150Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.936687Z","title":null,"venue":null,"work_id":"cdb63c50-4183-4a03-aac0-371529b59da4","year":2017},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.709732Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:95ad316d13c9a7a70637578081de0f42c7bcf4ceee6c1425a1b490487e8d7918","observation_id":"2ef35ab5-a655-4b9d-896f-22aeed31927e","resolution":{"observed_at":"2026-08-07T12:16:41.987050Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.803811Z","title":null,"venue":null,"work_id":"35a01f11-2cb1-4bd6-b19b-4bd1e7b7ae6f","year":1996},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.771354Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:bc8103d325ebe067113054600d1321afbca6de03793b5c44902248372b02ef0f","observation_id":"67c3e0c4-07c1-4d16-a3fc-7705496adb16","resolution":{"observed_at":"2026-08-07T12:16:41.839194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.686634Z","title":null,"venue":null,"work_id":"21f47f2f-73cf-427f-8ab5-63a47901967b","year":1977},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.859512Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:172f00d110f860df135411fee382e448f54bb1f1f854e1f327bfef72435f0a90","observation_id":"d40ea2c0-7b89-4181-b2bb-6ea6975af949","resolution":{"observed_at":"2026-08-07T12:16:41.762740Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.595311Z","title":null,"venue":null,"work_id":"b6f89676-411a-4497-ba0b-9ef28c947bdd","year":2005},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.903349Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:4b3728fa9f2af254f6a003114791b96a03b7eb016203182eb16e6164bc1b7df5","observation_id":"2d28441d-a76d-4175-99dd-c44cd83d7f36","resolution":{"observed_at":"2026-08-07T12:16:41.631589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.471988Z","title":null,"venue":null,"work_id":"9bc84371-8065-4f78-9db1-8b0c8d9d368a","year":2019},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:39.978998Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:0107df0e6c759cd432cd4e38c37f5661cee33fd5d808b3276dc357cf46263390","observation_id":"b4bc2a00-bc8f-4342-805b-a25107747d5a","resolution":{"observed_at":"2026-08-07T12:16:41.507394Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.367069Z","title":null,"venue":null,"work_id":"34e4fae7-f3ec-461e-9fd0-c2cacf99e184","year":2016},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:40.049736Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:d6296725a72802d4eb850afc5d95db734dfd376793ba76331e79d64546502f40","observation_id":"05d718fa-4195-4cde-8f75-be90a8288a84","resolution":{"observed_at":"2026-08-07T12:16:41.425336Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.252737Z","title":null,"venue":null,"work_id":"e16d1b29-f079-4774-9b78-e8fd6fa6751a","year":2019},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:40.143073Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:8f302036655b18d5f96e73258555de66baf326fd067d8d25fafc575123784c89","observation_id":"01875285-e351-43fb-a6c7-762279c7819e","resolution":{"observed_at":"2026-08-07T12:16:41.314381Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.11584","last_updated":"2025-02-17T09:16:58Z","snapshot_observed_at":"2026-08-07T18:13:15.077626Z","submitted_at":"2025-02-17T09:16:58Z","title":"Runtime Enforcement of CPS against Signal Temporal Logic","version":1},"cited_work":{"arxiv_id":"2502.11584","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.11584","snapshot_observed_at":"2026-08-07T12:16:40.478243Z","title":"Runtime Enforcement of CPS against Signal Temporal Logic","venue":"eess.SY","work_id":"cdfb938b-681e-4dbd-9361-c88fbe116f72","year":2025},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:40.228496Z"},"links":{"cited_paper":"/paper/2502.11584","citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:c5f367cf489758fc9f9ee7127432ee23b7980b287b0e0a2bb938e23974570948","observation_id":"e0f4f93a-28bc-4dcf-bdbe-bf092cbf5ca6","resolution":{"observed_at":"2026-08-07T12:16:40.534456Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:41.116362Z","title":null,"venue":null,"work_id":"bca73450-c9c9-4f4d-9db0-b1728ca5f84e","year":2009},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:40.315225Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:d751303124014f5122d110c0c8f0c9ad76b51a55f19175a90939dfbf0559d019","observation_id":"49e6583a-ffa8-4551-978d-1a132386b641","resolution":{"observed_at":"2026-08-07T12:16:41.173227Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:16:40.988692Z","title":null,"venue":null,"work_id":"29f9c172-84f0-4fc8-ae56-943bb22a6808","year":2008},"citing_paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T12:16:40.372301Z"},"links":{"citing_paper":"/paper/2506.00251"},"observation_digest":"sha256:c84f3d27d487f623f8253912de7de83377b008a680d29c4e37e4f50535c50d69","observation_id":"67f6f878-d959-44bb-825a-345a30f6eed0","resolution":{"observed_at":"2026-08-07T12:16:41.024806Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.00251","last_updated":"2025-05-30T21:40:44Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-07T12:07:00.866938Z","submitted_at":"2025-05-30T21:40:44Z","title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":25,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}