28 problems
- 0 votes0 replies0 views
Certainty-equivalence optimality conjecture for the scalar ℓ₁-gain bound
Consider the scalar positive linear-system setting above, with the certainty-equivalence (CE) policy and its certified disturbance-to-state -gain bound. CE optimality conje…
- 0 votes0 replies0 views
Single-agent robust mean field control limit conjecture
Single-agent robust mean field control limit conjecture. In the limit , the problem should become a robust control problem involving a single agent, with a cost depend…
- 0 votes0 replies0 views
Convergence conjecture for policy iteration in mixed H2/H-infinity control
Policy-iteration convergence conjecture. The method converges for sufficiently large .
- 0 votes0 replies0 views
One-shot optimality conjecture for stationary mean-field game equilibria
Let be the set of admissible stationary strategies, let be an equilibrium strategy, and let denote the strategy that uses in the i…
- 0 votes0 replies0 views
Parametric-form conjecture for the robust value function
Let denote the value function of the robust investment-consumption problem, and let be an auxiliary process. Suppose that is a function continuously differentia…
- 0 votes0 replies0 views
Minimal stationary policies are non-degenerate in H-infinity control
Let be the space of full-order dynamic policies for control. A policy is Clarke stationary when…
- 0 votes0 replies0 views
Genericity of non-degenerate policies in H-infinity control
Let be the space of full-order dynamic policies, and let be the subset of non-degenerate policies, namely those admitting a certificate…
- 0 votes0 replies0 views
Conjecture on the slow shrinkage of the DRSC ambiguity set
The DRSC method uses an ambiguity set, namely a set of plausible models or distributions used for robust control. Conjecture on the slow shrinkage of the DRSC ambiguity set. The re…
- 0 votes0 replies1 view
Conjecture on the form of the adjoint processes in the control-dependent ambiguity-aversion model
Let and denote the adjoint processes introduced in the control-dependent ambiguity-aversion formulation, with the model specialized by taking , …
- 0 votes0 replies0 views
Non-conservatism of the graph hierarchy for robust feedback stabilization
Let and let … Suppose that the switched system under consideration is robust feedback stabilizable. Non-conservatism conjecture. There exists an…
- 0 votes0 replies1 view
Khlebnikov's convexity conjecture for the epsilon-norm
Let parameterize the controller and let denote the corresponding closed-loop system, with the associated epsilon param…
- 0 votes0 replies0 views
Carrasco's conjecture on the necessity of Zames–Falb multipliers
A monotone static nonlinearity is a static nonlinearity satisfying the monotonicity condition; a Zames–Falb multiplier is a multiplier of the type used to certify robust stability…
- 0 votes0 replies0 views
Polynomial-time computation of the ν robustness measure
Polynomial-time computation conjecture. There exists a polynomial-time algorithm to compute within arbitrary precision.
- 0 votes0 replies0 views
Convergence and complexity of the magnitude-matrix balancing algorithm
Balancing-algorithm conjecture. Algorithm always converges. Moreover, the number of iterations required to reach a given tolerance is for fixed , and…
- 0 votes0 replies0 views
Diagonal maximality characterization of exactness for two-by-two systems
Diagonal-maximality conjecture.
- 0 votes0 replies0 views
Exactness of the upper robustness bound for some norm-bounded disturbances
Exactness conjecture. is exact for some class of norm-bounded disturbances.
- 0 votes0 replies0 views
Convex upper bounds for robustness of positive systems
Convex upper-bound conjecture. For positive systems, there exists a convex upper bound for a robustness measure against such uncertainties.
- 0 votes0 replies0 views
Local Lipschitz continuity conjecture for robust control barrier function filters
Local Lipschitz continuity conjecture. The function remains locally Lipschitz continuous in .
- 0 votes0 replies0 views
Robustness of one-step data-driven MPC with terminal ingredients
Consider a one-step data-driven MPC scheme using the terminal ingredients from Berberich et al. One-step robustness conjecture. Robustness of this scheme can be proven, using the i…
- 0 votes0 replies0 views
The bilateral-actuation conjecture for predictive boundary control
Bilateral-actuation conjecture. Bilateral control with actuators available at both boundaries might lead to smaller prediction errors and, consequently, better robustness margins b…
- 0 votes0 replies0 views
Robustness conjecture for feedback optimization under sensitivity uncertainty
Robustness conjecture. The feedback optimization approach should work as well in the presence of uncertainties in the input-output map sensitivities.
- 0 votes0 replies1 view
Extension of robust data-driven MPC to closed-loop output constraint satisfaction
For simplicity, output constraints are omitted, so let . Extension conjecture. The presented robust data-driven model predictive control results should ext…
- 0 votes0 replies0 views
Practical exponential stability of data-driven MPC under noise and disturbances
Consider the proposed data-driven MPC scheme with terminal ingredients, with noise and disturbances affecting the data and measurements. Modify Problem … and a regularization on…
- 0 votes0 replies0 views
Practical stability of data-driven MPC under noisy measurements
Let the measured data used by the data-driven MPC scheme be affected by noise, and let the MPC problem be modified by including a slack variable in the Hankel-matrix constraint and…
- 0 votes0 replies0 views
Extension of the data-driven sampled-data control design theorem to closed-loop performance
Performance-extension conjecture. An extension of Theorem to include performance criteria for the closed loop should be straightforward, for example by robustly verifying the perfo…