Computer Aided Systems Theory - EUROCAST 2003

9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers

  • Roberto Moreno-Díaz
  • Franz Pichler
Conference proceedings EUROCAST 2003

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

Table of contents

  1. Front Matter
  2. Complex Systems Tools and Applications

    1. Rudolf F. Albrecht, Gábor Németh
      Pages 10-18
    2. Juan David González Cobas, José Antonio López Brugos
      Pages 19-25
    3. Ma L. Rodríguez Almendros, Ma J. Rodríguez Fórtiz, M. Gea Megías
      Pages 50-61
    4. Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
      Pages 62-73
  3. Logic and Formal Tools

    1. Takuhei Shimogawa
      Pages 83-91
    2. Margaret Miró-Juliá
      Pages 92-103
    3. Germano Resconi
      Pages 104-114
    4. Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
      Pages 115-126
  4. Social and Intelligent Systems

    1. I. J. Benítez, P. Albertos, E. Barberá, J. L. Díez, M. Sarrió
      Pages 139-150
    2. Arminda Moreno-Díaz, Miguel A. Virto, Jacinto Martín, David Ríos Insua
      Pages 151-162
    3. Witold Jacak, Karin Pröll, Jerzy Rozenblit
      Pages 163-173
    4. Andrzej Jablonski, Ryszard Klempous, Benedykt Licznerski
      Pages 174-184
    5. Francisco Guil, Alfonso Bosch, Samuel Túnez, Roque Marín
      Pages 185-195
    6. Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera, José Parets-Llorca
      Pages 196-207

About these proceedings

Introduction

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s 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) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?rst international meeting on CAST, (Las Palmas February 1989), under the name EUROCAST’89, that was a very successful gathering of systems theorists, computer scientists and engineers from most of European countries, North America and Japan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999) and Las Palmas(2001), in addition to an extra-European CAST Conference in Ottawain1994.SelectedpapersfromthosemeetingswerepublishedbySpringer- Verlag Lecture Notes in Computer Science nos. 410, 585, 763, 1030, 1333, 1728 and 2178 and in several special issues of Cybernetics and Systems: an lnternat- nal Journal. EUROCAST and CAST meetings are de?nitely consolidated, as it is demonstrated by the number and quality of the contributions over the years.

Keywords

Coq Simulation Textur automata computer aided system theory data mining formal methods genetic algorithms hybrid systems image processing information theory intelligent control systems logic modeling reactive systems

Editors and affiliations

  • Roberto Moreno-Díaz
    • 1
  • Franz Pichler
    • 2
  1. 1.Institute of CyberneticsUniversidad de Las Palmas de Gran CanariaSpain
  2. 2.Systems TheoryJohannes Kepler University LinzLinzAustria

Bibliographic information

  • DOI https://doi.org/10.1007/b13239
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20221-9
  • Online ISBN 978-3-540-45210-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book