Search
Search Results
-
Introducing robust reachability
We introduce a new property called robust reachability which refines the standard notion of reachability in order to take replicability into account....
-
Planning Multi-fingered Grasps with Reachability Awareness in Unrestricted Workspace
In the unstructured real-world, general object gras** with multi-fingered robot hands requires robots to plan stable and reachable grasps for a...
-
Reachability-Based Search for Tracking of Noncooperative Maneuvering Satellites in Data Sparse Environment
A generic Bayesian framework is presented to track lost-in-space noncooperative maneuvering satellites. The developed framework predicts the...
-
On the Positive Reachability of 2D Positive Systems
Local reachability of two-dimensional (2D) positive systems, by means of positive scalar inputs, is addressed by means of a graph theoretic approach.... -
Cyclic Steady States Reachability
Chapter discusses the problem of mutual reachability of cyclic steady state behaviors of SCCMP. It presents a generalized concept of a CSS, which... -
Positive Linear Systems Reachability Criterion in Digraph Form
Reachability criterion in digraph form for discrete-time positive linear systems in terms of the non-negative pair (A, B) is obtained. The criterion... -
Three-Dimensional Reachability Set For a Dubins Car: Reduction of the General Case of Rotation Constraints to the Canonical Case
AbstractIn mathematical control theory, a Dubins car is a nonlinear motion model described by differential relations, in which the scalar control...
-
Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
This paper deals with the dynamics of hybrid systems under piecewise open-loop controls restricted by hard bounds. The system equations may be reset... -
Reachability and Invariance Problems in Max-plus Algebra
We present a synthesis of recent results concerning reachability and invariance problems for max-plus linear dynamical systems. Semigroup membership... -
Rapid and Automatic Reachability Estimation of Electric Propulsion Spacecraft
Reachable and controllable sets for electric propulsion spacecraft are important to many problems including: dynamic replanning, robust mission...
-
Reachability Graph for Autonomous Continuous Petri Nets
An autonomous continuous Petri net is a model in which the time is not involved, the marking is a vector or non-negative real numbers, and a... -
Reachability and Controllability of Positive Linear Discrete-time Systems with Time-delays
Many practical systems in engineering, management science, economics, social sciences, compartmental analysis in biology and medicine, can be... -
Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities
In many automated motion planning systems, vehicles are tasked with tracking a reference path or trajectory that is safe by design. However, due to...
-
Using deep reinforcement learning to search reachability properties in systems specified through graph transformation
Today, model checking is one of the essential techniques in the verification of software systems. This technique can verify some properties such as...
-
Controllability and Reachability of Periodically Time-Variant Mixed-Valued Logical Control Networks
This paper investigates the controllability and reachability of periodically time-variant mixed-valued logical control networks (PTMLCNs). The PTMLCN...
-
A Stochastic Approximation Method for Reachability Computations
We develop a grid-based method for estimating the probability that the trajectories of a given stochastic system will eventually enter a certain... -
Living Space Simulator: Visualizing Estimations of Childhood Injury Risk Based on Geometric Reachability
This study focuses on an environmental assessment tool for preventing unintentional injuries in children. One suggested effective approach to prevent... -
Interval Reachability Analysis Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or...
-
Defining Reachability Tree Under Adiabatic and Reflexive Boundary Conditions
Naskar, Nazma Sivaraj, B. K.In this paper the elementary cellular automata is explored under adiabatic boundary condition and reflexive boundary... -
Comparative Study on the Reachability Distance Measurement Method: Difference Between the Real Environment and Mixed Reality Simulation
The study aimed to analyze the feasibility of Mixed-Reality (MR) in measuring reachability distance and to compare it with the real environment...