Pith. sign in

REVIEW 2 major objections 7 minor 262 references

A tiny quadratic program from an ISS Lyapunov function and a robust barrier function delivers real-time robust nonlinear MPC with input-to-state stability.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-31 10:22 UTC pith:KT4D63OC

load-bearing objection Clean, usable extension of their own infinitesimal-horizon MPC to true ISS with a tiny online QP; the theorem is short and correct, the practical value hangs on getting good polynomial certificates. the 2 major comments →

arxiv 2607.28353 v1 pith:KT4D63OC submitted 2026-07-30 eess.SY cs.SY

Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility

Jan Olucak , Torbj{\o}rn Cunis This is my paper
classification eess.SY cs.SY
keywords Robust Model Predictive ControlInput-to-state StabilityControl Barrier FunctionControl Lyapunov FunctionSum-of-squares OptimizationInfinitesimal-horizon MPCReal-time feasibilitySpacecraft attitude control
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that robust nonlinear model predictive control need not solve a long-horizon min-max problem online. Instead, one precomputes a compatible pair of an input-to-state control Lyapunov function and a robust control barrier function, then evaluates a single small quadratic program at each sample. That program enforces safety against bounded disturbances and drives the state toward a neighborhood of the origin whose size shrinks with the disturbance; when disturbances vanish, ordinary asymptotic stability is recovered. The same guarantees that classical robust terminal conditions give for min-max MPC are obtained at the computational cost of a few-millisecond QP, small enough for embedded spacecraft hardware. Numerical comparisons on constrained attitude and rate control confirm that the scheme stays feasible, respects torque and rate limits, and runs orders of magnitude faster than a contemporary robust real-time-iteration method while matching its closed-loop cost.

Core claim

If a pair of functions (approximate value function and approximate feasible-set barrier) satisfies the robust stabilizing terminal conditions—an ISS control Lyapunov inequality together with a robust control-barrier inequality—then the feedback obtained by minimizing the stage cost plus the Lie derivative of the Lyapunov function subject only to the barrier inequality renders the approximate safe set forward-invariant under every admissible disturbance and makes the Lyapunov function an ISS-Lyapunov function for the closed loop. Consequently the controller is defined for all future time, state constraints are never violated, and the origin is input-to-state stable; asymptotic stability is re

What carries the argument

The ISS infinitesimal-horizon MPC quadratic program: at each measured state minimize the quadratic stage cost plus the directional derivative of the ISS-CLF, subject to a single robust CBF inequality that already accounts for the worst-case disturbance magnitude. Compatibility of the CLF/CBF pair supplies both feasibility and the ISS decrease.

Load-bearing premise

A compatible polynomial ISS-Lyapunov function and robust barrier of modest degree can be found offline by sum-of-squares optimization and still leave a usefully large safe set around the chosen equilibrium.

What would settle it

On the spacecraft rate-damping or large-angle slew examples, either the online QP becomes infeasible, a closed-loop trajectory exits the claimed safe set under a disturbance inside the design bound, or the Lyapunov function fails to decrease to a neighborhood sized by that bound.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Embedded platforms that cannot run multi-step robust NMPC can still obtain certified robust constraint satisfaction and ISS by solving one small QP per sample.
  • When disturbances disappear the same controller recovers ordinary asymptotic stability, unlike min-max schemes that only guarantee practical stability.
  • The offline SOS synthesis produces both the Lyapunov and barrier certificates and a polynomial fallback law that can be used without any online optimization.
  • Because only the present disturbance bound enters the QP, the method can later be combined with a disturbance observer to reduce conservatism without enlarging the online problem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Reference-dependent certificates would be the natural next step to handle changing set-points without re-solving the full SOS program for every equilibrium.
  • The same infinitesimal-horizon reduction should apply to other certificate pairs (e.g., contraction metrics plus barriers) whenever the certificates already encode robustness.
  • Inter-sample invariance under zero-order hold remains an open practical gap; a sampled-data barrier correction could close it without changing the online QP size.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 7 minor

Summary. The paper proposes ISS-∂MPC, a robust approximate nonlinear MPC law obtained from a compatible pair of an ISS control Lyapunov function and a robust control barrier function. Building on a prior nominal infinitesimal-horizon scheme, the online law reduces to a small quadratic program (15) that enforces a worst-case CBF inequality and minimizes a CLF dissipation rate plus stage cost. Theorem 1 states that if the pair satisfies the robust terminal conditions of Definition 2, the closed loop is robustly feasible on the approximate safe set and input-to-state stable, recovering asymptotic stability when disturbances vanish. A nonconvex sum-of-squares program (17) is given for polynomial synthesis. Two constrained spacecraft examples (rate damping and large-angle attitude control) compare the method to zoRo-RTI, the synthesized polynomial feedback, and a standard rate controller, reporting sub-millisecond solve times and constraint satisfaction.

Significance. Real-time robust NMPC under tight compute budgets remains a genuine bottleneck; reducing the online problem to a small QP while retaining ISS and robust constraint certificates is a useful contribution. The argument that minimizing only the current dissipation (rather than a min-max over future disturbance signals) yields ISS rather than merely practical stability is cleanly made and distinguishes the scheme from classical min-max MPC. Supplementary code and synthesis details support reproducibility. The practical limitation—that useful low-degree polynomial certificates must exist and are equilibrium-specific—is stated openly in §5.3 and does not undermine the certificate theorem itself. If the result holds as claimed, the method is a credible option for embedded nonlinear constrained control.

major comments (2)
  1. [Theorem 1, §5.3] Theorem 1 and Definition 2 are stated for the continuous-time closed loop under the feedback κ̂_∂. The implemented controller is sampled-data with zero-order hold (§5.1.1, 10 Hz; §5.3). The paper notes that inter-sample effects can destroy invariance (citing Breeden et al., 2022) but only reports that violations were not observed numerically. For the load-bearing claim of robust constraint satisfaction and ISS under the actual law, either a sampled-data certificate (e.g., a tightened CBF condition or maximum sampling period) or an explicit restriction of the guarantees to the continuous-time idealization should be added; the current gap sits between the theorem and the reported experiments.
  2. [§3.2, Eq. (13)–(15), Theorem 1 proof] In the reduction from (14) to (15) and in the proof of Theorem 1, the disturbance effect is bounded by an operator-norm term δ(x). The proof writes ∇ĥ(x)p(x)w ≤ ||∇ĥ(x)p(x)||_2 w̄, while (13) allows a general p-norm and the text defines δ via the induced operator norm. The argument is correct for p=2 (the case used in SOS and in the examples), but the write-up should state the norm consistently and note that the QP form (15) inherits the same p as the bound; otherwise the feasibility claim is not fully aligned with the general disturbance set (13).
minor comments (7)
  1. [Title, Abstract] Abstract and title use “Realtime”; the body mixes “real-time” and “realtime”. Prefer a single spelling (real-time).
  2. [§4.2, Eq. (17)] Eq. (17e) uses multiplier (s2−a) and class-K gain a in γ(r)=ar; a short sentence that a>0 is fixed (or optimized) would clarify the decision variables of (17).
  3. [Table 1] Table 1 “RMS ratio” is defined only in the text (§5.1.2) as RMS/RMS_ISS-∂MPC on [100,250] s; add the definition to the table caption.
  4. [§5 Figures] Figure 1 y-axis is log-scale RMS; state units (deg/s) in the caption. Figures 2–5 would benefit from stating that all 20 runs are overlaid.
  5. [References] Reference ApS (2026) MOSEK URL is still “YYY”; replace with the working link or drop the placeholder.
  6. [Abstract, Theorem 1, §5.3] Typos / wording: “constraint systems” → “constrained systems” (Abstract); “augment a recently introduced” spacing; “theclosed-loop” and similar missing spaces appear in the proof paragraph of Theorem 1 and in §5.3.
  7. [§5.1.1] The comparison baseline zoRo-RTI uses a 20 s horizon chosen “heuristically” so that the first step is feasible. A one-sentence sensitivity note (or a second horizon) would strengthen the fairness claim in Table 1.

Circularity Check

0 steps flagged

No significant circularity: Theorem 1 is a standard certificate implication; self-citation of the nominal precursor is present but not load-bearing.

full rationale

The paper's central derivation is: if a compatible pair (V̂, ĥ) meets the robust terminal conditions of Definition 2 (ISS-CLF decrease plus robust CBF invariance), then the QP (15) inherits robust forward invariance of the approximate feasible set and makes V̂ an ISS-Lyapunov function (Theorem 1). The proof is direct from the worst-case operator-norm bound on the disturbance channel and the fact that the QP minimizes the same dissipation expression already satisfied by some terminal controller κ. That implication does not redefine its hypothesis in terms of its conclusion, does not fit closed-loop trajectories and relabel the fit as a prediction, and does not import a uniqueness theorem. The SOS program (17) enforces the certificate inequalities offline; numerical spacecraft runs then evaluate independent metrics (RMS, stage cost, wall time, constraint satisfaction). The only self-citation of substance is the nominal infinitesimal-horizon scheme (Olucak et al., 2025), which this work augments; the robust terminal conditions, the QP, and Theorem 1 are stated and proved in the present manuscript. That is ordinary incremental research, not a load-bearing circular chain. Score 1 reflects only that minor, non-load-bearing self-citation.

Axiom & Free-Parameter Ledger

5 free parameters · 5 axioms · 1 invented entities

The result rests on classical ISS and CBF theory, the authors’ prior nominal infinitesimal-horizon scheme, polynomial dynamics/costs, and the existence of a solution to a nonconvex SOS program. No new physical entities are postulated; free parameters are the usual design knobs (weights, degrees, class-K gains, disturbance radius).

free parameters (5)
  • Polynomial degree 2d of V̂ and ĥ
    Chosen by the designer; solution quality and feasible-set size “highly depend” on it (§5.3).
  • Stage-cost matrices Q, R (and terminal S for baseline) = problem-specific diagonals
    Tuned per experiment (e.g., Q=diag(10,10,10), R=diag(0.1,…) or R=diag(200,…)).
  • CBF class-K gain a in γ(r)=a r
    Free positive scalar in the SOS program (17e); affects performance.
  • Disturbance radius w-bar = 1.2e-3 Nm
    Design-time bound on ||w||_p; set to 10 % of actuation in the examples.
  • Level β of the approximate safe set
    Defines ĥ 年 β; chosen so that the sublevel set lies inside X.
axioms (5)
  • domain assumption Existence of a compatible ISS-CLF / robust-CBF pair satisfying Definition 2 on a sufficiently large set
    Theorem 1 is conditional on this pair; synthesis via (17) is only a sufficient computational attempt.
  • domain assumption System is continuous-time input-affine, polynomial, Lipschitz, with compact U, W containing the origin in the interior
    Stated in §2 and required for both the QP reduction and the SOS encoding.
  • standard math Standard comparison-function characterization of ISS (Sontag) and robust CBF invariance
    Used to define ISS-CLF (9) and robust CBF (11) and to conclude closed-loop ISS from the Lyapunov decrease.
  • domain assumption Operator-norm bound ablaĥ p(x) w ≤ || ablaĥ p(x)||_op w-bar is tight enough for the chosen p-norm
    Converts the robust CBF inequality into a w-independent linear constraint (15b).
  • ad hoc to paper Sampled-data implementation with zero-order hold does not destroy invariance (inter-sample effect)
    Acknowledged in §5.3 as a known issue; only verified numerically, not proved.
invented entities (1)
  • ISS-∂MPC quadratic program (15) no independent evidence
    purpose: Real-time feedback that simultaneously enforces robust safety and ISS decrease
    The concrete online optimization that replaces min-max NMPC; built from standard CLF/CBF ideas but specialized to the infinitesimal-horizon robust setting.

pith-pipeline@v1.2.0-daily-grok45 · 21918 in / 3024 out tokens · 43505 ms · 2026-07-31T10:22:59.413919+00:00 · methodology

0 comments
read the original abstract

In this paper, a computationally lightweight approximate robust nonlinear model predictive control (NMPC) law is proposed based on a pair of input-to-state control Lyapunov function and robust control barrier function. The result builds upon and augments a recently introduced nominal infinitesimal- horizon NMPC scheme which permits small-sized quadratic programs to compute the feedback law for nonlinear constraint systems on embedded hardware in real time. Numerical experiments for nonlinear constrained spacecraft control and comparison to other robust NMPC schemes from the literature demonstrate the effectiveness of the proposed scheme.

Figures

Figures reproduced from arXiv: 2607.28353 by Jan Olucak, Torbj{\o}rn Cunis.

Figure 1
Figure 1. Figure 1: RMS of the angular rate for the first run. Among the four methods, the proposed ISS-MPC has the smallest RMS [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 5
Figure 5. Figure 5: ISS-Lyapunov function evaluated along the closed￾loop trajectory for the twenty runs. The ISS-CLF is nonnega￾tive, indicating that the state converges to a neighbourhood of the origin. this effect was not observed in the numerical examples. Another interesting direction lies in the development of disturbance observers in combination with ISS-𝜕NMPC formulations parameterized in the disturbance, to reduce th… view at source ↗
Figure 4
Figure 4. Figure 4: CBF evaluated along the closed-loop trajectory for the twenty runs. The CBF is non-positive, indicating that the state constraints are satisfied. The zoom in the right figure shows the CBF values get close to the boundary of the feasible set, but do not violate it. effort is higher because the polynomial structure (degree, monomials) must be selected in addition to the state cost and its weights. Selecting… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

262 extracted references · 92 canonical work pages · 4 internal anchors

  1. [6]

    , year 2026

    author ApS, M. , year 2026 . title MOSEK Optimization Suite version 11.1.15 . YYY

    2026

  2. [28]

    , author Alamo, T

    author Limon, D. , author Alamo, T. , author Raimondo, D.M. , author de la Pe \ n a , D.M. , author Bravo, J.M. , author Ferramosca, A. , author Camacho, E.F. , year 2009 . title Input-to- State Stability : A Unifying Framework for Robust Model Predictive Control , in: editor Magni, L. , editor Raimondo, D.M. , editor Allg \"o wer, F. (Eds.), booktitle No...

    2009

  3. [32]

    , author Castello B

    author Olucak, J. , author Castello B. de Oliveira , A. , author Cunis, T. , year 2025 . title Safe-by- Design : Approximate Nonlinear Model Predictive Control with Real Time Feasibility . :10.48550/arXiv.2509.22422, arXiv:2509.22422 http://arxiv.org/abs/2509.22422

    work page doi:10.48550/arxiv.2509.22422 2025

  4. [34]

    , year 2003

    author Parrilo, P.A. , year 2003 . title Semidefinite programming relaxations for semialgebraic problems . journal Mathematical Programming volume 96 , pages 293--320 . :10.1007/s10107-003-0387-5

    doi:10.1007/s10107-003-0387-5 2003

  5. [36]

    , author Limon, D

    author Raimondo, D.M. , author Limon, D. , author Lazar, M. , author Magni, L. , author Camacho, E.F. , year 2009 . title Min-max Model Predictive Control of Nonlinear Systems : A Unifying Overview on Stability . journal European Journal of Control volume 15 , pages 5--21 . :10.3166/ejc.15.5-21

    work page doi:10.3166/ejc.15.5-21 2009

  6. [37]

    , year 2019

    author Rakovi \'c , S.V. , year 2019 . title Robust model predictive control , in: editor Baillieul, J. , editor Samad, T. (Eds.), booktitle Encyclopedia of Systems and Control . publisher Springer London , address London , pp. pages 1--11 . :10.1007/978-1-4471-5102-9_2-2

    work page doi:10.1007/978-1-4471-5102-9_2-2 2019

  7. [38]

    , author Dai, L

    author Rakovi \'c , S.V. , author Dai, L. , author Xia, Y. , year 2023 . title Homothetic Tube Model Predictive Control for Nonlinear Systems . journal IEEE Transactions on Automatic Control volume 68 , pages 4554--4569 . :10.1109/TAC.2022.3207415

    arXiv 2023

  8. [39]

    , author Kochdumper, N

    author Sch \"u rmann, B. , author Kochdumper, N. , author Althoff, M. , year 2018 . title Reachset Model Predictive Control for Disturbed Nonlinear Systems , in: booktitle 2018 IEEE Conference on Decision and Control ( CDC ) , pp. pages 3463--3470 . :10.1109/CDC.2018.8619781

    arXiv 2018

  9. [40]

    , author Mayne, D

    author Scokaert, P. , author Mayne, D. , year 1998 . title Min-max feedback model predictive control for constrained linear systems . journal IEEE Transactions on Automatic Control volume 43 , pages 1136--1142 . :10.1109/9.704989

    work page doi:10.1109/9.704989 1998

  10. [41]

    , author Balas, G.J

    author Seiler, P. , author Balas, G.J. , year 2010 . title Quasiconvex sum-of-squares programming , in: booktitle 49th IEEE Conference on Decision and Control ( CDC ) , publisher IEEE , address Atlanta, GA, USA . pp. pages 3337--3342 . :10.1109/CDC.2010.5717672

    arXiv 2010

  11. [42]

    , author Bennani, S

    author Sieber, J. , author Bennani, S. , author Zeilinger, M.N. , year 2022 . title A System Level Approach to Tube-Based Model Predictive Control . journal IEEE Control Systems Letters volume 6 , pages 776--781 . :10.1109/LCSYS.2021.3086190

    arXiv 2022

  12. [43]

    , year 2008

    author Sontag, E.D. , year 2008 . title Input to State Stability : Basic Concepts and Results . publisher Springer Berlin Heidelberg , address Berlin, Heidelberg . volume volume 1932 . pp. pages 163--220 . :10.1007/978-3-540-77653-6_3

    doi:10.1007/978-3-540-77653-6_3 2008

  13. [44]

    , author Banjac, G

    author Stellato, B. , author Banjac, G. , author Goulart, P. , author Bemporad, A. , author Boyd, S. , year 2020 . title OSQP : an operator splitting solver for quadratic programs . journal Mathematical Programming Computation volume 12 , pages 637--672 . https://doi.org/10.1007/s12532-020-00179-2, :10.1007/s12532-020-00179-2

    doi:10.1007/s12532-020-00179-2 2020

  14. [45]

    , author Frison, G

    author Verschueren, R. , author Frison, G. , author Kouzoupis, D. , author Frey, J. , author van Duijkeren, N. , author Zanelli, A. , author Novoselnik, B. , author Albin, T. , author Quirynen, R. , author Diehl, M. , year 2022 . title Acados---a modular open-source framework for fast embedded optimal control . journal Math. Prog. Comp. volume 14 , pages ...

    doi:10.1007/s12532-021-00208-8 2022

  15. [46]

    , author Margellos, K

    author Wang, H. , author Margellos, K. , author Papachristodoulou, A. , year 2023 . title Assessing Safety for Control Systems Using Sum-of-Squares Programming , in: editor Ko c vara, M. , editor Mourrain, B. , editor Riener, C. (Eds.), booktitle Polynomial Optimization , Moments , and Applications . publisher Springer Nature Switzerland , address Cham , ...

    doi:10.1007/978-3-031-38659-6_7 2023

  16. [47]

    , author Maier, C

    author Yu, S. , author Maier, C. , author Chen, H. , author Allg \"o wer, F. , year 2013 . title Tube MPC scheme based on robust control invariant set with application to Lipschitz nonlinear systems . journal Systems & Control Letters volume 62 , pages 194--200 . :10.1016/j.sysconle.2012.11.004

    work page doi:10.1016/j.sysconle.2012.11.004 2013

  17. [48]

    , author Reble, M

    author Yu, S. , author Reble, M. , author Chen, H. , author Allg \"o wer, F. , year 2014 . title Inherent robustness properties of quasi-infinite horizon nonlinear model predictive control . journal Automatica volume 50 , pages 2269--2280 . :10.1016/j.automatica.2014.07.014

    work page doi:10.1016/j.automatica.2014.07.014 2014

  18. [49]

    , author Frey, J

    author Zanelli, A. , author Frey, J. , author Messerer, F. , author Diehl, M. , year 2021 . title Zero- Order Robust Nonlinear Model Predictive Control with Ellipsoidal Uncertainty Sets . journal IFAC-PapersOnLine volume 54 , pages 50--57 . :10.1016/j.ifacol.2021.08.523

    work page doi:10.1016/j.ifacol.2021.08.523 2021

  19. [50]

    First- and

    Bergmann, Ronny and Herzog, Roland and Ortiz López, Julián and Schiela, Anton , date =. First- and. doi:10.1007/s10957-022-02107-x , langid =

    work page doi:10.1007/s10957-022-02107-x

  20. [51]

    2026 , version =

    Olucak, Jan and Cunis, Torbjørn , publisher =. 2026 , version =. doi:10.18419/DARUS-5769 , url =

    work page doi:10.18419/darus-5769 2026

  21. [52]

    Automatica , volume =

    Lossless Convexification of a Class of Optimal Control Problems with Non-Convex Control Constraints , author =. Automatica , volume =. doi:10.1016/j.automatica.2010.10.037 , urldate =

    work page doi:10.1016/j.automatica.2010.10.037 2010

  22. [53]

    Nonlinear

    Adamy, J. Nonlinear. doi:10.1007/978-3-662-65633-4 , urldate =

    work page doi:10.1007/978-3-662-65633-4

  23. [54]

    Discrete

    Agrawal, Ayush and Sreenath, Koushil , year = 2017, month = jul, publisher =. Discrete. Robotics:. doi:10.15607/RSS.2017.XIII.073 , urldate =

    doi:10.15607/rss.2017.xiii.073 2017

  24. [55]

    IEEE Trans

    Abort-. IEEE Trans. Contr. Syst. Technol. , pages =. doi:10.1109/TCST.2022.3216077 , urldate =

    arXiv 2022

  25. [56]

    , year = 2021, journal =

    Aguilar Marsillach, Daniel and Holzinger, Marcus J. , year = 2021, journal =. Spacecraft. doi:10.2514/1.G005322 , urldate =

    work page doi:10.2514/1.g005322 2021

  26. [57]

    Ahmadi, Amir Ali and Orfe, Princeton , pages =. Sum of

  27. [58]

    Improving Efficiency and Scalability of Sum of Squares Optimization:

    Ahmadi, Amir Ali and Hall, Georgina and Papachristodoulou, Antonis and Saunderson, James and Zheng, Yang , year = 2017, month = dec, pages =. Improving Efficiency and Scalability of Sum of Squares Optimization:. 2017. doi:10.1109/CDC.2017.8263706 , urldate =

    arXiv 2017

  28. [59]

    doi:10.1137/18M118935X , urldate =

    Ahmadi, Amir Ali and Majumdar, Anirudha , year = 2019, month = jan, journal =. doi:10.1137/18M118935X , urldate =

    doi:10.1137/18m118935x 2019

  29. [60]

    and Tomlin, Claire J

    Akametalu, Anayo K. and Tomlin, Claire J. and Chen, Mo , year = 2018, journal =. Reachability-. doi:10.2514/1.G003490 , urldate =

    work page doi:10.2514/1.g003490 2018

  30. [61]

    Alamo, Teodoro and Ramirez, Daniel R and Mu. Min-

  31. [62]

    and Limon, D

    Alamo, T. and Limon, D. and Camacho, E.F. and Bravo, J.M. , year = 2005, month = may, journal =. Robust. doi:10.1049/ip-cta:20040480 , urldate =

    work page doi:10.1049/ip-cta:20040480 2005

  32. [63]

    and He, Chaozhe R

    Alan, Anil and Taylor, Andrew J. and He, Chaozhe R. and Orosz, G. Safe. IEEE Control Systems Letters , volume =. doi:10.1109/LCSYS.2021.3087443 , urldate =

    arXiv 2021

  33. [64]

    Alessio, Alessandro and Bemporad, Alberto , editor =. A. Nonlinear. doi:10.1007/978-3-642-01094-1_29 , urldate =

    doi:10.1007/978-3-642-01094-1_29

  34. [65]

    and Bates, Cuyler N

    Allan, Douglas A. and Bates, Cuyler N. and Risbeck, Michael J. and Rawlings, James B. , year = 2017, month = aug, journal =. On the Inherent Robustness of Optimal and Suboptimal Nonlinear. doi:10.1016/j.sysconle.2017.03.005 , urldate =

    work page doi:10.1016/j.sysconle.2017.03.005 2017

  35. [66]

    and Clark, Ashley A

    Allen, Ross E. and Clark, Ashley A. and Starek, Joseph A. and Pavone, Marco , year = 2014, month = sep, pages =. A Machine Learning Approach for Real-Time Reachability Analysis , booktitle =. doi:10.1109/IROS.2014.6942859 , urldate =

    arXiv 2014

  36. [67]

    Reachability

    Althoff, Matthias , langid =. Reachability

  37. [68]

    Online Safety Verification of Trajectories for Unmanned Flight with Offline Computed Robust Invariant Sets , booktitle =

    Althoff, Daniel and Althoff, Matthias and Scherer, Sebastian , year = 2015, month = sep, pages =. Online Safety Verification of Trajectories for Unmanned Flight with Offline Computed Robust Invariant Sets , booktitle =. doi:10.1109/IROS.2015.7353861 , abstract =

    arXiv 2015

  38. [69]

    Althoff, Matthias and Frehse, Goran and Girard, Antoine , year = 2021, month = may, journal =. Set. doi:10.1146/annurev-control-071420-081941 , urldate =

    doi:10.1146/annurev-control-071420-081941 2021

  39. [70]

    and Xu, Xiangru and Grizzle, Jessy W

    Ames, Aaron D. and Xu, Xiangru and Grizzle, Jessy W. and Tabuada, Paulo , year = 2017, month = aug, journal =. Control. doi:10.1109/TAC.2016.2638961 , urldate =

    arXiv 2017

  40. [71]

    and Coogan, Samuel and Egerstedt, Magnus and Notomista, Gennaro and Sreenath, Koushil and Tabuada, Paulo , year = 2019, month = jun, pages =

    Ames, Aaron D. and Coogan, Samuel and Egerstedt, Magnus and Notomista, Gennaro and Sreenath, Koushil and Tabuada, Paulo , year = 2019, month = jun, pages =. Control. 2019 18th. doi:10.23919/ECC.2019.8796030 , abstract =

    arXiv 2019

  41. [72]

    A Network Decomposition Approach for Efficient Sum of Squares Programming Based Analysis , booktitle =

    Anderson, James and Papachristodoulou, Antonis , year = 2010, month = jun, pages =. A Network Decomposition Approach for Efficient Sum of Squares Programming Based Analysis , booktitle =. doi:10.1109/ACC.2010.5530945 , urldate =

    arXiv 2010

  42. [73]

    Dynamical System Decomposition for Efficient, Sparse Analysis , booktitle =

    Anderson, James and Papachristodoulou, Antonis , year = 2010, month = dec, pages =. Dynamical System Decomposition for Efficient, Sparse Analysis , booktitle =. doi:10.1109/CDC.2010.5717269 , abstract =

    arXiv 2010

  43. [74]

    Annual Reviews in Control , volume =

    System Level Synthesis , author =. Annual Reviews in Control , volume =. doi:10.1016/j.arcontrol.2019.03.006 , urldate =

    doi:10.1016/j.arcontrol.2019.03.006 2019

  44. [75]

    Andersson, Joel A. E. and Rawlings, James B. , year = 2018, month = jan, journal =. Sensitivity. doi:10.1016/j.ifacol.2018.11.055 , urldate =

    work page doi:10.1016/j.ifacol.2018.11.055 2018

  45. [76]

    Andersson, Joel A. E. and Gillis, Joris and Horn, Greg and Rawlings, James B. and Diehl, Moritz , year = 2019, month = mar, journal =. doi:10.1007/s12532-018-0139-4 , urldate =

    doi:10.1007/s12532-018-0139-4 2019

  46. [77]

    and Casavola, A

    Angeli, D. and Casavola, A. and Mosca, E. , year = 2002, month = dec, volume =. Ellipsoidal Low-Demanding. Proceedings of the 41st. doi:10.1109/CDC.2002.1184300 , urldate =

    Pith/arXiv arXiv 2002

  47. [78]

    MOSEK Optimization Suite version 11.1.15

    MOSEK ApS. MOSEK Optimization Suite version 11.1.15

  48. [79]

    Networks of

    Arcak, Murat and Meissen, Chris and Packard, Andrew , year = 2016, series =. Networks of. doi:10.1007/978-3-319-29928-0 , urldate =

    doi:10.1007/978-3-319-29928-0 2016

  49. [80]

    Development of a

    Arslantas, Yunus Emre , year = 2017, month = jun, school =. Development of a

    2017

  50. [81]

    Recent Progress in Continuous and Hybrid Reachability Analysis , booktitle =

    Asarin, Eugene and Dang, Thao and Frehse, Goran and Girard, Antoine and Le Guernic, Colas and Maler, Oded , year = 2006, month = oct, pages =. Recent Progress in Continuous and Hybrid Reachability Analysis , booktitle =. doi:10.1109/CACSD-CCA-ISIC.2006.4776877 , abstract =

    arXiv 2006

  51. [82]

    A Computational Method for Non-Convex Reachable Sets Using Optimal Control , booktitle =

    Baier, Robert and Gerdts, Matthias , year = 2009, month = aug, pages =. A Computational Method for Non-Convex Reachable Sets Using Optimal Control , booktitle =. doi:10.23919/ECC.2009.7074386 , abstract =

    arXiv 2009

  52. [83]

    NACO , volume =

    Approximation of Reachable Sets Using Optimal Control Algorithms , author =. NACO , volume =. doi:10.3934/naco.2013.3.519 , urldate =

    work page doi:10.3934/naco.2013.3.519 2013

  53. [84]

    Balau, Andreea and Lazar, Corneliu , year = 2011, month = sep, pages =. One. 2011. doi:10.1109/ECBS-EERC.2011.18 , abstract =

    work page doi:10.1109/ecbs-eerc.2011.18 2011

  54. [85]

    , year = 2017, month = dec, pages =

    Bansal, Somil and Chen, Mo and Herbert, Sylvia and Tomlin, Claire J. , year = 2017, month = dec, pages =. Hamilton-. 2017. doi:10.1109/CDC.2017.8263977 , urldate =

    arXiv 2017

  55. [87]

    Barrett, Layne C , journal =. Applied

  56. [88]

    , year = 2018, month = sep, urldate =

    Barth, Janet L. , year = 2018, month = sep, urldate =. Space

    2018

  57. [89]

    and Brunner, Florian D

    Bayer, Florian A. and Brunner, Florian D. and Lazar, Mircea and Wijnand, Marc and Allg. A Tube-Based Approach to Nonlinear Explicit. 2016. doi:10.1109/CDC.2016.7798884 , urldate =

    arXiv 2016

  58. [90]

    Robustness in Identification and Control , author =

    Robust Model Predictive Control:. Robustness in Identification and Control , author =. doi:10.1007/BFb0109870 , urldate =

    doi:10.1007/bfb0109870

  59. [91]

    Optimal Control Theory with Aerospace Applications , author =

  60. [92]

    doi:10.1137/1.9780898718829 , urldate =

    Lectures on. doi:10.1137/1.9780898718829 , urldate =

    doi:10.1137/1.9780898718829

  61. [93]

    Looking to the

    Bennani, Samir and Girouart, Benedicte and Casasco, Massimo and Oddenino, Davide and Vandersteen, Jeroen and. Looking to the

  62. [94]

    Automatica , volume =

    On the Minimax Reachability of Target Sets and Target Tubes , author =. Automatica , volume =. doi:10.1016/0005-1098(71)90066-5 , urldate =

    work page doi:10.1016/0005-1098(71)90066-5

  63. [95]

    IEEE Trans

    Infinite Time Reachability of State-Space Regions by Using Feedback Control , author =. IEEE Trans. Automat. Contr. , volume =. doi:10.1109/TAC.1972.1100085 , urldate =

    arXiv 1972

  64. [96]

    Dynamic Programming and Optimal Control , author =

  65. [97]

    , year = 2010, month = jan, edition =

    Betts, John T. , year = 2010, month = jan, edition =. Practical. doi:10.1137/1.9780898718577 , urldate =

    doi:10.1137/1.9780898718577 2010

  66. [98]

    , year = 2010, series =

    Biegler, Lorenz T. , year = 2010, series =. Nonlinear Programming: Concepts, Algorithms, and Applications to Chemical Processes , shorttitle =

    2010

  67. [99]

    Blanchini, Franco and Miani, Stefano , year = 2015, series =. Set-. doi:10.1007/978-3-319-17933-9 , urldate =

    work page doi:10.1007/978-3-319-17933-9 2015

  68. [100]

    Semidefinite Optimization and Convex Algebraic Geometry , editor =

  69. [101]

    Linear Matrix Inequalities in System and Control Theory , editor =

  70. [102]

    Convex Optimization , author =

  71. [103]

    Bravo, J. M. and Limon, D. and Alamo, T. and Camacho, E. F. , year = 2005, month = sep, journal =. On the Computation of Invariant Sets for Constrained Nonlinear Systems:. doi:10.1016/j.automatica.2005.04.015 , urldate =

    work page doi:10.1016/j.automatica.2005.04.015 2005

  72. [104]

    Bravo, J. M. and Alamo, T. and Camacho, E. F. , year = 2006, month = oct, journal =. Robust. doi:10.1016/j.automatica.2006.05.003 , urldate =

    work page doi:10.1016/j.automatica.2006.05.003 2006

  73. [105]

    Breeden, Joseph and Garg, Kunal and Panagou, Dimitra , year = 2022, journal =. Control. doi:10.1109/LCSYS.2021.3076127 , urldate =

    arXiv 2022

  74. [106]

    Autonomous

    Breeden, Joseph and Panagou, Dimitra , year = 2023, month = oct, journal =. Autonomous. doi:10.2514/1.G007456 , urldate =

    work page doi:10.2514/1.g007456 2023

  75. [107]

    Brew, Julian and Holzinger, Marcus J and Schuet, Stefan , langid =

  76. [108]

    Bui, Minh and Lu, Michael and Hojabr, Reza and Chen, Mo and Shriraman, Arrvindh , year = 2021, month = sep, pages =. Real-. 2021. doi:10.1109/IROS51168.2021.9636410 , abstract =

    arXiv 2021

  77. [109]

    and Fagiano, Lorenzo , year = 2013, month = jan, journal =

    Calafiore, Giuseppe C. and Fagiano, Lorenzo , year = 2013, month = jan, journal =. Robust. doi:10.1109/TAC.2012.2203054 , urldate =

    arXiv 2013

  78. [110]

    Cannon, Mark and Buerger, Johannes and Kouvaritakis, Basil and Rakovic, Sa. Robust. IEEE Transactions on Automatic Control , volume =. doi:10.1109/TAC.2011.2135190 , urldate =

    arXiv 2011

  79. [111]

    and Munk, Michelle M

    Carson, John M. and Munk, Michelle M. and Sostaric, Ronald R. and Estes, Jay N. and Amzajerdian, Farzin and Blair, James B. and Rutishauser, David K. and Restrepo, Carolina I. and. The. doi:10.2514/6.2019-0660 , urldate =

    work page doi:10.2514/6.2019-0660 2019

  80. [112]

    Chai, Runqi and Tsourdos, Antonios and Gao, Huijun and Xia, Yuanqing and Chai, Senchun , year = 2022, month = apr, journal =. Dual-. doi:10.1109/TIE.2021.3076729 , urldate =

    arXiv 2022

Showing first 80 references.