844 search results - page 31 / 169 » Reachability in Linear Dynamical Systems |
94
Voted
HYBRID
2009
Springer
14 years 8 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
91
Voted
JVCA
2007
14 years 10 months ago
2007
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
The performance of a speech recognition system may be degraded even without any background noise because of the linear or non-linear distortions incurred by recording devices or r...
ECCV
2006
Springer
16 years 23 days ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
86
Voted
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In the identification of nonlinear dynamical models it may happen that not only the system dynamics have to be modeled but also the noise has a dynamic character. We show how to ad...