{"as_of":"2026-08-11T10:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b2417a2f0d4e85d73f82868313f7ec917e47575e106aa3f1390ec814dbf43015","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:39:44.138487Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2608.06689/citation-record","integrity":"/paper/2608.06689/integrity","json":"/paper/2608.06689/citation-record.json","paper":"/paper/2608.06689"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:39:44.033371Z","title":"Tabuada, Verification and control of hybrid systems: a symbolic approach","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.033371Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:684160c5e6d6c79504175dec6d0c68137580ccc8ad63a91b321c15fa37a29876","observation_id":"46579e8b-835e-4c21-9107-effc753737e2","resolution":{"observed_at":"2026-08-10T22:39:44.033371Z","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-10T22:39:44.438986Z","title":"Belta, B","venue":null,"work_id":"31958191-9bd2-4fc9-ba14-cdadffdfae48","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.036741Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:9ade066a73a3a4d42c68808c818c88e6aec37cc281b68b8a40772b1ec84748bb","observation_id":"35ce784c-4191-4703-90d2-9555277539d7","resolution":{"observed_at":"2026-08-10T22:39:44.441546Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.432185Z","title":"Cassandras and S","venue":null,"work_id":"056e13f7-5d29-4676-9ae4-55e87f785e2d","year":2009},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.039429Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:84fc56d2d36d28da170b6a6f7ea71390d89a74d18601ce0084f0405896a0e989","observation_id":"b4ddb164-8b1e-4dd8-a1e1-8266bb9e6b1f","resolution":{"observed_at":"2026-08-10T22:39:44.434677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.425270Z","title":"Synthe- sis of reactive (1) designs,","venue":null,"work_id":"2a076e9d-45a5-4999-ad63-fb4503a72a2c","year":2012},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.043022Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:b58b6834a6bd091531e65ac109f975eb90042a0e6362e67165d81749ec64a79d","observation_id":"535fe6a1-5deb-4fde-8210-ffd9258e471c","resolution":{"observed_at":"2026-08-10T22:39:44.427853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.417931Z","title":"An approximate simulation approach to symbolic control,","venue":null,"work_id":"69b4c658-7c84-4f12-bb74-0c95dcd69380","year":2008},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.046414Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:4da815e5dbb3a933c726adcf564d9560660671256aef0bb12106b7a0fcde84ff","observation_id":"a1d5a326-8e8c-4306-bfcb-f7cf74cfda75","resolution":{"observed_at":"2026-08-10T22:39:44.420662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.410909Z","title":"Symbolic models for nonlinear control systems without stability assumptions,","venue":null,"work_id":"5a312033-ce3a-4466-b73d-e46811d01b27","year":2012},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.049233Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:f12af685106f172399d02081f39944e4a698fcd45e3491c3624cf9d172d8858e","observation_id":"902cd4b7-66fc-435c-b835-33d08e208037","resolution":{"observed_at":"2026-08-10T22:39:44.413838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.403733Z","title":"Compositional abstraction and safety synthesis using overlapping symbolic models,","venue":null,"work_id":"00f6e512-f778-427c-9518-a8f85011c898","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.052658Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:50f8627f2b284d8ccd5a21b53b3cb3735c88182c821ec6e751e3735d01016c5d","observation_id":"3227a037-2b01-4f23-bc30-39590438d581","resolution":{"observed_at":"2026-08-10T22:39:44.406594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.396553Z","title":"Efficient finite abstraction of mixed monotone systems,","venue":null,"work_id":"e22f9dbf-fed2-4aba-9b11-efffb594b175","year":2015},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.055138Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:1dc5d2a15979d91746ede2a7d2e9f78edb761eaadac507fc51f9308e9a67da18","observation_id":"f97fb0a9-5615-49a9-a63d-0e09f0a3dc54","resolution":{"observed_at":"2026-08-10T22:39:44.399380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.389208Z","title":"Reactive controllers for differentially flat systems with temporal logic constraints,","venue":null,"work_id":"b786c604-b548-46dd-9db0-e0bc613255c2","year":2012},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.057665Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:edf355d50fd33a18575a9536c9a78597d0c643bef05848b6b404f1f3ac615d63","observation_id":"41e2713c-cdd8-4610-9dd9-4c5ce286aecb","resolution":{"observed_at":"2026-08-10T22:39:44.392242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.381889Z","title":"Symbolic models for a class of impulsive systems,","venue":null,"work_id":"67c67dfc-b4fa-4ee1-97e9-561209be60df","year":2020},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.060153Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:1a3f71aaefb28474cadecf1eb6f304ca17a4a05b5dd947a5b704ba09334da1aa","observation_id":"7adc0d2f-8d7c-4c7b-b52a-9c1a6c52e88e","resolution":{"observed_at":"2026-08-10T22:39:44.384644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.374434Z","title":"Symbolic control of hybrid systems from signal temporal logic specifications,","venue":null,"work_id":"b7869e02-143a-4894-bcd5-97ae40a7c5b9","year":2021},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.062792Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:59486253542a5cc4c6991fd19d1b67d62ae1d678237c8638570031835c72aaec","observation_id":"8e674f8f-8daa-4e83-a5d1-331a306bbcc4","resolution":{"observed_at":"2026-08-10T22:39:44.377220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.366295Z","title":"Symbolic abstrac- tions of networked control systems,","venue":null,"work_id":"0399023d-710a-4edd-8692-a98f461d860d","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.065328Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:7e312fb9933c53ce549eedb6eba870134534a3435eb8cf592b85b8fd2526544a","observation_id":"34893977-4886-4867-8e79-65fe6c6da6b2","resolution":{"observed_at":"2026-08-10T22:39:44.369565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.358287Z","title":"Approximately bisimilar symbolic models for nonlinear control systems,","venue":null,"work_id":"ca2444e2-91fb-4c98-b196-44bb4ed6a663","year":2008},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.067854Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:34008ebe91dcf7ffdca39ae6d05cec5bf1e10db3a49a8458931817a84b453831","observation_id":"3a29750f-58bf-4407-83ee-525ed2064814","resolution":{"observed_at":"2026-08-10T22:39:44.361277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.350710Z","title":"Approximately bisimilar symbolic models for incrementally stable switched systems,","venue":null,"work_id":"9ccccdaa-123a-4ae8-b1a3-2d5b900dd6dd","year":2010},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.070303Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:98fb9351591daf530675390bcf27ebe9da8059d0e4d36cd437388872e7ac5f4e","observation_id":"6f079a53-5436-42a4-8522-e9eefb330520","resolution":{"observed_at":"2026-08-10T22:39:44.353558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.343190Z","title":"Symbolic models for nonlinear time-delay systems using approximate bisimulations,","venue":null,"work_id":"09d636b1-f681-42f1-9fc8-b97bb6e51f00","year":2010},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.072758Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:08940cff11cd4a446b2a100d4430d2357f3166257554bb673dd5cbf2937dc319","observation_id":"d70308c5-9fae-4988-be2d-e8b45a5e028e","resolution":{"observed_at":"2026-08-10T22:39:44.346042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.335570Z","title":"Symbolic control of stochastic systems via approximately bisimilar finite abstractions,","venue":null,"work_id":"c75682b9-9094-458a-b0ee-f658dafaef06","year":2014},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.075244Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:41925891cab1051a3093c9c6c9002a083737cac5f842fee2789b632409838917","observation_id":"1d2e482d-d129-4fd5-aaec-99cf9eaa50f8","resolution":{"observed_at":"2026-08-10T22:39:44.338494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.328229Z","title":"A Lyapunov approach to incremental stability properties,","venue":null,"work_id":"f19880c7-ec2d-46cd-8d03-edda10d6c917","year":2002},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.077611Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:a64d06b933192b3b1a71aa715f9b7d662cfd938d088d508d09924158521bb04c","observation_id":"98478868-e2a5-4ff1-8909-a7610717e3af","resolution":{"observed_at":"2026-08-10T22:39:44.330953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.080269Z","title":"Learning-based symbolic abstractions for nonlinear control systems,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.080269Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:83007323540404105a5c9dd3875179de8cdf8cd9758b148af4404a93bc0eacc0","observation_id":"45ceb1f3-63cd-4b03-846d-dc522b030ea7","resolution":{"observed_at":"2026-08-10T22:39:44.080269Z","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-10T22:39:44.316601Z","title":"Symbolic abstractions from data: A PAC learning approach,","venue":null,"work_id":"bf0ef72f-6dd1-4d45-8253-5338a3c1baa7","year":2021},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.083075Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:ddfca2bf24c2485cd4e42f9dfbd3adb5b9bdf77b9a91f6ed9c8671b3416736d2","observation_id":"9a2ece04-b67c-49f9-b545-dd835b8e07ae","resolution":{"observed_at":"2026-08-10T22:39:44.319385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.309561Z","title":"Formal controller synthesis for continuous-space mdps via model-free reinforce- ment learning,","venue":null,"work_id":"b4b873ca-85ad-4055-a5cb-c12ada1e4308","year":2020},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.085644Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:a70848775a379af6b54dedc91713975ad3877d3e5c794624f3ca2fc1446dbaf4","observation_id":"fb620925-c0db-4aee-8d18-d2fe4b6b4f6e","resolution":{"observed_at":"2026-08-10T22:39:44.312335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.302804Z","title":"Robust control for dynamical systems with non-gaussian noise via formal abstractions,","venue":null,"work_id":"9b9e53d5-6b35-4bdb-99a3-1082119843b9","year":2023},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.088377Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:273af5a440ecdb6667cf1c0d5a432486486eba83be7c33f3d6db87b3f039217a","observation_id":"aecd25f7-80c6-42a3-bde8-4e50ba3953d8","resolution":{"observed_at":"2026-08-10T22:39:44.305430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.295730Z","title":"Data-driven models of mono- tone systems,","venue":null,"work_id":"a862791d-6c46-4d2e-b69a-e651783e3a90","year":2023},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.090877Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:923026be2817ea71b169ca996cdcf4c97f21bb8c2ddcb632e392dd09acd410b5","observation_id":"73352415-d71a-4cc4-960b-20177797a382","resolution":{"observed_at":"2026-08-10T22:39:44.298633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.288951Z","title":"Principles of model checking,","venue":null,"work_id":"75516a94-407b-44b4-9e66-88d27aac9c62","year":2008},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.093460Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:db40467747201b9909666c1c382978a32774d03a3d032a583c8869340a947661","observation_id":"5888d624-46d2-4e17-9b46-722ab8a526e0","resolution":{"observed_at":"2026-08-10T22:39:44.291459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.281923Z","title":"Robust abstractions for control synthesis: Completeness via robustness for linear-time properties,","venue":null,"work_id":"60b740e3-c035-4448-8adc-e6e3816d616b","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.096196Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:c8e33c6f938aa6eb2c6cd2e49e7c3ecbf6789018a649ac406a1207bf27b8d451","observation_id":"92907638-295b-4c42-96b3-a6900b87190d","resolution":{"observed_at":"2026-08-10T22:39:44.284766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.274316Z","title":"Symbolic control design for monotone systems with directed specifications,","venue":null,"work_id":"604301ee-87f5-4806-aeb9-2e080e3bdd1a","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.098833Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:fe477a820c95b808770689f972c4e4431a8b337134aaab4af5c54e3ac4c23e95","observation_id":"0e96fb35-b4a1-4c82-b4b8-03dfd05ffc80","resolution":{"observed_at":"2026-08-10T22:39:44.277223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.267082Z","title":"Directed specifications and assumption mining for monotone dynamical systems,","venue":null,"work_id":"30235247-414f-4e3a-8176-6baa9ba4924f","year":2016},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.101415Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:eb129a2e67dd68ec854b04a30ecd576bd97006884781177145fdbd56777d5313","observation_id":"9201a8dc-a46a-48cd-bdc9-91312a4c0a86","resolution":{"observed_at":"2026-08-10T22:39:44.269910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.259883Z","title":null,"venue":null,"work_id":"096b6db7-5fcb-4581-a123-ddc6a5ebe518","year":2008},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.104786Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:2a8297e079411d57fc2c8b6fc895778149a7edddc04c4e37530433e3dbd56e16","observation_id":"5971f476-75a5-4042-b2a3-ffc7ddc4743d","resolution":{"observed_at":"2026-08-10T22:39:44.262572Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.251874Z","title":"Monotone control systems,","venue":null,"work_id":"fdc296ef-d866-4cb1-b06b-9af1437d875f","year":2003},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.107911Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:a5266937ba92234513a0a780cc7a586096b0497b5e03052e755597b4467d344c","observation_id":"43146e1d-6210-49e3-a808-875cdbd6b9f6","resolution":{"observed_at":"2026-08-10T22:39:44.254457Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.244597Z","title":"Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models,","venue":null,"work_id":"0d7a77a2-4a06-4414-b780-91b6c03b35cc","year":2017},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.110620Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:3b8c5eb190fb9464453b111aeb1894ce51c113b73a8a9fbbf1904551fa4a9f94","observation_id":"98a2ed2a-bf25-40d0-aea7-947a5c4b5657","resolution":{"observed_at":"2026-08-10T22:39:44.247503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.237133Z","title":"Decentralized monotonicity-based voltage control of dc microgrids with zip loads,","venue":null,"work_id":"ccc6c32a-d39b-4d99-823d-ffad4807cea3","year":2019},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.113187Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:39c1f59134704edb4b1edbcd90408e6bd10f6c8cffc4665aa64bb560e8868517","observation_id":"0133bc26-63b5-48ec-a065-cf431e3cac19","resolution":{"observed_at":"2026-08-10T22:39:44.240019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.229592Z","title":"Graph-theoretic characteri- zations of monotonicity of chemical networks in reaction coordinates,","venue":null,"work_id":"a5350a3e-5614-4479-899e-fa237603843d","year":2010},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.115646Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:2bd77108c893c10007ff52ce361ccb6b15d383d96796d0846ee722bd4fe70341","observation_id":"598f5673-051a-4c40-8547-ac29d6c48f91","resolution":{"observed_at":"2026-08-10T22:39:44.232575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.222072Z","title":"Algorithmic and complexity results for decompositions of biological networks into monotone subsystems,","venue":null,"work_id":"380c8172-a838-4277-8df8-b797610d633a","year":2007},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.118287Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:4a0bd9a7c675d85170d159dfbfeaf4fc3a15f21040403c9e2a6ff73fd43e1957","observation_id":"4c975a56-1d70-4a67-8aed-d2575d0340f8","resolution":{"observed_at":"2026-08-10T22:39:44.225031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.214500Z","title":"Approximation metrics for discrete and continuous systems,","venue":null,"work_id":"1da13b88-7103-4ee6-8177-e022a3bc1fe2","year":2007},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.120831Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:165f375f683e77e462209a38516b2164b170c329e0f74fb855643ca6adaf0548","observation_id":"7a9bb1d1-9be3-47cb-8980-6b0a826f43d6","resolution":{"observed_at":"2026-08-10T22:39:44.217419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.206900Z","title":"Multi-layered abstraction-based controller synthesis for continuous-time systems,","venue":null,"work_id":"26795467-962b-4a99-a433-095249e096b6","year":2018},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.123320Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:faf41502a89aaf7ac20be7e8425845ea738530fb1d6869b3d7dd8dd1f8d40ad8","observation_id":"a3be3a5c-a1b2-450c-bf52-f4180bf729ce","resolution":{"observed_at":"2026-08-10T22:39:44.209833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.199036Z","title":"ε-approximation of differential inclusions,","venue":null,"work_id":"858d8f83-30be-40ca-b7cf-36d0f326eca6","year":1995},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.125609Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:ae64114cf334590c8efd9427b0fd173aa8908112ef2519da8a33095ab483940f","observation_id":"6e52f80c-3fb1-4bc6-909f-9e116fab44e0","resolution":{"observed_at":"2026-08-10T22:39:44.201984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.190733Z","title":"Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled- data systems,","venue":null,"work_id":"8c13da71-eeaa-461b-90b5-a663981e1050","year":2020},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.128242Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:956efcae773f0faf115f2886695406b55361715f12a5b46398ba8f4373d73d8e","observation_id":"cfed6d2e-49e8-4a32-9e83-00a62f1f7a68","resolution":{"observed_at":"2026-08-10T22:39:44.193758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.182623Z","title":"Lazy controller synthesis for monotone transition systems and directed safety specifications,","venue":null,"work_id":"50324996-20bc-4b7f-8945-3c79108b2dd9","year":2022},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.130832Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:353cf8fb3f4413793cc7016dc4c39cbf79a3fba639e4e158294de9460ff172de","observation_id":"580ea448-f218-4bbd-8f0a-7c47627ccb28","resolution":{"observed_at":"2026-08-10T22:39:44.185743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.174102Z","title":"Data-driven reachable set computation us- ing adaptive Gaussian process classification and Monte Carlo methods,","venue":null,"work_id":"d2fbdce4-9722-487a-a687-d6a627c1b61f","year":2020},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.133355Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:f6635b57220b06e9db71e386ce472f00a04f2a1029af217d471350b13407d11f","observation_id":"fac2a983-49fe-4759-9586-48a17a0c5df6","resolution":{"observed_at":"2026-08-10T22:39:44.177793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.166464Z","title":"Saoud, Compositional and Efficient Controller Synthesis for Cyber- Physical Systems","venue":null,"work_id":"b3ea603f-f6af-48d1-9ac2-21b13e78d2ec","year":2019},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.135945Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:b24b4a34732f08482494655e788520a9421cb4ff8890b9a7712ae67743e65a60","observation_id":"26372d9b-7bc8-468e-bfd6-eed15d699ff9","resolution":{"observed_at":"2026-08-10T22:39:44.169277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T22:39:44.156091Z","title":"Assume-guarantee contracts for continuous-time systems,","venue":null,"work_id":"936afbeb-3372-40d2-8c55-637137c94f67","year":2021},"citing_paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T22:39:44.138487Z"},"links":{"citing_paper":"/paper/2608.06689"},"observation_digest":"sha256:8fba6d03713091f6b543c57bc6b73d95ee4a63fb534088a1d0f1d01cfbc2ec45","observation_id":"192a12b2-4039-4b3e-9779-fc279eb7c7d6","resolution":{"observed_at":"2026-08-10T22:39:44.161206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.06689","last_updated":"2026-08-07T01:26:00Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-11T10:10:18.076205Z","submitted_at":"2026-08-07T01:26:00Z","title":"Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":37},"total_outbound_references":40},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2608.06689."}