Computer Aided Systems Theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings

"Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful user-driven interactive systems required for CAST. Implementation of CAST software requires a sound meth- odology from systems theory, user functions tailored to specific applications, and a man-machine interface designed using latest results from cognition research and AI. Most of the papers in this volume are based on talks delivered at EUROCAST '89 held in the Canary Islands in February/March 1989"--PUBLISHER'S WEBSITE From systems theory to CAST....Pages 1-6 Epistemological categories of systems: An overview and mathematical formulation....Pages 7-32 Knowledge processing: A semantics for the Klir hierarchy of general systems....Pages 33-40 Systems theory challenges in the simulation of variable structure and intelligent systems....Pages 41-51 CAST-modelling approaches in engineering design....Pages 52-68 Object oriented design of CAST Systems....Pages 69-75 Design of an object oriented kernel system for Computer Aided Systems Theory and Systems Theory instrumented modelling and simulation....Pages 76-85 Implementation of finite-memory machines within CAST:FSM....Pages 86-94 Sketching an evolutionary hierarchical framework for knowledge-based systems design....Pages 95-110 Specification with nets....Pages 111-124 Infrastructure for complex systems - CAD frameworks....Pages 125-133 Order and equivalence relations on descriptions of finite dimensional linear systems....Pages 134-150 Infinitesimals on computer — A tool for cast?....Pages 151-160 Computer algebra and Computer Aided Systems Theory....Pages 161-169 Reconstructability analysis and its RE — interpretation in terms of pragmatic information....Pages 170-181 On determining the k-Nerode equivalence for tree automata inference....Pages 182-190 Tools for modelling with Petri-net like nets....Pages 191-199 Modelling and simulation of non-homogeneous models....Pages 200-211 Finite state machine theory as a tool for construction of systolic arrays....Pages 212-224 Some remarks on CAST, its relation to systems theory and to other CA tools....Pages 225-230 Bases of a cast system for formal neural nets....Pages 231-242 The "human operator" — some requisits for a theoretical concept....Pages 243-252 A minimal system for the study of relationships between brain processes and psychological events....Pages 253-266 System behaviour and computing structure....Pages 267-283 Towards a computational theory of systems. Some cases study....Pages 284-300 Nonlinear data transforms in perceptual systems....Pages 301-309 A model for a structural vision system....Pages 310-321 Computer Aided Systems Theory and Knowledge-Based System design and simulation; directions to explore....Pages 322-335 Artificial intelligence and quality assurance in computer-aided systems theory....Pages 336-344 On expert systems for the use of statistical methods....Pages 345-353 CAST.FOURIER — An interactive method bank for generalized spectral techniques....Pages 354-366 Cast methods in control....Pages 367-370 Modelling and simulation of robot motion by CAST....Pages 371-380 Embedding test pattern generation into design....Pages 381-398 Combining behavioral block diagram modelling with circuit simulation....Pages 399-410 CA-methods and robotics....Pages 411-415 CA systems analysis with applications in environmental protection....Pages 416-427