Skip to main content
SpringerLink
Log in

Computer Aided Systems Theory - EUROCAST'99

A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Peter Kopacek

    1. Intelligent Handling and Robotics (IHRT), Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Moreno-Díaz

    1. Institute for Cybernetics, Universidad de Las Palmas de Gran Canaria, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Franz Pichler

    1. Systems Theory, Johannes Kepler University Linz, Linz, Austria

    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 1798)

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (52 papers)

  1. Front Matter

    Download chapter PDF

  2. Survey Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Cast Project: Experiences and Future Perspectives

      • Franz Pichler
      Pages 3-7

    3. Cast Methods in Biocybernetics

      • R. Moreno-Díaz
      Pages 8-13

    4. On the Way to the Next Generation of Robots

      • Peter Kopacek
      Pages 14-19

  3. Conceptual Frameworks, Methods and Tools

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Representation of the RCS Reference Model Architecture Using an Architectural Description Language

      • Elena Messina, Christopher Dabrowski, Hui-Min Huang, John Horst
      Pages 23-37

    3. Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis

      • S. Dierneder, R. Scheidl
      Pages 38-45

    4. AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?

      • Gisbert Dittrich
      Pages 46-54

    5. Computer-Aided Analysis and Validation of Heterogeneous System Specifications

      • Giuseppe Del Castillo, Uwe Glässer
      Pages 55-79

    6. Patterns for Embedded Systems Design

      • M. Švéda
      Pages 80-89

    7. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

      • Milan Češka, Vladimír Janoušek, Tomáš Vojnar
      Pages 90-104

    8. Representing Petri Nets in an Action Based Formalism

      • Ramón P. Otero, José M. Rodríguez
      Pages 105-115

    9. Simplification of Proof Procedures Based on the Path Condition Concepts

      • Mireille Larnac, Janine Magnier, Vincent Chapurlat
      Pages 116-126

    10. Parallel Processor Array for Tomographic Reconstruction Algorithms

      • Thomas Schmitt, Dirk Fimmel, Mathias Kortke, Renate Merker
      Pages 127-141

    11. A Formalized Description Approach to Continuos Time Systems

      • Elena Jharko
      Pages 142-153

    12. Modeling Complex Systems by Multi-agent Holarchies

      • Franz Pichler
      Pages 154-168

    13. Partition of Systems by General System Logical Theory (GSLT)

      • Germano Resconi
      Pages 169-181

  4. Intelligent Robots

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Multiagent Approach to Intelligent Control of Robot

      • Witold Jacak, Karin Pröll
      Pages 185-200
Back to top

Keywords

About this book

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar ?elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re?ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the ?eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta?ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume.

Editors and Affiliations

  • Intelligent Handling and Robotics (IHRT), Vienna University of Technology, Vienna, Austria

    Peter Kopacek

  • Institute for Cybernetics, Universidad de Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz

  • Systems Theory, Johannes Kepler University Linz, Linz, Austria

    Franz Pichler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation