15614 search results - page 113 / 3123 » The State of State |
118
click to vote
AUTOMATICA
2008
15 years 3 months 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...
146
click to vote
APPML
2006
15 years 3 months 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...
137
click to vote
CSL
2006
Springer
15 years 3 months 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...
125
Voted
DAM
2007
15 years 3 months 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...
136
click to vote
SCL
2008
15 years 3 months 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 ...