844 search results - page 27 / 169 » Reachability in Linear Dynamical Systems |
100
click to vote
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
DAGM
2008
Springer
15 years 18 days ago
2008
Springer
Performance of speech recognition systems strongly degrades in the presence of background noise, like the driving noise in the interior of a car. We compare two different Kalman fi...
84
Voted
ISSRE
2007
IEEE
15 years 11 days ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
111
click to vote
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
Least-squares estimation has always been the main approach when applying prediction error methods (PEM) in the identification of linear dynamical systems. Regardless of the estim...