Nonlinear system identification using coevolution of models and tests

We present a coevolutionary algorithm for inferring the topology and parameters of a wide range of hidden nonlinear systems with a minimum of experimentation on the target system. The algorithm synthesizes an explicit model directly from the observed data produced by intelligently generated tests. The algorithm is composed of two coevolving populations. One population evolves candidate models that estimate the structure of the hidden system. The second population evolves informative tests that either extract new information from the hidden system or elicit desirable behavior from it. The fitness of candidate models is their ability to explain behavior of the target system observed in response to all tests carried out so far; the fitness of candidate tests is their ability to make the models disagree in their predictions. We demonstrate the generality of this estimation-exploration algorithm by applying it to four different problems-grammar induction, gene network inference, evolutionary robotics, and robot damage recovery-and discuss how it overcomes several of the pathologies commonly found in other coevolutionary algorithms. We show that the algorithm is able to successfully infer and/or manipulate highly nonlinear hidden systems using very few tests, and that the benefit of this approach increases as the hidden systems possess more degrees of freedom, or become more biased or unobservable. The algorithm provides a systematic method for posing synthesis or analysis tasks to a coevolutionary system.

[1]  Lawrence J. Fogel,et al.  Artificial Intelligence through Simulated Evolution , 1966 .

[2]  Sankaran Srinivas Error recovery in robot systems. , 1977 .

[3]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[4]  S. Brynjolfsson,et al.  Error detection and recovery in flexible assembly systems , 1990 .

[5]  W. Daniel Hillis,et al.  Co-evolving parasites improve simulated evolution as an optimization procedure , 1990 .

[6]  David H. Sharp,et al.  A connectionist model of development. , 1991, Journal of theoretical biology.

[7]  John J. Grefenstette,et al.  An Approach to Anytime Learning , 1992, ML.

[8]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[9]  Karl Sims,et al.  Evolving 3D Morphology and Behavior by Competition , 1994, Artificial Life.

[10]  Joseph R. Cavallaro,et al.  Expert system framework for fault detection and fault tolerance in robotics , 1994 .

[11]  C. S. George Lee,et al.  Automatic generation of error recovery knowledge through learned reactivity , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[12]  Dave Cliff,et al.  Tracking the Red Queen: Measurements of Adaptive Progress in Co-Evolutionary Simulations , 1995, ECAL.

[13]  Jih-Forg Kao,et al.  Optimal recovery strategies for manufacturing systems , 1995 .

[14]  Francesco Bergadano,et al.  Inductive Logic Programming: From Machine Learning to Software Engineering , 1995 .

[15]  Lennart Ljung,et al.  Nonlinear black-box modeling in system identification: a unified overview , 1995, Autom..

[16]  Adeboyejo A. Thompson,et al.  Artificial Evolution in the Physical World , 1997 .

[17]  A. Sherif El-Gizawy,et al.  Computer-aided monitoring system for flexible assembly operations , 1997 .

[18]  Pablo Funes Computer Evolution of Buildable Objects , 1997 .

[19]  Nick Jakobi,et al.  Evolutionary Robotics and the Radical Envelope-of-Noise Hypothesis , 1997, Adapt. Behav..

[20]  Richard K. Belew,et al.  New Methods for Competitive Coevolution , 1997, Evolutionary Computation.

[21]  J. Ross,et al.  A Test Case of Correlation Metric Construction of a Reaction Pathway from Measurements , 1997 .

[22]  Vidroha Debroy,et al.  Genetic Programming , 1998, Lecture Notes in Computer Science.

[23]  Jordan B. Pollack,et al.  Computer Evolution of Buildable Objects for Evolutionary Design by Computers , 1998 .

[24]  Francesco Mondada,et al.  Evolutionary neurocontrollers for autonomous mobile robots , 1998, Neural Networks.

[25]  Yasuo Kuniyoshi,et al.  Online Evolution for a Self-Adapting Robotic Navigation System Using Evolvable Hardware , 1998, Artificial Life.

[26]  Jordan B. Pollack,et al.  Methods for statistical inference: extending the evolutionary computation paradigm , 1999 .

[27]  Paul J. Layzell,et al.  Explorations in design space: unconventional electronics design through artificial evolution , 1999, IEEE Trans. Evol. Comput..

[28]  Ting Chen,et al.  Modeling Gene Expression with Differential Equations , 1998, Pacific Symposium on Biocomputing.

[29]  Jordan B. Pollack,et al.  Automatic design and manufacture of robotic lifeforms , 2000, Nature.

[30]  Patrik D'haeseleer,et al.  Genetic network inference: from co-expression clustering to reverse engineering , 2000, Bioinform..

[31]  David E. Orin,et al.  Robot dynamics: equations and algorithms , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[32]  Rajesh Parekh,et al.  Automata Induction, Grammar Inference, and Language Acquisition , 2000 .

[33]  Kenneth A. De Jong,et al.  Cooperative Coevolution: An Architecture for Evolving Coadapted Subcomponents , 2000, Evolutionary Computation.

[34]  Adrian Stoica,et al.  Fault-tolerant evolvable hardware using field-programmable transistor arrays , 2000, IEEE Trans. Reliab..

[35]  E. A. Dipaolo,et al.  Homeostatic adaptation to inversion of the visual field and other sensorimotor disruptions , 2000 .

[36]  Jordan B. Pollack,et al.  Evolutionary Techniques in Physical Robotics , 2000, ICES.

[37]  Di Paolo,et al.  Homeostatic adaptation to inversion of the visual field and other sensorimotor disruptions , 2000 .

[38]  J. Pollack,et al.  Coevolutionary dynamics in a minimal substrate , 2001 .

[39]  Dario Floreano,et al.  Neural morphogenesis, synaptic plasticity, and evolution , 2001, Theory in Biosciences.

[40]  Akio Ishiguro,et al.  The Effect of Neuromodulations on the Adaptability of Evolved Neurocontrollers , 2001, ECAL.

[41]  Björn Olsson,et al.  Co-evolutionary search in asymmetric spaces , 2001, Inf. Sci..

[42]  Masaru Tomita,et al.  Pathway Finding from Given Time-Courses Using Genetic Algorithm , 2001 .

[43]  Jordan B. Pollack,et al.  Pareto Optimality in Coevolutionary Learning , 2001, ECAL.

[44]  Hiroaki Kitano,et al.  Foundations of systems biology , 2001 .

[45]  Cem M. Baydar,et al.  Off-line error prediction, diagnosis and recovery using virtual assembly systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[46]  R. Pfeifer,et al.  Repeated structure and dissociation of genotypic and phenotypic complexity in artificial ontogeny , 2001 .

[47]  Jordan B. Pollack,et al.  Creating High-Level Components with a Generative Representation for Body-Brain Evolution , 2002, Artificial Life.

[48]  Andrew M. Tyrrell,et al.  Immunotronics - novel finite-state-machine architectures with built-in self-test using self-nonself differentiation , 2002, IEEE Trans. Evol. Comput..

[49]  Michel Gevers A decade of progress in iterative process control design: from theory to practice , 2002 .

[50]  Hitoshi Iba,et al.  Inference of a gene regulatory network by means of interactive evolutionary computing , 2002, Inf. Sci..

[51]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[52]  Phil Husbands,et al.  Evolution of central pattern generators for bipedal walking in a real-time physics environment , 2002, IEEE Trans. Evol. Comput..

[53]  Simon M. Lucas,et al.  Learning DFA: evolution versus evidence driven state merging , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

[54]  Stefan C. Kremer,et al.  Inducing Grammars from Sparse Data Sets: A Survey of Algorithms and Results , 2003, J. Mach. Learn. Res..

[55]  Peter J. Bentley,et al.  An Evolutionary Approach to Damage Recovery of robot Motion with Muscles , 2003, ECAL.

[56]  Hod Lipson,et al.  Automated robot function recovery after unanticipated failure or environmental change using a minimum of hardware trials , 2004, Proceedings. 2004 NASA/DoD Conference on Evolvable Hardware, 2004..

[57]  Edwin D. de Jong,et al.  Automated Extraction of Problem Structure , 2004, GECCO.

[58]  Edwin D. de Jong,et al.  Ideal Evaluation from Coevolution , 2004, Evolutionary Computation.

[59]  Risto Miikkulainen,et al.  Competitive Coevolution through Evolutionary Complexification , 2011, J. Artif. Intell. Res..

[60]  Hod Lipson,et al.  Automating Genetic Network Inference with Minimal Physical Experimentation Using Coevolution , 2004, GECCO.

[61]  J. Pollack,et al.  Solution concepts in coevolutionary algorithms , 2004 .

[62]  Emily Eelkema,et al.  Mars Exploration Rovers , 2004 .

[63]  David A. Cohn,et al.  Improving generalization with active learning , 1994, Machine Learning.

[64]  Hod Lipson,et al.  'Managed challenge' alleviates disengagement in co-evolutionary system identification , 2005, GECCO '05.

[65]  Radhika Nagpal,et al.  On Growth, Form and Computers , 2005, Genetic Programming and Evolvable Machines.