Skip to main content
SpringerLink
Log in

Computer Aided Systems Theory - EUROCAST '89

A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. F. Pichler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. R. Moreno-Diaz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 410)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Download chapter PDF

  2. From systems theory to CAST

    • Franz Pichler
    Pages 1-6

  3. Epistemological categories of systems: An overview and mathematical formulation

    • George J. Klir, Ivan Rozehnal
    Pages 7-32

  4. Knowledge processing: A semantics for the Klir hierarchy of general systems

    • Robert A. Orchard
    Pages 33-40

  5. Systems theory challenges in the simulation of variable structure and intelligent systems

    • Bernard P. Zeigler, Herbert Praehofer
    Pages 41-51

  6. CAST-modelling approaches in engineering design

    • Franz Pichler
    Pages 52-68

  7. Object oriented design of CAST Systems

    • R. Mittelmann
    Pages 69-75

  8. Design of an object oriented kernel system for Computer Aided Systems Theory and Systems Theory instrumented modelling and simulation

    • Rudolf Mittelmann, Herbert Praehofer
    Pages 76-85

  9. Implementation of finite-memory machines within CAST:FSM

    • Alfred Spalt
    Pages 86-94

  10. Sketching an evolutionary hierarchical framework for knowledge-based systems design

    • Charles Rattray, Don Price
    Pages 95-110

  11. Specification with nets

    • Gisbert Dittrich
    Pages 111-124

  12. Infrastructure for complex systems - CAD frameworks

    • F. Bretschneider, H. Lagger, B. Schulz
    Pages 125-133

  13. Order and equivalence relations on descriptions of finite dimensional linear systems

    • Raimo Ylinen, Hans Blomberg
    Pages 134-150

  14. Infinitesimals on computer — A tool for cast?

    • Milos Lansky
    Pages 151-160

  15. Computer algebra and Computer Aided Systems Theory

    • Thomas Beth, Michael Clausen, Dieter Gollmann
    Pages 161-169

  16. Reconstructability analysis and its RE — interpretation in terms of pragmatic information

    • Klaus Kornwachs
    Pages 170-181

  17. On determining the k-Nerode equivalence for tree automata inference

    • Ireneusz Sierocki
    Pages 182-190

  18. Tools for modelling with Petri-net like nets

    • Gisbert Dittrich
    Pages 191-199

  19. Modelling and simulation of non-homogeneous models

    • Herbert Praehofer, Bernard P. Zeigler
    Pages 200-211

  20. Finite state machine theory as a tool for construction of systolic arrays

    • Michael Payer
    Pages 212-224
Back to top

Keywords

About this book

Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful user-driven interactive systems required for CAST. Implementation of CAST software requires a sound meth- odology from systems theory, user functions tailored to specific applications, and a man-machine interface designed using latest results from cognition research and AI. Most of the papers in this volume are based on talks delivered at EUROCAST '89 held in the Canary Islands in February/March 1989.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation