Computer Aided Systems Theory - EUROCAST '89

InhaltsangabeFrom systems theory to CAST.- Epistemological categories of systems: An overview and mathematical formulation.- Knowledge processing: A semantics for the Klir hierarchy of general systems.- Systems theory challenges in the simulation of variable structure and intelligent systems.- CAST-modelling approaches in engineering design.- Object oriented design of CAST Systems.- Design of an object oriented kernel system for Computer Aided Systems Theory and Systems Theory instrumented modelling and simulation.- Implementation of finite-memory machines within CAST:FSM.- Sketching an evolutionary hierarchical framework for knowledge-based systems design.- Specification with nets.- Infrastructure for complex systems - CAD frameworks.- Order and equivalence relations on descriptions of finite dimensional linear systems.- Infinitesimals on computer - A tool for cast?.- Computer algebra and Computer Aided Systems Theory.- Reconstructability analysis and its RE - interpretation in terms of pragmatic information.- On determining the k-Nerode equivalence for tree automata inference.- Tools for modelling with Petri-net like nets.- Modelling and simulation of non-homogeneous models.- Finite state machine theory as a tool for construction of systolic arrays.- Some remarks on CAST, its relation to systems theory and to other CA tools.- Bases of a cast system for formal neural nets.- The "human operator" - some requisits for a theoretical concept.- A minimal system for the study of relationships between brain processes and psychological events.- System behaviour and computing structure.- Towards a computational theory of systems. Some cases study.- Nonlinear data transforms in perceptual systems.- A model for a structural vision system.- Computer Aided Systems Theory and Knowledge-Based System design and simulation; directions to explore.- Artificial intelligence and quality assurance in computer-aided systems theory.- On expert systems for the use of statistical methods.- CAST.FOURIER - An interactive method bank for generalized spectral techniques.- Cast methods in control.- Modelling and simulation of robot motion by CAST.- Embedding test pattern generation into design.- Combining behavioral block diagram modelling with circuit simulation.- CA-methods and robotics.- CA systems analysis with applications in environmental protection.