Sciweavers

865 search results - page 114 / 173
» Uncertainty Reduction Using Dynamics
Sort
View
HYBRID
2003
Springer
15 years 7 months ago
Qualitative Heterogeneous Control of Higher Order Systems
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
Subramanian Ramamoorthy, Benjamin Kuipers
100
Voted
ICRA
2007
IEEE
123views Robotics» more  ICRA 2007»
15 years 8 months ago
Model-Based Wheel Slip Detection for Outdoor Mobile Robots
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
Chris C. Ward, Karl Iagnemma
145
Voted
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 7 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
129
Voted
ICMLA
2009
15 years 8 days ago
Sensitivity Analysis of POMDP Value Functions
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
Stéphane Ross, Masoumeh T. Izadi, Mark Merc...
151
Voted
CTW
2007
95views more  CTW 2007»
15 years 2 months ago
Sensemaking, safety, and cooperative work in the intensive care unit
Abstract Making sense of circumstances and situations is critical to coordinate cooperative work. Especially in process control domains, we may expect that effective and reliable o...
Sara Albolino, Richard Cook, Michael O'Connor