Computer Aided Systems Theory - EUROCAST'99

1. Front Matter

   PDF

2. Survey Papers

   1. Front Matter

      Pages 1-1

      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

      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

      PDF

   2. Multiagent Approach to Intelligent Control of Robot

      • Witold Jacak, Karin Pröll

      Pages 185-200

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.

• Computer aided system theory
• algorithms
• artificial intelligence
• artificial neural network
• complexity
• databases
• formal methods
• intelligent control systems
• modeling
• ontology
• robot
• robotics
• signal processing
• software development
• systems engineering

• 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

Policies and ethics