Pith. sign in

REVIEW 3 major objections 6 minor 39 references

Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach

T0 review · 3 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For a nonlinear system driven by a neural network, an interval observer with gains fixed by two linear matrix inequalities and activation functions enclosed by quadratic sector constraints keeps certified upper and lower bounds on the…

desk verdict A plausible interval-observer design for NN systems, but the auxiliary network construction in (16) appears to have the signs swapped, which breaks the central Lemma 4 and the main theorem as printed. read the letter →

arxiv 2411.10262 v1 pith:EX4QMASH submitted 2024-11-15 eess.SY cs.SY

Tao Wang , Yapeng Li , Zihao Mo , Wesley Cooke , Weiming Xiang This is my paper · ORCID
classification eess.SYcs.SY
keywords intervalobserversafetymonitoringneuralnetworkcontrolsystemsquadraticconstraintslinearmatrixinequalitiespositivepracticalstabilitylateralvehicle
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Safety monitoring of a nonlinear dynamical system whose dynamics include a neural network component is reframed as an online state-estimation problem. The paper proposes a Luenberger-type interval observer that produces a lower and an upper estimate of the state, and it proves conditions under which the true state is always sandwiched between the two estimates. The route is to split each weight matrix of the neural network into positive and negative parts to form two auxiliary networks, and to abstract every activation function by a global-sector quadratic constraint. Observer gains are found by checking feasibility of one LMI and one matrix inequality; whenever they are feasible, the observer also has practically stable error, so the estimate interval does not diverge. A lateral vehicle control simulation shows the interval bounds tracking the states of a vehicle steered by a neural network controller.

What carries the argument

The load-bearing construction is the interval observer (8) together with two auxiliary neural networks (16)--(17) built by splitting every weight matrix into a negative part and a positive part so that the auxiliary outputs bound the original network output from above and below. This sign property is what makes the error system cooperative, i.e., its dynamics matrix $A-LC$ is Metzler (all off-diagonal entries nonnegative), so nonnegative initial errors remain nonnegative for all time. The activation functions are then abstracted by global-sector quadratic constraints (Theorem 1), which replace each nonlinearity by an inequality involving the sector bounds $\alpha$ and $\beta$; this is what lets Lyapunov analysis be expressed as linear matrix inequalities. The final feasibility conditions (26)--(27) simultaneously enforce the Metzler property and the decrease of the Lyapunov function $V = \tilde e^{T} Q \tilde e$, yielding both invariance of the interval and practical stability of the error.

What would settle it

Take a small feedforward network with known weights and a monotone Lipschitz activation such as tanh, pick vectors $\underline{x} \le x \le \overline{x}$, and evaluate the original network (5) together with the two auxiliary networks (16)--(17). If any entry of $\Phi(x) - \underline{\Phi}(\underline{x},\overline{x})$ or of $\overline{\Phi}(\underline{x},\overline{x}) - \Phi(x)$ is negative, the imported sign lemma is false and the positivity half of Theorem 2 does not follow from the construction as stated.

Watch

Extended reading notes

Core claim

The central result is Theorem 2. For a Lipschitz nonlinear system of the form (2) with a feedforward neural network $\Phi$ and an auxiliary-network pair built by the weight-splitting rule (14)--(17), if the matrix inequalities (26) and (27) are feasible, then the error system (9) is positive and practically stable. Consequently, system (8) is an interval observer: the inequalities $\underline{x}(t) \le x(t) \le \overline{x}(t)$ hold for every $t \ge 0$ starting from compatible initial bounds, and the estimation error stays bounded with a bound derived from the input uncertainty and the Assumption 3 parameters. The observer gains are recovered as $\tilde L = Q^{-1}M$, where $Q$ is a diagonal positive definite matrix. The proof works by making the error dynamics cooperative (Metzler), replacing the activation functions with global-sector quadratic constraints, and applying a quadratic Lyapunov function $V(\tilde e) = \tilde e^{T} Q \tilde e$ to convert the design into convex LMI feasibility.

Load-bearing premise

The load-bearing premise is the imported lemma that for any state between the observer bounds, the two auxiliary networks built from the weight-splitting formulas (16)--(17) keep both error differences elementwise nonnegative; the paper relies on this lemma without reproving it, and the sign direction in the construction formulas is not reconciled with the lemma's conclusion, so if the lemma fails the error system need not stay positive and the invariant bounds $\underline{x} \le x \le \overline{x}$ are lost.

Editorial extensions

If this is right

  • A feasible solution to (26)--(27) certifies before deployment that the state will remain inside the observer interval for all $t \geq 0$, so a safety violation is detectable the moment a trajectory touches or crosses a bound.
  • The method applies to any activation function that is monotone, Lipschitz, and sits in a known sector; ReLU, tanh, sigmoid, and leaky ReLU all satisfy these assumptions, so the design is not restricted to one nonlinearity.
  • Because gain synthesis is reduced to LMI feasibility, the design is a convex optimization problem solvable by standard numerical packages, avoiding the high computational cost of offline reachability analysis.
  • The estimation-error bound is computable from the data: the quantities of Assumption 3 and the input uncertainty intervals determine the practical-stability residual, giving a pre-deployment guarantee on the width of the interval.
  • In the lateral vehicle control example, the interval observer tracks both the lateral position error and the yaw angle error, keeping the simulated trajectories within their upper and lower envelopes over the tested horizon.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the quadratic-constraint setup only needs sector bounds $\alpha$ and $\beta$, one could replace the global sector with state-dependent local sectors and likely tighten the interval width whenever a smaller operating region is known a priori.
  • The Metzler condition (positivity) and the Lyapunov inequality (stability) are separate constraints, so a designer could optimize the two observer gains independently, for instance to minimize the asymptotic interval width under the same feasibility conditions.
  • The online bounds could be used as triggers for supervisory control: approaching an estimated bound would activate a safety controller, turning the interval observer into a runtime safety layer for learning-enabled systems.
  • The same weight-splitting and sector-constraint machinery should extend to switched or hybrid plants provided the Metzler and sector conditions are re-established per mode, which the paper lists as future work.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper proposes an interval-observer-based safety monitor for nonlinear dynamical systems with embedded feedforward neural networks. Two auxiliary neural networks are constructed from a sign decomposition of the original network weights, and the activation functions are abstracted by global sector quadratic constraints. The observer gains are obtained by solving linear matrix inequalities that enforce positivity (Metzler structure) and practical stability of the error dynamics. The method is demonstrated on a lateral vehicle control example, where the simulated state trajectories lie between the estimated upper and lower bounds.

Significance. If the claims hold, the paper offers a tractable, optimization-based design for runtime interval estimation in learning-enabled control systems, which is relevant for safety monitoring. The paper's strengths include a mostly self-contained derivation after borrowing Lemma 4, LMI variables that are genuine optimization variables rather than fitted parameters, a standard quadratic-constraint formulation for activation functions, and a concrete vehicle simulation showing that the estimated bounds contain the trajectories. The contribution is incremental relative to earlier interval-observer work, but the combination of auxiliary-network construction with quadratic-constraint-based gain synthesis is useful and the simulation supports the proof of concept.

major comments (3)
  1. [Sec. 3, Eqs. (16)-(17) and Lemma 4] The pairing of the sign-split weights with the lower and upper states is reversed relative to what condition (12) requires. On the literal reading of (16), the negative part W^- multiplies the lower-layer state omega^-(l-1), built from x^-, and the positive part W^+ multiplies the upper-layer state omega^+(l-1), built from x^+. For a scalar one-layer network with W = -1 and no bias, this gives Phi^-(x^-, x^+) = -x^-, so Phi(x) - Phi^-(x^-, x^+) = x^- - x <= 0 for x^- <= x, contradicting (12). The lower auxiliary network should instead pair W^+ with x^- and W^- with x^+. Because Lemma 4 is the only support for (12)-(13), and (12)-(13) are necessary for e >= 0 and e^+ >= 0 in Proposition 1 and for the interval property in Theorem 2, this must be corrected or explicitly justified. If it is a typesetting defect, the equations and the statement of Lemma 4 need to be rewritten in unambiguous notation.
  2. [Sec. 3.2, Theorem 2 proof, Eqs. (36)-(40)] The assertion that strict negativity of the quadratic form in (36) implies existence of epsilon > 0 satisfying (38) is not justified. Strict negativity on a constraint set does not automatically give a uniform margin, and this step is what converts the dissipative inequality into dV/dt <= -epsilon V + c2. The authors should either prove the margin by a compactness argument on normalized nonzero vectors in the feasible set, or exhibit epsilon directly from the LMI by retaining a small negative-definite remainder in (26) before eliminating variables.
  3. [Sec. 3, Lemma 4 and Eq. (18)] Lemma 4 is imported from prior work without proof, but the notation in (15)-(17) does not allow the reader to check its hypotheses. In view of the apparent sign reversal in (16)-(17), a bare citation to Xiang (2021) is insufficient. The paper should either prove Lemma 4 in the present notation or provide an explicit dictionary between the variables used here and those in the cited paper.
minor comments (6)
  1. [Sec. 3, Eq. (15)] The two split weight matrices are denoted by underbar and overbar symbols that are visually almost identical in the typeset text. Use W^- and W^+ or otherwise visually distinct symbols, and add a sentence in words describing which part multiplies which state bound.
  2. [Sec. 3.1, Table 1] Table 1 is difficult to parse and the block entries appear fragmented in the displayed layout. A cleaner block-matrix definition or a structured listing of the blocks would let readers verify the dimensions and entries of N.
  3. [Sec. 3.2, Theorem 2] The blocks Ntilde_{Phi x}, Ntilde_{Phi omega}, Ntilde_{v x}, and Ntilde_{v omega} are defined implicitly through a 2x2 block array. Their exact dimensions relative to Q, S, and the state and weight vectors should be stated explicitly, since the LMI (26) cannot be verified otherwise.
  4. [Sec. 3.2, Remark 6] Remark 6 asserts that e = e^+ = 0 occurs only at t = 0; if this fact is used in the proof, it should be justified, and otherwise the remark should be removed or reformulated.
  5. [Sec. 4, Eq. (41)] The dimensions of B_u and C in (41) should be checked against the problem formulation: both are 4x4, making y four-dimensional, while the text describes two physical outputs e1 and e2. The relation between C and the measured outputs should be clarified.
  6. [References] Several references are incomplete in the bibliography, for example the Xiang (2021) entry lacks volume and page numbers; please complete all entries.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the observer construction and LMI feasibility argument are self-contained after citing standard and prior mathematical lemmas; no fitted quantity is repackaged as a prediction.

full rationale

The paper's central derivation is a constructive LMI feasibility argument. The observer gains L and Lbar are optimization variables obtained by solving conditions (26) and (27), and the claimed safety-monitoring property is then demonstrated by simulation of the resulting interval observer against the lateral vehicle model. No parameter is fitted to a data subset and later reported as a prediction. The auxiliary neural networks in (16)-(17) are defined explicitly from the weight decomposition (14)-(15), and the error dynamics (9) are derived directly from the system and observer equations. The load-bearing sign condition (18) is imported from Lemma 4 of Xiang (2021), which is a self-citation, but that cited lemma is a parameter-free mathematical statement about the constructed auxiliary networks and does not assume the conclusion of Theorem 2; under the review rule, such a cited result counts as independent support rather than circularity. The remaining external inputs, Lemmas 2, 3, and 5, are standard results from the published literature. The apparent sign-convention issue in (16)-(17) noted in review is a potential correctness or typesetting concern about whether Lemma 4 is true as printed, not a circularity in which an output is equivalent to an input by construction. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 8 assumptions · 1 invented entities

The design has no data-fitted free parameters; the LMI decision variables (Q, S, M, λ) are optimization variables chosen by a solver. The sector bounds α, β are known constants for standard activations. The method does depend on the correctness of several cited lemmas, especially Lemma 4 from the authors' earlier work.

assumptions (8)
  • domain assumption Assumption 1: initial state x(0) and input u(t) lie within known intervals
    Required for the error dynamics to have nonnegative forcing terms and for the interval observer to be initialized inside the true interval. Invoked in Proposition 1.
  • domain assumption Assumption 2: there exist interval bounding functions f(x,x) and f(x,x) with f(x,x) ≤ f(x) ≤ f(x,x)
    Needed so that the nonlinear term preserves positivity of the error system; used in Proposition 1 and Theorem 2.
  • domain assumption Assumption 3: one-sided Lipschitz bounds with constants a1, a2, ρ and a1, a2, ρ
    Used to bound f~^T f~ by a quadratic plus constant, giving practical stability in Theorem 2.
  • domain assumption Assumption 4: activation functions are Lipschitz with constant α and monotone increasing
    Needed for the global sector quadratic constraint [0,β] and for the auxiliary NN bounding property.
  • standard math Lemma 2 (Efimov and Raissi 2016): cooperative systems preserve nonnegativity
    Standard result used to prove e(t) ≥ 0 and e(t) ≥ 0 from Metzler state matrices and nonnegative inputs.
  • standard math Lemma 3 (Ge and Wang 2004): practical uniform exponential stability criterion
    Used to conclude the error system is practically stable once V˙ ≤ -c1 V + c2 is established.
  • domain assumption Lemma 4 (Xiang 2021): the auxiliary networks (16)-(17) satisfy the sign conditions (12)-(13)
    Load-bearing cited result from the same research group; not proved here and the paper's own equations (16)-(17) may be inconsistent with the stated inequalities.
  • standard math Lemma 5 (Yin et al. 2022): local offset sector quadratic constraints for activation functions
    Basis for the global QC formulation in Theorem 1; taken from the cited literature.
invented entities (1)
  • Auxiliary neural networks Φ(x,x) and Φ(x,x)
    purpose: Provide elementwise upper and lower bounds on the plant's neural network output, enabling the interval observer to preserve positivity.
    They are constructed from the weights of the original neural network; they make no falsifiable prediction outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach." pith.science (2026). https://pith.science/paper/EX4QMASH

@misc{pith2026241110262,
  author       = {Pith},
  title        = {Pith review of: Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EX4QMASH}},
  note         = {Machine review of arXiv:2411.10262}
}
read the original abstract

The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed consisting of two auxiliary neural networks derived from the neural network components of the dynamical system. Due to the presence of nonlinear activation functions in neural networks, we use quadratic constraints on the global sector to abstract the nonlinear activation functions in neural networks. By combining a quadratic constraint approach for the activation function with Lyapunov theory, the interval observer design problem is transformed into a series of quadratic and linear programming feasibility problems to make the interval observer operate with the ability to correctly estimate the system state with estimation errors within acceptable limits. The applicability of the proposed method is verified by simulation of the lateral vehicle control system.

Figures

Figures reproduced from arXiv: 2411.10262 by the authors.

Figure 1
Figure 1. Two types of quadratic constraints. According to (21), we can further interpret Definition 2 as follows. For a func￾tion ψ satisfying a local offset sector [α, β] around the point (v ∗ , ψ(v ∗ )), consider￾ing ∀v ∈ [ˆv, vˆ], the slope of the line connecting any point on the function ψ to the center point (v ∗ , ψ(v ∗ )) is between [α, β]. The local sector constraint for a sin￾gle activation function ψ : R → R is giv… view at source ↗
Figure 2
Figure 2. Illustration of Lateral Vehicle Control System. Consider the lateral vehicle control system from (Rajamani, 2011): Leg :  x˙ = Ax + BΦΦ(x) + Buu y = Cx , (41) where system matrices A, BΦ, Bu, C, and input u are defined by A =      0 1 0 0 0 − 2Caf +2Car mVx 2Caf +2Car m −2Caf lf+2Carlr mVx 0 0 0 1 0 − 2Caf lf−2Carlr IzVx 2Caf lf−2Carlr Iz − 2Caf l 2 f+2Carl 2 r IzVx      , BΦ =     0 2Caf m 0 2Caf lf … view at source ↗
Figure 3
Figure 3. Safety monitoring of lateral position error e1 and its derivative ˙e1. and the observer gain. The two auxiliary neural networks can be obtained from the neural network embedded in the original system. The presence of nonlinear activation functions in neural networks makes it difficult to apply traditional control theory to calculate observer gains L and L. To solve this problem, we use quadratic constraints (QCs) to… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Safety monitoring of yaw angle error e2 and its derivative ˙e2. feedforward neural networks. In Nasa formal methods symposium (pp. 121–138). Efimov, D., & Ra¨ıssi, T. (2016). Design of interval observers for uncertain dynamical systems. Automation and Remote Control, 7…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 25 canonical work pages

  1. [1]

    write newline

    " write newline " cite write " FUNCTION editor.postfix editor num.names #1 > "( )" "( )" if FUNCTION editor.trans.postfix editor num.names #1 > "( )" "( )" if FUNCTION trans.postfix translator num.names #1 > "( )" "( )" if FUNCTION authors.editors.reflist.apa5 'field := 'dot := field num.names 'numnames := numnames 'format.num.names := format.num.names na...

    work page

  2. [2]

    APACrefauthors \ 1997

    alleyne1997comparison APACrefauthors Alleyne, A. APACrefauthors \ 1997 . A comparison of alternative intervention strategies for unintended roadway departure (URD) control A comparison of alternative intervention strategies for unintended roadway departure (urd) control . Vehicle System Dynamics 27 3 157--186

    work page 1997

  3. [3]

    , Young, P M

    4267699 APACrefauthors Anderson, C W. , Young, P M. , Buehner, M R. , Knight, J N. , Bush, K A. \ Hittle, D C. APACrefauthors \ 2007 . Robust Reinforcement Learning Control Using Integral Quadratic Constraints for Recurrent Neural Networks Robust reinforcement learning control using integral quadratic constraints for recurrent neural networks . IEEE Trans...

    work page arXiv 2007

  4. [4]

    , Rami, M A

    bolajraf2011robust APACrefauthors Bolajraf, M. , Rami, M A. \ Helmke, U. APACrefauthors \ 2011 . Robust positive interval observers for uncertain positive systems Robust positive interval observers for uncertain positive systems . IFAC Proceedings Volumes 44 1 14330--14334

    work page 2011

  5. [5]

    , Germani, A

    6908993 APACrefauthors Cacace, F. , Germani, A. \ Manes, C. APACrefauthors \ 2015 . A New Approach to Design Interval Observers for Linear Systems A new approach to design interval observers for linear systems . IEEE Transactions on Automatic Control 60 6 1665-1670 . APACrefDOI doi:10.1109/TAC.2014.2359714 APACrefDOI

    work page arXiv 2015

  6. [6]

    , Efimov, D

    chebotarev2015interval APACrefauthors Chebotarev, S. , Efimov, D. , Ra \" ssi, T. \ Zolghadri, A. APACrefauthors \ 2015 . Interval observers for continuous-time LPV systems with L_1/L_2 performance Interval observers for continuous-time lpv systems with l_1/l_2 performance . Automatica 58 82--89

    work page 2015

  7. [7]

    , Chen, X

    dutta2019reachability APACrefauthors Dutta, S. , Chen, X. \ Sankaranarayanan, S. APACrefauthors \ 2019 . Reachability analysis for neural feedback systems using regressive polynomial rule inference Reachability analysis for neural feedback systems using regressive polynomial rule inference . Proceedings of the 22nd ACM International Conference on Hybrid S...

    work page 2019

  8. [8]

    , Jha, S

    dutta2018output APACrefauthors Dutta, S. , Jha, S. , Sankaranarayanan, S. \ Tiwari, A. APACrefauthors \ 2018 . Output range analysis for deep feedforward neural networks Output range analysis for deep feedforward neural networks . NASA Formal Methods Symposium Nasa formal methods symposium \ ( \ 121--138)

    work page 2018

Show all 39 references
  1. [9]

    \ Ra \" ssi, T

    efimov2016design APACrefauthors Efimov, D. \ Ra \" ssi, T. APACrefauthors \ 2016 . Design of interval observers for uncertain dynamical systems Design of interval observers for uncertain dynamical systems . Automation and Remote Control 77 2 191--225

    2016

  2. [10]

    , Morari, M

    9301422 APACrefauthors Fazlyab, M. , Morari, M. \ Pappas, G J. APACrefauthors \ 2022 . Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Safety verification and robustness analysis of neural networks via quadr...

    2022

  3. [11]

    , Robey, A

    fazlyab2019efficient APACrefauthors Fazlyab, M. , Robey, A. , Hassani, H. , Morari, M. \ Pappas, G. APACrefauthors \ 2019 . Efficient and accurate estimation of lipschitz constants for deep neural networks Efficient and accurate estimation of lipschitz constants for deep neura...

    2019

  4. [12]

    \ Wang, C

    ge2004adaptive APACrefauthors Ge, S. \ Wang, C. APACrefauthors \ 2004 . Adaptive neural control of uncertain MIMO nonlinear systems Adaptive neural control of uncertain mimo nonlinear systems . IEEE Transactions on Neural Networks 15 3 674-692 . APACrefDOI doi:10.1109/TNN.2004...

    2004

  5. [13]

    , Fazlyab, M

    9304296 APACrefauthors Hu, H. , Fazlyab, M. , Morari, M. \ Pappas, G J. APACrefauthors \ 2020 . Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming Reach-sdp: Reachability analysis of closed-loop systems with neu...

    2020

  6. [14]

    , Sbarbaro, D

    HUNT19921083 APACrefauthors Hunt, K. , Sbarbaro, D. , Żbikowski, R. \ Gawthrop, P. APACrefauthors \ 1992 . Neural networks for control systems—A survey Neural networks for control systems—a survey . Automatica 28 6 1083-1112

    1992

  7. [15]

    \ Narendra, K

    287122 APACrefauthors Levin, A. \ Narendra, K. APACrefauthors \ 1992 . Stabilization of nonlinear dynamical systems using neural networks Stabilization of nonlinear dynamical systems using neural networks . International Joint Conference on Neural Networks International joint ...

    1992

  8. [16]

    , Ahn, C K

    li2020neural APACrefauthors Li, S. , Ahn, C K. , Guo, J. \ Xiang, Z. APACrefauthors \ 2020 . Neural-network approximation-based adaptive periodic event-triggered output-feedback control of switched nonlinear systems Neural-network approximation-based adaptive periodic event-tr...

    2020

  9. [17]

    \ Maganti, L

    lomuscio2017approach APACrefauthors Lomuscio, A. \ Maganti, L. APACrefauthors \ 2017 . An approach to reachability analysis for feed-forward r e lu neural networks An approach to reachability analysis for feed-forward r e lu neural networks . arXiv preprint arXiv:1706.07351

    2017 arXiv

  10. [18]

    , Fawzi, A

    8099500 APACrefauthors Moosavi-Dezfooli, S M. , Fawzi, A. , Fawzi, O. \ Frossard, P. APACrefauthors \ 2017 . Universal Adversarial Perturbations Universal adversarial perturbations . 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) 2017 ieee conference on...

    2017 doi

  11. [19]

    , Liu, Y

    8681071 APACrefauthors Niu, B. , Liu, Y. , Zhou, W. , Li, H. , Duan, P. \ Li, J. APACrefauthors \ 2020 . Multiple L yapunov Functions for Adaptive Neural Tracking Control of Switched Nonlinear Nonlower-Triangular Systems Multiple L yapunov functions for adaptive neural trackin...

    2020

  12. [20]

    APACrefauthors \ 2011

    rajamani2011vehicle APACrefauthors Rajamani, R. APACrefauthors \ 2011 . Vehicle dynamics and control Vehicle dynamics and control . Springer Science & Business Media

    2011

  13. [21]

    APACrefauthors \ 2017

    8031467 APACrefauthors Takahashi, K. APACrefauthors \ 2017 . Remarks on Adaptive-Type Hypercomplex-Valued Neural Network-Based Feedforward Feedback Controller Remarks on adaptive-type hypercomplex-valued neural network-based feedforward feedback controller . 2017 IEEE Internat...

    2017 doi

  14. [22]

    , Manzanas Lopez, D

    tran2019star APACrefauthors Tran, H D. , Manzanas Lopez, D. , Musau, P. , Yang, X. , Nguyen, L V. , Xiang, W. \ Johnson, T T. APACrefauthors \ 2019 . Star-based reachability analysis of deep neural networks Star-based reachability analysis of deep neural networks . Internation...

    2019

  15. [23]

    , Musau, P

    8807491 APACrefauthors Tran, H D. , Musau, P. , Manzanas Lopez, D. , Yang, X. , Nguyen, L V. , Xiang, W. \ Johnson, T T. APACrefauthors \ 2019 . Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks Parallelizable reachability analysis algorithms for...

    2019

  16. [24]

    WANG2022 APACrefauthors Wang, T. , Li, Y. \ Xiang, W. APACrefauthors \ 2022 . Design of interval observer for continuous linear large-scale systems with disturbance attenuation Design of interval observer for continuous linear large-scale systems with disturbance attenuation ....

    2022

  17. [26]

    APACrefauthors \ 2021

    9380552 APACrefauthors Xiang, W. APACrefauthors \ 2021 . Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems Runtime safety monitoring of neural-network-enabled dynamical systems . IEEE Transactions on Cybernetics 1-10 . APACrefDOI doi:10.1109/TCYB.2021.30535...

    2021

  18. [27]

    , Tran, H D

    xiang2017output APACrefauthors Xiang, W. , Tran, H D. \ Johnson, T T. APACrefauthors \ 2017 1 . Output reachable set estimation for switched linear systems and its application in safety verification Output reachable set estimation for switched linear systems and its applicatio...

    2017

  19. [28]

    , Tran, H D

    xiang2017reachable APACrefauthors Xiang, W. , Tran, H D. \ Johnson, T T. APACrefauthors \ 2017 2 . Reachable set computation and safety verification for neural networks with R e LU activations Reachable set computation and safety verification for neural networks with R e LU ac...

    2017 arXiv

  20. [29]

    , Tran, H D

    8318388 APACrefauthors Xiang, W. , Tran, H D. \ Johnson, T T. APACrefauthors \ 2018 . Output Reachable Set Estimation and Verification for Multilayer Neural Networks Output reachable set estimation and verification for multilayer neural networks . IEEE Transactions on Neural N...

    2018

  21. [30]

    , Tran, H D

    8431048 APACrefauthors Xiang, W. , Tran, H D. , Rosenfeld, J A. \ Johnson, T T. APACrefauthors \ 2018 . Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers Reachable set estimation and safety verification for piecewise ...

    2018

  22. [31]

    , Tran, H D

    9093970 APACrefauthors Xiang, W. , Tran, H D. , Yang, X. \ Johnson, T T. APACrefauthors \ 2021 . Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach Reachable set estimation for neural network control systems: A simulation-guided approach ...

    2021

  23. [32]

    , Seiler, P

    9388885 APACrefauthors Yin, H. , Seiler, P. \ Arcak, M. APACrefauthors \ 2022 . Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers Stability analysis using quadratic constraints for systems with neural network controllers . IEEE Transact...

    2022

  24. [33]

    , Couto, L D

    9147468 APACrefauthors Zhang, D. , Couto, L D. , Gill, P. , Benjamin, S. , Zeng, W. \ Moura, S J. APACrefauthors \ 2020 . Interval Observer for SOC Estimation in Parallel-Connected Lithium-ion Batteries Interval observer for soc estimation in parallel-connected lithium-ion bat...

    2020

  25. [34]

    , Zhu, Y

    7440845 APACrefauthors Zhang, L. , Zhu, Y. \ Zheng, W X. APACrefauthors \ 2017 . State Estimation of Discrete-Time Switched Neural Networks With Multiple Communication Channels State estimation of discrete-time switched neural networks with multiple communication channels . IE...

    2017

  26. [35]

    , Shen, X

    9279463 APACrefauthors Zhang, Y w. , Shen, X. , Xu, H f. , Lin, Z r. , Ni, H y. \ Yan, W x. APACrefauthors \ 2020 . Fault Diagnosis of Multi-area Automatic Generation Control via Interval Observer Technique Fault diagnosis of multi-area automatic generation control via interva...

    2020

  27. [36]

    , Efimov, D

    ZHENG2016167 APACrefauthors Zheng, G. , Efimov, D. \ Perruquetti, W. APACrefauthors \ 2016 . Design of interval observer for a class of uncertain unobservable nonlinear systems Design of interval observer for a class of uncertain unobservable nonlinear systems . Automatica 63 167-174

    2016

  28. [37]

    , Zheng, W X

    zhu2019quasi APACrefauthors Zhu, Y. , Zheng, W X. \ Zhou, D. APACrefauthors \ 2019 . Quasi-synchronization of discrete-time L ur'e-type switched systems with parameter mismatches and relaxed PDT constraints Quasi-synchronization of discrete-time L ur'e-type switched systems wi...

    2019

  29. [38]

    @esa (Ref

    \@ifxundefined[1] #1\@undefined \@firstoftwo \@secondoftwo \@ifnum[1] #1 \@firstoftwo \@secondoftwo \@ifx[1] #1 \@firstoftwo \@secondoftwo [2] @ #1 \@temptokena #2 #1 @ \@temptokena \@ifclassloaded agu2001 natbib The agu2001 class already includes natbib coding, so you should ...

  30. [39]

    \@lbibitem[] @bibitem@first@sw\@secondoftwo \@lbibitem[#1]#2 \@extra@b@citeb \@ifundefined br@#2\@extra@b@citeb \@namedef br@#2 \@nameuse br@#2\@extra@b@citeb \@ifundefined b@#2\@extra@b@citeb @num @parse #2 @tmp #1 NAT@b@open@#2 NAT@b@shut@#2 \@ifnum @merge>\@ne @bibitem@firs...

  31. [40]

    and Narendra, K.S

    @open @close @open @close and [1] URL: #1 \@ifundefined chapter * \@mkboth \@ifxundefined @sectionbib * \@mkboth * \@mkboth\@gobbletwo \@ifclassloaded amsart * \@ifclassloaded amsbook * \@ifxundefined @heading @heading NAT@ctr thebibliography [1] @ \@biblabel @NAT@ctr \@bibset...

    2014

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.