Parameter sets for bounded-error data
Mathematics and Computers in Simulation
Set inversion via interval analysis for nonlinear bounded-error estimation
Automatica (Journal of IFAC) - Special section on fault detection, supervision and safety for technical processes
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Brief Proving set inclusion via intervals: application to parametric robust stability
Automatica (Journal of IFAC)
Brief Positive polynomial matrices and improved LMI robustness conditions
Automatica (Journal of IFAC)
Hi-index | 22.15 |
Many design problems, e.g. in control theory, amount to tuning a parameter vector c so as to guarantee that specifications are met for all feasible values of some unknown perturbation vector p. A new prototype algorithm for solving this guaranteed-tuning problem is proposed, and its convergence properties are established. It applies when the design specifications translate into a finite number of (possibly nonlinear) inequalities. Three test cases taken from the field of control are considered, namely the design of a PID controller robust to structured uncertainty, the control of a nonlinear discrete-time model with uncertain parameters and initial state, and a problem of motion planning, with obstacles to be avoided.