Sciweavers

4057 search results - page 216 / 812
» Linear combination of transformations
Sort
View
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 9 months ago
Extended nonlinear observable canonical form for multi-output dynamical systems
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
Driss Boutat, Krishna Busawon
AUTOMATICA
2008
76views more  AUTOMATICA 2008»
15 years 6 months ago
Structured semidefinite programs for the control of symmetric systems
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
Randy Cogill, Sanjay Lall, Pablo A. Parrilo
APAL
2005
89views more  APAL 2005»
15 years 6 months ago
Softness of hypercoherences and MALL full completeness
We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard's -autonomous category of hype...
Richard Blute, Masahiro Hamano, Philip J. Scott
LISP
2002
80views more  LISP 2002»
15 years 6 months ago
Comparing Control Constructs by Double-Barrelled CPS
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
Hayo Thielecke
TASLP
2010
157views more  TASLP 2010»
15 years 1 months ago
Multichannel Nonnegative Matrix Factorization in Convolutive Mixtures for Audio Source Separation
Abstract--We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of sourc...
Alexey Ozerov, Cédric Févotte