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 20 of 148 for “"Reachability"”.
-
Computational Techniques for Stochastic Reachability
… probabilistic verification desirable. Stochastic reachability analysis provides a formal means of generating the set of initial states that meets a given objective (such as safety or reachability) with a desired level of probability, known as the reachable (or safe) set, depending on the …
-
Symbolic reachability analysis for rewrite theories
… in automatic and semi-automatic reasoning for reachability properties of rewriting logic specifications, a major research goal in the current state of the art. In particular, this work develops deductive techniques for reasoning symbolically about specifications with initial model semantics, …
-
Automatic simulation-driven reachability using matrix measures
Simulation-driven verification is a promising approach that provides formal safety guarantees for otherwise intractable nonlinear and hybrid system models. A key step in simulation-driven algorithms is to compute the reach set over-approximations from a set of initial states through numerical …
-
Complexity of Dyck-reachability in directed graphs
We study the problem of Dyck-reachability in directed graphs de ned as follows: given a directed graph with edges labeled by either open or close parentheses, we claim that a vertex is Dyck-reachable from another if there is a path between these two vertices such that the string described by …
-
Reachability and robust design in dynamic systems
… must be addressed. The problems of forward reachability and robust design provide information about a dynamic system when uncertainty is present. This thesis develops theory and numerical methods for approaching the problems of reachability and robust design applied to dynamic systems. The …
-
Estimating Reachability Set Sizes in Dynamic Graphs
… thesis we study the problem of computing the reachability set size of a vertex, which is a fundamental problem, with applications in databases and social networks. We develop the first Giraph based algorithms for different dynamic versions of these problems, which scale to graphs with millions …
-
Compositional bounded reachability using time partitioning and abstraction
Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in the number of continuous variables. For systems that can be decomposed into separate components with lower dimensionality, …
-
Asymptotic orders of reachability in linear dynamic systems
Thesis (Elec. E)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.
-
Posture Affects Affordance Perception of Reachability in Virtual Reality
<p>Tasks such as standing and reaching require differing levels of postural stability. Postural equilibrium is necessary to perceive the location of objects (Lee, Pacheco, & Newell, 2018). Visual perception of whether an object is within reach was investigated while standing upright. Participants …
-
Reachability prediction and optimal path planning for autonomous ocean vehicles
… The governing differential equations for reachability analysis and time-optimal path planning were numerically integrated in real time, forced by our large-ensemble ocean forecasts. We illustrated deterministic and probabilistic forward reachability analyses, glider recovery planning, …
-
Assessing Renewable Resource Penetration on Power System Small-Signal Reachability
… To address the problem, we propose the use of reachability analysis techniques, which provide bounds on worst-case deviations of system variables that must remain within certain operational constraints. We assume the input disturbance caused by the renewable-based generation is small enough to …
-
GARNET : a Graphical Attack graph and Reachability Network Evaluation Tool
… presents GARNET (Graphical Attack graph and Reachability Network Evaluation Tool), an interactive visualization tool intended to facilitate the task of attack graph analysis. The tool provides a simplified view of critical steps that can be taken by an attacker and of host-to-host network …
-
Reachability analysis and deterministic global optimization of differential-algebraic systems
Systems of differential-algebraic equations (DAEs) are used to model an incredible variety of dynamic phenomena. In the chemical process industry in particular, the numerical simulation of detailed DAE models has become a cornerstone of many core activities including, process development, economic …
-
Extro-Reachability Actualising New Digital Spaces for Academic Teaching Practice Continuity
… use in higher education, which is Extro-reachability. Extro-reachability is about reaching learners where they are socially beyond the immediate teaching environment, culminating in nuanced visibility, active presence, interactivity and an augmented extension of academic communication …
-
Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis
… Systems will be introduced. Then the reachability analysis techniques are developed to compute the exact reachable sets which will then be manipulated to design control laws that satisfy the safety property of the system.As a motivating application, we consider the Adaptive Cruise …
-
Hazard elimination using backwards reachability techniques in discrete and hybrid models
… a hypothetical unsafe state and using backwards reachability techniques to obtain enough information to determine how to design in order to ensure that state cannot be reached. State machine models are very powerful, but also present greater challenges in terms of reachability, including the …
-
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 …
-
BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops
… are safe. Previous works have developed forward reachability techniques to verify safety for NFLs, but these techniques can be prohibitively conservative in non-convex settings such as obstacle avoidance. To enable safety verificaiton in non-convex settings, this thesis proposes BReach-LP: a set …
Page 1 of 8