Sciweavers

200 search results - page 14 / 40
» State Estimation With Initial State Uncertainty
Sort
View
IJRR
2008
67views more  IJRR 2008»
13 years 7 months ago
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
Peng Cheng, Vijay Kumar
AAAI
1994
13 years 9 months ago
An Algorithm for Probabilistic Least-Commitment Planning
We de ne the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of goal propositions, a probability threshold, ...
Nicholas Kushmerick, Steve Hanks, Daniel S. Weld
ITRUST
2005
Springer
14 years 1 months ago
Trust Management Survey
Trust is an important tool in human life, as it enables people to cope with the uncertainty caused by the free will of others. Uncertainty and uncontrollability are also issues in ...
Sini Ruohomaa, Lea Kutvonen
JAIR
2007
79views more  JAIR 2007»
13 years 7 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
13 years 11 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea