Sciweavers

256 search results - page 23 / 52
» State Aggregation and Population Dynamics in Linear Systems
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
14 years 1 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
IJBC
2008
98views more  IJBC 2008»
13 years 8 months ago
Slow Invariant Manifolds as Curvature of the Flow of Dynamical Systems
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
Jean-Marc Ginoux, Bruno Rossetto, Leon O. Chua
CVPR
2007
IEEE
14 years 11 months ago
Discriminative Learning of Dynamical Systems for Motion Tracking
We introduce novel discriminative learning algorithms for dynamical systems. Models such as Conditional Random Fields or Maximum Entropy Markov Models outperform the generative Hi...
Minyoung Kim, Vladimir Pavlovic
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 3 months ago
Aging in language dynamics
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
Animesh Mukherjee, Francesca Tria, Andrea Baronche...
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
14 years 3 months ago
Stabilizing uncertain systems with dynamic quantization
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
Linh Vu, Daniel Liberzon