Sciweavers

256 search results - page 11 / 52
» State Aggregation and Population Dynamics in Linear Systems
Sort
View
CVPR
1999
IEEE
16 years 7 months ago
Time-Series Classification Using Mixed-State Dynamic Bayesian Networks
We present a novel mixed-state dynamic Bayesian network (DBN) framework for modeling and classifying timeseries data such as object trajectories. A hidden Markov model (HMM) of di...
Vladimir Pavlovic, Brendan J. Frey, Thomas S. Huan...
155
Voted
ICINCO
2004
153views Robotics» more  ICINCO 2004»
15 years 7 months ago
Iterative Linear Quadratic Regulator Design for Nonlinear Biological Movement Systems
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...
Weiwei Li, Emanuel Todorov
133
Voted
BC
1999
108views more  BC 1999»
15 years 5 months ago
Exact digital simulation of time-invariant linear systems with applications to neuronal modeling
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
Stefan Rotter, Markus Diesmann
NIPS
2003
15 years 7 months ago
A Nonlinear Predictive State Representation
Predictive state representations (PSRs) use predictions of a set of tests to represent the state of controlled dynamical systems. One reason why this representation is exciting as...
Matthew R. Rudary, Satinder P. Singh
CADE
2007
Springer
16 years 6 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...