3. EUROCAST 1993: Las Palmas, Spain

Systems Theory and Systems Technology

• Franz Pichler:
  Systems Theory and Engineering. 2-10
  
• Tuncer I. Ören:
  Computer-Aided Systems Technology: Its Role in Advanced Computerization. 11-20
  
• H.-J. Sommer, H. Hahn:
  Computer Aided Nonlinear Systems Design Based on Algebraic System Representation and on Nonlinear Bundle Graphs. 21-41
  
• Dieter Monjau, Stefan Kahlert, Klaus Buchenrieder, Christian Veith:
  A New Model-Based Approach to the Co-Design of Heterogeneous Systems. 42-51
  
• Reiner Creutzburg, Valeri G. Labunets, Ekaterina V. Labunets:
  Towards an "Erlangen Program" for General Linear Systems Theory. 52-71
  
• Charles Rattray:
  The Shape of Complex Systems. 72-82
  
• Raimo Ylinen:
  Polynominal Systems Theory for n-D Systems Applied to Vision-Based Control. 83-95
  
• José Parets-Llorca, Ana Anaya, María J. Rodríguez, Patricia Paderewski:
  A Representation of Software Systems Evolution Based on the Theory of the General System. 96-109
  
• Gabriel Fiol-Roig, José Miró-Nicolau:
  Theoretical Considerations About Subset Descriptions. 111-117
  
• Pedro Albertos:
  Sampled Data Passive Systems. 118-130
  
• Tuncer I. Ören, Douglas G. King:
  Computer-Aided Systems Technology for CAD Environments: Complexity Issues and a Repository-Based Approach. 131-136
  
• Christoph Schaffer, Herbert Praehofer:
  On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation. 137-159
  
• Heikki Hyötyniemi:
  Automating the Modeling of Dynamic Systems. 160-178
  

Specific Methods

• Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes:
  Formal Methods and Their Future. 180-189
  
• Erwin M. Thurner:
  Formal Description of Bus Interfaces Using Methods of System Theory. 190-202
  
• Witold Jacak, Jerzy W. Rozenblit:
  CAST Tools for Intelligent Control in Manufacturing Automation. 203-219
  
• Ireneusz Sierocki:
  An Algebraic Transformation of the Minimum Automaton Identification Problem. 220-230
  
• Cliff Joslyn:
  On Possibilistic Automata. 231-242
  
• S. Dormido, I. López, F. Morilla, M. A. Canto:
  On Automatic Adjustment of the Sampling Period. 243-253
  
• Thomas Müller-Wipperfürth, Josef Scharinger, Franz Pichler:
  FSM Shift Register Realization for Improved Testability. 254-267
  
• Raimo Ylinen:
  Cluster-Based Modelling of Processes with Unknown Qualitative Variables. 268-281
  
• J. A. Muñoz-Blanco, Juan Carlos Quevedo-Losada, Olga Bolívar Toledo:
  The Role of Partitions and Functionals in Descriptor Computation for Data Receptive Fields. 282-292
  
• Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi:
  On Some Algorithmic and Computational Problems for Neuronal Diffusion Models. 293-313
  
• Dorota H. Kieronska, Svetha Venkatesh:
  Hierarchic Representation for Spatial Knowledge. 314-329
  

Applications

• Wilfried Grossmann, Hannes Werthner:
  Probabilistic Models in Qualitative Simulation. 331-346
  
• Ramón P. Otero, Alvaro Barreiro, Herbert Praehofer, Franz Pichler, José Mira:
  STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation. 347-356
  
• J. A. Muñoz-Blanco, Christophe Garcia, Francisco Alayón Hernández, Santiago Candela Solá:
  Systems Concepts for Visual Texture Change Detection Strategy. 357-365
  
• Ana E. Delgado García, Roberto Moreno-Díaz, José Mira:
  Qualitative Computation with Neural Nets: Differential Equations Like Examples. 366-379
  
• M. Kilger, T. Dietl:
  Interpretation-Driven Low-Level Parameter Adaptation in Scene Analysis. 380-387
  
• Zdenek Zdráhal:
  General Systems Theory as a Framework for Model-Based Diagnosis. 388-398
  
• Peter Kopacek:
  Technical Applications of Knowledge-Based Systems. 399-405
  
• Martin Zauner:
  CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems. 406-417
  
• G. J. Marshall, A. Behrooz, F. M. Clayton:
  Modelling and Analysis of Complex Stochastic Systems: from a Specific Example to a General Environment. 418-426
  
• Karl Kitzmüller:
  System Theoretic Approach to Migration of Project Models. 427-439
  
• Kai Zenger:
  Computer-Aided Analysis and Design of Sequential Control in Industrial Processes. 440-449