This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994.
The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and tools and environments.