Computer Aided Systems Theory - EUROCAST '89
Springer Berlin (Verlag)
978-3-540-52215-7 (ISBN)
From 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 andKnowledge-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.
| Erscheint lt. Verlag | 7.2.1990 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | VII, 430 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 170 x 250 mm |
| Gewicht | 784 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Informatik ► Weitere Themen ► CAD-Programme | |
| Schlagworte | Artificial Intelligence • CAD • Cognition • Computer-Aided Design (CAD) • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Informationstechnik • Intelligence • Rechnerunterstützter Entwurf • Regelungstechnik • Robotik • Simulation • Systems Theory • Systemtheorie • Tools • Wissensbasierte Systeme |
| ISBN-10 | 3-540-52215-8 / 3540522158 |
| ISBN-13 | 978-3-540-52215-7 / 9783540522157 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
