De, Avik
Email Address
ORCID
Disciplines
Search Results
Now showing 1 - 10 of 11
Publication Modular Hopping and Running via Parallel Composition(2017-11-03) De, AvikThough multi-functional robot hardware has been created, the complexity in its functionality has been constrained by a lack of algorithms that appropriately manage flexible and autonomous reconfiguration of interconnections to physical and behavioral components. Raibert pioneered a paradigm for the synthesis of planar hopping using a composition of ``parts'': controlled vertical hopping, controlled forward speed, and controlled body attitude. Such reduced degree-of-freedom compositions also seem to appear in running animals across several orders of magnitude of scale. Dynamical systems theory can offer a formal representation of such reductions in terms of ``anchored templates,'' respecting which Raibert's empirical synthesis (and the animals' empirical performance) can be posed as a parallel composition. However, the orthodox notion (attracting invariant submanifold with restriction dynamics conjugate to a template system) has only been formally synthesized in a few isolated instances in engineering (juggling, brachiating, hexapedal running robots, etc.) and formally observed in biology only in similarly limited contexts. In order to bring Raibert's 1980's work into the 21st century and out of the laboratory, we design a new family of one-, two-, and four-legged robots with high power density, transparency, and control bandwidth. On these platforms, we demonstrate a growing collection of $\{$body, behavior$\}$ pairs that successfully embody dynamical running / hopping ``gaits'' specified using compositions of a few templates, with few parameters and a great deal of empirical robustness. We aim for and report substantial advances toward a formal notion of parallel composition---embodied behaviors that are correct by design even in the presence of nefarious coupling and perturbation---using a new analytical tool (hybrid dynamical averaging). With ideas of verifiable behavioral modularity and a firm understanding of the hardware tools required to implement them, we are closer to identifying the components required to flexibly program the exchange of work between machines and their environment. Knowing how to combine and sequence stable basins to solve arbitrarily complex tasks will result in improved foundations for robotics as it goes from ad-hoc practice to science (with predictive theories) in the next few decades.Publication Sensor-Based Legged Robot Homing Using Range-Only Target Localization(2017-12-01) Vasilopoulos, Vasileios; Arslan, Omur; De, Avik; Koditschek, Daniel EThis paper demonstrates a fully sensor-based reactive homing behavior on a physical quadrupedal robot, using onboard sensors, in simple (convex obstacle-cluttered) unknown, GPS-denied environments. Its implementation is enabled by our empirical success in controlling the legged machine to approximate the (abstract) unicycle mechanics assumed by the navigation algorithm, and our proposed method of range-only target localization using particle filters. For more information: Kod*labPublication Averaged Anchoring of Decoupled Templates in a Tail-Energized Monoped(2015-01-01) De, Avik; Koditschek, Daniel EWe refine and advance a notion of parallel composition to achieve for the first time a stability proof and empirical demonstration of a steady-state gait on a highly coupled 3DOF legged platform controlled by two simple (decoupled) feedback laws that provably stabilize in isolation two simple 1DOF mechanical subsystems. Specifically, we stabilize a limit cycle on a tailed monoped to excite sustained sagittal plane translational hopping energized by tail-pumping during stance. The constituent subsystems for which the controllers are nominally designed are: (i) a purely vertical bouncing mass (controlled by injecting energy into its springy shaft); and (ii) a purely tangential rimless wheel (controlled by adjusting the inter-spoke stepping angle).We introduce the use of averaging methods in legged locomotion to prove that this “parallel composition” of independent 1DOF controllers achieves an asymptotically stable closed-loop hybrid limit cycle for a dynamical system that approximates the 3DOF stance mechanics of our physical tailed monoped.We present experimental data demonstrating stability and close agreement between the motion of the physical hopping machine and numerical simulations of the (mathematically tractable) approximating model. More information: http://kodlab.seas.upenn.edu/Avik/AveragingTSLIPPublication Parallel Composition of Templates for Tail-Energized Planar Hopping(2015-05-01) De, Avik; Koditschek, Daniel EWe have built a 4DOF tailed monoped that hops along a boom permitting free sagittal plane motion. This underactuated platform is powered by a hip motor that adjusts leg touchdown angle in flight and balance in stance, along with a tail motor that adjusts body shape in flight and drives energy into the passive leg shank spring during stance. The motor control signals arise from the application in parallel of four simple, completely decoupled 1DOF feedback laws that provably stabilize in isolation four corresponding 1DOF abstract reference plants. Each of these abstract 1DOF closedloopdynamicsrepresentssomesimplebutcrucialspecific component of the locomotion task at hand. We present a partial proof of correctness for this parallel composition of “template” reference systems along with data from the physical platform suggesting these templates are “anchored” as evidenced by the correspondence of their characteristic motions with a suitably transformed image of traces from the physical platform. For more information: http://kodlab.seas.upenn.edu/Avik/ICRA2015Publication Tail-Assisted Rigid and Compliant Legged Leaping(2015-01-01) Brill, Anna; De, Avik; Johnson, Aaron; Koditschek, Daniel EThis paper explores the design space of simple legged robots capable of leaping culminating in new behaviors for the Penn Jerboa, an underactuated, dynamically dexterous robot. Using a combination of formal reasoning and physical intuition, we analyze and test successively more capable leaping behaviors through successively more complicated body mechanics. The final version of this machine studied here bounds up a ledge 1.5 times its hip height and crosses a gap 2 times its body length, exceeding in this last regard the mark set by the far more mature RHex hexapod. Theoretical contributions include a non-existence proof of a useful class of leaps for a stripped-down initial version of the new machine, setting in motion the sequence of improvements leading to the final resulting performance. Conceptual contributions include a growing understanding of the Ground Reaction Complex as an effective abstraction for classifying and generating transitional contact behaviors in robotics.Publication Towards Bipedal Behavior on a Quadrupedal Platform Using Optimal Control(2016-05-13) Topping, Turner; Vasilopoulos, Vasileios; De, Avik; Koditschek, Daniel EThis paper explores the applicability of a Linear Quadratic Regulator (LQR) controller design to the problem of bipedal stance on the Minitaur [1] quadrupedal robot. Restricted to the sagittal plane, this behavior exposes a three degree of freedom (DOF) double inverted pendulum with extensible length that can be projected onto the familiar underactuated revolute-revolute “Acrobot” model by assuming a locked prismatic DOF, and a pinned toe. While previous work has documented the successful use of local LQR control to stabilize a physical Acrobot, simulations reveal that a design very similar to those discussed in the past literature cannot achieve an empirically viable controller for our physical plant. Experiments with a series of increasingly close physical facsimiles leading to the actual Minitaur platform itself corroborate and underscore the physical Minitaur platform corroborate and underscore the implications of the simulation study. We conclude that local LQR-based linearized controller designs are too fragile to stabilize the physical Minitaur platform around its vertically erect equilibrium and end with a brief assessment of a variety of more sophisticated nonlinear control approaches whose pursuit is now in progress.Publication Vertical hopper compositions for preflexive and feedback-stabilized quadrupedal bounding, pacing, pronking, and trotting(2018-07-05) De, Avik; Koditschek, Daniel EThis paper applies an extension of classical averaging methods to hybrid dynamical systems, thereby achieving formally specified, physically effective and robust instances of all virtual bipedal gaits on a quadrupedal robot. Gait specification takes the form of a three parameter family of coupling rules mathematically shown to stabilize limit cycles in a low degree of freedom template: an abstracted pair of vertical hoppers whose relative phase locking encodes the desired physical leg patterns. These coupling rules produce the desired gaits when appropriately applied to the physical robot. The formal analysis reveals a distinct set of morphological regimes determined by the distribution of the body’s inertia within which particular phase relationships are naturally locked with no need for feedback stabilization (or, if undesired, must be countermanded by the appropriate feedback), and these regimes are shown empirically to analogously govern the physical machine as well. In addition to the mathematical stability analysis and data from physical experiments we summarize a number of extensive numerical studies that explore the relationship between the simple template and its more complicated anchoring body models. For more information: Kod*labPublication A hybrid dynamical extension of averaging and its application to the analysis of legged gait stability(2018-03-08) De, Avik; Burden, Samuel A; Koditschek, Daniel EWe extend a smooth dynamical systems averaging technique to a class of hybrid systems with a limit cycle that is particularly relevant to the synthesis of stable legged gaits. After introducing a definition of hybrid averageability sufficient to recover the classical result, we illustrate its applicability by analysis of first a one-legged and then a two-legged hopping model. These abstract systems prepare the ground for the analysis of a significantly more complicated two legged model—a new template for quadrupedal running to be analyzed and implemented on a physical robot in a companion paper. We conclude with some rather more speculative remarks concerning the prospects for further extension and generalization of these ideas.Publication Analytically-Guided Design of a Tailed Bipedal Hopping Robot(2018-07-30) Shamsah, Abdulaziz; De, Avik; Koditschek, Daniel EWe present the first fully spatial hopping gait of a 12 DoF tailed biped driven by only 4 actuators. The control of this physical machine is built up from parallel compositions of controllers for progressively higher DoF extensions of a simple 2 DoF, 1 actuator template. These template dynamics are still not themselves integrable, but a new hybrid averaging analysis yields a conjectured closed form representation of the approximate hopping limit cycle as a function of its physical and control parameters. The resulting insight into the role of the machine's kinematic and dynamical design choices affords a redesign leading to the newly achieved behavior.Publication Task-Based Control and Design of a BLDC Actuator for Robotics(2019-01-12) De, Avik; Stewart-Height, Abriana; Koditschek, Daniel EThis paper proposes a new multi-input brushless DC motor current control policy aimed at robotics applications. The controller achieves empirical improvements in steady-state torque and power-production abilities relative to conventional controllers, while retaining similarly good torque-tracking and stability characteristics. Simulations show that non-conventional motor design optimizations whose feasibility is established by scaling model extrapolations from existing motor catalogues can vastly amplify the effectiveness of this new control-strategy.