Pith. sign in

REVIEW 2 major objections 7 minor 262 references

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

T0 review · 2 major / 7 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read 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.

desk verdict 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. read the letter →

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

Jan Olucak , Torbj{o}rn Cunis This is my paper · ORCID
classification eess.SYcs.SY
keywords RobustModelPredictiveControlInput-to-stateStabilityBarrierFunctionLyapunovSum-of-squaresOptimizationInfinitesimal-horizonMPCReal-timefeasibilitySpacecraftattitude
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

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.

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.

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

Extended reading notes

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

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.

Editorial extensions

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.

Reading between the lines

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.
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

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 · score 1.0 of 10

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.

Assumptions & free parameters 5 free parameters · 5 assumptions · 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.
assumptions (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)
    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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility." pith.science (2026). https://pith.science/paper/KT4D63OC

@misc{pith2026260728353,
  author       = {Pith},
  title        = {Pith review of: Input-to-state Stable Approximate Nonlinear Model Predictive Control with Realtime Feasibility},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KT4D63OC}},
  note         = {Machine review of arXiv:2607.28353}
}
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 the authors.

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. 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 the conserva… view at source ↗
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 the exten… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

262 extracted references · 92 canonical work pages

  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

Show all 262 references
  1. [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

    1998 doi

  2. [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

    2010

  3. [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

    2022

  4. [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

    2008 doi

  5. [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.10...

    2020 doi

  6. [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 ...

    2022 doi

  7. [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 , Mome...

    2023 doi

  8. [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.sy...

    2013 doi

  9. [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

    2014 doi

  10. [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

    2021 doi

  11. [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 =

    doi

  12. [51]

    2026 , version =

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

    2026 doi

  13. [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 =

    2010 doi

  14. [53]

    Nonlinear

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

    doi

  15. [54]

    Discrete

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

    2017 doi

  16. [55]

    IEEE Trans

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

    2022

  17. [56]

    , year = 2021, journal =

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

    2021 doi

  18. [57]

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

  19. [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 =

    2017

  20. [59]

    doi:10.1137/18M118935X , urldate =

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

    2019 doi

  21. [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 =

    2018 doi

  22. [61]

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

  23. [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 =

    2005 doi

  24. [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 =

    2021

  25. [64]

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

    doi

  26. [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 =

    2017 doi

  27. [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 =

    2014

  28. [67]

    Reachability

    Althoff, Matthias , langid =. Reachability

  29. [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 =

    2015

  30. [69]

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

    2021 doi

  31. [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 =

    2017

  32. [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 =

    2019

  33. [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 =

    2010

  34. [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 =

    2010

  35. [74]

    Annual Reviews in Control , volume =

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

    2019 doi

  36. [75]

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

    2018 doi

  37. [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 =

    2019 doi

  38. [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 =

    2002 arXiv

  39. [78]

    MOSEK Optimization Suite version 11.1.15

    MOSEK ApS. MOSEK Optimization Suite version 11.1.15

  40. [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 =

    2016 doi

  41. [80]

    Development of a

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

    2017

  42. [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 =

    2006

  43. [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 =

    2009

  44. [83]

    NACO , volume =

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

    2013 doi

  45. [84]

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

    2011 doi

  46. [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 =

    2017

  47. [87]

    Barrett, Layne C , journal =. Applied

  48. [88]

    , year = 2018, month = sep, urldate =

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

    2018

  49. [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 =

    2016

  50. [90]

    Robustness in Identification and Control , author =

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

    doi

  51. [91]

    Optimal Control Theory with Aerospace Applications , author =

  52. [92]

    doi:10.1137/1.9780898718829 , urldate =

    Lectures on. doi:10.1137/1.9780898718829 , urldate =

    doi

  53. [93]

    Looking to the

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

  54. [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 =

    doi

  55. [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 =

    1972

  56. [96]

    Dynamic Programming and Optimal Control , author =

  57. [97]

    , year = 2010, month = jan, edition =

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

    2010 doi

  58. [98]

    , year = 2010, series =

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

    2010

  59. [99]

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

    2015 doi

  60. [100]

    Semidefinite Optimization and Convex Algebraic Geometry , editor =

  61. [101]

    Linear Matrix Inequalities in System and Control Theory , editor =

  62. [102]

    Convex Optimization , author =

  63. [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 =

    2005 doi

  64. [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 =

    2006 doi

  65. [105]

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

    2022

  66. [106]

    Autonomous

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

    2023 doi

  67. [107]

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

  68. [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 =

    2021

  69. [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 =

    2013

  70. [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 =

    2011

  71. [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 =

    2019 doi

  72. [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 =

    2022

  73. [113]

    , year = 2011, month = jan, journal =

    Chakraborty, Abhijit and Seiler, Peter and Balas, Gary J. , year = 2011, month = jan, journal =. Susceptibility of. doi:10.2514/1.50675 , urldate =

    2011 doi

  74. [114]

    Control Engineering Practice , volume =

    Nonlinear Region of Attraction Analysis for Flight Control Verification and Validation , author =. Control Engineering Practice , volume =. doi:10.1016/j.conengprac.2010.12.001 , urldate =

    2010 doi

  75. [115]

    doi:10.48550/arXiv.1703.06930 , urldate =

    Verifying Safety of an Autonomous Spacecraft Rendezvous Mission , author =. doi:10.48550/arXiv.1703.06930 , urldate =. arXiv , keywords =:1703.06930 , primaryclass =

    doi arXiv

  76. [116]

    Efficient

    Chan, Kai Wah and Seelbinder, David and Theil, Stephan and Knauer, Matthias and B. Efficient. PAMM , volume =. doi:10.1002/pamm.201800241 , urldate =

    doi

  77. [117]

    Optimization-

    Chan, Kai Wah , year = 2022, month = oct, publisher =. Optimization-. doi:10.26092/elib/1922 , urldate =

    2022 doi

  78. [118]

    Satellite

    Chartrand, Mark , year = 2004, month = apr, volume =. Satellite. doi:10.1117/3.2249071.ch14 , urldate =

    2004 doi

  79. [119]

    and Allg

    Chen, H. and Allg. A. Automatica , volume =. doi:10.1016/S0005-1098(98)00073-9 , urldate =

    doi

  80. [120]

    Decomposed

    Chen, Xin and Sankaranarayanan, Sriram , year = 2016, month = nov, pages =. Decomposed. 2016. doi:10.1109/RTSS.2016.011 , abstract =

    2016 doi

  81. [121]

    , year = 2016, month = dec, pages =

    Chen, Mo and Herbert, Sylvia and Tomlin, Claire J. , year = 2016, month = dec, pages =. Fast Reachable Set Approximations via State Decoupling Disturbances , booktitle =. doi:10.1109/CDC.2016.7798268 , abstract =

    2016

  82. [122]

    Chen, Jinfeng and Gao, Zhiqiang and Lin, Qin , year = 2023, month = dec, pages =. Robust. 2023 62nd. doi:10.1109/CDC49753.2023.10383928 , urldate =

    2023

  83. [123]

    Chernick, Michelle and D'Amico, Simone , year = 2021, journal =. Closed-. doi:10.2514/1.G005218 , urldate =

    2021 doi

  84. [124]

    and Rossiter, J

    Chisci, L. and Rossiter, J. A. and Zappa, G. , year = 2001, month = jul, journal =. Systems with Persistent Disturbances: Predictive Control with Restricted Constraints , shorttitle =. doi:10.1016/S0005-1098(01)00051-6 , urldate =

    2001 doi

  85. [125]

    Significance of

    Chung, Seung and Williams, Brian , publisher =. Significance of. doi:10.2514/6.2010-3447 , urldate =

    2010 doi

  86. [126]

    Verification and

    Clark, Andrew , year = 2021, month = dec, pages =. Verification and. 2021 60th. doi:10.1109/CDC45484.2021.9683520 , urldate =

    2021

  87. [127]

    , year = 2022, month = dec, pages =

    Conger, Lauren and Li, Jing Shuang Lisa and Mazumdar, Eric and Brunton, Steven L. , year = 2022, month = dec, pages =. Nonlinear. 2022. doi:10.1109/CDC51059.2022.9993187 , urldate =

    2022

  88. [128]

    and Limon, Daniel and Garone, Emanuele , year = 2021, month = jul, journal =

    Cotorruelo, Andres and Hosseinzadeh, Mehdi and Ramirez, Daniel R. and Limon, Daniel and Garone, Emanuele , year = 2021, month = jul, journal =. Reference Dependent Invariant Sets:. doi:10.1016/j.automatica.2021.109614 , urldate =

    2021

  89. [129]

    Croley, Patrick A , langid =

  90. [130]

    Backwards Iteration Approaches for Sum-of-Squares Storage Functions , author =

  91. [131]

    Modeling,

    Cunis, Torbj. Modeling,

  92. [132]

    Automatica , volume =

    Viability, Viscosity, and Storage Functions in Model-Predictive Control with Terminal Constraints , author =. Automatica , volume =. doi:10.1016/j.automatica.2021.109748 , urldate =

    2021

  93. [133]

    Sequential Sum-of-Squares Programming for Analysis of Nonlinear Systems , booktitle =

    Cunis, Torbj. Sequential Sum-of-Squares Programming for Analysis of Nonlinear Systems , booktitle =. doi:10.23919/ACC55779.2023.10156153 , urldate =

    2023

  94. [134]

    Optim Lett , volume =

    Decomposed Quasiconvex Optimization with Application to Generalized Cone Problems , author =. Optim Lett , volume =. doi:10.1007/s11590-024-02174-1 , urldate =

    doi

  95. [136]

    Verification and

    Dai, Hongkai and Jiang, Chuanrui and Zhang, Hongchao and Clark, Andrew , year = 2024, month = dec, pages =. Verification and. 2024. doi:10.1109/CDC56724.2024.10885943 , urldate =

    2024

  96. [137]

    and Banjac, G

    Stellato, B. and Banjac, G. and Goulart, P. and Bemporad, A. and Boyd, S. , title =. Mathematical Programming Computation , volume =. 2020 , doi =

    2020

  97. [138]

    Experimental

    Danielson, Claus and Kloeppel, Joseph and Petersen, Christopher , year = 2023, month = oct, journal =. Experimental. doi:10.2514/1.G007586 , urldate =

    2023 doi

  98. [139]

    , year = 2025, month = jan, number =

    Das, Ersin and Burdick, Joel W. , year = 2025, month = jan, number =. Robust. doi:10.48550/arXiv.2401.01881 , urldate =. arXiv , keywords =:2401.01881 , primaryclass =

    2025 doi arXiv

  99. [140]

    and Hauser, John and Chen, Xudong and Nicotra, Marco M

    Dearing, Thomas L. and Hauser, John and Chen, Xudong and Nicotra, Marco M. and Petersen, Christopher , year = 2022, journal =. Efficient. doi:10.2514/1.G006166 , urldate =

    2022 doi

  100. [141]

    Estimating

    Devonport, Alex and Arcak, Murat , year = 2020, month = jul, pages =. Estimating. Proceedings of the 2nd

    2020

  101. [142]

    Kinematic

    Diaz Ramos, Manuel and Schaub, Hanspeter , year = 2018, month = sep, journal =. Kinematic. doi:10.2514/1.G002873 , urldate =

    2018 doi

  102. [143]

    , year = 2018, month = jun, pages =

    Di Cairano, Stefano and Kolmanovsky, Ilya V. , year = 2018, month = jun, pages =. Real-Time Optimization and Model Predictive Control for Aerospace and Automotive Applications , booktitle =. doi:10.23919/ACC.2018.8431585 , urldate =

    2018

  103. [144]

    and Findeisen, R

    Diehl, M. and Findeisen, R. and Allgower, F. and Bock, H.G. and Schloder, J. , year = 2003, month = dec, volume =. Stability of Nonlinear Model Predictive Control in the Presence of Errors Due to Numerical Online Optimization , booktitle =. doi:10.1109/CDC.2003.1272809 , abstract =

    2003 arXiv

  104. [145]

    IEE Proceedings - Control Theory and Applications , volume =

    Nominal Stability of Real-Time Iteration Scheme for Nonlinear Model Predictive Control , author =. IEE Proceedings - Control Theory and Applications , volume =

  105. [146]

    Diehl, Moritz and Bock, Hans Georg and Schl. A. SIAM J. Control Optim. , volume =. doi:10.1137/S0363012902400713 , urldate =

    doi

  106. [148]

    and Shao, Xiaodong and Wu, Huai-Ning , journal =

    Duan, Chao and Hu, Qinglei and Zhu, Zheng H. and Shao, Xiaodong and Wu, Huai-Ning , journal =. Kinematic. doi:10.2514/1.G006968 , urldate =

    doi

  107. [149]

    Finite-Horizon Controllability and Reachability for Deterministic and Stochastic Linear Control Systems with Convex Constraints , booktitle =

    Dueri, Daniel and A. Finite-Horizon Controllability and Reachability for Deterministic and Stochastic Linear Control Systems with Convex Constraints , booktitle =. doi:10.1109/ACC.2014.6859302 , urldate =

    2014

  108. [150]

    Real-Time

    Dueri, Daniel , year = 2018, address =. Real-Time

    2018

  109. [151]

    , year = 2022, month = jun, pages =

    Durand, Helen and Ames, Aaron D. , year = 2022, month = jun, pages =. A. 2022. doi:10.23919/ACC53348.2022.9867411 , urldate =

    2022

  110. [152]

    doi:10.2514/6.2019-0661 , urldate =

    Defining. doi:10.2514/6.2019-0661 , urldate =

    2019 doi

  111. [153]

    Computers & Chemical Engineering , series =

    Analysis and Design of Polynomial Control Systems Using Dissipation Inequalities and Sum of Squares , author =. Computers & Chemical Engineering , series =. doi:10.1016/j.compchemeng.2006.05.014 , urldate =

    2006 doi

  112. [154]

    Dissipation Inequalities in Systems Theory:

    Ebenbauer, Christian and Raff, Tobias and Allg. Dissipation Inequalities in Systems Theory:. 6th. doi:10.4171/056-1/2 , urldate =

    doi

  113. [155]

    Constrained

    Eren, Utku and Dueri, Daniel and A. Constrained. Journal of Guidance, Control, and Dynamics , volume =. doi:10.2514/1.G000882 , urldate =

    doi

  114. [156]

    Eren, Utku and Prach, Anna and Ko. Model. Journal of Guidance, Control, and Dynamics , volume =. doi:10.2514/1.G002507 , urldate =

    doi

  115. [157]

    Europa Study Team , year = 2012, month = may, file =

    2012

  116. [158]

    , year = 2021, month = may, number =

    Everett, Michael and Habibi, Golnaz and How, Jonathan P. , year = 2021, month = may, number =. Efficient. doi:10.48550/arXiv.2101.01815 , urldate =. arXiv , keywords =:2101.01815 , primaryclass =

    2021 doi arXiv

  117. [159]

    Scenario and

    Fagiano, Lorenzo and Schildbach, Georg and Tanaskovic, Marko and Morari, Manfred , year = 2015, month = jan, journal =. Scenario and. doi:10.1016/j.ifacol.2015.11.305 , urldate =

    2015 doi

  118. [160]

    , year = 2014, month = may, journal =

    Falugi, Paola and Mayne, David Q. , year = 2014, month = may, journal =. Getting. doi:10.1109/TAC.2013.2287727 , urldate =

    2014

  119. [161]

    and Dahleh, M

    Feron, E. and Dahleh, M. and Frazzoli, E. and Kornfeld, R. , year = 2001, month = aug, series =. A Randomized Attitude Slew Planning Algorithm for Autonomous Spacecraft , booktitle =. doi:10.2514/6.2001-4155 , urldate =

    2001 doi

  120. [162]

    doi:10.1007/s12532-014-0071-1 , urldate =

    Ferreau, Hans Joachim and Kirches, Christian and Potschka, Andreas and Bock, Hans Georg and Diehl, Moritz , year = 2014, month = dec, journal =. doi:10.1007/s12532-014-0071-1 , urldate =

    2014 doi

  121. [163]

    doi:10.48550/arXiv.1311.5240 , urldate =

    Fiala, Jan and Ko. doi:10.48550/arXiv.1311.5240 , urldate =. arXiv , langid =:1311.5240 , primaryclass =

    doi arXiv

  122. [164]

    , year = 2023, publisher =

    Fichter, Walter and Geshnizjani, Ramin T. , year = 2023, publisher =. Principles of. doi:10.1007/978-3-031-04780-0 , urldate =

    2023 doi

  123. [165]

    Findeisen, Rolf and Allgower, Frank , year = 2002, abstract =. An

    2002

  124. [166]

    The Quasi-Infinite Horizon Approach to Nonlinear Model Predictive Control , booktitle =

    Findeisen, Rolf and Allg. The Quasi-Infinite Horizon Approach to Nonlinear Model Predictive Control , booktitle =. doi:10.1007/3-540-45802-6_8 , urldate =

    doi

  125. [167]

    Deterministic and

    Fleming, Wendell and Rishel, Raymond , year = 1975, publisher =. Deterministic and. doi:10.1007/978-1-4612-6380-7 , urldate =

    1975 doi

  126. [168]

    Fleming, James and Kouvaritakis, Basil and Cannon, Mark , year = 2015, month = apr, journal =. Robust. doi:10.1109/TAC.2014.2336358 , urldate =

    2015

  127. [169]

    Proceedings of the National Academy of Sciences of the United States of America , volume =

    Mining in Space Could Spur Sustainable Growth , author =. Proceedings of the National Academy of Sciences of the United States of America , volume =. doi:10.1073/pnas.2221345120 , urldate =

    doi

  128. [170]

    User Manual for

    Fletcher, Roger and Leyffer, Sven , abstract =. User Manual for

  129. [171]

    Mathematical Programming , volume =

    Nonlinear Programming without a Penalty Function , author =. Mathematical Programming , volume =. doi:10.1007/s101070100244 , urldate =

    doi

  130. [172]

    Encyclopedia of Optimization , author =

  131. [173]

    Freeman, R. A. and Kokotovic, P. V. , year = 1996, month = jul, journal =. Inverse. doi:10.1137/S0363012993258732 , urldate =

    1996 doi

  132. [174]

    and Hudson, Jennifer and

    Frekhaug, Thomas A. and Hudson, Jennifer and. Robust. Journal of Guidance, Control, and Dynamics , volume =. doi:10.2514/1.G008190 , urldate =

    doi

  133. [175]

    Efficient

    Frey, Jonathan and Gao, Yunfan and Messerer, Florian and Lahr, Amon and Zeilinger, Melanie and Diehl, Moritz , year = 2024, month = jun, pages =. Efficient. 2024. doi:10.23919/ECC64448.2024.10591148 , urldate =

    2024

  134. [176]

    Advanced-

    Frey, Jonathan and Nurkanovi. Advanced-. IEEE Control Systems Letters , volume =. doi:10.1109/LCSYS.2024.3412007 , urldate =

    2024

  135. [177]

    doi:10.1016/j.ifacol.2020.12.073 , urldate =

    Frison, Gianluca and Diehl, Moritz , year = 2020, month = jan, journal =. doi:10.1016/j.ifacol.2020.12.073 , urldate =

    2020 doi

  136. [178]

    Review on Space Robotics:

    Gao, Yang and Chien, Steve , year = 2017, month = jun, journal =. Review on Space Robotics:. doi:10.1126/scirobotics.aan5074 , urldate =

    2017 doi

  137. [179]

    Advances in the

    Garg, Kunal and Usevitch, James and Breeden, Joseph and Black, Mitchell and Agrawal, Devansh and Parwana, Hardik and Panagou, Dimitra , year = 2024, journal =. Advances in the. doi:10.1016/j.arcontrol.2024.100945 , urldate =

    2024

  138. [180]

    Gavilan, Francisco and Vazquez, Rafael and Camacho, Eduardo F , abstract =. Robust

  139. [181]

    , year = 1991, month = dec, pages =

    Gayek, J.E. , year = 1991, month = dec, pages =. A Survey of Techniques for Approximating Reachable and Controllable Sets , booktitle =. doi:10.1109/CDC.1991.261702 , urldate =

    1991

  140. [182]

    Constructing

    Gong, Zheng and Zhao, Muhan and Bewley, Thomas and Herbert, Sylvia , year = 2023, journal =. Constructing. doi:10.1109/LCSYS.2022.3228728 , urldate =

    2023

  141. [183]

    Gonzalez, Camilo and Asadi, Houshyar and Kooijman, Lars and Lim, Chee Peng , year = 2023, month = dec, number =. Neural. doi:10.48550/arXiv.2309.02668 , urldate =. arXiv , langid =:2309.02668 , primaryclass =

    2023 doi

  142. [184]

    Inner Approximated Reachability Analysis , booktitle =

    Goubault, Eric and Mullier, Olivier and Putot, Sylvie and Kieffer, Michel , year = 2014, month = apr, pages =. Inner Approximated Reachability Analysis , booktitle =. doi:10.1145/2562059.2562113 , urldate =

    2014

  143. [185]

    Inner and Outer Reachability for the Verification of Control Systems , booktitle =

    Goubault, Eric and Putot, Sylvie , year = 2019, month = apr, series =. Inner and Outer Reachability for the Verification of Control Systems , booktitle =. doi:10.1145/3302504.3311794 , urldate =

    2019

  144. [186]

    Goubault, Eric and Putot, Sylvie , year = 2020, month = oct, journal =. Robust. doi:10.1109/LCSYS.2020.2997261 , urldate =

    2020

  145. [187]

    Automatica , volume =

    Optimization over State Feedback Policies for Robust Control with Constraints , author =. Automatica , volume =. doi:10.1016/j.automatica.2005.08.023 , urldate =

    2005 doi

  146. [188]

    and Chen, Yuwen , year = 2024, month = may, number =

    Goulart, Paul J. and Chen, Yuwen , year = 2024, month = may, number =. Clarabel:. doi:10.48550/arXiv.2405.12762 , urldate =. arXiv , keywords =:2405.12762 , primaryclass =

    2024 doi arXiv

  147. [189]

    Explicit

    Grancharova, Alexandra and Johansen, Tor Arne , year = 2012, series =. Explicit. doi:10.1007/978-3-642-28780-0 , urldate =

    2012 doi

  148. [190]

    Nonlinear

    Grandia, Ruben and Taylor, Andrew and Singletary, Andrew and Hutter, Marco and Ames, Aaron , year = 2020, month = jul, publisher =. Nonlinear. Robotics:. doi:10.15607/RSS.2020.XVI.098 , urldate =

    2020 doi

  149. [191]

    Grantham, W. J. , year = 1981, month = dec, journal =. Estimating. doi:10.1115/1.3139685 , urldate =

    1981 doi

  150. [192]

    Gray, Alfred and Abbena, Elsa and Salamon, Simon , langid =. Modern

  151. [193]

    Automatica , volume =

    Examples When Nonlinear Model Predictive Control Is Nonrobust , author =. Automatica , volume =. doi:10.1016/j.automatica.2004.04.014 , urldate =

    2004 doi

  152. [194]

    Introduction to

    Grippo, Luigi and Sciandrone, Marco , year = 2023, series =. Introduction to. doi:10.1007/978-3-031-26790-1 , urldate =

    2023 doi

  153. [195]

    Nonlinear

    Gr. Nonlinear. doi:10.1007/978-3-319-46024-6 , urldate =

    doi

  154. [196]

    and Di Cairano, Stefano and Bloch, Anthony M

    Gupta, Rohit and Kalabic, Uros V. and Di Cairano, Stefano and Bloch, Anthony M. and Kolmanovsky, Ilya V. , year = 2015, month = jul, pages =. Constrained Spacecraft Attitude Control on. 2015. doi:10.1109/ACC.2015.7171188 , urldate =

    2015

  155. [197]

    Towards a

    Gurriet, Thomas and Singletary, Andrew and Reher, Jacob and Ciarletta, Laurent and Feron, Eric and Ames, Aaron , year = 2018, month = apr, pages =. Towards a. 2018. doi:10.1109/ICCPS.2018.00018 , urldate =

    2018

  156. [198]

    Accelerating

    Han, Qiushi and Lin, Zhenwei and Liu, Hanwen and Chen, Caihua and Deng, Qi and Ge, Dongdong and Ye, Yinyu , year = 2024, month = aug, number =. Accelerating. doi:10.48550/arXiv.2407.15049 , urldate =. arXiv , keywords =:2407.15049 , primaryclass =

    2024 doi arXiv

  157. [199]

    doi:10.1002/pamm.202300241 , urldate =

    Hansknecht, Christoph and Kirches, Christian , year = 2023, journal =. doi:10.1002/pamm.202300241 , urldate =

    2023 doi

  158. [201]

    and Sanjeev, Suvansh and Gibson, Marsalis and Sreenath, Koushil and Tomlin, Claire J

    Herbert, Sylvia and Choi, Jason J. and Sanjeev, Suvansh and Gibson, Marsalis and Sreenath, Koushil and Tomlin, Claire J. , year = 2021, month = may, pages =. Scalable. 2021. doi:10.1109/ICRA48506.2021.9561561 , urldate =

    2021

  159. [202]

    and Lazar, Mircea and Kolmanovsky, Ilya V

    Hermans, Ralph M. and Lazar, Mircea and Kolmanovsky, Ilya V. and Di Cairano, Stefano , year = 2013, month = sep, journal =. Horizon-1. doi:10.1109/TCST.2012.2210223 , abstract =

    2013

  160. [203]

    Ho, Dimitar , year = 2020, month = jul, pages =. A. 2020. doi:10.23919/ACC45564.2020.9147857 , urldate =

    2020

  161. [204]

    Holzinger, Marcus and Scheeres, Daniel , abstract =

  162. [205]

    and Scheeres, Daniel J

    Holzinger, Marcus J. and Scheeres, Daniel J. , year = 2012, month = apr, journal =. Reachability. doi:10.1109/TAES.2012.6178080 , abstract =

    2012

  163. [206]

    Expensive

    Huang, Deqing and Jin, Bo and Lasagna, Davide and Chernyshenko, Sergei and Tutty, Owen , year = 2017, month = nov, journal =. Expensive. doi:10.1109/TCST.2016.2638881 , urldate =

    2017

  164. [207]

    doi:10.1145/3358228 , urldate =

    Huang, Chao and Fan, Jiameng and Li, Wenchao and Chen, Xin and Zhu, Qi , year = 2019, month = oct, journal =. doi:10.1145/3358228 , urldate =

    2019 doi

  165. [208]

    doi:10.1108/00022661111159906 , urldate =

    Hutao, Cui and Xiaojun, Cheng and Rui, Xu and Pingyuan, Cui , year = 2011, month = jan, journal =. doi:10.1108/00022661111159906 , urldate =

    2011 doi

  166. [209]

    An Equilibrium-Independent Region of Attraction Formulation for Systems with Uncertainty-Dependent Equilibria , booktitle =

    Iannelli, Andrea and Marcos, Andr. An Equilibrium-Independent Region of Attraction Formulation for Systems with Uncertainty-Dependent Equilibria , booktitle =. doi:10.1109/CDC.2018.8619153 , urldate =

    2018

  167. [210]

    and Egerstedt, Magnus , year = 2020, month = oct, journal =

    Ibuki, Tatsuya and Wilson, Sean and Ames, Aaron D. and Egerstedt, Magnus , year = 2020, month = oct, journal =. Distributed. doi:10.1109/LCSYS.2020.2997952 , urldate =

    2020

  168. [211]

    Ichihara, Hiroyuki , year = 2012, month = jul, journal =. Sum of. doi:10.9746/jcmsi.5.218 , urldate =

    2012 doi

  169. [212]

    Nonlinear

    Isidori, Alberto , year = 1995, series =. Nonlinear. doi:10.1007/978-1-84628-615-5 , urldate =

    1995 doi

  170. [213]

    Nonlinear

    Isidori, Alberto , editor =. Nonlinear. doi:10.1007/978-1-4471-0549-7 , urldate =

    doi

  171. [214]

    An Integrated

    Iturbe, Xabier and Keymeulen, Didier and Ozer, Emre and Yiu, Patrick and Berisford, Daniel and Hand, Kevin and Carlson, Robert , year = 2015, month = oct, pages =. An Integrated. 2015. doi:10.1109/VLSI-SoC.2015.7314405 , urldate =

    2015

  172. [215]

    and Solodov, Mikhail V

    Izmailov, Alexey F. and Solodov, Mikhail V. , year = 2014, series =. Newton-. doi:10.1007/978-3-319-04247-3 , urldate =

    2014 doi

  173. [216]

    Segmentation and

    Jakli. Segmentation and. doi:10.1007/978-94-015-9456-1 , urldate =

    doi

  174. [217]

    Automatica , volume =

    Robust Control Barrier Functions for Constrained Stabilization of Nonlinear Systems , author =. Automatica , volume =. doi:10.1016/j.automatica.2018.07.004 , urldate =

    2018 doi

  175. [218]

    doi:10.1109/CDC.2003.1272309 , abstract =

    Some Controls Applications of Sum of Squares Programming , booktitle =. doi:10.1109/CDC.2003.1272309 , abstract =

    2003 arXiv

  176. [219]

    Positive

    Control. Positive. doi:10.1007/10997703_1 , urldate =

    doi

  177. [220]

    , year = 2019, month = dec, pages =

    Jones, Morgan and Peet, Matthew M. , year = 2019, month = dec, pages =. Relaxing. 2019. doi:10.1109/CDC40024.2019.9029193 , urldate =

    2019

  178. [221]

    , year = 2019, month = jan, journal =

    Jones, Morgan and Peet, Matthew M. , year = 2019, month = jan, journal =. Using. doi:10.1016/j.ifacol.2019.12.008 , urldate =

    2019 doi

  179. [222]

    and Schaub, Hanspeter , year = 2009, month = jan, publisher =

    Junkins, John L. and Schaub, Hanspeter , year = 2009, month = jan, publisher =. Analytical. doi:10.2514/4.867231 , urldate =

    2009 doi

  180. [223]

    Constrained Spacecraft Attitude Control on

    Kalabi. Constrained Spacecraft Attitude Control on. 2014. doi:10.1109/ACC.2014.6858865 , urldate =

    2014

  181. [224]

    Constrained

    Kang, Zeyu and Shen, Qiang and Wu, Shufan , year = 2021, month = dec, journal =. Constrained. doi:10.1109/LCSYS.2020.3044984 , urldate =

    2021

  182. [225]

    Regularization of Limited Memory Quasi-

    Kanzow, Christian and Steck, Daniel , year = 2023, month = sep, journal =. Regularization of Limited Memory Quasi-. doi:10.1007/s12532-023-00238-4 , urldate =

    2023 doi

  183. [226]

    IEEE Transactions on Automatic Control , volume =

    Quadratically Constrained Attitude Control via Semidefinite Programming , author =. IEEE Transactions on Automatic Control , volume =. doi:10.1109/TAC.2004.825959 , urldate =

    2004

  184. [227]

    and Lightsey, E

    Kjellberg, Henri C. and Lightsey, E. Glenn , year = 2013, month = sep, journal =. Discretized. doi:10.2514/1.60189 , urldate =

    2013 doi

  185. [228]

    Klischat, Moritz and Althoff, Matthias , year = 2020, month = sep, pages =. A. 2020. doi:10.1109/ITSC45102.2020.9294328 , urldate =

    2020

  186. [229]

    Extensions of

    Kochdumper, Niklas , langid =. Extensions of

  187. [230]

    Computing

    Kochdumper, Niklas and Althoff, Matthias , year = 2020, month = dec, pages =. Computing. 2020 59th. doi:10.1109/CDC42340.2020.9304022 , urldate =

    2020

  188. [231]

    Utilizing Dependencies to Obtain Subsets of Reachable Sets , booktitle =

    Kochdumper, Niklas and Sch. Utilizing Dependencies to Obtain Subsets of Reachable Sets , booktitle =. doi:10.1145/3365365.3382192 , urldate =

  189. [232]

    Algorithms for

    Kochenderfer, Mykel J and Wheeler, Tim A , pages =. Algorithms for

  190. [233]

    A Novel Constraint Tightening Approach for Nonlinear Robust Model Predictive Control , booktitle =

    K. A Novel Constraint Tightening Approach for Nonlinear Robust Model Predictive Control , booktitle =. doi:10.23919/ACC.2018.8431892 , urldate =

    2018

  191. [234]

    and Allgower, Frank , year = 2021, month = feb, journal =

    Kohler, Johannes and Soloperto, Raffaele and Muller, Matthias A. and Allgower, Frank , year = 2021, month = feb, journal =. A. doi:10.1109/TAC.2020.2982585 , urldate =

    2021

  192. [235]

    International Journal of Robust and Nonlinear Control , volume =

    A Robust Adaptive Model Predictive Control Framework for Nonlinear Uncertain Systems , author =. International Journal of Robust and Nonlinear Control , volume =. doi:10.1002/rnc.5147 , urldate =

    doi

  193. [236]

    doi:10.48550/ARXIV.2207.10216 , urldate =

    A Model Predictive Control Framework with Robust Stability Guarantees under Large Disturbances , author =. doi:10.48550/ARXIV.2207.10216 , urldate =

    doi

  194. [237]

    Reachability-Based

    Kousik, Shreyas , year = 2020, urldate =. Reachability-Based

    2020

  195. [238]

    Kurzhanski, A. B. and Varaiya, P. , year = 2000, month = oct, journal =. Ellipsoidal Techniques for Reachability Analysis: Internal Approximation , shorttitle =. doi:10.1016/S0167-6911(00)00059-1 , urldate =

    2000 doi

  196. [239]

    Landry, Benoit and Chen, Mo and Hemley, Scott and Pavone, Marco , year = 2018, month = oct, pages =. Reach-. 2018. doi:10.1109/IROS.2018.8594078 , abstract =

    2018

  197. [240]

    and Falconer, G.J

    Lane, D.M. and Falconer, G.J. and Randall, G. and Edwards, I. , year = 2001, month = may, volume =. Interoperability and Synchronisation of Distributed Hardware-in-the-Loop Simulation for Underwater Robot Development: Issues and Experiments , shorttitle =. Proceedings 2001. do...

    2001

  198. [241]

    Automatica , volume =

    Robust Model Predictive Control Using Tubes , author =. Automatica , volume =. doi:10.1016/j.automatica.2003.08.009 , urldate =

    2003 doi

  199. [242]

    , year = 2006, publisher =

    La Valle, Steven M. , year = 2006, publisher =. Planning

    2006

  200. [243]

    , year = 2009, month = jun, pages =

    Lazar, M. , year = 2009, month = jun, pages =. Flexible Control. 2009. doi:10.1109/ACC.2009.5160426 , abstract =

    2009

  201. [244]

    IEEE Trans

    Feedback Control for Spacecraft Reorientation under Attitude Constraints via Convex Potentials , author =. IEEE Trans. Aerosp. Electron. Syst. , volume =. doi:10.1109/TAES.2014.120240 , urldate =

    2014

  202. [245]

    Constrained

    Lee, Unsik and Mesbahi, Mehran , year = 2017, month = feb, journal =. Constrained. doi:10.2514/1.G001879 , urldate =

    2017 doi

  203. [246]

    Geometric

    Lee, Dae Young and Gupta, Rohit and Kalabi. Geometric. Journal of Guidance, Control, and Dynamics , volume =. doi:10.2514/1.G001923 , urldate =

    doi

  204. [247]

    and Kohler, Johannes and Messerer, Florian and Lahr, Amon and Diehl, Moritz and Zeilinger, Melanie N

    Leeman, Antoine P. and Kohler, Johannes and Messerer, Florian and Lahr, Amon and Diehl, Moritz and Zeilinger, Melanie N. , year = 2024, month = jan, journal =. Fast. doi:10.1016/j.ifacol.2024.09.027 , urldate =

    2024 doi

  205. [248]

    Leeman, Antoine P. and K. Guaranteed. doi:10.48550/arXiv.2509.18760 , urldate =. arXiv , keywords =:2509.18760 , primaryclass =

    doi

  206. [249]

    Leeman, Antoine P. and K. Robust. IEEE Transactions on Automatic Control , volume =. doi:10.1109/TAC.2025.3552482 , urldate =

    2025

  207. [250]

    Legat, Beno. Sum-of-. Nonlinear Analysis: Hybrid Systems , volume =. doi:10.1016/j.nahs.2020.100858 , urldate =

    2020

  208. [251]

    Lentaris, George and Maragos, Konstantinos and Stratakos, Ioannis and Papadopoulos, Lazaros and Papanikolaou, Odysseas and Soudris, Dimitrios and Lourakis, Manolis and Zabulis, Xenophon and. High-. Journal of Aerospace Information Systems , volume =. doi:10.2514/1.I010555 , urldate =

    doi

  209. [252]

    Leung, Jordan and. A. 2021. doi:10.23919/ACC50511.2021.9482879 , urldate =

    2021

  210. [253]

    Sampling-Based

    Lew, Thomas and Pavone, Marco , year = 2020, month = nov, number =. Sampling-Based. doi:10.48550/arXiv.2008.10180 , urldate =. arXiv , keywords =:2008.10180 , primaryclass =

    2020 doi arXiv

  211. [254]

    Lew, Thomas and Janson, Lucas and Bonalli, Riccardo and Pavone, Marco , year = 2022, month = may, pages =. A. Proceedings of

    2022

  212. [255]

    An Augmented

    Leyffer, Sven and Vanaret, Charlie , year = 2020, month = oct, journal =. An Augmented. doi:10.1007/s00186-020-00713-x , urldate =

    2020 doi

  213. [256]

    Reachability

    Li, Dongxu and Bak, Stanley and Bogomolov, Sergiy , editor =. Reachability. Formal. doi:10.1007/978-3-030-57628-8_16 , abstract =

    doi

  214. [257]

    Li, Boqian and Wen, Shiping and Yan, Zheng and Wen, Guanghui and Huang, Tingwen , year = 2023, month = mar, journal =. A. doi:10.1109/JAS.2023.123075 , urldate =

    2023

  215. [258]

    Automatica , volume =

    Time-Distributed Optimization for Real-Time Model Predictive Control:. Automatica , volume =. doi:10.1016/j.automatica.2020.108973 , urldate =

    2020

  216. [259]

    Calculus of Variations and Optimal Control Theory: A Concise Introduction , shorttitle =

    Liberzon, Daniel , year = 2012, publisher =. Calculus of Variations and Optimal Control Theory: A Concise Introduction , shorttitle =

    2012

  217. [260]

    Sampling-

    Liebenwein, Lucas and Baykal, Cenk and Gilitschenski, Igor and Karaman, Sertac and Rus, Daniela , year = 2018, month = jun, publisher =. Sampling-. Robotics:. doi:10.15607/RSS.2018.XIV.014 , urldate =

    2018 doi

  218. [261]

    and Alamo, T

    Limon, D. and Alamo, T. and Camacho, E.F. , year = 2003, pages =. Robust. 42nd. doi:10.1109/CDC.2003.1271725 , urldate =

    2003 arXiv

  219. [262]

    and Alamo, T

    Limon, D. and Alamo, T. and Raimondo, D. M. and. Input-to-. Nonlinear. doi:10.1007/978-3-642-01094-1_1 , urldate =

    doi

  220. [263]

    Reachable

    Lin, Wang and Yang, Zhengfeng and Ding, Zuohua , year = 2022, month = jun, journal =. Reachable. doi:10.1007/s11424-022-1121-9 , urldate =

    2022 doi

  221. [264]

    Astrodyn , volume =

    Survey of Convex Optimization for Aerospace Applications , author =. Astrodyn , volume =. doi:10.1007/s42064-017-0003-8 , urldate =

    doi

  222. [265]

    Pre- and

    Lofberg, Johan , year = 2009, month = may, journal =. Pre- and. doi:10.1109/TAC.2009.2017144 , urldate =

    2009

  223. [266]

    Stochastic

    Lorenzen, Matthias and Dabbene, Fabrizio and Tempo, Roberto and Allg. Stochastic. Automatica , volume =. doi:10.1016/j.automatica.2017.03.031 , urldate =

    2017 doi

  224. [269]

    and Wise, Travis W

    Lovelly, Tyler M. and Wise, Travis W. and Holtzman, Shaun H. and George, Alan D. , year = 2018, month = aug, journal =. Benchmarking. doi:10.2514/1.I010621 , urldate =

    2018 doi

  225. [270]

    Lu, Ping , year = 2014, month = may, journal =. Entry. doi:10.2514/1.62605 , urldate =

    2014 doi

  226. [271]

    Chinese Journal of Aeronautics , volume =

    Survey of Orbital Dynamics and Control of Space Rendezvous , author =. Chinese Journal of Aeronautics , volume =. doi:10.1016/j.cja.2013.07.042 , urldate =

    2013 doi

  227. [272]

    Automatica , volume =

    On Reachability and Minimum Cost Optimal Control , author =. Automatica , volume =. doi:10.1016/j.automatica.2004.01.012 , urldate =

    2004 doi

  228. [273]

    Feasibility

    Ma, Haitong and Zhang, Xiangteng and Li, Shengbo Eben and Lin, Ziyu and Lyu, Yao and Zheng, Sifa , year = 2021, month = may, pages =. Feasibility. 2021 4th. doi:10.1109/ICPS49255.2021.9468220 , urldate =

    2021

  229. [274]

    Introduction to

    Macki, Jack and Strauss, Aaron , editor =. Introduction to. doi:10.1007/978-1-4612-5671-7 , urldate =

    doi

  230. [275]

    International Journal of Robust and Nonlinear Control , volume =

    Robust Model Predictive Control for Nonlinear Discrete-Time Systems , author =. International Journal of Robust and Nonlinear Control , volume =. doi:10.1002/rnc.815 , urldate =

    doi

  231. [276]

    Annual Reviews in Control , volume =

    Stabilizing Model Predictive Control of Nonlinear Continuous Time Systems , author =. Annual Reviews in Control , volume =. doi:10.1016/j.arcontrol.2004.01.001 , urldate =

    2004 doi

  232. [277]

    doi:10.3139/9783446470521 , urldate =

    Maiwald, Volker and Quantius, Dominik and Rievers, Benny , year = 2021, month = oct, edition =. doi:10.3139/9783446470521 , urldate =

    2021 doi

  233. [278]

    Robust Online Motion Planning with Reachable Sets , author =

  234. [279]

    Control and Verification of High-Dimensional Systems with

    Majumdar, Anirudha and Ahmadi, Amir Ali and Tedrake, Russ , year = 2014, month = dec, pages =. Control and Verification of High-Dimensional Systems with. 53rd. doi:10.1109/CDC.2014.7039413 , abstract =

    2014

  235. [280]

    The International Journal of Robotics Research , volume =

    Funnel Libraries for Real-Time Robust Feedback Motion Planning , author =. The International Journal of Robotics Research , volume =. doi:10.1177/0278364917712421 , urldate =

    doi

  236. [281]

    Computing

    Maler, Oded , abstract =. Computing

  237. [282]

    Annual Reviews in Control , volume =

    Advances in Trajectory Optimization for Space Vehicle Control , author =. Annual Reviews in Control , volume =. doi:10.1016/j.arcontrol.2021.04.013 , urldate =

    2021 doi

  238. [283]

    and Szmuk, Michael and Lew, Thomas and Bonalli, Riccardo and Pavone, Marco and A

    Malyuta, Danylo and Reynolds, Taylor P. and Szmuk, Michael and Lew, Thomas and Bonalli, Riccardo and Pavone, Marco and A. Convex. IEEE Control Systems Magazine , volume =. doi:10.1109/MCS.2022.3187542 , abstract =

    2022

  239. [284]

    Mammarella, Martina and Capello, Elisa and Guglieri, Giorgio , publisher =. Robust. 2018. doi:10.2514/6.2018-5343 , urldate =

    2018 doi

  240. [285]

    Aerospace Science and Technology , volume =

    Tube-Based Robust Model Predictive Control for Spacecraft Proximity Operations in the Presence of Persistent Disturbance , author =. Aerospace Science and Technology , volume =. doi:10.1016/j.ast.2018.04.009 , urldate =

    2018 doi

  241. [286]

    Attitude

    Mammarella, Martina and Lee, Dae Young and Park, Hyeongjun and Capello, Elisa and Dentis, Matteo and Guglieri, Giorgio , year = 2019, journal =. Attitude. doi:10.2514/1.A34394 , urldate =

    2019 doi

  242. [288]

    and Ankersen, Finn and Sasaki, Takahiro and Ancona, Elena and DiMatteo, Jeremiah and Spiegel, Isaac A

    Mammarella, Martina and D'Amico, Simone and Pavone, Marco and Linares, Richard and Acheson, Michael J. and Ankersen, Finn and Sasaki, Takahiro and Ancona, Elena and DiMatteo, Jeremiah and Spiegel, Isaac A. and Paganelli Azza, Federica and Varile, Mattia , year = 2025, month = ...

    2025

  243. [289]

    Controls for

    Mammarella, Martina and D'Amico, Simone and Pavone, Marco and Linares, Richard and Acheson, Michael J and Ankersen, Finn and Sasaki, Takahiro and Ancona, Elena and Matteo, Jeremiah Di and Spiegel, Isaac and Azza, Federica Paganelli and Varile, Mattia , abstract =. Controls for

  244. [290]

    Convexification and

    Mao, Yuanqi and Dueri, Daniel and Szmuk, Michael and A. Convexification and. Handbook of. doi:10.1007/978-3-319-77489-3_15 , urldate =

    doi

  245. [291]

    Landis and Crassidis, John L

    Markley, F. Landis and Crassidis, John L. , year = 2014, publisher =. Fundamentals of. doi:10.1007/978-1-4939-0802-8 , urldate =

    2014 doi

  246. [292]

    Astrone --

    Martin, Maurice and Belien, Frederik and Liu, Bangshang and Olucak, Jan and Schimpf, Fabian and Br. Astrone --

  247. [293]

    Pioneering the

    Martin, Maurice and Caroselli, Edoardo and Liu, Bangshang and Suwinski, Patrick and Chernykh, Valerij and Janschek, Klaus and Olucak, Jan and Schimpf, Fabian , year = 2023, month = jul, publisher =. Pioneering the. Papers of. doi:10.5270/esa-gnc-icatt-2023-172 , urldate =

    2023 doi

  248. [294]

    Maurer, Richard H and Fraeman, Martin E and Martin, Mark N and Roth, David R , year = 2008, journal =. Harsh

    2008

  249. [295]

    Mayne, D. Q. and Rawlings, J. B. and Rao, C. V. and Scokaert, P. O. M. , year = 2000, month = jun, journal =. Constrained Model Predictive Control:. doi:10.1016/S0005-1098(99)00214-9 , urldate =

    2000 doi

  250. [296]

    Automatica , volume =

    Robust Model Predictive Control of Constrained Linear Systems with Bounded Disturbances , author =. Automatica , volume =. doi:10.1016/j.automatica.2004.08.019 , urldate =

    2004 doi

  251. [297]

    and Kerrigan, Eric C

    Mayne, David Q. and Kerrigan, Eric C. and Falugi, Paola , year = 2011, month = jan, journal =. Robust Model Predictive Control: Advantages and Disadvantages of Tube-Based Methods , shorttitle =. doi:10.3182/20110828-6-IT-1002.01893 , urldate =

    2011

  252. [298]

    International Journal of Robust and Nonlinear Control , volume =

    Tube-Based Robust Nonlinear Model Predictive Control , author =. International Journal of Robust and Nonlinear Control , volume =. doi:10.1002/rnc.1758 , urldate =

    doi

  253. [299]

    Journal of Guidance, Control, and Dynamics , volume =

    Large Angle Slew Maneuvers with Autonomous Sun Vector Avoidance , author =. Journal of Guidance, Control, and Dynamics , volume =. doi:10.2514/3.21283 , urldate =

    doi

  254. [300]

    Meinert, Alexander and Baldauf, Niklas and Turnwald, Alen , year = 2024, month = oct, pages =. Robust. 2024 28th. doi:10.1109/ICSTCC62912.2024.10744677 , urldate =

    2024

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.