15614 search results - page 113 / 3123 » The State of State |
98
Voted
AUTOMATICA
2008
15 years 27 days ago
2008
In recent years particle ...lters have been applied to a variety of state estimation problems. A particle ...lter is a sequential Monte Carlo Bayesian estimator of the posterior d...
122
click to vote
APPML
2006
15 years 25 days ago
2006
In this work we extend results from the literature on H design with pole placement constraints to the case of generalized state space models, for both continuous-time and discrete...
106
click to vote
CSL
2006
Springer
15 years 24 days ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
93
Voted
DAM
2007
15 years 22 days ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
110
Voted
SCL
2008
15 years 21 days ago
2008
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...