Skip to main content
SpringerLink
Log in

Computer Aided Systems Theory - EUROCAST 2001

A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Roberto Moreno-Díaz

    1. Universidad de Las Palmas de Gran Canaria, Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Las Palmas de Gran Canaria, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruno Buchberger

    1. University of Linz, Research Institute for Symbolic Computation, Schloss Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Luis Freire

    1. University ofA Coruña, Facultad de Informática, LFCIA, Dpto. of Computer Science, A Coruña, Spain

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

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 (50 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. Computer Aided Systems Theory

    1. Mathematical and Logic Formalisms

      1. On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
        • Michael Affenzeller, Franz Pichler, Rudolf Mittelmann
        Pages 36-44
      2. A Holarchical Organized Design Assistant for Hierarchical Decompositions
        • Sebastian Meine
        Pages 45-51
      3. Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
        • Witold Jacak, Karin Pröll, Stephan Dreiseitl
        Pages 52-66
      4. Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
        • Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi
        Pages 67-78
      5. Hybrid Systems’ Properties — Classification and Relation to Computer Science
        • Thomas Stauner
        Pages 79-93
      6. Assertion-Based Analysis of Hybrid Systems with PVS
        • Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
        Pages 94-109
      7. Algebraic Description of Physical Systems
        • Hermann von Issendorff
        Pages 110-124

    2. Information and Decision

      1. Information Structure and Logical Design of Social Rules
        • Takuhei Shimogawa
        Pages 125-138
      2. Towards a Generic Model of Information Processing Systems
        • Gábor Németh
        Pages 139-145
      3. Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
        • Maria V. Hurtado, Jose Parets
        Pages 146-159
      4. A Proposal for Project Management Using CommonKADS
        • Isabel María del Aguila, Samuel Túnez, Joaquín Cañadas, Alfonso Bosch, Roque Marín
        Pages 160-171
      5. A General Planning Method for Allocation of Human Resource Groups
        • Manfred Mauerkirchner
        Pages 172-181
      6. Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
        • Markus Schwaninger
        Pages 182-195
      7. A Planning under Uncertainty Model
        • Enrique Paniagua-Arís, José T. Palma-Méndez, Fernando Martín-Rubio
        Pages 196-208

    3. Complexity

      1. Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
        • Jose F. Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque L. Marín
        Pages 209-222
      2. Complexity Analysis of Systems from a Functional and Technical Viewpoint
        • Stefan Dierneder, Rudolf Scheidl
        Pages 223-232
      3. A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
        • Juan David González Cobas, José Antonio López Brugos
        Pages 233-241
Back to top

Keywords

About this book

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST’89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994.

Editors and Affiliations

  • Universidad de Las Palmas de Gran Canaria, Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz

  • University of Linz, Research Institute for Symbolic Computation, Schloss Hagenberg, Austria

    Bruno Buchberger

  • University ofA Coruña, Facultad de Informática, LFCIA, Dpto. of Computer Science, A Coruña, Spain

    José Luis Freire

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation