2. EUROCAST 1991: Krems, Austria

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
  
• Raimo Ylinen, Kai Zenger:
  Computer Aided Analysis and Design of Time-Varying Systems. 73-94
  
• Vladimír Kucera:
  Towards a Computer Aided Design of Linear Control Systems. 95-102
  
• B. Bona, S. Carabelli, C. 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
  
• Charles Rattray, Marion Marsden:
  Object Identification and Retrieval in a CAST Library. 153-172
  
• 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
  
• Christa Kopf, Felix Bretschneider:
  Systems Modeling and Process Control. 270-280
  
• 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
  
• Erdmuthe Meyer zu Bexten, Claudio Moraga:
  The Signal Description Language SIBA. 460-475
  
• 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
  
• A. Frotschnig, V. Kaçani, Peter Kopacek:
  User Interface to a CIM-Database. 592-601
  
• Vladimír Marík, Jirí Lazanský:
  Artificial Intelligence in CIM. 602-613
  
• 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
  
• Witold Jacak, Jerzy W. Rozenblit:
  Automatic Robot Programming by CAST. 634-646
  
• 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