3995 search results - page 201 / 799 » Linearization of hybrid processes |
146
click to vote
ICA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
129
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
151
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
122
click to vote
SIAMCO
2008
15 years 4 months ago
2008
We study a stochastic control problem where the state process is described by a stochastic differential equation driven by a Brownian motion and a Poisson random measure, being af...
155
click to vote
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
A novel algorithm is introduced that can detect the presence of interpolation in images prior to compression as well as estimate the interpolation factor. The interpolation detect...