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

772 Pages·1992·10.82 MB·English

by  J. Mira

Lecture Notes in Computer Science 585
Edited by G. Goos and J. Hartmanis
Advisory Board: W. Brauer D. Gries J. Stoer
E Pichler .R Moreno Dfaz (Eds.)
Computer Aided Systems
Theory - EUROCAST 19'
A Selection of Papers from the
Second International Workshop on
Computer Aided Systems Theory
Krems, Austria, April 15-19, 1991
Proceedings
galreV-regnirpS
Berlin Heidelberg NewYork
London Paris Tokyo
Hong Kong Barcelona
Budapest
Series Editors
Gerhard Goos Juris Hartmanis
Universit~it Karlsruhe Cornell University
Postfach 69 80 Department of Computer Science
Vincenz-Priessnitz-Stra6e 1 5149 Upson Hall
W-7500 Karlsruhe, FRG Ithaca, NY 14853, USA
Volume Editors
Franz Pichler
Institute of Systems Science, Johannes Kepler University
Altenbergerstr. 69, A-4040 Linz, Austria
Roberto Moreno Dfaz
Dept. of Computer Science and Systems, Univ. of Las Palmas de Gran Canaria
.P O. Box 550, 35080 Las Palmas, Spain
CR Subject Classification (1991): H.1, J.6, 1.6, 1.2, J.7, J.3
ISBN 3-540-55354-1 Springer-Verlag Berlin Heidelberg New York
ISBN 0-387-55354-1 Springer-Verlag New York Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of
the material is concerned, specifically the rights of translation, reprinting, re-use of
illustrations, recitation, broadcasting, reproduction on microfilms or in any other way,
and storage in data banks. Duplication of this publication or parts thereof is permitted
only under the provisions of the German Copyright Law of September 9, 1965, in its
current version, and permission for use must always be obtained from Springer-Verlag.
Violations are liable for prosecution under the German Copyright Law.
(cid:14)9 Springer-Verlag Berlin Heidelberg 1992
Printed in Germany
Typesetting: Camera ready by author
Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr.
45/3140-543210 - Printed on acid-free paper
Preface
This volume contains a selection of papers presented at the second
European workshop EUROCAST '91 held in Krems, Austria, in April 1991.
It should give an overview on the current state of CAST research and its
relation to CAD applications in the engineering fields. Publishing in the
Lecture Notes in Computer Science is motivated by the following two
reasons:
(1) CAST research requires the application of the most advanced
information processing technology in software and hardware for the
implementation of CAST method base systems
)2( the specific engineering disciplines (especially the field of information
and control engineering) have the opportunity to present the state of the
art in modelling tools to computer scientists
EUROCAST '91 proved that CAST research is still in its beginning state of
development. However we can see by the results which were achieved in
the workshop that progress towards a common understanding of the task
is continuing.
EUROCAST 19" was organized by the Wissenschaftliche Landesakademie
Krems, Austria, in cooperation with the Johannes Kepler University Linz,
Austria, and the Universidad de Las Palmas de Gran Canaria, Canary
Islands, Spain. Professor Peter Kopacek, Conference-Chairman of the
workshop, and his team deserve many thanks for the organizational work.
The organizers are grateful for the co-sponsorship of the International
Federation of Systems Research (IFSR), the International Federation of
Automatic Control (IFAC), and the Technical Committee on Systems
Engineering (SECOM).
The editors of this volume would once more like to thank our mentor in
CAST research Professor Heinz Schw/irtzel, Siemens Corporation Munich,
and current president of the German Society for Computer Science, for his
encouragement and advice. Many thanks also to Professor Gerhard Goos,
University of Karlsruhe and Editor-in-Chief of the Lecture Notes in
Computer Science, for his understanding and acceptance of our
publication. A final word of thanks goes to the Springer-Verlag staff in
Heidelberg for their help in publishing this volume.
February 1992 Franz Pichler, Roberto Moreno-Diaz
EUROCAST'91
Opening Session
Having fun after
the boat trip
(despite of the '
chilly April weather
condition)
SKETCHES from
EUROCAST'91
Krems/Austria
Contents
1 Systems Theory and CAST Methodology
Linear and Algorithmic Formulation of Co-operativCeo mputation in Neural Nets... 2
J. Mira-Mira, A. E. Delgado
Algebraic System Modelling and Implementation .................................................... 21
Th. Beth
Towards an "Erlangen Program" for General Linear Systems Theory ...................... 32
R. Creutzburg, V. G. Labunets, E.V. Labunets
Geometric Theory of Nonlinear Dynamical Networks .............................................. 52
W. Mathis
Multidimensional Constant Linear Systems ............................................................... 66
U. Oberst
Computer Aided Analysis and Design of Time-Varying Systems ............................. 73
R. Ylinen, K. Zenger
Towards a Computer Aided Design of Linear Control Systems ............................... 95
V. Ku~era
Use of Modern Computer Tools for Numerical Experiments in Matrix Theory ..... 103
B. Bona, S. Carabelli, .C Greco
The Concept of the System as a Key to System-Engineering
in the Information Technology Domain ................................................................... 111
G. Schweizer
General Systems Theory Requirements for the Engineering of Complex Models.. 132
F. Pichler
Control of Systems Described by Means of Nonmetric Variables .......................... 142
P. Vysoky
Object Identification and Retrieval in a CAST Library ............................................ 351
Ch. Rattray, M. Marsden
Navigation in Systems Problem Solving ................................................................. 371
R. Mittelmann
VisaVis - The Conception of a Functional Visual Programming Language ........... 182
J. Poswig
Systems Theory in Modelling Chromatic Retinal Visual Processing ...................... 206
M. M. Gonz~ilez-Rodrfguez, .R Moreno-Dfaz
IIIV
A Transformation of the Problems of Minimal Satisfaction of Constraints ............ 218
I. Sierocki
Formalizing Statistical Analysis: Approaches and Prospects ............ , ..................... 225
K. A. Froeschl
Modelling Environments
2
An Environment for Intelligent Autonomous System Design and Simulation ........ 240
H. Pr~ihofer, F. Auemig, G. Reisinger
Balanced Systems: A New Approach to Integrate Hardware
and Software Design ................................................................................... : ............ 257
K. GSsmann, C. Haler, H. Lindmeier, J. Plankl, K. Westerholz
Systems Modeling and Process Control ................................................................... 270
Ch. Kopf, F. Bretschneider
Human-Computer Interaction and Cooperation for Supervisory Control of
Large-Complex Systems .......................................................................................... 281
- .B" Inagaki, G. Johannsen
Incorporating Heuristic Rules in a Multifaceted System ......................................... 295
D. Van Welden, D. Verweij, G. Vansteenkiste
Towards Formalism of Deep Model Descriptions of Dynamic Systems ................. 307
Z. Yuan, Ch. Wen, G. C. Vansteenkiste
A New Approach to the Design of Concurrent Control Architectures .................... 323
M. Sch~er, G. Klein-Hel31ing
CA-Methods for the Development and Construction of
Hydroelecmc Power Plants ...................................................................................... 330
L. Heninger, J. Prost, H.-B. Matthias
Test Strategy Planning - A Tool to Support Future CAD Systems ......................... 343
E. J. Lehner
On the Complexity of System-Level Diagnosis Algorithms .................................... 352
J. Hlavi~ka
Bus Protocol Conversion: from Timing Diagrams to State Machines ..................... 365
W.-D. Tiedemann
CONSHELL - A Domain-Specific Shell for Automation System Configuration... 378
E. Gerstorfer, B. Schr6cksnadl, P. Suda, W. Zucker
(cid:141)I
3 CAST Method Base Systems and Artificial Vision
Computer Aided Vision (CAV) A CAST Method Bank for Artificial
Vision Systems ......................................................................................................... 389
C. Garcfa, .S Candela
A CAST System for Visual Fault Detection Research ............................................. 402
S. Candela, .J Mufioz, .C Garcia, F. Alayon
CAST Toolsf or Automatic FMS-Dynamics Models Synthesis ............................... 412
E. Roszkowska
CAST.FSM Applied to VLSI Synthesis: Experimental Results and Requirements
for Industrial Use ..................................................................................................... 422
M. Geiger
A High Level Interactive Design Environment for CompleSxy stems .................... 442
E. Meyer zu Bexten, .C Moraga, J. Btiddefeld
The Signal Description Language SIBA .................................................................. 460
E. Meyer zu Bexten, .C Moraga
Experience in the Development of Advanced Modelling Environments ................ 476
G. Guariso, M. Hitz, H. Werthner
Linking CAST.FSM to Practical Applications ......................................................... 492
Th. Mueller-Wipperfuerth
The Algebraic Algorithm A* for the Action Planning Problems ............................ 506
I. Sierocki
Complete Transforms and Their Incideinnc e
Artificial Perception Systems Theory ...................................................................... 514
O. Bolivar Toledo, .S Candela Sola, R. Moreno-Dfaz
Neural Structures to Compute Homothetic Invariances for
Artificial Perception Systems ................................................................................... 525
C. P. Suftrez Araujo, .R Moreno-Dfaz
Systems Optimization in Retinal Research ............................................................... 539
R. Moreno-Dfaz Jr, K. N. Leibovic, R. Moreno-Dfaz
Reduced Inference Systems: Alternative Architectures for Vision .......................... 547
.J A. Mufioz-Blanco, O. Bolivar-Toledo, R. Moreno-Dfaz
X
4 Information and Control Systems
Computer Aided Clinical Information System for Hospitals ................................... 557
A. Kisling, E. Dittel, P. Kopacek
A Methodology for Computer Aided Modelling of InformationS ystems Based
on the Extended Entity Relationship Model BIER ....................... ........................... . 566
Ch. Gierlinger, A Min Tjoa, R. R. Wagner
Decision Supported Systems and Their Industrial Applications ............................. 585
G. Halmschlager, F. Mletzko, D. Trippler
User Interface to a CIM-Database ........................................................................... 592
A. Frotschnig, V. Ka~ani, P. Kopacek
Artificial Intelligence in CIM .................................................................................. 602
V. Mah'k, J. Lai~ansk~
Input-Output Model For Unconventional Sampled-Data Control Systems ............. 614
P. Albertos
The Expediency of Syntagmatic Objects in CACSD Systems ................................ 626
J. Dastych
Automatic Robot Programming by CAST ............................................................... 634
W. Jacak, J. Rozenblit
How to Achieve Perception of Real-World Scenes: A Case Study .......................... 647
W. Feiten, B. Bentz, G. Lawitzky, .1 Leuth~iusser
Toolsf or Coupling AI and Control Systems CAD .................................................. 652
H. Hy6tyniemi
An Integrated Environment for Computer-Aided Control Engineering .................. 668
J. Hickey, J. Ringwood
Computer Aided Multi-Parameter Analysis of Linear Control Systems
Using Exponent Diagram Techniques ..................................................................... 688
H. Hahn
Computer Aided Multi-Parameter Design of Linear Control Systems
Using Exponent Diagram Techniques ..................................................................... 711
H. Hahn
Minimal Realization Procedures Based on Balancing and Related Techniques ..... 733
A. Varga
SYSTEMS THEORY
AND CAST
METHODOLOGY