320 search results - page 44 / 64 » Constructing Invariants for Hybrid Systems |
163
click to vote
IJCV
1998
15 years 5 months ago
1998
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
140
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper, we address the problem of adaptively enriching motion description languages for multi-modal control by systematically enlarging the set of available modes. This pro...
155
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
114
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
168
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...