Computer Aided Systems Theory – EUROCAST 2005

10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

  • Roberto Moreno Díaz
  • Franz Pichler
  • Alexis Quesada Arencibia

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

Table of contents

  1. Front Matter
  2. Formal Approaches in Modelling

    1. Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
      Pages 9-14
    2. Karina Girardi Roggia, Marnes Augusto Hoff, Paulo Blauth Menezes
      Pages 15-20
    3. Przemyslaw M. Szecówka, Andrzej Szczurek, Maciej A. Mazurowski, Benedykt W. Licznerski, Franz Pichler
      Pages 27-32
    4. José Antonio Martin, Teresa de Pedro, Carlos González, R. García, Luís Argüelles, Jose M. Rivas et al.
      Pages 33-37
    5. Rodrigo Born Vieira, Paulo Blauth Menezes
      Pages 44-49
    6. Júlio Pereira Machado, Paulo Blauth Menezes
      Pages 50-55
    7. Markus Schwaninger, Thomas K. Hamann
      Pages 56-62
    8. Wilfried Grossmann, Markus Moschner
      Pages 63-68
  3. Intelligent Information Systems

    1. Tiago Ildefonso, Gabriel Pereira Lopes
      Pages 81-90
    2. Fco. Mario Barcala, Miguel A. Molinero, Eva Domínguez
      Pages 91-100
    3. J. L. Crespo, P. Bernardos, M. E. Zorrilla, E. Mora
      Pages 101-110
    4. J. Santiago Jorge, Víctor M. Gulías, José L. Freire, Juan J. Sánchez
      Pages 111-120
    5. Javier París, Victor M. Gulías, Carlos Abalde
      Pages 121-130
    6. M. Vilares, J. Otero, J. Graña
      Pages 131-139
    7. Clara Benac Earle, Lars-Åke Fredlund
      Pages 140-149

About these proceedings


The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would 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 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 1989, 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. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001) and Las Palmas (2003) in addition to an extra-European CAST conference in Ottawa in 1994. Selected papers from those meetings were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational Journal.


CASE automata automated reasoning automation autonomous systems cognition complex systems computer aided system theory hybrid systems image processing information system information theory intelligent vehicles neuro optimization

Editors and affiliations

  • Roberto Moreno Díaz
    • 1
  • Franz Pichler
    • 2
  • Alexis Quesada Arencibia
    • 3
  1. 1.Instituto Universitario de Ciencias y Tecnologícas CibernéticasUniversidad de Las Palmas de Gran CanariaLas PalmasSpain
  2. 2.Systems TheoryJohannes Kepler University LinzLinzAustria
  3. 3.Universidad de Las Palmas de Gran Canaria, Instituto Universitario de Ciencias y Tecnologícas CibernéticasLas PalmasSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29002-5
  • Online ISBN 978-3-540-31829-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book