1357 search results - page 142 / 272 » Compositional analysis for linear systems |
PAMI
2006
13 years 10 months ago
2006
We propose a model of the joint variation of shape and appearance of portions of an image sequence. The model is conditionally linear, and can be thought of as an extension of acti...
ISSAC
1997
Springer
14 years 3 months ago
1997
Springer
Las Vegas algorithms that are based on Lanczos’s method for solving symmetric linear systems are presented and analyzed. These are compared to a similar randomized Lanczos algor...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
13 years 10 months ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...