BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Shai Revzen

Shai Revzen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.OCRoboticsBiological Physicseess.SYmath-phmath.DGmath.MPnlin.CDQuantitative MethodsSystems and Control

Catalog footprint

What is connected

8works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2024arXiv

Modeling multi-legged robot locomotion with slipping and its experimental validation

Multi-legged robots with six or more legs are not in common use, despite designs with superior stability, maneuverability, and a low number of actuators being available for over 20 years. This may be in part due to the difficulty in modeling multi-legged motion with slipping and producing reliable predictions of body velocity. Here we present a detailed measurement of the foot contact forces in a hexapedal robot with multiple sliding contacts, and provide an algorithm for predicting these contact forces and the body velocity. The algorithm relies on the recently published observation that even while slipping, multi-legged robots are principally kinematic, and employ a friction law ansatz that allows us to compute the shape-change to body-velocity connection and the foot contact forces. This results in the ability to simulate motion plans for a large number of potentially slipping legs. In homogeneous environments, this can run in (parallel) logarithmic time of the planning horizon

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Estimating Phase from Observed Trajectories Using the Temporal 1-Form

Oscillators are ubiquitous in nature, and usually associated with the existence of an asymptotic phase that governs the long-term dynamics of the oscillator. % We show that asymptotic phase can be estimated using a carefully chosen series expansion which directly computes the phase response curve and provide an algorithm for estimating the co-efficients of this series. Unlike all previously available data driven phase estimation methods, our algorithm can: (i) use observations that are much shorter than a cycle; (ii) recover phase within any forward invariant region for which sufficient data are available; (iii) recover the phase response curves (PRC-s) that govern weak oscillator coupling; (iv) show isochron curvature, and recover nonlinear features of isochron geometry. Our method may find application wherever models of oscillator dynamics need to be constructed from measured or simulated time-series.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Representing and computing the B-derivative of an $EC^r$ vector field's $PC^r$ flow

This paper concerns the first-order approximation of the piecewise-differentiable flow generated by a class of nonsmooth vector fields. Specifically, we represent and compute the Bouligand (or B-)derivative of the piecewise-$C^r$ flow generated by an event-selected $C^r$ vector field. Our results are remarkably efficient: although there are factorially many "pieces" of the desired derivative, we provide an algorithm that evaluates its action on a given tangent vector using polynomial time and space, and verify the algorithm's correctness by deriving a representation for the B-derivative that requires "only" exponential time and space to construct. We apply our methods in two classes of illustrative examples: piecewise-constant vector fields and mechanical systems subject to unilateral constraints.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Gait modeling and optimization for the perturbed Stokes regime

Many forms of locomotion, both natural and artificial, are dominated by viscous friction in the sense that without power expenditure they quickly come to a standstill. From geometric mechanics, it is known that for swimming at the "Stokesian" (viscous; zero Reynolds number) limit, the motion is governed by a reduced order "connection" model that describes how body shape change produces motion for the body frame with respect to the world. In the "perturbed Stokes regime" where inertial forces are still dominated by viscosity, but are not negligible (low Reynolds number), we show that motion is still governed by a functional relationship between shape velocity and body velocity, but this function is no longer linear in shape change rate. We derive this model using results from singular perturbation theory, and the theory of noncompact normally hyperbolic invariant manifolds (NHIMs). Using the theoretical properties of this reduced-order model, we develop an algorithm that estimates an approximation to the dynamics near a cyclic body shape change (a "gait") directly from observational data of shape and body motion. This extends our previous work which assumed kinematic "connection" models. To compare the old and new algorithms, we analyze simulated swimmers over a range of inertia to damping ratios. Our new class of models performs well on the Stokesian regime, and over several orders of magnitude outside it into the perturbed Stokes regime, where it gives significantly improved prediction accuracy compared to previous work. In addition to algorithmic improvements, we thereby present a new class of models that is of independent interest. Their application to data-driven modeling improves our ability to study the optimality of animal gaits, and our ability to use hardware-in-the-loop optimization to produce gaits for robots.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reverse-engineering invariant manifolds with asymptotic phase

We present a recipe for rendering a submanifold normally hyperbolic and invariant within a stability basin. The construction includes the ability to choose the asymptotic phase map. We are motivated by the notion of "templates and anchors" -- the biomechanical observation that animal motions are often governed by low dimensional dynamics -- and the growing applications in robotics which desire means for making such biologically derived templates govern the dynamics of robots. Our approach is fairly universal, in the sense that a broad range of model reduction constructions must be normally hyperbolic if they are robust, and a broad range of such normally hyperbolic systems can be produces from our construction.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Event-Selected Vector Field Discontinuities Yield Piecewise-Differentiable Flows

We study a class of discontinuous vector fields brought to our attention by multi-legged animal locomotion. Such vector fields arise not only in biomechanics, but also in robotics, neuroscience, and electrical engineering, to name a few domains of application. Under the conditions that (i) the vector field's discontinuities are locally confined to a finite number of smooth submanifolds and (ii) the vector field is transverse to these surfaces in an appropriate sense, we show that the vector field yields a well-defined flow that is Lipschitz continuous and piecewise-differentiable. This implies that although the flow is not classically differentiable, nevertheless it admits a first-order approximation (known as a Bouligand derivative) that is piecewise-linear and continuous at every point. We exploit this first-order approximation to infer existence of piecewise-differentiable impact maps (including Poincaré maps for periodic orbits), show the flow is locally conjugate (via a piecewise-differentiable homeomorphism) to a flowbox, and assess the effect of perturbations (both infinitesimal and non-infinitesimal) on the flow. We use these results to give a sufficient condition for the exponential stability of a periodic orbit passing through a point of multiply intersecting events, and apply the theory in illustrative examples to demonstrate synchronization in abstract first- and second-order phase oscillator models.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Model Reduction Near Periodic Orbits of Hybrid Dynamical Systems

We show that, near periodic orbits, a class of hybrid models can be reduced to or approximated by smooth continuous-time dynamical systems. Specifically, near an exponentially stable periodic orbit undergoing isolated transitions in a hybrid dynamical system, nearby executions generically contract superexponentially to a constant-dimensional subsystem. Under a non-degeneracy condition on the rank deficiency of the associated Poincare map, the contraction occurs in finite time regardless of the stability properties of the orbit. Hybrid transitions may be removed from the resulting subsystem via a topological quotient that admits a smooth structure to yield an equivalent smooth dynamical system. We demonstrate reduction of a high-dimensional underactuated mechanical model for terrestrial locomotion, assess structural stability of deadbeat controllers for rhythmic locomotion and manipulation, and derive a normal form for the stability basin of a hybrid oscillator. These applications illustrate the utility of our theoretical results for synthesis and analysis of feedback control laws for rhythmic hybrid behavior.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Dimension Reduction Near Periodic Orbits of Hybrid Systems

When the Poincaré map associated with a periodic orbit of a hybrid dynamical system has constant-rank iterates, we demonstrate the existence of a constant-dimensional invariant subsystem near the orbit which attracts all nearby trajectories in finite time. This result shows that the long-term behavior of a hybrid model with a large number of degrees-of-freedom may be governed by a low-dimensional smooth dynamical system. The appearance of such simplified models enables the translation of analytical tools from smooth systems-such as Floquet theory-to the hybrid setting and provides a bridge between the efforts of biologists and engineers studying legged locomotion.

0 citations0 reviewsNo code linkedOpen access