In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution traces of the system or the simulation thereof. This family of methods is very appealing because of the simplicity of its execution, the possibility of having a partial verification, and its highly parallel structure. The key idea...

This paper presents an empirical comparison of strategies for representing motion trajectories with fixed-length vectors. We compare four techniques, which have all previously been adopted in the trajectory classification literature: least-squares cubic spline approximation, the Discrete Fourier Transform, Chebyshev polynomial approximation, and the Haar wavelet transform. We measure the class ...

A nonlinear programming approach for the optimal motion planning of robotic manipulators is presented. In this approach a standard optimal control problem of infinite dimensionality (in time) is converted into an optimization problem of finite dimensionality by approximating the manipulator trajectories by the sum of a polynomial and a set of appropriate eigenfunctions. The optimal control prob...

The study of rotary steering drilling technology is currently one of the hot topics in the drilling engineering field. It requires accurate well trajectory control instructions when rotary steerable tools are applied to achieve the well trajectory control goal. A drilling trajectory prediction model will benefit this progress. According to the continuous beam theory, a mechanical model of push-...

there have been a number of developments in screw design and implantation techniques over recent years, including proposal of an alternative trajectory entitled as cortical bone trajectory (cbt). cortical bone trajectory has been investigated in recent medical treatments as an alternative for screw fixation aimed at increasing purchase of pedicle screws in higher density bone. cbt screw inserti...

Biped robot locomotion is one of the active research areas in robotics. In this area, real-time stable walking with proper speed is one of the main challenges that needs to be overcome. Central Pattern Generators (CPG) as one of the biological gait generation models, can produce complex nonlinear oscillation as a pattern for walking. In this paper, we propose a model for a biped robot joint tra...

design of crystal-like lattices can be achieved by using some net operations. hypothetical networks, thus obtained, can be characterized in their topology by various counting polynomials and topological indices derived from them. the networks herein presented are related to the dyck graph and described in terms of omega polynomial and piv polynomials.

We consider the following problem: given a robot system, nd a minimal-time tra-jectory that goes from a start state to a goal state while avoiding obstacles by a speed-dependent safety-margin and respecting dynamics bounds. In 1] we developed a provably good approximation algorithm for the minimum-time trajectory problem for a robot system with decoupled dynamics bounds (e.g., a point robot in ...

in this paper, according to high load capacity and rather large workspace characteristics of cable driven robots (cdrs), maximum dynamic load carrying capacity (dlcc) between two given end points in the workspace along with optimal trajectory is obtained. in order to find dlcc of cdrs, joint actuator torque and workspace of the robot constraints concerning to non-negative tension in cables are ...