{"as_of":"2026-08-16T22:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d335167ccdfaffa7d755d28b383845c6ecb9b6bd536832aff68b1b3f71686d1f","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:11:32.824297Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.04750/citation-record","integrity":"/paper/1908.04750/integrity","json":"/paper/1908.04750/citation-record.json","paper":"/paper/1908.04750"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:11:32.731474Z","title":"An introduction to event-triggered and self-triggered control,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.731474Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:816f90ef40f058df4225a5792309630cb7ce5f20cdb7bc1946d0f47c81583f92","observation_id":"51e5b3a5-6a61-406f-b844-54bad5886c69","resolution":{"observed_at":"2026-08-14T14:11:32.731474Z","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-14T14:11:33.086046Z","title":"A survey of event-based strate- gies on control and estimation,","venue":null,"work_id":"b010ec38-f684-4f08-b35c-43f1a1af50d2","year":2014},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.737653Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:fd9ac06f038d12fa727a227a0f8f5b03d8436b71815df6a02f491f7bd4bb3863","observation_id":"c00f14c6-a562-456a-9cbc-9d2faf583b64","resolution":{"observed_at":"2026-08-14T14:11:33.090677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.741885Z","title":"A survey on recent advances in event-triggered communication and control,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.741885Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:5795e9ca7f2219e7a939c883e87746b2eb926fcb7a5fe9a1f5105e43940fc0be","observation_id":"15fa3fbd-afcd-434e-98f2-176aa1347202","resolution":{"observed_at":"2026-08-14T14:11:32.741885Z","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-14T14:11:33.062470Z","title":"Self-triggered control for sampled-data systems using reachability analysis,","venue":null,"work_id":"1ddeeb9b-057b-4d8c-914c-22ba7b8d95ce","year":2017},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.746260Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:1cc32e7a57f733e28068dc6c09826f71646e88a02e5c46c2baa087ec5bc52fa9","observation_id":"e9c6c55d-d61a-4211-83c0-f4c1c652f4fe","resolution":{"observed_at":"2026-08-14T14:11:33.067000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:33.048656Z","title":"Event-triggered algorithms for continuous- time systems based on reachability analysis,","venue":null,"work_id":"161aad01-37df-4b54-932b-5da452009774","year":2013},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.750374Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:d6f956b8862525ac443ec230a9ba5a5988d7edb25c221bed6bd586ec528d0248","observation_id":"2d682b5d-3515-4163-93d5-4ed05a964448","resolution":{"observed_at":"2026-08-14T14:11:33.052926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:33.034778Z","title":"Aperiodic sampled- data control via explicit transmission mapping: a set-invariance ap- proach,","venue":null,"work_id":"18498388-7a99-4e0b-bf27-b7d1bf3c109a","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.754932Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:5dde9c745c5df96adc3a96fa3347a6ba499413998dfc18ee99fd035a37b42f6c","observation_id":"858634a4-447b-4bde-8da7-8ed897c97705","resolution":{"observed_at":"2026-08-14T14:11:33.039799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:33.021151Z","title":"Self-triggered control for constrained systems: a contractive set-based approach,","venue":null,"work_id":"5185e42f-dc5f-47f8-92cc-7f8cb6ee6722","year":2017},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.759283Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:9e5b96bb646b9dc962c97841fd74269b51afc4cc6ed2b0d9ac48e28ac5ce1f93","observation_id":"dfc1b3e9-2743-4513-839b-838ccfd9ee9d","resolution":{"observed_at":"2026-08-14T14:11:33.025999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:33.007961Z","title":"Event-triggered and self- triggered control for linear systems based on reachable sets,","venue":null,"work_id":"dc972bad-0fc8-439b-8554-bea0779c4e4b","year":2019},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.763494Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:f28e2f39643109e4cc0482df56b5ef15a6da8679e0b5eb1cc4816f973892fae2","observation_id":"bcdb62d7-5d89-4ea4-9737-f2cc78c68500","resolution":{"observed_at":"2026-08-14T14:11:33.012418Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.995549Z","title":"Synthesizing communication plans for reachability and safety specifications,","venue":null,"work_id":"9d8d34c1-27db-418a-b477-7f388b9a5358","year":null},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.767526Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:8fc7f36f86be4818f1fba947d66df3fd675b14d017ad4b1bb4c10fe47a2fcf01","observation_id":"7e1588f5-7ab2-4db5-8300-4f171f00cb66","resolution":{"observed_at":"2026-08-14T14:11:32.999858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.982451Z","title":"Tabuada, Verification and Control of Hybrid Systems – A Symbolic Approach, Springer, 2009","venue":null,"work_id":"747b9273-bd6c-4e2d-8fb9-21c920a95397","year":2009},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.774655Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:2e6522cb39a4b7bc77adb38193c03f9d38d4cf4c147c3c29e34b6129087f685e","observation_id":"91d660e7-6e9c-41d4-879b-cfe93cf6e127","resolution":{"observed_at":"2026-08-14T14:11:32.986734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.969099Z","title":"Symbolic models for incrementally stable switched systems with aperiodic time sampling,","venue":null,"work_id":"cc0c72a4-73c4-43aa-9b20-613230591125","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.778908Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:5ff34cb364222a08b5cdf0fbddf3f8bc3000edaa4696cc43c91f381e3386789e","observation_id":"6fb42fac-02ec-4c44-b7d1-8ce2ef92c8e0","resolution":{"observed_at":"2026-08-14T14:11:32.974295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.956686Z","title":"A formal traffic characterization of LTI event-triggered control systems,","venue":null,"work_id":"44566e4d-19e3-4620-a949-402bd845ad41","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.785647Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:9dc3b04ba6b421cd1070600946336c925df5eba561cc757f2f59dbd16035dcec","observation_id":"1a259846-a8d4-4f15-b4d8-18396c43d9ef","resolution":{"observed_at":"2026-08-14T14:11:32.960837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.791436Z","title":"Approximately bisimilar symbolic models for nonlinear control systems,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.791436Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:af89b24f471813825b7c600b49553861514bf39dd200c2b13f18ae8414c50650","observation_id":"d102f374-419f-40cd-8ed2-adb96e605ea9","resolution":{"observed_at":"2026-08-14T14:11:32.791436Z","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-14T14:11:32.935429Z","title":"Optimal multirate sampling in symbolic models for incrementally stable switched systems,","venue":null,"work_id":"e72cc0fa-1176-4134-903d-16417df47f45","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.796987Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:7e61eae5086cbbe9ddc117e6f163ebd8ab5d4fa71663e850ffe1a0f46725cf12","observation_id":"dbb4be26-b9dc-47bc-9496-511a58eb518a","resolution":{"observed_at":"2026-08-14T14:11:32.940073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.921594Z","title":"Symbolic models for nonlinear control systems without stability assumptions,","venue":null,"work_id":"c9e3e02e-63eb-4cc5-a4cc-fa0ac410e37b","year":2012},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.801892Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:42ae55709b4bb06aa21ed78265deadea0397876859f6e5f03eeb98318cf4fb46","observation_id":"44f264de-692b-4481-b0dd-ced0364a2d84","resolution":{"observed_at":"2026-08-14T14:11:32.926569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.907649Z","title":"Design of symbolic con- trollers for networked control systems,","venue":null,"work_id":"10bcad7b-b3ca-4345-b512-ac1f94527b88","year":2019},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.806758Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:914ad52f5b7a894da0c12ee47911e29d4186616cee2bf52b32d8e9d6851e3a64","observation_id":"4f29beeb-7409-47fc-b0d8-99e370c44098","resolution":{"observed_at":"2026-08-14T14:11:32.911896Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.894863Z","title":"Symbolic approximate time-optimal control,","venue":null,"work_id":"f56f540b-0c7a-493d-93c0-e27bd2e4af5d","year":2011},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.811552Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:f663555f6f203f1f0e9d8215c70635d46a68314f7e27ab73a007109f382b9c0a","observation_id":"48a99f39-9258-4f64-a3ca-937953db061c","resolution":{"observed_at":"2026-08-14T14:11:32.899016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.881691Z","title":"Symbolic abstrac- tions of networked control systems,","venue":null,"work_id":"9a2e13bf-472d-4b39-aac4-6cce430fc558","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.815976Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:9e877ffad4534605fea99ce03a0008b4e013a84b0ceaee6b532647c020e91091","observation_id":"b73032cf-6050-4008-a97c-940230f66bfa","resolution":{"observed_at":"2026-08-14T14:11:32.885982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.867481Z","title":"Compositional abstraction-based synthesis for cascade discrete-time control systems,","venue":null,"work_id":"b7ddcc82-9bfb-4748-89f5-0579d3ed5e63","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.820316Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:38c7e73f2cb6e6be4def7ff4b1dfe0268ee904572986160d3fc86a22a97aa088","observation_id":"699383f8-9795-4f3b-bc4b-1fc2f60842af","resolution":{"observed_at":"2026-08-14T14:11:32.872101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:11:32.852615Z","title":"Compositional abstraction and safety synthesis using overlapping symbolic models,","venue":null,"work_id":"d9753b4d-863e-4488-8e99-8bb4f045d415","year":2018},"citing_paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:11:32.824297Z"},"links":{"citing_paper":"/paper/1908.04750"},"observation_digest":"sha256:240a0181f555bb3625d3f811a4e619c4b159d21a9687e50c818caf790cd5387e","observation_id":"eb28b59f-4019-424f-b04b-404b0ed9a60e","resolution":{"observed_at":"2026-08-14T14:11:32.858756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04750","last_updated":"2019-08-10T14:11:48Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-16T11:43:18.037469Z","submitted_at":"2019-08-10T14:11:48Z","title":"A symbolic approach to the self-triggered design for networked control systems"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":17},"total_outbound_references":20},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:1908.04750."}