Biblio

Evolvable and Adaptive Hardware (EAH) Systems have been a subject of study for about two decades. This paper argues that viewing EAH devices in isolation from the larger systems in which they serve as components is somewhat dangerous in that EAH devices can subvert the design hierarchies upon which designers base verification and validation efforts. The paper proposes augmenting EAH components with additional machinery to enable the application of model-checking and related Cyber-Physical Systems techniques to extract evolving intra-module relationships for formal verification and validation purposes.

Insect-Scale Flapping-Wing Micro-Air Vehicles (FW-MAVs), can be particularly sensitive to control deficits caused by ongoing wing damage and degradation. Since any such degradation could occur during flight and likely in ways difficult to predict apriori, any automated methods to apply correction would also need to be applied in-flight. Previous work has demonstrated effective recovery of correct flight behavior via online (in service) evolutionary algorithm based learning of new wing-level oscillation patterns. In those works, Evolutionary Algorithms (EAs) were used to continuously adapt wing motion patterns to restore the force generation expected by the flight controller. Due to the requirements for online learning and fast recovery of correct flight behavior, the choice of EA is critical. The work described in this paper replaces previously used oscillator learning algorithms with an Evolution Strategy (ES), an EA variant never previously tested for this application. This paper will demonstrate that this approach is both more effective and faster than previously employed methods. The paper will conclude with a discussion of future applications of the technique within this problem domain.

Evolutionary Computation has been suggested as a means of providing ongoing adaptation of robot controllers. Most often, using Evolutionary Computation to that end focuses on recovery of acceptable robot performance with less attention given to diagnosing the nature of the failure that necessitated the adaptation. In previous work, we introduced the concept of Evolutionary Model Consistency Checking in which candidate robot controller evaluations were dual-purposed for both evolving control solutions and extracting robot fault diagnoses. In that less developed work, we could only detect single wing damage faults in a simulated Flapping Wing Micro Air Vehicle. We now extend the method to enable detection and diagnosis of both single wing and dual wing faults. This paper explains those extensions, demonstrates their efficacy via simulation studies, and provides discussion on the possibility of augmenting EC adaptation by exploiting extracted fault diagnoses to speed EC search.

Previously, we introduced Evolutionary Model Consistency Checking (EMCC) as an adjunct to Evolvable and Adaptive Hardware (EAH) methods. The core idea was to dual-purpose objective function evaluations to simultaneously enable EA search of hardware configurations while simultaneously enabling a model-based inference of the nature of the damage that necessitated the hardware adaptation. We demonstrated the efficacy of this method by modifying a pair of EAH oscillators inside a simulated Flapping-Wing Micro Air Vehicle (FW-MAV). In that work, we were able to show that one could, while online in normal service, evolve wing gait patterns that corrected altitude control errors cause by mechanical wing damage while simultaneously determining, with high precision, what the wing lift force deficits that necessitated the adaptation. In this work, we extend the method to be able to also determine wing drag force deficits. Further, we infer the now extended set of four unknown damage estimates without substantially increasing the number of objective function evaluations required. In this paper we will provide the outlines of a formal derivation of the new inference method plus experimental validation of efficacy. The paper will conclude with commentary on several practical issues, including better containment of estimation error by introducing more in-flight learning trials and why one might argue that these techniques could eventually be used on a true free-flying flapping wing vehicle.

Those employing Evolutionary Algorithms (EA) are constantly challenged to engineer candidate solution representations that balance expressive power (I.E. can a wide variety of potentially useful solutions be represented?) and meta-heuristic search support (I.E. does the representation support fast acquisition and subsequent fine-tuning of adequate solution candidates). In previous work with a simulated insect-like Flapping-Wing Micro Air Vehicle (FW-MAV), an evolutionary algorithm was employed to blend descriptions of wing flapping patterns to restore correct flight behavior after physical damage to one or both of the wings. Some preliminary work had been done to reduce the overall size of the search space as a means of improving time required to acquire a solution. This of course would likely sacrifice breadth of solutions types and potential expressive power of the representation. In this work, we focus on methods to improve performance by augmenting EA search to dynamically restrict and open access to the whole space to improve solution acquisition time without sacrificing expressive power of the representation. This paper will describe some potential restriction/access control methods and provide preliminary experimental results on the efficacy of these methods in the context of adapting FW-MAV wing gaits.

To date, work in evolvable and adaptive hardware (EAH) has been largely isolated from primary inclusion into larger design processes. Almost without exception, EAH efforts are aimed at creating systems whole cloth, creating drop-in replacements for existing components of a larger design, or creating after-the-fact fixes for designs found to be deficient. This paper will discuss early efforts in integrating EAH methods into the design of a controller for a flapping-wing micro air vehicle (FWMAV). The FWMAV project is extensive, multidisciplinary, and on going. Because EAH methods were in consideration during its earliest design stages, this project provides a rich environment in which to explore means of effectively combining EAH and traditional design methodologies. In addition to providing a concrete EAH design that addresses potential problems with FWMAV flight in a unique way, this paper will also provide a provisional list of EAH design integration principles, drawn from our experiences to date.