Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"stochastic reachability"”.
-
Computational Techniques for Stochastic Reachability
… specifications. In addition, uncertain or stochastic behaviors are often exhibited (such as wind affecting the motion of an aircraft), making probabilistic verification desirable. Stochastic reachability analysis provides a formal means of generating the set of initial states that meets a …
-
High-Dimensional Motion Planning and Learning Under Uncertain Conditions
Many existing path planning methods do not adequately account for uncertainty. Without uncertainty these existing techniques work well, but in real world environments they struggle due to inaccurate sensor models, arbitrarily moving obstacles, and uncertain action consequences. For example, picking …
-
Probabilistic regional ocean predictions : stochastic fields and optimal planning
… equations and non-Gaussian statistics; (ii) Stochastic Dynamically Orthogonal level-set optimization to rigorously incorporate realistic ocean flow forecasts and plan energy-optimal paths of autonomous agents in coastal regions; (iii) Probabilistic predictions of reachability, time-optimal …
-
Dynamical Reduced-Order Models for High-Dimensional Systems
… resolution required, the large domain, or the stochasticity of the problem. These features make it a versatile tool suitable for a wide variety of problems. We evaluate, verify, and apply our new dynamical reduced-order models and schemes to a varied set of dynamical systems, including …
-
Trajectory planning under motion and sensing uncertainties: reachability analysis and connectivity maintenance
… while designing trajectory planning algorithms. Reachability analysis is a popular verification-based tool where reachable sets for the robot are first computed along candidate trajectories and then used to plan collision-safe trajectories. However, previous works do not explicitly account for …
-
Risk-resilient GPS-based positioning, navigation, and timing using sensor fusion and multi-agent platforms
The Global Positioning System (GPS) has become a stealth utility for many applications, such as positioning and navigation for ground and aerial vehicles, and timing and synchronization for the modern power systems. However, GPS receivers suffer from various vulnerabilities, including measurement …