Skip to content

Latest commit

 

History

History
132 lines (82 loc) · 12.4 KB

README.md

File metadata and controls

132 lines (82 loc) · 12.4 KB

Minemonics (Alpha Stage, work in progress)

An open-source 3D virtual creature evolution simulator built with OGRE3D rendering engine in C++. For the graph plotting I used MathGL (http://mathgl.sourceforge.net/doc_en/Website.html) FFmpeg (https://www.ffmpeg.org/) for capturing video, Bullet3 for the physics and Boost for logging and testing.

Several aspects are taken with reference from Karl Sims (http://www.karlsims.com/) original paper called: "Artificial Evolution for Computer Graphics". But it is not a replication of that. Other aspects are taken with reference from Lee Graham' 3D Virtual Creature Evolution. But it is not a replication of that either. It just contains some aspects from each of them which I found to be very intelligently chosen. If you have any questions or want to join the project, send me an email to be.ellenberger@gmail.com


Milestone 1: Genomic Structure

To evolve creatures in a population and alter them with the aid of evolutionary algorithms, it is necessary to have an encoding of the brain and body of the creature. The chosen genomic structure used in this project uses an indirect encoding. This means that the genome contains the structure of a creature in a compressed form and can only be transcribed by following the rules defined in the genome.

Milestone 2: Environments

The evolved creatures are preforming their tasks in a so called physics engine. The name is a bit misleading, as the framework does not simulate all physics that is going on but is built to simulate Newtonian Physics i.e. the classical mechanics of how rigid and softbodies interact and react to external forces. The interaction is reduced to the most important components that are usually necessary to keep the simulation runnable in real-time. For this simulation, several environments are implemented to observe the locomotion of creatures in different environments.

The first two basic environments are a plane which is entirely flat and a hills environment which automatically generates a hilly infinite environment that gets generated as creatures reach it.

Milestone 3: Body model

The body model is created from general primitives such as cubes and capsules, which are connected together via joints. The joints in fact are motion constraints defined in the physics engine that restrict the motion of the primitive bodies in ways similar to classical mechanical joints. The joint defines which degrees of freedom are either fully locked or restricted to move only within a certain range of angle in case of angular joint movement or within a distance range in the case of linear joint movement. The body model defined in the physics engine is then graphically rendered into a visual model of the body to represent the creature's movements in the environment.

Some of the first generation creatures

Some of the first generation creatures

Some of the first generation creatures

Some of the first generation creatures

Some of the first generation creatures

Milestone 4: Evolutionary Algorithm

The genome of the creatures must have a certain scheme that can be modified via variability operators. The variability operators, as the name suggests, increase the variability within the population of creatures by generating new genomes. A simple variability operator is the mutator that simply changes a certain gene in the genome by changing some of the features randomly. The mutation can obviously render a gene useless by for instance decoupling it from the developmental process, so that it is never actually expressed. On the other hand, this can also improve the components encoded in the gene so that the resulting creature can perform better according to the measure of the fitness function.

2015-05-13 First presentation of the simulator at the Auditory Informatics Seminar

The presentation shows the context the simulator works in, describes some of its features and shows some visuals of it. The feedback was generally very good, people were very interested in the project. Ruedi Stoop proposed that we would meet for the project in about two weeks to discuss the possibilities of it in the long run. The only reminder was that I should cite the pictures properly which is done but not with numbers at every pictures to make the slides very cluttered. But this will be done for the next presentation, maybe master's apero.

Topics covered in the talk:

  • Are we alone in the universe?
  • Simple limiter theory
  • Methods
    • Evolving 3D creatures
    • Genetic language
    • Fitness evaluation
    • Evolution
    • Controller
    • Why is periodicity important?
  • Meet & Greet with the Creatures
  • Outlook
    • Extensions: Evolutionary Algorithm
    • Extensions: Controllers
    • Other settings

Here is a link to the presentation: [Emergent gait periodicity in artificially evolved creatures on unknown terrains](Minemonics/doc/presentations/[2015] Auditory Informatics/Minemonics-AuditoryInformatics.pdf?raw=true)

(You need to download the figs folder as well, because otherwise you can not find the videos that are linked in the presentation)

Results from an early run showing the changes of an evolutionary step to another: ![A population of 6 creatures in 3 generations](Minemonics/doc/visuals/Milestone 4 - Evolutionary Algorithm/3Gx6I-Evolution.png?raw=true "A population of 6 creatures in 3 generations")

A population of 10 creatures were evolved of which 6 were chosen for the visualization to show their details. The fitness function for creature selection is the number of limbs they have. The last in the row has obviously only one limb and is therefore rated the lowest by the fitness function. It therefore gets culled and replaced twice until it has more limbs.

Milestone 5: Chaotic Systems and Simple Limiter Control

Chaotic Systems are dynamical systems that are highly sensitive to initial conditions. They show high variability because small differences in the initial conditions yield widely diverging outcomes which make long-term prediction impossible, even though the system is deterministic. Additionally the system shows topological mixing, which means that the system evolves over time so that any given region or open set of its phase space will eventually overlap with any other given region.

In chaotic control, approaches to control chaotic systems are designed. Their main goal is to stabilize periodic orbits. A strange attractor contains an infinite number of unstable, periodic orbits. Chaotic dynamics consists of a motion of the system state near one of these unstable orbits and stays in its neighborhood for a while, then reaches the neighborhood of a different unstable periodic orbit in which it remains for a limited amount of time and so forth. This results in a complicated and unpredictable wandering over longer periods of time.

Many of those chaotic control approaches exist and generally model parts of the original system to control, thereby reaching sometimes even higher complexity than the chaotic system itself. This leads to a specification of the chaos control system and renders the control system useless when facing another chaotic system. Another difficulty is that for fast dynamics of certain systems, the perfect timing of the control signal is crucial and can generally not be achieved by a computational control system.

Simple limiter control on the other hand is based on an entirely different approach which might be more natural and generally applicable. Corron et al.[1] show by experimental demonstration that by using passive elements as limiters of the system, stabilization of periodic orbits of different periodicities can be achieved. The principle is that a simple limiter is added to a chaotic system, which applies a control signal when a certain limit is surpassed. Thereby the system state is pulled back onto the periodic orbit it just tried to leave and stays on it until it tries to escape it again which is then again avoided by the limiter. The concept uses controlling limiters which are much less complex than the system controlled and remain of constant complexity in comparison to the system controlled. Furthermore the same limiter can control different chaotic systems. Different stable orbits can be achieved by varying the configuration of the limiter such as its physical properties in mechanical systems or its function of limit application in differential equations.

Chaotic behavior can be seen in different natural phenomena such as weather and climate or neural circuits and computations. Our hypothesis relates to motor-control and states that complex oscillatory gait patterns can arise from only using chaotic control signals that are then either limited in the chaotic system space or the state space of the controlled limb.

Our model chaotic system is the Chua's circuit[2] (Online simulation of the Chua's circuit). It shows chaotic behavior and can be limited using simple limiters, which stabilize different unstable periodic orbits depending on configuration.

2015-05-13 Second presentation of the simulator at the Auditory Informatics Seminar

The presentation shows for repetition the context the simulator works in, describes some of its features. Additionally it discusses some

Topics covered in the talk:

  • A box of candy
  • How does evolution optimize?
  • Can we do similar things?
    • Evolution
    • Genetic language
    • Evolution
  • Demonstration and Results
  • Experiments
    • Oscillator controller
      • Kuramoto model
      • Simple limiters theory
    • Reinforcement Learning and Neural network controller

Here is a link to the presentation: [How Evolution might make creatures walk A multistage optimization problem](Minemonics/doc/presentations/[2015] Auditory Informatics II/Minemonics-AuditoryInformatics.pdf?raw=true)

(You need to download the figs folder as well, because otherwise you can not find the videos that are linked in the presentation)

Here are some of the evolved creatures using simple oscillators (in this case sinusoids with different frequencies/amplitudes/offsets):

Jumper 1:

Jumper 1

Jumper 2:

Jumper 2

Walker 1:

Walker 1

Walker 2:

Walker 2

References

[1] Controlling Chaos with Simple Limiters - Ned J. Corron, Shawn D. Pethel, and Buckley A. Hopper Phys. Rev. Lett. 84, 3835 – Published 24 April 2000

[2] Chua Circuit on Wikipedia