Paper Citation Record · LEDGER

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 2 inbound Pith citation observations for arXiv:2507.10352.

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

pith.paper-citation-record.v1
2507.10352 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:47:37.578484Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-05T17:56:04.559168Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-29T16:23:39.417833Z

Reference resolution

31 of 31 outbound references displayed

verified exact0
verified fuzzy12
unresolved18
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 10c9efc0-0c2b-42ff-a173-6db0c46fbb38 · outbound

This paper cites Neural networks for control systems—a survey,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Neural networks for control systems—a survey,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:35.471699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 745f403a-6fd5-44f5-ba17-beabc1a20308 · outbound

This paper cites Universal function approximation by deep neural nets with bounded width and ReLU activations,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Universal function approximation by deep neural nets with bounded width and ReLU activations,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:35.515524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8484e953-6509-43da-8575-7debe280acb0 · outbound

This paper cites Neural networks for fast optimisation in model predictive control: A review,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Neural networks for fast optimisation in model predictive control: A review,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:35.583939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2645a09f-a085-4dfa-b5c1-3e7c15dd2284 · outbound

This paper cites Neural networks for control: A tutorial and survey of stability-analysis methods, properties, and discussions,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Neural networks for control: A tutorial and survey of stability-analysis methods, properties, and discussions,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:40.115993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e9dbb0a1-0652-4cd5-9afc-c103c055b0f1 · outbound

This paper cites Liberzon, Switching in systems and control , ser.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Liberzon, Switching in systems and control , ser

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:40.095679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4ba53bf7-e774-4eaa-8f0b-6a919882d5f0 · outbound

This paper cites Complexity of stability and control- lability of elementary hybrid systems,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Complexity of stability and control- lability of elementary hybrid systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:40.073615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5feccb71-0f1b-4d6d-8cf3-74cf0ce5feb5 · outbound

This paper cites Stability and performance verification of dynamical systems controlled by neural networks: Algorithms and complexity,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability and performance verification of dynamical systems controlled by neural networks: Algorithms and complexity,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:40.046235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e9c1630f-0995-43f4-8783-c9fb64681378 · outbound

This paper cites Reach-SDP: Reacha- bility analysis of closed-loop systems with neural network controllers via semidefinite programming,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Reach-SDP: Reacha- bility analysis of closed-loop systems with neural network controllers via semidefinite programming,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:40.025399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 113fd03d-3e5a-47e7-8289-2155a372c8da · outbound

This paper cites A comparison of verification methods for neural-network controllers using mixed-integer programs,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers A comparison of verification methods for neural-network controllers using mixed-integer programs,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:35.877154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9518fab7-0b4b-42fb-bec5-daf7a0551362 · outbound

This paper cites Strengthened circle and Popov criteria for the stability analysis of feedback systems with ReLU neural networks,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Strengthened circle and Popov criteria for the stability analysis of feedback systems with ReLU neural networks,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:35.943340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4ba29a1-77bd-4d7e-a181-2c67ec46a5cb · outbound

This paper cites Stability analysis of model predictive controllers using mixed integer linear programming,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability analysis of model predictive controllers using mixed integer linear programming,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:39.919242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 54727c10-b987-4be5-814a-e641f8b741d0 · outbound

This paper cites Stability verification of neural network controllers using mixed-integer programming,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability verification of neural network controllers using mixed-integer programming,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.102644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe841b98-c21f-4af8-8f5f-dc98bf026205 · outbound

This paper cites Linear systems with neural network nonlinearities: Improved stability analysis via acausal zames-falb multipliers,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Linear systems with neural network nonlinearities: Improved stability analysis via acausal zames-falb multipliers,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.179895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 751ceabd-16bc-4453-aaa2-732c7329ec5c · outbound

This paper cites Stability analysis using quadratic con- straints for systems with neural network controllers,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability analysis using quadratic con- straints for systems with neural network controllers,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.231494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d86eefd8-c8b6-41ea-9825-8c0edff73927 · outbound

This paper cites A convex parameterization of robust recurrent neural networks,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers A convex parameterization of robust recurrent neural networks,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.323585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74131a02-bfd6-47d6-bf3f-2233eb7906b4 · outbound

This paper cites Stability of non-linear neural feedback loops using sum of squares,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability of non-linear neural feedback loops using sum of squares,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.382880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8b68fb5-bdf9-403d-97f5-4fb90200bac6 · outbound

This paper cites Stability and performance verification of optimization-based controllers,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Stability and performance verification of optimization-based controllers,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.434797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 929689d6-9d99-45cd-b56a-7c247db4a2c2 · outbound

This paper cites Recurrent equilibrium networks: Flexible dynamic models with guaranteed stability and robust- ness,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Recurrent equilibrium networks: Flexible dynamic models with guaranteed stability and robust- ness,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:39.666604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 869a19b8-f130-4abf-87b7-e65fa7fd0ffc · outbound

This paper cites Neural network verification using polynomial optimisation,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Neural network verification using polynomial optimisation,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:39.487185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1ac63832-9650-4e2e-8ef5-5afc9421e1fd · outbound

This paper cites Semidefinite programming relaxations for semialgebraic problems,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Semidefinite programming relaxations for semialgebraic problems,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.580145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4c4ef8c-5520-4674-9bb9-ab787310de81 · outbound

This paper cites Lipschitz Bounded Equilibrium Networks.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Lipschitz Bounded Equilibrium Networks

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:36.668196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 553b9670-2010-4990-8379-7ac24972cb39 · outbound

This paper cites an unresolved cited work.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:47:39.269075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5fff63af-62fc-439a-99fd-788e2f4f7eb6 · outbound

This paper cites Control system analysis and design via the ’second method’ of Lyapunov,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Control system analysis and design via the ’second method’ of Lyapunov,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:39.081599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2a5b492b-7237-47db-9b6f-04f02606eae7 · outbound

This paper cites Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:38.800392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 26b8a6fd-7dbc-4553-b46f-7ac6d11afb62 · outbound

This paper cites Region of attraction analysis via invariant sets,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Region of attraction analysis via invariant sets,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:38.601366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cbc6d5db-fe40-4ad3-a39a-2540e149cdb9 · outbound

This paper cites an unresolved cited work.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:47:38.394149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ad8e8f21-7507-4ebd-92a0-f5f64517ee82 · outbound

This paper cites SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:37.190480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8c89864-2db6-4cc3-8f0c-70a3b409a44a · outbound

This paper cites an unresolved cited work.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Unresolved cited work

Reference 28

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T17:47:38.150300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7ac18604-f89b-4935-8d69-3e21788a52a6 · outbound

This paper cites Adam: A method for stochastic optimization,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Adam: A method for stochastic optimization,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:37.442693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 845b0299-0e71-4f9e-9a49-75f6f09ab286 · outbound

This paper cites Invariant approximations of the minimal robust positively invariant set,.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Invariant approximations of the minimal robust positively invariant set,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:47:38.012972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dbad984f-138a-4dc4-8c2e-963973246383 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers Adam: A Method for Stochastic Optimization

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-06T17:47:37.489828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b761afd0-bde5-4571-ab6c-90f033575abd · inbound

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum cites this paper.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-05T17:56:04.559168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8c52f28-c8f7-4454-a36a-618f15144289 · inbound

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial cites this paper.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.419360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.