Computer Aided Systems Theory – EUROCAST 2007

11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

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

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

Table of contents

  1. Front Matter
  2. Systems Theory and Simulation: Formal Approaches

    1. Rudolf F. Albrecht
      Pages 1-9
    2. María Isabel Rodríguez-Galiano, Jacinto González-Pachón
      Pages 42-49
    3. J. L. Crespo, P. Bernardos, M. E. Zorrilla, E. Mora
      Pages 50-56
    4. Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
      Pages 57-64
    5. A. Pérez de Madrid, P. Ruipérez, M. Romero, C. Mañoso, R. Hernández
      Pages 65-72
    6. P. Caballero-Gil, C. Caballero-Gil, J. Molina-Gil, A. Quesada-Arencibia
      Pages 73-81
    7. Ignacio Solinis-Camalich, Alexis Quesada-Arencibia, Jose Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz jr
      Pages 82-89
    8. R. Moreno-Díaz, A. Moreno-Díaz, G. De Blasio, D. Freire-Obregón
      Pages 90-96
    9. Margaret Miró-Julià
      Pages 97-104
    10. J. Rodríguez-Millán, A. Patete, C. González
      Pages 121-129
    11. Michael Pitzer, Heinz Dobler
      Pages 130-137
    12. José Antonio Martín H., Javier de Lope
      Pages 138-145
  3. Computation and Simulation in Modelling Biological Systems

    1. A. G. Nobile, E. Pirozzi, L. M. Ricciardi
      Pages 146-153

About these proceedings


The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of 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. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST Conference in Ottawa in 1994. Selected papers from those meetings were published in springer’s Lecture Notes in Computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and Systems.


Automat architecture artificial intelligence automata computer vision formal verification grid computing intelligence modeling robot robotics simulation systems theory verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75866-2
  • Online ISBN 978-3-540-75867-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book