Paper Citation Record · LEDGER

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.06689 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:39:44.138487Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

40 of 40 outbound references displayed

verified exact0
verified fuzzy37
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 46579e8b-835e-4c21-9107-effc753737e2 · outbound

This paper cites Tabuada, Verification and control of hybrid systems: a symbolic approach.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Tabuada, Verification and control of hybrid systems: a symbolic approach

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T22:39:44.033371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35ce784c-4191-4703-90d2-9555277539d7 · outbound

This paper cites Belta, B.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Belta, B

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.441546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b4ddb164-8b1e-4dd8-a1e1-8266bb9e6b1f · outbound

This paper cites Cassandras and S.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Cassandras and S

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.434677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 535fe6a1-5deb-4fde-8210-ffd9258e471c · outbound

This paper cites Synthe- sis of reactive (1) designs,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Synthe- sis of reactive (1) designs,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.427853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a1d5a326-8e8c-4306-bfcb-f7cf74cfda75 · outbound

This paper cites An approximate simulation approach to symbolic control,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems An approximate simulation approach to symbolic control,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.420662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 902cd4b7-66fc-435c-b835-33d08e208037 · outbound

This paper cites Symbolic models for nonlinear control systems without stability assumptions,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic models for nonlinear control systems without stability assumptions,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.413838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3227a037-2b01-4f23-bc30-39590438d581 · outbound

This paper cites Compositional abstraction and safety synthesis using overlapping symbolic models,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Compositional abstraction and safety synthesis using overlapping symbolic models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.406594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f97fb0a9-5615-49a9-a63d-0e09f0a3dc54 · outbound

This paper cites Efficient finite abstraction of mixed monotone systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Efficient finite abstraction of mixed monotone systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.399380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 41e2713c-cdd8-4610-9dd9-4c5ce286aecb · outbound

This paper cites Reactive controllers for differentially flat systems with temporal logic constraints,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Reactive controllers for differentially flat systems with temporal logic constraints,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.392242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7adc0d2f-8d7c-4c7b-b52a-9c1a6c52e88e · outbound

This paper cites Symbolic models for a class of impulsive systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic models for a class of impulsive systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.384644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8e674f8f-8daa-4e83-a5d1-331a306bbcc4 · outbound

This paper cites Symbolic control of hybrid systems from signal temporal logic specifications,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic control of hybrid systems from signal temporal logic specifications,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.377220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 34893977-4886-4867-8e79-65fe6c6da6b2 · outbound

This paper cites Symbolic abstrac- tions of networked control systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic abstrac- tions of networked control systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.369565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3a29750f-58bf-4407-83ee-525ed2064814 · outbound

This paper cites Approximately bisimilar symbolic models for nonlinear control systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Approximately bisimilar symbolic models for nonlinear control systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.361277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6f079a53-5436-42a4-8522-e9eefb330520 · outbound

This paper cites Approximately bisimilar symbolic models for incrementally stable switched systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Approximately bisimilar symbolic models for incrementally stable switched systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.353558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d70308c5-9fae-4988-be2d-e8b45a5e028e · outbound

This paper cites Symbolic models for nonlinear time-delay systems using approximate bisimulations,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic models for nonlinear time-delay systems using approximate bisimulations,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.346042Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1d2e482d-d129-4fd5-aaec-99cf9eaa50f8 · outbound

This paper cites Symbolic control of stochastic systems via approximately bisimilar finite abstractions,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic control of stochastic systems via approximately bisimilar finite abstractions,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.338494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 98478868-e2a5-4ff1-8909-a7610717e3af · outbound

This paper cites A Lyapunov approach to incremental stability properties,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems A Lyapunov approach to incremental stability properties,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.330953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 45ceb1f3-63cd-4b03-846d-dc522b030ea7 · outbound

This paper cites Learning-based symbolic abstractions for nonlinear control systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Learning-based symbolic abstractions for nonlinear control systems,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T22:39:44.080269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a2ece04-b67c-49f9-b545-dd835b8e07ae · outbound

This paper cites Symbolic abstractions from data: A PAC learning approach,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic abstractions from data: A PAC learning approach,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.319385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fb620925-c0db-4aee-8d18-d2fe4b6b4f6e · outbound

This paper cites Formal controller synthesis for continuous-space mdps via model-free reinforce- ment learning,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Formal controller synthesis for continuous-space mdps via model-free reinforce- ment learning,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.312335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation aecd25f7-80c6-42a3-bde8-4e50ba3953d8 · outbound

This paper cites Robust control for dynamical systems with non-gaussian noise via formal abstractions,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Robust control for dynamical systems with non-gaussian noise via formal abstractions,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.305430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 73352415-d71a-4cc4-960b-20177797a382 · outbound

This paper cites Data-driven models of mono- tone systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Data-driven models of mono- tone systems,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.298633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5888d624-46d2-4e17-9b46-722ab8a526e0 · outbound

This paper cites Principles of model checking,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Principles of model checking,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.291459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 92907638-295b-4c42-96b3-a6900b87190d · outbound

This paper cites Robust abstractions for control synthesis: Completeness via robustness for linear-time properties,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Robust abstractions for control synthesis: Completeness via robustness for linear-time properties,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.284766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0e96fb35-b4a1-4c82-b4b8-03dfd05ffc80 · outbound

This paper cites Symbolic control design for monotone systems with directed specifications,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Symbolic control design for monotone systems with directed specifications,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.277223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9201a8dc-a46a-48cd-bdc9-91312a4c0a86 · outbound

This paper cites Directed specifications and assumption mining for monotone dynamical systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Directed specifications and assumption mining for monotone dynamical systems,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.269910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5971f476-75a5-4042-b2a3-ffc7ddc4743d · outbound

This paper cites an unresolved cited work.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:39:44.262572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 43146e1d-6210-49e3-a808-875cdbd6b9f6 · outbound

This paper cites Monotone control systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Monotone control systems,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.254457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 98a2ed2a-bf25-40d0-aea7-947a5c4b5657 · outbound

This paper cites Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.247503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0133bc26-63b5-48ec-a065-cf431e3cac19 · outbound

This paper cites Decentralized monotonicity-based voltage control of dc microgrids with zip loads,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Decentralized monotonicity-based voltage control of dc microgrids with zip loads,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.240019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 598f5673-051a-4c40-8547-ac29d6c48f91 · outbound

This paper cites Graph-theoretic characteri- zations of monotonicity of chemical networks in reaction coordinates,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Graph-theoretic characteri- zations of monotonicity of chemical networks in reaction coordinates,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.232575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4c975a56-1d70-4a67-8aed-d2575d0340f8 · outbound

This paper cites Algorithmic and complexity results for decompositions of biological networks into monotone subsystems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Algorithmic and complexity results for decompositions of biological networks into monotone subsystems,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.225031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7a9bb1d1-9be3-47cb-8980-6b0a826f43d6 · outbound

This paper cites Approximation metrics for discrete and continuous systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Approximation metrics for discrete and continuous systems,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.217419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a3be3a5c-a1b2-450c-bf52-f4180bf729ce · outbound

This paper cites Multi-layered abstraction-based controller synthesis for continuous-time systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Multi-layered abstraction-based controller synthesis for continuous-time systems,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.209833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6e52f80c-3fb1-4bc6-909f-9e116fab44e0 · outbound

This paper cites ε-approximation of differential inclusions,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems ε-approximation of differential inclusions,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.201984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cfed6d2e-49e8-4a32-9e83-00a62f1f7a68 · outbound

This paper cites Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled- data systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Contract-based design of symbolic controllers for safety in distributed multiperiodic sampled- data systems,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.193758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 580ea448-f218-4bbd-8f0a-7c47627ccb28 · outbound

This paper cites Lazy controller synthesis for monotone transition systems and directed safety specifications,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Lazy controller synthesis for monotone transition systems and directed safety specifications,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.185743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fac2a983-49fe-4759-9586-48a17a0c5df6 · outbound

This paper cites Data-driven reachable set computation us- ing adaptive Gaussian process classification and Monte Carlo methods,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Data-driven reachable set computation us- ing adaptive Gaussian process classification and Monte Carlo methods,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.177793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 26372d9b-7bc8-468e-bfd6-eed15d699ff9 · outbound

This paper cites Saoud, Compositional and Efficient Controller Synthesis for Cyber- Physical Systems.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Saoud, Compositional and Efficient Controller Synthesis for Cyber- Physical Systems

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.169277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 192a12b2-4039-4b3e-9779-fc279eb7c7d6 · outbound

This paper cites Assume-guarantee contracts for continuous-time systems,.

Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems Assume-guarantee contracts for continuous-time systems,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:39:44.161206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.