Computer Aided Systems Theory - EUROCAST '91 A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Proceedings

This volume contains a selection of papers presented at the second European workshop EUROCAST '91, held in Krems, Austria, in April 1991. It gives an overview of the current state of Computer Aided Systems Theory research and its relation to CAD applications in the engineering fields. CAST research requires the application of the most advanced information processing technology in software and hardware for the implementation of CAST method base systems. Engineers in the field of information and control engineering have the opportunity in CAST to present the state ofthe art in modeling tools to computer scientists. EUROCAST '91 proved that CAST research is still in an early state of development. The papers in the volume are organized into sections on systems theory and CAST methodology, modeling environments, CAST method base systems and artificial vision, and information and control systems.

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: Fromtiming 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 FMS-Dynamics models synthesis.- CAST.FSM applied to VLSI synthesis: Experimental results and requirements for industrial use.- A high level interactive design environment for complex systems.- The signal description language SIBA.- Experience in the development of advanced modelling environments.- Linking CAST.FSM to practical applications.- The algebraic algorithm A * for the action planning problems.- Complete transforms and their incidence in artificial perception systems theory.- Neural structures to compute homothetic invariances for artificial perception systems.- Systems optimization in retinal research.- Reduced inference systems: Alternative architectures for vision.- Computer Aided Clinical Information System for hospitals.- A methodology for computer aided modelling of information systems based on the extended entity relationship model BIER.- Decision supported systems and their industrial applications.- User interface to a CIM-database.- Artificial intelligence in CIM.- Input-Output model for unconventional sampled-data control systems.- The expediency of syntagmatic objects in CACSD systems.- Automatic robot programming by CAST.- How to achieve perception of real-world scenes: A case study.- Tools for coupling AI and control systems CAD.- An integrated environment for computer-aided control engineering.- Computer aided multi parameter analysis of linear control systems using exponent diagram techniques.- Computer aided multi parameter design of linear systems using exponent diagram techniques.- Minimal realization procedures based on balancing and related techniques.