43 search results - page 3 / 9 » Feasibility and Constraint Analysis of Sets of Linear Matrix... |
AUTOMATICA
2008
15 years 1 months ago
2008
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
120
click to vote
NIPS
2004
15 years 3 months ago
2004
Various problems in machine learning, databases, and statistics involve pairwise distances among a set of objects. It is often desirable for these distances to satisfy the propert...
AUTOMATICA
2000
15 years 1 months ago
2000
: For a large class of bounded-error estimation problems, the posterior feasible set 5 for the parameters can be dened by nonlinear inequalities. The set-inversion approach combine...
132
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...