Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, ... (Lecture Notes in Computer Science, 4739)

This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007. Coverage in the 144 revised full papers presented includes formal approaches, computation and simulation in modeling biological systems, intelligent information processing, heuristic problem solving, signal processing architectures, robotics and robotic soccer, cybercars and intelligent vehicles and artificial intelligence components.