Paper Citation Record · LEDGER

Comparison of Non-Deterministic Nonlinear Systems

As of 21 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2606.27464.

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

pith.paper-citation-record.v1
2606.27464 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-29T01:15:43.111371Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

47 of 47 outbound references displayed

verified exact1
verified fuzzy0
unresolved46
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5118d4d9-752a-45e4-b0d5-84116e63748e · outbound

This paper cites Milner,Communication and concurrency.

Comparison of Non-Deterministic Nonlinear Systems Milner,Communication and concurrency

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4c48fb7-eecb-4257-836d-e264c28e0f53 · outbound

This paper cites Concurrency and automata on infinite sequences,.

Comparison of Non-Deterministic Nonlinear Systems Concurrency and automata on infinite sequences,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbed2ef0-f5b0-4272-8e21-29cad518b0ea · outbound

This paper cites Algebraic laws for nondetermin- ism and concurrency,.

Comparison of Non-Deterministic Nonlinear Systems Algebraic laws for nondetermin- ism and concurrency,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb4ad799-c112-4ebe-8dcb-0faeee11f0bf · outbound

This paper cites Hierarchically con- sistent control systems,.

Comparison of Non-Deterministic Nonlinear Systems Hierarchically con- sistent control systems,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 653c5db9-ab04-4b85-b9a8-ec57539a3259 · outbound

This paper cites Consistent abstractions of affine control systems,.

Comparison of Non-Deterministic Nonlinear Systems Consistent abstractions of affine control systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b4a85db-0b44-4a42-ba28-058a20c07bfe · outbound

This paper cites Bisimilar linear systems,.

Comparison of Non-Deterministic Nonlinear Systems Bisimilar linear systems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0596e410-12ee-4907-beb7-350ae96a2c6d · outbound

This paper cites Hybrid systems with finite bisimulations,.

Comparison of Non-Deterministic Nonlinear Systems Hybrid systems with finite bisimulations,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 246e0ae7-6683-403a-a9d0-ab10e4162715 · outbound

This paper cites Equivalence of dynamical systems by bisim- ulation,.

Comparison of Non-Deterministic Nonlinear Systems Equivalence of dynamical systems by bisim- ulation,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2d347df-a31e-4624-a643-c263f99a1abb · outbound

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

Comparison of Non-Deterministic Nonlinear Systems Tabuada,Verification and control of hybrid systems: a symbolic approach

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c40eff2f-4599-4ef3-8ff7-944bf6dddda1 · outbound

This paper cites Bisimulation rela- tions for dynamical and control systems,.

Comparison of Non-Deterministic Nonlinear Systems Bisimulation rela- tions for dynamical and control systems,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fabaeaa-c689-445f-9366-a590c58767ab · outbound

This paper cites Approximate bisimulation: A bridge between computer science and control theory,.

Comparison of Non-Deterministic Nonlinear Systems Approximate bisimulation: A bridge between computer science and control theory,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aacf55b8-ec25-492d-bd51-70ee95df62e2 · outbound

This paper cites Bisimulation relations for dynamical, control, and hybrid systems,.

Comparison of Non-Deterministic Nonlinear Systems Bisimulation relations for dynamical, control, and hybrid systems,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7125b716-8341-49cf-9b9d-85c2a5114625 · outbound

This paper cites Simulations and bisim- ulations for analysis of stability with respect to inputs of hybrid systems,.

Comparison of Non-Deterministic Nonlinear Systems Simulations and bisim- ulations for analysis of stability with respect to inputs of hybrid systems,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0071e09-9bce-4794-a7ab-4af69020e5ce · outbound

This paper cites Bisimulations for input-output stability of hybrid systems,.

Comparison of Non-Deterministic Nonlinear Systems Bisimulations for input-output stability of hybrid systems,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8be7a61-a8d1-41b3-a8a4-095a168f1649 · outbound

This paper cites Hierarchical hybrid symbolic robot motion planning and control,.

Comparison of Non-Deterministic Nonlinear Systems Hierarchical hybrid symbolic robot motion planning and control,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8810a735-ddbe-4999-95bd-89a6ad14a80e · outbound

This paper cites Formal connections between template and anchor models via approxi- mate simulation,.

Comparison of Non-Deterministic Nonlinear Systems Formal connections between template and anchor models via approxi- mate simulation,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdf4d297-6e38-4d76-a320-fd851cb16a6f · outbound

This paper cites Control of nondeterministic systems for bisimula- tion equivalence under partial information,.

Comparison of Non-Deterministic Nonlinear Systems Control of nondeterministic systems for bisimula- tion equivalence under partial information,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c47edbf8-4835-45a7-9c53-837182d94596 · outbound

This paper cites Control of nondeterminis- tic discrete-event systems for bisimulation equivalence,.

Comparison of Non-Deterministic Nonlinear Systems Control of nondeterminis- tic discrete-event systems for bisimulation equivalence,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a382901d-83ce-4307-8cb2-83681299e87d · outbound

This paper cites Design and control for implementation of simulation-based assume- guarantee contracts,.

Comparison of Non-Deterministic Nonlinear Systems Design and control for implementation of simulation-based assume- guarantee contracts,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 163ace71-ebdd-41e9-aec2-9c38c5666fc1 · outbound

This paper cites Bisimulation minimization and symbolic model checking,.

Comparison of Non-Deterministic Nonlinear Systems Bisimulation minimization and symbolic model checking,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 725ebd30-5732-4c8a-8dba-726ebb2466a0 · outbound

This paper cites Van der Schaft,L2-gain and passivity techniques in nonlinear control.

Comparison of Non-Deterministic Nonlinear Systems Van der Schaft,L2-gain and passivity techniques in nonlinear control

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 061a8998-99e4-4753-8b2e-7c29e528f7d8 · outbound

This paper cites Zhou and J.

Comparison of Non-Deterministic Nonlinear Systems Zhou and J

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 542d4fc9-4f22-482c-be16-9c978018d026 · outbound

This paper cites Com- parison of nondeterministic stable linear systems by (γ, δ)- similarity,.

Comparison of Non-Deterministic Nonlinear Systems Com- parison of nondeterministic stable linear systems by (γ, δ)- similarity,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c556408-27aa-4802-9d75-ab524cc38500 · outbound

This paper cites Modular verification and design of interconnected linear systems using (γ,δ)-similarity,.

Comparison of Non-Deterministic Nonlinear Systems Modular verification and design of interconnected linear systems using (γ,δ)-similarity,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b35aded1-b551-44e0-83b5-8c2a7eca3405 · outbound

This paper cites Hierarchi- cal controller synthesis using (γ,δ)-similarity,.

Comparison of Non-Deterministic Nonlinear Systems Hierarchi- cal controller synthesis using (γ,δ)-similarity,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d278c155-6c02-43fb-a03b-0f2a3b121e87 · outbound

This paper cites Hierarchi- cal control of non-deterministic linear systems using (γ, δ, ρ)- abstraction,.

Comparison of Non-Deterministic Nonlinear Systems Hierarchi- cal control of non-deterministic linear systems using (γ, δ, ρ)- abstraction,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 219686f1-e950-4d11-8a3a-2d25af9f3fc2 · outbound

This paper cites Online Model Order Reduction of Linear Systems via $(\gamma,\delta)$-Similarity.

Comparison of Non-Deterministic Nonlinear Systems Online Model Order Reduction of Linear Systems via $(\gamma,\delta)$-Similarity

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-07-01T19:06:02.684945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f36a0639-f685-4690-a274-96772ddcb830 · outbound

This paper cites Robust control contraction metrics: A convex approach to nonlinear state-feedbackH ∞ control,.

Comparison of Non-Deterministic Nonlinear Systems Robust control contraction metrics: A convex approach to nonlinear state-feedbackH ∞ control,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bca9b69d-0f96-444d-a225-99c82055697d · outbound

This paper cites Control contraction met- rics: Convex and intrinsic criteria for nonlinear feedback de- sign,.

Comparison of Non-Deterministic Nonlinear Systems Control contraction met- rics: Convex and intrinsic criteria for nonlinear feedback de- sign,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c754378-49af-420a-aff8-d04602d3f217 · outbound

This paper cites Contraction the- ory for nonlinear stability analysis and learning-based control: A tutorial overview,.

Comparison of Non-Deterministic Nonlinear Systems Contraction the- ory for nonlinear stability analysis and learning-based control: A tutorial overview,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9d5c31a-ba05-478c-90cf-36a8f5e5dfc7 · outbound

This paper cites Model hierarchy predictive control of robotic systems,.

Comparison of Non-Deterministic Nonlinear Systems Model hierarchy predictive control of robotic systems,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ffc6bd6-a824-4108-bf02-a4c939b0e8dd · outbound

This paper cites Layered control for cooperative locomotion of two quadrupedal robots: Centralized and distributed approaches,.

Comparison of Non-Deterministic Nonlinear Systems Layered control for cooperative locomotion of two quadrupedal robots: Centralized and distributed approaches,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fd0c076-cbbc-4d49-bf43-30ba0e030c8d · outbound

This paper cites Tube-certified trajectory tracking for nonlinear systems with robust control contraction metrics,.

Comparison of Non-Deterministic Nonlinear Systems Tube-certified trajectory tracking for nonlinear systems with robust control contraction metrics,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7233807-aba9-4125-a86e-d6dbad181d69 · outbound

This paper cites Robust feedback motion planning via contraction theory,.

Comparison of Non-Deterministic Nonlinear Systems Robust feedback motion planning via contraction theory,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2463b33-a83a-427b-81df-ab08c8e41cdf · outbound

This paper cites Chen,Model order reduction for nonlinear systems.

Comparison of Non-Deterministic Nonlinear Systems Chen,Model order reduction for nonlinear systems

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a14b4c4-2057-4c36-a6f0-4c4278181796 · outbound

This paper cites A differential lyapunov framework for contraction analysis,.

Comparison of Non-Deterministic Nonlinear Systems A differential lyapunov framework for contraction analysis,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caf5206b-671f-4f70-8f4f-4b2f587003ab · outbound

This paper cites Perspectives on contractivity in con- trol, optimization, and learning,.

Comparison of Non-Deterministic Nonlinear Systems Perspectives on contractivity in con- trol, optimization, and learning,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96f810aa-58e9-48ee-be0a-c655573e66bc · outbound

This paper cites Convex incremental dissipativity analysis of nonlinear systems,.

Comparison of Non-Deterministic Nonlinear Systems Convex incremental dissipativity analysis of nonlinear systems,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d54e5e23-8ed1-4191-89ca-3199bd77c969 · outbound

This paper cites Controllability, observ- ability and stability of linear systems,.

Comparison of Non-Deterministic Nonlinear Systems Controllability, observ- ability and stability of linear systems,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cf3ab71-ce8d-4745-b5d6-76b25d412ba7 · outbound

This paper cites A theoretical framework for gain scheduling,.

Comparison of Non-Deterministic Nonlinear Systems A theoretical framework for gain scheduling,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29f70c82-fd47-4097-8458-967c1d257532 · outbound

This paper cites Yalmip: A toolbox for modeling and optimization in matlab,.

Comparison of Non-Deterministic Nonlinear Systems Yalmip: A toolbox for modeling and optimization in matlab,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c682c7df-5498-4ab9-8dbe-20c3bc405d02 · outbound

This paper cites Estimating high probabil- ity reachable sets using gaussian processes,.

Comparison of Non-Deterministic Nonlinear Systems Estimating high probabil- ity reachable sets using gaussian processes,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f0bb212-717f-4fc3-8cb4-d49f5de5dc96 · outbound

This paper cites A tutorial on sum of squares techniques for systems analysis,.

Comparison of Non-Deterministic Nonlinear Systems A tutorial on sum of squares techniques for systems analysis,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e4c5cc5-97ba-415f-ae0a-897f105cee00 · outbound

This paper cites Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations,.

Comparison of Non-Deterministic Nonlinear Systems Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 064cfdff-3f7e-4250-8ceb-b5db3d931b2d · outbound

This paper cites Krstic, P.

Comparison of Non-Deterministic Nonlinear Systems Krstic, P

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e46a7c1d-edae-430a-9c51-283c15e0b143 · outbound

This paper cites A theory of post-stall transients in axial compression systems: Part i—development of equations,.

Comparison of Non-Deterministic Nonlinear Systems A theory of post-stall transients in axial compression systems: Part i—development of equations,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b301b13-c9ab-4783-9436-e011f62c074c · outbound

This paper cites Model reduction for nonlinear systems by incremental balanced truncation,.

Comparison of Non-Deterministic Nonlinear Systems Model reduction for nonlinear systems by incremental balanced truncation,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-29T01:15:43.111371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.