Advertisement

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
    2. A. Buonocore, L. Caputo, E. Pirozzi, L. M. Ricciardi
      Pages 154-162
    3. Antonio Di Crescenzo, Barbara Martinucci
      Pages 163-170
    4. Vladimír Krajča, Svojmil Petránek, Jitka Mohylová, Karel Paul, Václav Gerla, Lenka Lhotská
      Pages 195-201
  4. Intelligent Information Processing

    1. José Luis Freire Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto
      Pages 202-209
    2. A. Blanco, J. E. Freire, J. L. Freire
      Pages 210-216
    3. Carlos Abalde, Víctor M. Gulías, Laura M. Castro
      Pages 217-224
    4. Javier Parapar, José M. Casanova, Álvaro Barreiro
      Pages 225-232
    5. J. Santiago Jorge, Victor M. Gulias, Laura M. Castro
      Pages 233-240
    6. Pedro Cabalar, Gilberto Pérez Vega
      Pages 241-248
    7. Javier Paris, Victor M. Gulias, Alberto Valderruten, Santiago Jorge
      Pages 249-256
    8. Carlos Gómez-Rodríguez, Miguel A. Alonso, Manuel Vilares
      Pages 257-264
    9. M. Fernández, E. Villemonte de la Clergerie, M. Vilares
      Pages 265-272
    10. Fco. Mario Barcala, Miguel A. Molinero, Eva Domínguez
      Pages 273-281
    11. F. Aguado, J. L. Doncel, J. M. Molinelli, G. Pérez, C. Vidal, A. Vieites
      Pages 282-289
    12. J. Otero, J. Graña, M. Vilares
      Pages 290-296
    13. Francisco J. Ribadas, Erica Lloves, Victor M. Darriba
      Pages 297-304
    14. Joaquín Borrego-Díaz, Antonia M. Chávez-González
      Pages 305-312
    15. Antonio Morales, Isabel Navarrete, Guido Sciavicco
      Pages 313-320
    16. M. Dolores del Castillo, Ángel Iglesias, J. Ignacio Serrano
      Pages 321-328
    17. Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio
      Pages 329-336
    18. Lenka Lhotska, Laura Prieto
      Pages 337-344
    19. Wilfried Grossmann, Markus Moschner
      Pages 345-351
  5. Computers in Education

    1. José Luis González, Marcelino J. Cabrera, Francisco L. Gutiérrez
      Pages 360-367
    2. A. Martín, G. Rodriguez, A. de la Villa
      Pages 368-375
    3. Heinz Dobler, Rudolf Ramler, Klaus Wolfmaier
      Pages 376-383
    4. Fernando Molina-Ortiz, Nuria Medina-Medina, Lina García-Cabrera
      Pages 384-391

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75867-9
  • 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
  • Buy this book on publisher's site