Paper Citation Record · LEDGER

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

As of 22 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2508.15616.

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

pith.paper-citation-record.v1
2508.15616 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

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

measured 35 of 35 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-21T10:13:12.814637Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-21T10:14:06.468223Z

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy24
unresolved8
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 940bc649-bf94-471d-b231-8f1e86bf95bd · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Neural networks for control systems—a survey,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.481220Z

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 597e1f6f-8504-4ad1-89f8-dfa11ef07122 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Universal function approximation by deep neural nets with bounded width and ReLU activations,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.456713Z

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 a0bfe67d-8a50-4aa5-ad9b-d944b8998c33 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Neural networks for fast optimisation in model predictive control: A review,

Reference 3

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddb36133-9ede-4511-8972-2cfc6b30f082 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum 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-05T17:56:10.433028Z

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 c2640ecd-0e90-4c33-982b-f91e0ca8db07 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum A comparison of verification methods for neural-network controllers using mixed-integer programs,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.408612Z

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 60af60c1-18e1-4ca5-bdc3-b74e1a799262 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Stability verification of neural network controllers using mixed-integer programming,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.385832Z

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 f6672895-445a-42cd-b0ba-51bfdec21d64 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Strengthened circle and Popov criteria for the stability analysis of feedback systems with ReLU neural networks,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.354811Z

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 5aadb4ff-ac54-4a76-a897-362311a5f45e · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Linear systems with neural network nonlinearities: Improved stability analysis via acausal zames-falb multipliers,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.330404Z

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 708308e7-71b0-405b-899c-afe937bfc800 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Stability analysis using quadratic con- straints for systems with neural network controllers,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:10.303032Z

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 df8ee239-562f-4d9b-ba9e-47fa19ba76e1 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum A convex parameterization of robust recurrent neural networks,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:09.952181Z

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 576a70a7-603c-47e5-b0e6-275382b2e6fe · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Recurrent equilibrium networks: Flexible dynamic models with guaranteed stability and robustness,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:09.594371Z

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 925aaa45-b08a-4c0e-b52e-e99880108803 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Stability and performance verification of dynamical systems controlled by neural networks: Algorithms and complexity,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:09.341055Z

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 f3c6fdcb-bffb-40d2-8ec1-b24a8cf85ab1 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Stability of non-linear neural feedback loops using sum of squares,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:09.060179Z

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 5955d7c4-3bf3-480c-a858-41dab9c69f7a · outbound

This paper cites [Online].

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum [Online]

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:08.748211Z

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 9c2ffb3e-ac7e-4694-9b55-3798e73c4312 · outbound

This paper cites Raspberry Pi 3 Model B+ Product Brief,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Raspberry Pi 3 Model B+ Product Brief,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:08.517997Z

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 35d05292-aef7-4a8f-ad8b-1ebe2e3f1f93 · outbound

This paper cites SKROSS Reload 10 Battery Bank Datasheet,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum SKROSS Reload 10 Battery Bank Datasheet,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:08.276554Z

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 4d9a9e87-bddf-494c-8326-b727d9dfb751 · outbound

This paper cites [Online].

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum [Online]

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:08.053755Z

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 bb8fdaac-5848-4570-b190-6c74ae9d65a8 · outbound

This paper cites [Online].

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum [Online]

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:07.884570Z

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 198a52f0-c183-470b-9269-df62b3664cf8 · outbound

This paper cites [Online].

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum [Online]

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:07.715311Z

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 9ca7608a-d34d-4c93-942a-0cdc31489b08 · outbound

This paper cites Imple- mentation of a nonlinear attitude estimator for aerial robotic vehicles,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Imple- mentation of a nonlinear attitude estimator for aerial robotic vehicles,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:07.528470Z

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 67f8e5e0-33c8-4c78-8e13-1a2f890ccdc7 · outbound

This paper cites an unresolved cited work.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:56:07.375322Z

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 d5a84dc9-aa9c-4672-b4d5-d64c56186ad1 · outbound

This paper cites Theory and computation of dis- turbance invariant sets for discrete-time linear systems,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Theory and computation of dis- turbance invariant sets for discrete-time linear systems,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:07.154222Z

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 42ad26ee-3075-4b98-a376-1be2a42d86f3 · outbound

This paper cites an unresolved cited work.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:56:06.970410Z

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 9222b039-70dc-4f2e-8c42-49fac334145e · outbound

This paper cites Bounding and count- ing linear regions of deep neural networks,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Bounding and count- ing linear regions of deep neural networks,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:06.780435Z

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 cf3d4eb5-f0da-4f7e-b9f1-208d1589fb24 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Adam: A method for stochastic optimization,

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b72079-dae9-4902-a390-c55072e22aa7 · outbound

This paper cites an unresolved cited work.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:56:06.492568Z

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 0259ef95-9be5-43bb-b260-4ad9a18c005c · outbound

This paper cites On the dynamic model of a two-wheeled inverted pendulum robot,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum On the dynamic model of a two-wheeled inverted pendulum robot,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:06.228455Z

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 b6bc139c-35e7-43c1-a791-47fe5afd22ef · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Stability and performance verification of optimization-based controllers,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:05.995234Z

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 b761afd0-bde5-4571-ab6c-90f033575abd · outbound

This paper cites Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers.

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 a469f2df-e9e4-43d6-9c3a-406c699e9ea7 · outbound

This paper cites Semidefinite programming relaxations for semialgebraic problems,.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Semidefinite programming relaxations for semialgebraic problems,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:56:05.790707Z

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 0d34794b-3691-46b7-92e5-84a43cef7de0 · outbound

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

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70f5ad6f-ac15-4dda-abec-94bcfe7a87b7 · outbound

This paper cites Alvaro Detailleur received the M.Sc.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Alvaro Detailleur received the M.Sc

Reference 32

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T17:56:05.506332Z

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 694064cb-31f9-4732-b5d4-4c58e8f288fe · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum Adam: A Method for Stochastic Optimization

Reference 2017

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 41ae7161-8ab5-4e10-893d-1d8b3a4099a0 · inbound

Region of Attraction Estimation for Linear Quadratic Regulator, Linear and Robust Model Predictive Control on a Two-Wheeled Inverted Pendulum cites this paper.

Region of Attraction Estimation for Linear Quadratic Regulator, Linear and Robust Model Predictive Control on a Two-Wheeled Inverted Pendulum Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-10T22:00:48.256301Z

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 bbf0217a-38c0-414b-b296-eb1cb9fb8832 · inbound

Region of Attraction Estimation for Linear Quadratic Regulator, Linear and Robust Model Predictive Control on a Two-Wheeled Inverted Pendulum cites this paper.

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-21T10:14:06.469943Z

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.