Michael R. Hansen (Copenhagen, Tech. Univ. of Denmark)
Duration Calculus was introduced as an extension of Interval Temporal Logic to specify properties of real-time
systems and to reason about such specifications. Since its introduction it has been applied to many case studies
and it has been extended in several directions.
The main concepts of Duration Calculus will be presented in the course as well as its application in cases
studies of real-time and hybrid systems.
GENETIC ALGORITHMS/GENETIC PROGRAMMINGProf. Peter Smith (City University, London)
1. Genetic Algorithms.
What is a GA and how is it different to other methods? A simple Genetic Algorithm using selection, crossover
and mutation. Alternative Selection Methods. De Jong's empirical study. Schema Theory and the Building
Block Hypothesis. Advanced genetic operators - diploid chromosomes, inversion ... . Applications of GAs. GAs
and combinatorial problems. Conjugation - a new method of genetic recombination (my work).
2. Genetic Programming.
The Representation Problem for Genetic Algorithms. A Simple Example of Genetic Programming - The
Artificial Ant. Genetic Programming Operators. Evolution of Emergent Behaviour - Simulation of Ant
Colonies. Co-Evolution. Building Blocks. Functional Programming and Genetic Programming. Genetic
Programming using Object Orientation.