Sciweavers

844 search results - page 12 / 169
» Reachability in Linear Dynamical Systems
Sort
View
ECCV
2004
Springer
16 years 15 days ago
Synthesizing Dynamic Texture with Closed-Loop Linear Dynamic System
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
Lu Yuan, Fang Wen, Ce Liu, Heung-Yeung Shum
CVPR
2012
IEEE
13 years 1 months ago
Group action induced distances for averaging and clustering Linear Dynamical Systems with applications to the analysis of dynami
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
Bijan Afsari, Rizwan Chaudhry, Avinash Ravichandra...
ICPR
2010
IEEE
15 years 4 months ago
Sparse Coding of Linear Dynamical Systems with an Application to Dynamic Texture Recognition
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
Bernard Ghanem, Narendra Ahuja
APN
1999
Springer
15 years 2 months ago
Autonomous Continuous P/T Systems
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
Laura Recalde, Enrique Teruel, Manuel Silva
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 8 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé