539 search results - page 56 / 108 » Observability of Switched Linear Systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
TII
2010
13 years 4 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
CVPR
1999
IEEE
14 years 12 months ago
1999
IEEE
In this work, we use points, lines, and the linear extremal contours of cylinders to estimate the position and orientation of the camera in the world coordinate system. Other line...
MM
2006
ACM
14 years 3 months ago
2006
ACM
Many emerging applications such as video sensor monitoring can benefit from an on-line video correlation system, which can be used to discover linkages between different video s...