Sciweavers

527 search results - page 63 / 106
» Words and Bisimulations of Dynamical Systems
Sort
View
BIRTHDAY
2008
Springer
13 years 9 months ago
Secure Data Flow in a Calculus for Context Awareness
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
Doina Bucur, Mogens Nielsen
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
13 years 7 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
AUTOMATICA
2006
76views more  AUTOMATICA 2006»
13 years 7 months ago
Nonlinear robust performance analysis using complex-step gradient approximation
In this paper, the complex-step method is applied in the setting of numerical optimisation problems involving dynamical systems modelled as nonlinear differential equations. The m...
Jongrae Kim, Declan G. Bates, Ian Postlethwaite
AUTOMATICA
2005
155views more  AUTOMATICA 2005»
13 years 7 months ago
Identification of MIMO Hammerstein models using least squares support vector machines
This paper studies a method for the identification of Hammerstein models based on Least Squares Support Vector Machines (LS-SVMs). The technique allows for the determination of th...
Ivan Goethals, Kristiaan Pelckmans, Johan A. K. Su...
IPMI
2007
Springer
14 years 8 months ago
Rao-Blackwellized Marginal Particle Filtering for Multiple Object Tracking in Molecular Bioimaging
Modern live cell fluorescence microscopy imaging systems, used abundantly for studying intra-cellular processes in vivo, generate vast amounts of noisy image data that cannot be pr...
Ihor Smal, Katharina Draegestein, Niels Galjart, W...