-
Global dynamical structures from infinitesimal data
Authors:
Benjamin McInroe,
Robert J. Full,
Daniel E. Koditschek,
Yuliy Baryshnikov
Abstract:
Discovering mechanisms underlying the behaviors of complex, high dimensional, and nonlinear dynamical systems is a central goal of the natural and synthetic sciences. Breakthroughs in machine learning in concert with increasing capacities for computation and data collection have enabled the use of trajectory measurements for learning predictive models. However, rigorous approaches for interpreting…
▽ More
Discovering mechanisms underlying the behaviors of complex, high dimensional, and nonlinear dynamical systems is a central goal of the natural and synthetic sciences. Breakthroughs in machine learning in concert with increasing capacities for computation and data collection have enabled the use of trajectory measurements for learning predictive models. However, rigorous approaches for interpreting mechanisms from such models remain elusive, and asymptotic prediction accuracy suffers if the model does not capture important state space structures (e.g., attracting invariant sets). These limitations are especially pressing for system-level behaviors such as whole-body locomotion, where discontinuous, transient, and multiscale phenomena are common and prior models are rare. To take the next step towards a theory and practice for dynamical inference of complex multiscale systems in biology and beyond, we introduce VERT, a framework for learning the attracting sets that characterize global system behavior without recourse to learning a global model. Our approach is based on an infinitesimal-local-global (ILG) framework for estimating the proximity of any sampled state to the attracting set, if one exists, with formal accuracy guarantees. We demonstrate our approach on phenomenological and physical oscillators with hierarchical and impulsive dynamics, finding sensitivity to both global and intermediate attractors composed in sequence and parallel. Application of VERT to human running kinematics data reveals insight into control modules that stabilize task-level dynamics, supporting a longstanding neuromechanical control hypothesis. The VERT framework thus enables rigorous inference of underlying dynamical structure even for systems where learning a global dynamics model is impractical or impossible.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Technical Report on: Tripedal Dynamic Gaits for a Quadruped Robot
Authors:
Abriana Stewart-Height,
Daniel E. Koditschek
Abstract:
A vast number of applications for legged robots entail tasks in complex, dynamic environments. But these environments put legged robots at high risk for limb damage. This paper presents an empirical study of fault tolerant dynamic gaits designed for a quadrupedal robot suffering from a single, known "missing" limb. Preliminary data suggests that the featured gait controller successfully anchors a…
▽ More
A vast number of applications for legged robots entail tasks in complex, dynamic environments. But these environments put legged robots at high risk for limb damage. This paper presents an empirical study of fault tolerant dynamic gaits designed for a quadrupedal robot suffering from a single, known "missing" limb. Preliminary data suggests that the featured gait controller successfully anchors a previously developed planar monopedal hopping template in the three-legged spatial machine. This compositional approach offers a useful and generalizable guide to the development of a wider range of tripedal recovery gaits for damaged quadrupedal machines.
△ Less
Submitted 22 September, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Technical Report on: Anchoring Sagittal Plane Templates in a Spatial Quadruped
Authors:
Timothy Greco,
Daniel E. Koditschek
Abstract:
This technical report provides a more thorough treatment of the proofs and derivations contained in a recent conference paper submission. The description of the anchoring controller is reproduced here without abridgement, and additional appendices provide a clearer account of the implementation details.
This technical report provides a more thorough treatment of the proofs and derivations contained in a recent conference paper submission. The description of the anchoring controller is reproduced here without abridgement, and additional appendices provide a clearer account of the implementation details.
△ Less
Submitted 23 February, 2023; v1 submitted 30 September, 2022;
originally announced September 2022.
-
Technical Report: A Hierarchical Deliberative-Reactive System Architecture for Task and Motion Planning in Partially Known Environments
Authors:
Vasileios Vasilopoulos,
Sebastian Castro,
William Vega-Brown,
Daniel E. Koditschek,
Nicholas Roy
Abstract:
We describe a task and motion planning architecture for highly dynamic systems that combines a domain-independent sampling-based deliberative planning algorithm with a global reactive planner. We leverage the recent development of a reactive, vector field planner that provides guarantees of reachability to large regions of the environment even in the face of unknown or unforeseen obstacles. The re…
▽ More
We describe a task and motion planning architecture for highly dynamic systems that combines a domain-independent sampling-based deliberative planning algorithm with a global reactive planner. We leverage the recent development of a reactive, vector field planner that provides guarantees of reachability to large regions of the environment even in the face of unknown or unforeseen obstacles. The reachability guarantees can be formalized using contracts that allow a deliberative planner to reason purely in terms of those contracts and synthesize a plan by choosing a sequence of reactive behaviors and their target configurations, without evaluating specific motion plans between targets. This reduces both the search depth at which plans will be found, and the number of samples required to ensure a plan exists, while crucially preserving correctness guarantees. The result is reduced computational cost of synthesizing plans, and increased robustness of generated plans to actuator noise, model misspecification, or unknown obstacles. Simulation studies show that our hierarchical planning and execution architecture can solve complex navigation and rearrangement tasks, even when faced with narrow passageways or incomplete world information.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Hybrid dynamical type theories for navigation
Authors:
Paul Gustafson,
Jared Culbertson,
Daniel E. Koditschek
Abstract:
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framework of Fu--Kishida--Selinger for constructing linear dependent type theories from state-parameter fibrations with previous work on categories of hybrid systems under sequential composition. We also define a conjectural e…
▽ More
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framework of Fu--Kishida--Selinger for constructing linear dependent type theories from state-parameter fibrations with previous work on categories of hybrid systems under sequential composition. We also define a conjectural embedding of a fragment of linear-time temporal logic within our type theory, with the goal of obtaining interoperability with existing state-of-the-art tools for automatic controller synthesis from formal task specifications. As a case study, we use the type theory to organize and prove safety properties for an obstacle-avoiding navigation algorithm of Arslan--Koditschek as implemented by Vasilopoulos. Finally, we speculate on extensions of the type theory to deal with conjugacies between model and physical spaces, as well as hierarchical template-anchor relationships.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Necessary conditions for feedback stabilization and safety
Authors:
Matthew D. Kvalheim,
Daniel E. Koditschek
Abstract:
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling.…
▽ More
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling.
We generalize Brockett's necessary condition to the case of stabilizing general compact subsets having a nonzero Euler characteristic in general ambient state spaces (smooth manifolds). Using this generalization, we also formulate a necessary condition for the existence of "safe" control laws. We illustrate the theory in concrete examples and for some general classes of systems including a broad class of nonholonomically constrained Lagrangian systems. We also show that, for the special case of stabilizing a point, the specialization of our general stabilizability test is stronger than Brockett's.
△ Less
Submitted 26 May, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments
Authors:
Vasileios Vasilopoulos,
Yiannis Kantaros,
George J. Pappas,
Daniel E. Koditschek
Abstract:
Complex manipulation tasks, such as rearrangement planning of numerous objects, are combinatorially hard problems. Existing algorithms either do not scale well or assume a great deal of prior knowledge about the environment, and few offer any rigorous guarantees. In this paper, we propose a novel hybrid control architecture for achieving such tasks with mobile manipulators. On the discrete side, w…
▽ More
Complex manipulation tasks, such as rearrangement planning of numerous objects, are combinatorially hard problems. Existing algorithms either do not scale well or assume a great deal of prior knowledge about the environment, and few offer any rigorous guarantees. In this paper, we propose a novel hybrid control architecture for achieving such tasks with mobile manipulators. On the discrete side, we enrich a temporal logic specification with mobile manipulation primitives such as moving to a point, and grasping or moving an object. Such specifications are translated to an automaton representation, which orchestrates the physical grounding of the task to mobility or manipulation controllers. The grounding from the discrete to the continuous reactive controller is online and can respond to the discovery of unknown obstacles or decide to push out of the way movable objects that prohibit task accomplishment. Despite the problem complexity, we prove that, under specific conditions, our architecture enjoys provable completeness on the discrete side, provable termination on the continuous side, and avoids all obstacles in the environment. Simulations illustrate the efficiency of our architecture that can handle tasks of increased complexity while also responding to unknown obstacles or unanticipated adverse configurations.
△ Less
Submitted 24 March, 2021; v1 submitted 1 November, 2020;
originally announced November 2020.
-
Technical Report: A New Hopping Controller for Highly Dynamical Bipeds
Authors:
Shane Rozen-Levy,
Daniel E. Koditschek
Abstract:
We present angle of attack control, a novel control strategy for a hip energized Penn Jerboa. The energetic losses from damping are counteracted by aligning most of the velocity at touchdown in the radial direction and the fore-aft velocity is controlled by using the hip torque to control to a target angular momentum. The control strategy results in highly asymmetric leg angle trajectories, thus a…
▽ More
We present angle of attack control, a novel control strategy for a hip energized Penn Jerboa. The energetic losses from damping are counteracted by aligning most of the velocity at touchdown in the radial direction and the fore-aft velocity is controlled by using the hip torque to control to a target angular momentum. The control strategy results in highly asymmetric leg angle trajectories, thus avoiding the traction issues that plague hip actuated SLIP. Using a series of assumptions we find an analytical expression for the fixed points of an approximation to the hopping return map relating the design parameters to steady state gait performance. The hardware robot demonstrates stable locomotion with speeds ranging from 0.4 m/s to 2.5 m/s (2 leg lengths/s to 12.5 leg lengths/s) and heights ranging from 0.21 m to 0.27 m (1.05 leg lengths to 1.35 leg lengths). The performance of the empirical trials is well approximated by the analytical predictions.
△ Less
Submitted 1 November, 2020;
originally announced November 2020.
-
Conley's fundamental theorem for a class of hybrid systems
Authors:
Matthew D. Kvalheim,
Paul Gustafson,
Daniel E. Koditschek
Abstract:
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for every hybrid system in this class. Motivated by mechanics and control settings where physical or engineered events cause abrupt changes in a system's governing…
▽ More
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for every hybrid system in this class. Motivated by mechanics and control settings where physical or engineered events cause abrupt changes in a system's governing dynamics, our results apply to a large class of Lagrangian hybrid systems (with impacts) studied extensively in the robotics literature. Viewed formally, these results generalize those of Conley and Franks for continuous-time and discrete-time dynamical systems, respectively, on metric spaces. However, we furnish specific examples illustrating how our statement of sufficient conditions represents merely an early step in the longer project of establishing what formal assumptions can and cannot endow hybrid systems models with the topologically well characterized partitions of limit behavior that make Conley's theory so valuable in those classical settings.
△ Less
Submitted 17 December, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Technical Report: Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback
Authors:
Vasileios Vasilopoulos,
Georgios Pavlakos,
Sean L. Bowman,
J. Diego Caporale,
Kostas Daniilidis,
George J. Pappas,
Daniel E. Koditschek
Abstract:
This paper presents a reactive planning system that enriches the topological representation of an environment with a tightly integrated semantic representation, achieved by incorporating and exploiting advances in deep perceptual learning and probabilistic semantic reasoning. Our architecture combines object detection with semantic SLAM, affording robust, reactive logical as well as geometric plan…
▽ More
This paper presents a reactive planning system that enriches the topological representation of an environment with a tightly integrated semantic representation, achieved by incorporating and exploiting advances in deep perceptual learning and probabilistic semantic reasoning. Our architecture combines object detection with semantic SLAM, affording robust, reactive logical as well as geometric planning in unexplored environments. Moreover, by incorporating a human mesh estimation algorithm, our system is capable of reacting and responding in real time to semantically labeled human motions and gestures. New formal results allow tracking of suitably non-adversarial moving targets, while maintaining the same collision avoidance guarantees. We suggest the empirical utility of the proposed control architecture with a numerical study including comparisons with a state-of-the-art dynamic replanning algorithm, and physical implementation on both a wheeled and legged platform in different settings with both geometric and semantic goals.
△ Less
Submitted 4 May, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Reactive Navigation in Partially Familiar Planar Environments Using Semantic Perceptual Feedback
Authors:
Vasileios Vasilopoulos,
Georgios Pavlakos,
Karl Schmeckpeper,
Kostas Daniilidis,
Daniel E. Koditschek
Abstract:
This paper solves the planar navigation problem by recourse to an online reactive scheme that exploits recent advances in SLAM and visual object recognition to recast prior geometric knowledge in terms of an offline catalogue of familiar objects. The resulting vector field planner guarantees convergence to an arbitrarily specified goal, avoiding collisions along the way with fixed but arbitrarily…
▽ More
This paper solves the planar navigation problem by recourse to an online reactive scheme that exploits recent advances in SLAM and visual object recognition to recast prior geometric knowledge in terms of an offline catalogue of familiar objects. The resulting vector field planner guarantees convergence to an arbitrarily specified goal, avoiding collisions along the way with fixed but arbitrarily placed instances from the catalogue as well as completely unknown fixed obstacles so long as they are strongly convex and well separated. We illustrate the generic robustness properties of such deterministic reactive planners as well as the relatively modest computational cost of this algorithm by supplementing an extensive numerical study with physical implementation on both a wheeled and legged platform in different settings.
△ Less
Submitted 18 August, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Formal composition of hybrid systems
Authors:
Jared Culbertson,
Paul Gustafson,
Daniel E. Koditschek,
Peter F. Stiller
Abstract:
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition. In our framework, hierarchies of hybrid systems correspond to template-anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierar…
▽ More
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition. In our framework, hierarchies of hybrid systems correspond to template-anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierarchical composition of template-anchor pairs corresponds to the composition of spans via pullback. To model sequential composition, we introduce "directed hybrid systems," each of which flows from an initial subsystem to a final subsystem in a Conley-theoretic sense. Sequential composition of directed systems is given by a pushout of graph embeddings, rewriting the continuous dynamics of the overlapping subsystem to prioritize the second directed system. Independent parallel composition corresponds to a categorical product with respect to semiconjugacy. To formalize the compatibility of these three types of composition, we construct a vertically cartesian double category of hybrid systems where the vertical morphisms are semiconjugacies, and the horizontal morphisms are directed hybrid systems.
△ Less
Submitted 10 August, 2020; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Towards a terramechanics for bio-inspired locomotion in granular environments
Authors:
Chen Li,
Yang Ding,
Nick Gravish,
Ryan D. Maladen,
Andrew Masse,
Paul B. Umbanhowar,
Haldun Komsuoglu,
Daniel E. Koditschek,
Daniel I. Goldman
Abstract:
Granular media (GM) present locomotor challenges for terrestrial and extraterrestrial devices because they can flow and solidify in response to localized intrusion of wheels, limbs, and bodies. While the development of airplanes and submarines is aided by understanding of hydrodynamics, fundamental theory does not yet exist to describe the complex interactions of locomotors with GM. In this paper,…
▽ More
Granular media (GM) present locomotor challenges for terrestrial and extraterrestrial devices because they can flow and solidify in response to localized intrusion of wheels, limbs, and bodies. While the development of airplanes and submarines is aided by understanding of hydrodynamics, fundamental theory does not yet exist to describe the complex interactions of locomotors with GM. In this paper, we use experimental, computational, and theoretical approaches to develop a terramechanics for bio-inspired locomotion in granular environments. We use a fluidized bed to prepare GM with a desired global packing fraction, and use empirical force measurements and the Discrete Element Method (DEM) to elucidate interaction mechanics during locomotion-relevant intrusions in GM such as vertical penetration and horizontal drag. We develop a resistive force theory (RFT) to account for more complex intrusions. We use these force models to understand the locomotor performance of two bio-inspired robots moving on and within GM.
△ Less
Submitted 31 October, 2019;
originally announced November 2019.
-
A Tunably Compliant Origami Mechanism for Dynamically Dexterous Robots
Authors:
Wei-Hsi Chen,
Shivangi Misra,
Yuchong Gao,
Young-Joo Lee,
Daniel E. Koditschek,
Shu Yang,
Cynthia R. Sung
Abstract:
We present an approach to overcoming challenges in dynamical dexterity for robots through tunable origami structures. Our work leverages a one-parameter family of flat sheet crease patterns that folds into origami bellows, whose axial compliance can be tuned to select desired stiffness. Concentrically arranged cylinder pairs reliably manifest additive stiffness, extending the tunable range by near…
▽ More
We present an approach to overcoming challenges in dynamical dexterity for robots through tunable origami structures. Our work leverages a one-parameter family of flat sheet crease patterns that folds into origami bellows, whose axial compliance can be tuned to select desired stiffness. Concentrically arranged cylinder pairs reliably manifest additive stiffness, extending the tunable range by nearly an order of magnitude and achieving bulk axial stiffness spanning 200-1500 N/m using 8 mil thick polyester-coated paper. Accordingly, we design origami energy-storing springs with a stiffness of 1035 N/m each and incorporate them into a three degree-of-freedom (DOF) tendon-driven spatial pointing mechanism that exhibits trajectory tracking accuracy less than 15% rms error within a ~2 cm^3 volume. The origami springs can sustain high power throughput, enabling the robot to achieve asymptotically stable juggling for both highly elastic (1~kg resilient shot put ball) and highly damped ("medicine ball") collisions in the vertical direction with apex heights approaching 10 cm. The results demonstrate that "soft" robotic mechanisms are able to perform a controlled, dynamically actuated task.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Iterated Belief Revision Under Resource Constraints: Logic as Geometry
Authors:
Dan P. Guralnik,
Daniel E. Koditschek
Abstract:
We propose a variant of iterated belief revision designed for settings with limited computational resources, such as mobile autonomous robots. The proposed memory architecture---called the {\em universal memory architecture} (UMA)---maintains an epistemic state in the form of a system of default rules similar to those studied by Pearl and by Goldszmidt and Pearl (systems $Z$ and $Z^+$). A duality…
▽ More
We propose a variant of iterated belief revision designed for settings with limited computational resources, such as mobile autonomous robots. The proposed memory architecture---called the {\em universal memory architecture} (UMA)---maintains an epistemic state in the form of a system of default rules similar to those studied by Pearl and by Goldszmidt and Pearl (systems $Z$ and $Z^+$). A duality between the category of UMA representations and the category of the corresponding model spaces, extending the Sageev-Roller duality between discrete poc sets and discrete median algebras provides a two-way dictionary from inference to geometry, leading to immense savings in computation, at a cost in the quality of representation that can be quantified in terms of topological invariants. Moreover, the same framework naturally enables comparisons between different model spaces, making it possible to analyze the deficiencies of one model space in comparison to others. This paper develops the formalism underlying UMA, analyzes the complexity of maintenance and inference operations in UMA, and presents some learning guarantees for different UMA-based learners. Finally, we present simulation results to illustrate the viability of the approach, and close with a discussion of the strengths, weaknesses, and potential development of UMA-based learners.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Technical Report: Reactive Navigation in Partially Known Non-Convex Environments
Authors:
Vasileios Vasilopoulos,
Daniel E. Koditschek
Abstract:
This paper presents a provably correct method for robot navigation in 2D environments cluttered with familiar but unexpected non-convex, star-shaped obstacles as well as completely unknown, convex obstacles. We presuppose a limited range onboard sensor, capable of recognizing, localizing and (leveraging ideas from constructive solid geometry) generating online from its catalogue of the familiar, n…
▽ More
This paper presents a provably correct method for robot navigation in 2D environments cluttered with familiar but unexpected non-convex, star-shaped obstacles as well as completely unknown, convex obstacles. We presuppose a limited range onboard sensor, capable of recognizing, localizing and (leveraging ideas from constructive solid geometry) generating online from its catalogue of the familiar, non-convex shapes an implicit representation of each one. These representations underlie an online change of coordinates to a completely convex model planning space wherein a previously developed online construction yields a provably correct reactive controller that is pulled back to the physically sensed representation to generate the actual robot commands. We extend the construction to differential drive robots, and suggest the empirical utility of the proposed control architecture using both formal proofs and numerical simulations.
△ Less
Submitted 28 October, 2018; v1 submitted 23 July, 2018;
originally announced July 2018.
-
Technical Report: Sensor-Based Reactive Symbolic Planning in Partially Known Environments
Authors:
Vasileios Vasilopoulos,
William Vega-Brown,
Omur Arslan,
Nicholas Roy,
Daniel E. Koditschek
Abstract:
This paper considers the problem of completing assemblies of passive objects in nonconvex environments, cluttered with convex obstacles of unknown position, shape and size that satisfy a specific separation assumption. A differential drive robot equipped with a gripper and a LIDAR sensor, capable of perceiving its environment only locally, is used to position the passive objects in a desired confi…
▽ More
This paper considers the problem of completing assemblies of passive objects in nonconvex environments, cluttered with convex obstacles of unknown position, shape and size that satisfy a specific separation assumption. A differential drive robot equipped with a gripper and a LIDAR sensor, capable of perceiving its environment only locally, is used to position the passive objects in a desired configuration. The method combines the virtues of a deliberative planner generating high-level, symbolic commands, with the formal guarantees of convergence and obstacle avoidance of a reactive planner that requires little onboard computation and is used online. The validity of the proposed method is verified both with formal proofs and numerical simulations.
△ Less
Submitted 13 February, 2018; v1 submitted 16 September, 2017;
originally announced September 2017.
-
A dynamical system for prioritizing and coordinating motivations
Authors:
Paul B. Reverdy,
Daniel E. Koditschek
Abstract:
We develop a dynamical systems approach to prioritizing and selecting multiple recurring tasks with the aim of conferring a degree of deliberative goal selection to a mobile robot confronted with competing objectives. We take navigation as our prototypical task, and use reactive (i.e., vector field) planners derived from navigation functions to encode control policies that achieve each individual…
▽ More
We develop a dynamical systems approach to prioritizing and selecting multiple recurring tasks with the aim of conferring a degree of deliberative goal selection to a mobile robot confronted with competing objectives. We take navigation as our prototypical task, and use reactive (i.e., vector field) planners derived from navigation functions to encode control policies that achieve each individual task. We associate a scalar "value" with each task representing its current urgency and let that quantity evolve in time as the robot evaluates the importance of its assigned task relative to competing tasks. The robot's motion control input is generated as a convex combination of the individual task vector fields. Their weights, in turn, evolve dynamically according to a decision model adapted from the literature on bioinspired swarm decision making, driven by the values. In this paper we study a simple case with two recurring, competing navigation tasks and derive conditions under which it can be guaranteed that the robot will repeatedly serve each in turn. Specifically, we provide conditions sufficient for the emergence of a stable limit cycle along which the robot repeatedly and alternately navigates to the two goal locations. Numerical study suggests that the basin of attraction is quite large so that significant perturbations are recovered with a reliable return to the desired task coordination pattern.
△ Less
Submitted 8 March, 2018; v1 submitted 5 March, 2017;
originally announced March 2017.
-
A Hybrid Dynamical Extension of Averaging
Authors:
Avik De,
Samuel A. Burden,
Daniel E. Koditschek
Abstract:
We 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 provide a simple illustration of its applicability to legged locomotion and conclude with some rather more speculative re…
▽ More
We 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 provide a simple illustration of its applicability to legged locomotion and conclude with some rather more speculative remarks concerning the prospects for further generalization of these ideas.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
Navigation Functions for Convex Potentials in a Space with Convex Obstacles
Authors:
Santiago Paternain,
Daniel E. Koditschek,
Alejandro Ribeiro
Abstract:
Given a convex potential in a space with convex obstacles, an artificial potential is used to navigate to the minimum of the natural potential while avoiding collisions. The artificial potential combines the natural potential with potentials that repel the agent from the border of the obstacles. This is a popular approach to navigation problems because it can be implemented with spatially local in…
▽ More
Given a convex potential in a space with convex obstacles, an artificial potential is used to navigate to the minimum of the natural potential while avoiding collisions. The artificial potential combines the natural potential with potentials that repel the agent from the border of the obstacles. This is a popular approach to navigation problems because it can be implemented with spatially local information that is acquired during operation time. Artificial potentials can, however, have local minima that prevent navigation to the minimum of the natural potential. This paper derives conditions that guarantee artificial potentials have a single minimum that is arbitrarily close to the minimum of the natural potential. The qualitative implication is that artificial potentials succeed when either the condition number-- the ratio of the maximum over the minimum eigenvalue-- of the Hessian of the natural potential is not large and the obstacles are not too flat or when the destination is not close to the border of an obstacle. Numerical analyses explore the practical value of these theoretical conclusions.
△ Less
Submitted 5 December, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Comparative Design, Scaling, and Control of Appendages for Inertial Reorientation
Authors:
Thomas Libby,
Aaron M. Johnson,
Evan Chang-Siu,
Robert J. Full,
D. E. Koditschek
Abstract:
This paper develops a comparative framework for the design of actuated inertial appendages for planar, aerial reorientation. We define the Inertial Reorientation template, the simplest model of this behavior, and leverage its linear dynamics to reveal the design constraints linking a task with the body designs capable of completing it. As practicable inertial appendage designs lead to morphology t…
▽ More
This paper develops a comparative framework for the design of actuated inertial appendages for planar, aerial reorientation. We define the Inertial Reorientation template, the simplest model of this behavior, and leverage its linear dynamics to reveal the design constraints linking a task with the body designs capable of completing it. As practicable inertial appendage designs lead to morphology that is generally more complex, we advance a notion of "anchoring" whereby a judicious choice of physical design in concert with an appropriate control policy yields a system whose closed loop dynamics are sufficiently captured by the template as to permit all further design to take place in its far simpler parameter space. This approach is effective and accurate over the diverse design spaces afforded by existing platforms, enabling performance comparison through the shared task space. We analyze examples from the literature and find advantages to each body type, but conclude that tails provide the highest potential performance for reasonable designs. Thus motivated, we build a physical example by retrofitting a tail to a RHex robot and present empirical evidence of its efficacy.
△ Less
Submitted 18 February, 2017; v1 submitted 18 November, 2015;
originally announced November 2015.
-
On the Optimality of Napoleon Triangles
Authors:
Omur Arslan,
Daniel E. Koditschek
Abstract:
An elementary geometric construction known as Napoleon's theorem produces an equilateral triangle built on the sides of any initial triangle: the centroids of each equilateral triangle meeting the original sides, all outward or all inward, comprise the vertices of the new equilateral triangle. In this note we observe that two Napoleon iterations yield triangles with useful optimality properties. T…
▽ More
An elementary geometric construction known as Napoleon's theorem produces an equilateral triangle built on the sides of any initial triangle: the centroids of each equilateral triangle meeting the original sides, all outward or all inward, comprise the vertices of the new equilateral triangle. In this note we observe that two Napoleon iterations yield triangles with useful optimality properties. Two inner transformations result in a (degenerate) triangle whose vertices coincide at the original centroid. Two outer transformations yield an equilateral triangle whose vertices are closest to the original in the sense of minimizing the sum of the three squared distances.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Voronoi-Based Coverage Control of Heterogeneous Disk-Shaped Robots
Authors:
Omur Arslan,
Daniel E. Koditschek
Abstract:
In distributed mobile sensing applications, networks of agents that are heterogeneous respecting both actuation as well as body and sensory footprint are often modelled by recourse to power diagrams --- generalized Voronoi diagrams with additive weights. In this paper we adapt the body power diagram to introduce its "free subdiagram," generating a vector field planner that solves the combined sens…
▽ More
In distributed mobile sensing applications, networks of agents that are heterogeneous respecting both actuation as well as body and sensory footprint are often modelled by recourse to power diagrams --- generalized Voronoi diagrams with additive weights. In this paper we adapt the body power diagram to introduce its "free subdiagram," generating a vector field planner that solves the combined sensory coverage and collision avoidance problem via continuous evaluation of an associated constrained optimization problem. We propose practical extensions (a heuristic congestion manager that speeds convergence and a lift of the point particle controller to the more practical differential drive kinematics) that maintain the convergence and collision guarantees.
△ Less
Submitted 13 September, 2015;
originally announced September 2015.
-
Coordinated Robot Navigation via Hierarchical Clustering
Authors:
Omur Arslan,
Dan P. Guralnik,
Daniel E. Koditschek
Abstract:
We introduce the use of hierarchical clustering for relaxed, deterministic coordination and control of multiple robots. Traditionally an unsupervised learning method, hierarchical clustering offers a formalism for identifying and representing spatially cohesive and segregated robot groups at different resolutions by relating the continuous space of configurations to the combinatorial space of tree…
▽ More
We introduce the use of hierarchical clustering for relaxed, deterministic coordination and control of multiple robots. Traditionally an unsupervised learning method, hierarchical clustering offers a formalism for identifying and representing spatially cohesive and segregated robot groups at different resolutions by relating the continuous space of configurations to the combinatorial space of trees. We formalize and exploit this relation, developing computationally effective reactive algorithms for navigating through the combinatorial space in concert with geometric realizations for a particular choice of hierarchical clustering method. These constructions yield computationally effective vector field planners for both hierarchically invariant as well as transitional navigation in the configuration space. We apply these methods to the centralized coordination and control of $n$ perfectly sensed and actuated Euclidean spheres in a $d$-dimensional ambient space (for arbitrary $n$ and $d$). Given a desired configuration supporting a desired hierarchy, we construct a hybrid controller which is quadratic in $n$ and algebraic in $d$ and prove that its execution brings all but a measure zero set of initial configurations to the desired goal with the guarantee of no collisions along the way.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Universal Memory Architectures for Autonomous Machines
Authors:
Dan P. Guralnik,
Daniel E. Koditschek
Abstract:
We propose a self-organizing memory architecture for perceptual experience, capable of supporting autonomous learning and goal-directed problem solving in the absence of any prior information about the agent's environment. The architecture is simple enough to ensure (1) a quadratic bound (in the number of available sensors) on space requirements, and (2) a quadratic bound on the time-complexity of…
▽ More
We propose a self-organizing memory architecture for perceptual experience, capable of supporting autonomous learning and goal-directed problem solving in the absence of any prior information about the agent's environment. The architecture is simple enough to ensure (1) a quadratic bound (in the number of available sensors) on space requirements, and (2) a quadratic bound on the time-complexity of the update-execute cycle. At the same time, it is sufficiently complex to provide the agent with an internal representation which is (3) minimal among all representations of its class which account for every sensory equivalence class subject to the agent's belief state; (4) capable, in principle, of recovering the homotopy type of the system's state space; (5) learnable with arbitrary precision through a random application of the available actions. The provable properties of an effectively trained memory structure exploit a duality between weak poc sets -- a symbolic (discrete) representation of subset nesting relations -- and non-positively curved cubical complexes, whose rich convexity theory underlies the planning cycle of the proposed architecture.
△ Less
Submitted 21 February, 2015;
originally announced February 2015.
-
The Penn Jerboa: A Platform for Exploring Parallel Composition of Templates
Authors:
Avik De,
Daniel E. Koditschek
Abstract:
We have built a 12DOF, passive-compliant legged, tailed biped actuated by four brushless DC motors. We anticipate that this machine will achieve varied modes of quasistatic and dynamic balance, enabling a broad range of locomotion tasks including sitting, standing, walking, hopping, running, turning, leaping, and more. Achieving this diversity of behavior with a single under-actuated body, require…
▽ More
We have built a 12DOF, passive-compliant legged, tailed biped actuated by four brushless DC motors. We anticipate that this machine will achieve varied modes of quasistatic and dynamic balance, enabling a broad range of locomotion tasks including sitting, standing, walking, hopping, running, turning, leaping, and more. Achieving this diversity of behavior with a single under-actuated body, requires a correspondingly diverse array of controllers, motivating our interest in compositional techniques that promote mixing and reuse of a relatively few base constituents to achieve a combinatorially growing array of available choices. Here we report on the development of one important example of such a behavioral programming method, the construction of a novel monopedal sagittal plane hopping gait through parallel composition of four decoupled 1DOF base controllers.
For this example behavior, the legs are locked in phase and the body is fastened to a boom to restrict motion to the sagittal plane. The platform's locomotion is powered by the 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 closed loop dynamics represents some simple but crucial specific 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.
△ Less
Submitted 17 September, 2016; v1 submitted 18 February, 2015;
originally announced February 2015.
-
A Hybrid Systems Model for Simple Manipulation and Self-Manipulation Systems
Authors:
Aaron M. Johnson,
Samuel A. Burden,
Daniel E. Koditschek
Abstract:
Rigid bodies, plastic impact, persistent contact, Coulomb friction, and massless limbs are ubiquitous simplifications introduced to reduce the complexity of mechanics models despite the obvious physical inaccuracies that each incurs individually. In concert, it is well known that the interaction of such idealized approximations can lead to conflicting and even paradoxical results. As robotics mode…
▽ More
Rigid bodies, plastic impact, persistent contact, Coulomb friction, and massless limbs are ubiquitous simplifications introduced to reduce the complexity of mechanics models despite the obvious physical inaccuracies that each incurs individually. In concert, it is well known that the interaction of such idealized approximations can lead to conflicting and even paradoxical results. As robotics modeling moves from the consideration of isolated behaviors to the analysis of tasks requiring their composition, a mathematically tractable framework for building models that combine these simple approximations yet achieve reliable results is overdue. In this paper we present a formal hybrid dynamical system model that introduces suitably restricted compositions of these familiar abstractions with the guarantee of consistency analogous to global existence and uniqueness in classical dynamical systems. The hybrid system developed here provides a discontinuous but self-consistent approximation to the continuous (though possibly very stiff and fast) dynamics of a physical robot undergoing intermittent impacts. The modeling choices sacrifice some quantitative numerical efficiencies while maintaining qualitatively correct and analytically tractable results with consistency guarantees promoting their use in formal reasoning about mechanism, feedback control, and behavior design in robots that make and break contact with their environment.
△ Less
Submitted 29 July, 2020; v1 submitted 5 February, 2015;
originally announced February 2015.
-
Event-Selected Vector Field Discontinuities Yield Piecewise-Differentiable Flows
Authors:
Samuel A. Burden,
S. Shankar Sastry,
Daniel E. Koditschek,
Shai Revzen
Abstract:
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) th…
▽ More
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.
△ Less
Submitted 22 April, 2015; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Anytime Hierarchical Clustering
Authors:
Omur Arslan,
Daniel E. Koditschek
Abstract:
We propose a new anytime hierarchical clustering method that iteratively transforms an arbitrary initial hierarchy on the configuration of measurements along a sequence of trees we prove for a fixed data set must terminate in a chain of nested partitions that satisfies a natural homogeneity requirement. Each recursive step re-edits the tree so as to improve a local measure of cluster homogeneity t…
▽ More
We propose a new anytime hierarchical clustering method that iteratively transforms an arbitrary initial hierarchy on the configuration of measurements along a sequence of trees we prove for a fixed data set must terminate in a chain of nested partitions that satisfies a natural homogeneity requirement. Each recursive step re-edits the tree so as to improve a local measure of cluster homogeneity that is compatible with a number of commonly used (e.g., single, average, complete) linkage functions. As an alternative to the standard batch algorithms, we present numerical evidence to suggest that appropriate adaptations of this method can yield decentralized, scalable algorithms suitable for distributed/parallel computation of clustering hierarchies and online tracking of clustering trees applicable to large, dynamically changing databases and anomaly detection.
△ Less
Submitted 13 April, 2014;
originally announced April 2014.
-
Discriminative Measures for Comparison of Phylogenetic Trees
Authors:
Omur Arslan,
Dan P. Guralnik,
Daniel E. Koditschek
Abstract:
In this paper we introduce and study three new measures for efficient discriminative comparison of phylogenetic trees. The NNI navigation dissimilarity $d_{nav}$ counts the steps along a "combing" of the Nearest Neighbor Interchange (NNI) graph of binary hierarchies, providing an efficient approximation to the (NP-hard) NNI distance in terms of "edit length". At the same time, a closed form formul…
▽ More
In this paper we introduce and study three new measures for efficient discriminative comparison of phylogenetic trees. The NNI navigation dissimilarity $d_{nav}$ counts the steps along a "combing" of the Nearest Neighbor Interchange (NNI) graph of binary hierarchies, providing an efficient approximation to the (NP-hard) NNI distance in terms of "edit length". At the same time, a closed form formula for $d_{nav}$ presents it as a weighted count of pairwise incompatibilities between clusters, lending it the character of an edge dissimilarity measure as well. A relaxation of this formula to a simple count yields another measure on all trees --- the crossing dissimilarity $d_{CM}$. Both dissimilarities are symmetric and positive definite (vanish only between identical trees) on binary hierarchies but they fail to satisfy the triangle inequality. Nevertheless, both are bounded below by the widely used Robinson-Foulds metric and bounded above by a closely related true metric, the cluster-cardinality metric $d_{CC}$. We show that each of the three proposed new dissimilarities is computable in time $O(n^2)$ in the number of leaves $n$, and conclude the paper with a brief numerical exploration of the distribution over tree space of these dissimilarities in comparison with the Robinson-Foulds metric and the more recently introduced matching-split distance.
△ Less
Submitted 20 October, 2015; v1 submitted 19 October, 2013;
originally announced October 2013.
-
Sensitive dependence of the motion of a legged robot on granular media
Authors:
Chen Li,
Paul B. Umbanhowar,
Haldun Komsuoglu,
Daniel E. Koditschek,
Daniel I. Goldman
Abstract:
Legged locomotion on flowing ground ({\em e.g.} granular media) is unlike locomotion on hard ground because feet experience both solid- and fluid-like forces during surface penetration. Recent bio-inspired legged robots display speed relative to body size on hard ground comparable to high performing organisms like cockroaches but suffer significant performance loss on flowing materials like sand…
▽ More
Legged locomotion on flowing ground ({\em e.g.} granular media) is unlike locomotion on hard ground because feet experience both solid- and fluid-like forces during surface penetration. Recent bio-inspired legged robots display speed relative to body size on hard ground comparable to high performing organisms like cockroaches but suffer significant performance loss on flowing materials like sand. In laboratory experiments we study the performance (speed) of a small (2.3 kg) six-legged robot, SandBot, as it runs on a bed of granular media (1 mm poppy seeds). For an alternating tripod gait on the granular bed, standard gait control parameters achieve speeds at best two orders of magnitude smaller than the 2 body lengths/s ($\approx 60$ cm/s) for motion on hard ground. However, empirical adjustment of these control parameters away from the hard ground settings, restores good performance, yielding top speeds of 30 cm/s. Robot speed depends sensitively on the packing fraction $φ$ and the limb frequency $ω$, and a dramatic transition from rotary walking to slow swimming occurs when $φ$ becomes small enough and/or $ω$ large enough. We propose a kinematic model of the rotary walking mode based on generic features of penetration and slip of a curved limb in granular media. The model captures the dependence of robot speed on limb frequency and the transition between walking and swimming modes but highlights the need for a deeper understanding of the physics of granular media.
△ Less
Submitted 29 May, 2009;
originally announced May 2009.
