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 document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): J. Mira, A. E. Delgado (auth.), Franz Pichler, Roberto Moreno Díaz (eds.)
Series: Lecture Notes in Computer Science 585
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992

Language: English
Pages: 770
Tags: Computer-Aided Engineering (CAD, CAE) and Design; Models and Principles; Artificial Intelligence (incl. Robotics); Computer Appl. in Life Sciences

Linear and algorithmic formulation of co-operative computation in neural nets....Pages 1-20
Algebraic system modelling and implementation....Pages 21-31
Towards an “Erlangen program” for general linear systems theory....Pages 32-51
Geometric theory of nonlinear dynamical networks....Pages 52-65
Multidimensional constant linear systems....Pages 66-72
Computer aided analysis and design of time-varying systems....Pages 73-94
Towards a computer aided design of linear control systems....Pages 95-102
Use of modern computer tools for numerical experiments in Matrix theory....Pages 103-110
The concept of the system as a key to system-engineering in the information technology domain....Pages 111-131
General Systems Theory requirements for the engineering of complex models....Pages 132-141
Control of systems described by means of nonmetric variables....Pages 142-152
Object identification and retrieval in a CAST library....Pages 153-172
Navigation in Systems Problem Solving....Pages 173-181
VisaVis the conception of a functional Visual Programming Language....Pages 182-205
Systems theory in modelling chromatic retinal visual processing....Pages 206-217
A transformation of the problems of minimal satisfaction of constraints....Pages 218-224
Formalizing statistical analysis: Approaches and prospects....Pages 225-238
An environment for intelligent autonomous system design and simulation....Pages 239-256
Balanced systems: A new approach to integrate hardware and software design....Pages 257-269
Systems modeling and process control....Pages 270-280
Human-computer interaction and cooperation for supervisory control of large-complex systems....Pages 281-294
Incorporating heuristic rules in a multifaceted system....Pages 295-306
Towards formalism of deep model descriptions of dynamic systems....Pages 307-322
A new approach to the design of concurrent control architectures....Pages 323-329
CA-methods for the development and construction of Hydroelectric Power Plants....Pages 330-342
Test strategy planning — A tool to support future CAD systems....Pages 343-351
On the complexity of system-level diagnostic algorithms....Pages 352-364
Bus protocol conversion: From timing diagrams to state machines....Pages 365-377
CONSHELL....Pages 378-387
Computer Aided Vision (CAV) a cast method bank for artificial vision systems....Pages 388-401
A cast system for visual fault detection research....Pages 402-411
CAST tools for automatic FMS-Dynamics models synthesis....Pages 412-421
CAST.FSM applied to VLSI synthesis: Experimental results and requirements for industrial use....Pages 422-441
A high level interactive design environment for complex systems....Pages 442-459
The signal description language SIBA....Pages 460-475
Experience in the development of advanced modelling environments....Pages 476-491
Linking CAST.FSM to practical applications....Pages 492-505
The algebraic algorithm A * for the action planning problems....Pages 506-513
Complete transforms and their incidence in artificial perception systems theory....Pages 514-524
Neural structures to compute homothetic invariances for artificial perception systems....Pages 525-538
Systems optimization in retinal research....Pages 539-546
Reduced inference systems: Alternative architectures for vision....Pages 547-555
Computer Aided Clinical Information System for hospitals....Pages 556-565
A methodology for computer aided modelling of information systems based on the extended entity relationship model BIER....Pages 566-584
Decision supported systems and their industrial applications....Pages 585-591
User interface to a CIM-database....Pages 592-601
Artificial intelligence in CIM....Pages 602-613
Input-Output model for unconventional sampled-data control systems....Pages 614-625
The expediency of syntagmatic objects in CACSD systems....Pages 626-633
Automatic robot programming by CAST....Pages 634-646
How to achieve perception of real-world scenes: A case study....Pages 647-651
Tools for coupling AI and control systems CAD....Pages 652-667
An integrated environment for computer-aided control engineering....Pages 668-687
Computer aided multi parameter analysis of linear control systems using exponent diagram techniques....Pages 688-710
Computer aided multi parameter design of linear systems using exponent diagram techniques....Pages 711-732
Minimal realization procedures based on balancing and related techniques....Pages 733-761