2. EUROCAST 1991: Krems, Austria
Franz Pichler, Roberto Moreno-Díaz (Eds.): 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. Springer 1992 Lecture Notes in Computer Science ISBN 3-540-55354-1
1 Systems Theory and CAST Methodology
José Mira, Ana E. Delgado García: Linear and Algorithmic Formulation of Co-operative Computation in Neural Nets. 2-20
Thomas Beth: Algebraic System Modelling and Implementation. 21-31
Reiner Creutzburg, Valeri G. Labunets, Ekaterina V. Labunets: Towards an "Erlangen Program" for General Linear Systems Theory. 32-51
Wolfgang Mathis: Geometric Theory of Nonlinear Dynamical Networks. 52-65
Ulrich Oberst: Multidimensional Constant Linear Systems. 66-72
Vladimír Kucera: Towards a Computer Aided Design of Linear Control Systems. 95-102
Basilio Bona, Stefano Carabelli, Cosimo Greco: Use of Modern Computer Tools for Numerical Experiments in Matrix Theory. 103-110
Gerhard Schweizer: The Concept of the System as a Key to System-Engineering in the Information Technology Domain. 111-131
Franz Pichler: General Systems Theory Requirements for the Engineering of Complex Models. 132-141
Petr Vysoký: Control of Systems Described by Means of Nonmetric Variables. 142-152
Rudolf Mittelmann: Navigation in Systems Problem Solving. 173-181
Jörg Poswig: VisaVis - The Conception of a Functional Visual Programming Language. 182-205
M. M. González-Rodríguez, Roberto Moreno-Díaz: Systems Theory in Modelling Chromatic Retinal Visual Processing. 206-217
Ireneusz Sierocki: A Transformation of the Problems of Minimal Satisfaction of Constraints. 218-224
Karl Anton Froeschl: Formalizing Statistical Analysis: Approaches and Prospects. 225-238
2 Modelling Environments
Herbert Praehofer, Franz Auernig, Gernot Reisinger: An Environment for Intelligent Autonomous System Design and Simulation. 240-256
K. Gösmann, Christian Hafer, H. Lindmeier, Josef Plankl, Karl Westerholz: Balanced Systems: A New Approach to Integrate Hardware and Software Design. 257-269
Toshiyuki Inagaki, Gunnar Johannsen: Human-Computer Interaction and Cooperation for Supervisory Control of Large-Complex Systems. 281-294
Danny Van Welden, Derek Verweij, Ghislain C. Vansteenkiste: Incorporating Heuristic Rules in a Multifaceted System. 295-306
Zhiguo Yuan, Chuanyuan Wen, Ghislain C. Vansteenkiste: Towards Formalism of Deep Model Descriptions of Dynamic Systems. 307-322
Manfred Schäfer, Georg Klein-Heßling: A New Approach to the Design of Concurrent Control Architectures. 323-329
Leopold Heninger, Josef Prost, Heinz-Bernd Matthias: CA-Methods for the Development and Construction of Hydroelectric Power Plants. 330-342
Ernst J. Lehner: Test Strategy Planning - A Tool to Support Future CAD Systems. 343-351
Jan Hlavicka: On the Complexity of System-Level Diagnosis Algorithms. 352-364
Wolf-Dieter Tiedemann: Bus Protocol Conversion: from Timing Diagrams to State Machines. 365-377
Erwin Gerstorfer, Barbara Schröcksnadl, Peter Suda, Werner Zucker: CONSHELL - A Domain-Specific Shell for Automation System Configuration. 378-387
3 CAST Method Base Systems and Artificial Vision
Christophe Garcia, Santiago Candela Solá: Computer Aided Vision (CAV) A CASt Method for Artificial Vision Systems. 389-401
Santiago Candela Solá, J. A. Muñoz-Blanco, Christophe Garcia, Francisco Alayón Hernández: A CAST System for Visual Fault Detection Research. 402-411
Elzbieta Roszkowska: CAST Tools for Automatic FMS-Dynamics Models Synthesis. 412-421
Martin Geiger: CAST.FSM Applied to VLSI Synthesis: Experimental Results and Requirements for Industrial Use. 422-441
Erdmuthe Meyer zu Bexten, Claudio Moraga, Jürgen Büddefeld: A High Level Interactive Design Environment for Complex Systems. 442-459
Giorgio Guariso, Martin Hitz, Hannes Werthner: Experience in the Development of Advanced Modelling Environments. 476-491
Thomas Müller-Wipperfürth: Linking CAST.FSM to Practical Applications. 492-505
Ireneusz Sierocki: The Algebraic Algorithm A* for the Action Planning Problems. 506-513
Olga Bolívar Toledo, Santiago Candela Solá, Roberto Moreno-Díaz: Complete Transforms and Their Incidence in Artificial Perception Systems Theory. 514-524
Carmen Paz Suárez Araujo, Roberto Moreno-Díaz: Neural Structures to Compute Homothetic Invariances for Artificial Perception Systems. 525-538
Roberto Moreno-Díaz Jr., K. Nicholas Leibovic, Roberto Moreno-Díaz: Systems Optimization on Retinal Research. 539-546
J. A. Muñoz-Blanco, Olga Bolívar Toledo, Roberto Moreno-Díaz: Reduced Inference Systems: Alternative Architectures for Vision. 547-555
Information and Control Systems
A. Kisling, E. Dittel, Peter Kopacek: Computer Aided Clinical Information System for Hospitals. 557-565
Christian Gierlinger, A. Min Tjoa, Roland Wagner: A Methodology for Computer Aided Modelling of Information Systems Based on the Extended Entity Relationship Model BIER. 566-584
G. Halmschlager, F. Mletzko, D. Trippler: Decision Supported Systems and Their Industrial Applications. 585-591

Pedro Albertos: Input-Output Model For Unconventional Samped-Data Control Systems. 614-625
J. Dastych: The Expediency of Syntagmatic Objects in CACSD Systems. 626-633
Wendelin Feiten, B. Bentz, Gisbert Lawitzky, I. Leuthäusser: How to Achieve Perception of Real-World Scenes: A Case Study. 647-651
Heikki Hyötyniemi: Tools for Coupling AI and Control Syststems CAD. 652-667
John Hickey, John Ringwood: An Integrated Environment for Computer-Aided Control Engineering. 668-687
H. Hahn: Computer Aided Multi-Parameter Analysis of Linear Control Systems Using Exponent Diagram Techniques. 688-710
H. Hahn: Computer Aided Multi-Parameter Design of Linear Control Systems Using Exponent Diagram Techniques. 711-732
A. Varga: Minimal Realization Procedures Based on Balancing and Related Techniques. 733-761



