Computer Aided Systems Theory - EUROCAST '91

Linear and algorithmic formulation of co-operative computation in neural nets.- Algebraic system modelling and implementation.- Towards an "Erlangen program" for general linear systems theory.- Geometric theory of nonlinear dynamical networks.- Multidimensional constant linear systems.- Computer aided analysis and design of time-varying systems.- Towards a computer aided design of linear control systems.- Use of modern computer tools for numerical experiments in Matrix theory.- The concept of the system as a key to system-engineering in the information technology domain.- General Systems Theory requirements for the engineering of complex models.- Control of systems described by means of nonmetric variables.- Object identification and retrieval in a CAST library.- Navigation in Systems Problem Solving.- VisaVis the conception of a functional Visual Programming Language.- Systems theory in modelling chromatic retinal visual processing.- A transformation of the problems of minimal satisfaction of constraints.- Formalizing statistical analysis: Approaches and prospects.- An environment for intelligent autonomous system design and simulation.- Balanced systems: A new approach to integrate hardware and software design.- Systems modeling and process control.- Human-computer interaction and cooperation for supervisory control of large-complex systems.- Incorporating heuristic rules in a multifaceted system.- Towards formalism of deep model descriptions of dynamic systems.- A new approach to the design of concurrent control architectures.- CA-methods for the development and construction of Hydroelectric Power Plants.- Test strategy planning - A tool to support future CAD systems.- On the complexity of system-level diagnostic algorithms.- Bus protocol conversion: From timing diagrams to state machines.- CONSHELL.- Computer Aided Vision (CAV) a cast method bank for artificial vision systems.- A cast system for visual fault detection research.- CAST tools for automatic