844 search results - page 39 / 169 » Reachability in Linear Dynamical Systems |
96
Voted
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
Uniqueness of normal forms (UN= ) is an important property of term rewrite systems. UN= is decidable for ground (i.e., variable-free) systems and undecidable in general. Recently ...
194
Voted
DASFAA
2011
IEEE
14 years 2 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
110
click to vote
HYBRID
2004
Springer
15 years 4 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
ICPR
2006
IEEE
16 years 3 hour ago
2006
IEEE
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...