Fabio Giardina’s research while affiliated with Harvard University and other places

Embodiment is a crucial concept for the autonomy and adaptivity of systems working in the physical world with high degrees of uncertainty and complexity. The physical bodies of autonomous adaptive systems heavily influence the information flow from the environment to the central processing (and vice versa), requiring us to consider the full triad of brain, body, and environment to investigate intelligent behavior. This article provides a structured review of embodied intelligence with a special emphasis on the concept of timescales and their role in self-organization and the emergence of complex behavior. We classify embodied interactions into three types—cross-timescale matching, separation, and nontemporal sequences—and discuss how these interactions were studied in the past as well as how they can contribute to the systematic investigation of complex autonomous and adaptive systems in both biological and artificial entities. Expected final online publication date for the Annual Review of Control, Robotics, and Autonomous Systems, Volume 14 is May 2023. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.

The solution of complex problems by the collective action of simple agents in both biologically evolved and synthetically engineered systems involves cooperative action. Understanding the resulting emergent solutions requires integrating across the organismal behaviors of many individuals. Here we investigate an ecologically relevant collective task in black carpenter ants Camponotus pennsylvanicus: excavation of a soft, erodible confining corral. Individual ants show a transition from individual exploratory excavation at random locations to spatially localized collective exploitative excavation and eventual excavate out from the corral. An agent minimal continuum theory that coarse-grains over individual actions and considers their integrated influence on the environment leads to the emergence of an effective phase space of behaviors in terms of excavation strength and cooperation intensity. To test the theory over the range of both observed and predicted behaviors, we used custom-built robots (RAnts) that respond to stimuli to characterize the phase space of emergence (and failure) of cooperative excavation. By tuning the amount of cooperation between RAnts, we found that we could vary the efficiency of excavation and synthetically generate the other macroscopic phases predicted by our theory. Overall, our approach shows how the cooperative completion of tasks can arise from simple rules that involve the interaction of agents with a dynamically changing environment that serves as both an enabler and a modulator of behavior.

Cooperative task execution, a hallmark of eusociality, is enabled by local interactions between the agents and the environment through a dynamically evolving communication signal. Inspired by the collective behavior of social insects whose dynamics is modulated by interactions with the environment, we show that a robot collective can successfully nucleate a construction site via a trapping instability and cooperatively build organized structures. The same robot collective can also perform de-construction with a simple change in the behavioral parameter. These behaviors belong to a two-dimensional phase space of cooperative behaviors defined by agent-agent interaction (cooperation) along one axis and the agent-environment interaction (collection and deposition) on the other. Our behavior-based approach to robot design combined with a principled derivation of local rules enables the collective to solve tasks with robustness to a dynamically changing environment and a wealth of complex behaviors.

Geometric graph models of systems as diverse as proteins, DNA assemblies, architected materials and robot swarms are useful abstract representations of these objects that also unify ways to study their properties and control them in space and time. While much work has been done in the context of characterizing the behaviour of these networks close to critical points associated with bond and rigidity percolation, isostaticity, etc., much less is known about floppy, underconstrained networks that are far more common in nature and technology. Here, we combine geometric rigidity and algebraic sparsity to provide a framework for identifying the zero energy floppy modes via a representation that illuminates the underlying hierarchy and modularity of the network and thence the control of its nestedness and locality. Our framework allows us to demonstrate a range of applications of this approach that include robotic reaching tasks with motion primitives, and predicting the linear and nonlinear response of elastic networks based solely on infinitesimal rigidity and sparsity, which we test using physical experiments. Our approach is thus likely to be of use broadly in dissecting the geometrical properties of floppy networks using algebraic sparsity to optimize their function and performance.

Geometric graph models of systems as diverse as proteins, robots, and mechanical structures from DNA assemblies to architected materials point towards a unified way to represent and control them in space and time. While much work has been done in the context of characterizing the behavior of these networks close to critical points associated with bond and rigidity percolation, isostaticity, etc., much less is known about floppy, under-constrained networks that are far more common in nature and technology. Here we combine geometric rigidity and algebraic sparsity to provide a framework for identifying the zero-energy floppy modes via a representation that illuminates the underlying hierarchy and modularity of the network, and thence the control of its nestedness and locality. Our framework allows us to demonstrate a range of applications of this approach that include robotic reaching tasks with motion primitives, and predicting the linear and nonlinear response of elastic networks based solely on infinitesimal rigidity and sparsity, which we test using physical experiments. Our approach is thus likely to be of use broadly in dissecting the geometrical properties of floppy networks using algebraic sparsity to optimize their function and performance.

In nature, very few animals locomote on two legs. Static bipedalism can be found in four limbed and five limbed animals like dogs, cats, birds, monkeys and kangaroos, but it cannot be seen in hexapods or other multi-limbed animals. In this paper, we present a simulation with a novel perspective on the evolution of static bipedalism, with a virtual creature evolving its body and controllers, and we apply an evolutionary algorithm to explore the locomotion transition from octapods to bipods. We find that the presence of four limbs in the evolutionary trajectory of the creature scaffolds a parametric jump that enables bipedalism, and shows that hexapods, without undergoing such transformation, struggle to evolve into bipeds. An analysis of the transitional parameters points to the role of a shorter femur length in helping maintain the stability of the body, and the tibia length is responsible for improving the forward speed.

The solution of complex problems by the collective action of simple agents in both biologically evolved and synthetically engineered systems involves cooperative action. Understanding the resulting emergent solutions requires integrating across the organismal behaviors of many individuals. Here we investigate an ecologically relevant collective task in black carpenter ants Camponotus pennsylvanicus: escape from a soft, erodible confining corral. Individual ants show a transition from individual exploratory excavation at random locations to spatially localized collective exploitative excavation and escape from the corral. A minimal continuum theory that coarse-grains over individual actions and considers their integrated influence on the environment leads to the emergence of an effective phase space of behaviors in terms of excavation strength and cooperation intensity. To test the theory over the range of predicted behaviors, we used custom-built robots (RAnts) that respond to stimuli and show the emergence (and failure) of cooperative excavation and escape. Overall, our approach shows how the cooperative completion of tasks can arise from relatively simple rules that involve the interaction of simple agents with a dynamically changing environment that serves as an enabler and modulator of behavior.

Walking is a common bipedal and quadrupedal gait and is often associated with terrestrial and aquatic organisms. Inspired by recent evidence of the neural underpinnings of primitive aquatic walking in the little skate Leucoraja erinacea , we introduce a theoretical model of aquatic walking that reveals robust and efficient gaits with modest requirements for body morphology and control. The model predicts undulatory behaviour of the system body with a regular foot placement pattern, which is also observed in the animal, and additionally predicts the existence of gait bistability between two states, one with a large energetic cost for locomotion and another associated with almost no energetic cost. We show that these can be discovered using a simple reinforcement learning scheme. To test these theoretical frameworks, we built a bipedal robot and show that its behaviours are similar to those of our minimal model: its gait is also periodic and exhibits bistability, with a low efficiency mode separated from a high efficiency mode by a ‘jump’ transition. Overall, our study highlights the physical constraints on the evolution of walking and provides a guide for the design of efficient biomimetic robots.