Advertisement

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
    7. M. Campos, J. Palma, B. Llamas, A. González, M. Menárguez, R. Marín
      Pages 208-219
  5. Distributed Computing

    1. Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio
      Pages 231-242
    2. Claudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Pereira Machado, Simone André da Costa
      Pages 243-252
    3. C. Mariño, C. Abalde, M. G. Penedo, M. Penas
      Pages 253-264
    4. Milan Češka, Luděk Haša, Tomáš Vojnar
      Pages 265-278
    5. J. L. Freire Nistal, A. Blanco Ferro, Victor M. Gulías, E. Freire Brañas
      Pages 279-290
  6. Autonomous and Control Systems

    1. J. E. Naranjo, J. Reviejo, C. González, R. García, T. de Pedro
      Pages 291-301
    2. Miguel Angel Sotelo, Luis Miguel Bergasa, Ramón Flores, Manuel Ocaña, Marie-Hélène Doussin, Luis Magdalena et al.
      Pages 302-313
    3. Miguel Ángel Patricio, Darío Maravall
      Pages 314-325
    4. Miguel Ángel Sotelo, Miguel Ángel García, Ramón Flores
      Pages 326-336
    5. J. I. Suárez, B. M. Vinagre, A. J. Calderón, C. A. Monje, Y. Q. Chen
      Pages 337-348
  7. Computational Methods in Biomathematics

    1. Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi
      Pages 360-371
    2. Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
      Pages 372-383
    3. Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi
      Pages 394-403
    4. S. Bistarelli, I. Cervesato, G. Lenzini, R. Marangoni, F. Martinelli
      Pages 415-426
  8. Natural and Artificial Neural Nets

    1. José Mira, Miguel A. Fernández, Maria T. López, Ana E. Delgado, Antonio Fernández-Caballero
      Pages 427-435
    2. Javier de Lope, Rafaela González-Careaga, Telmo Zarraonandia, Darío Maravall
      Pages 448-459
    3. J. Mira, A. E. Delgado, M. J. Taboada
      Pages 460-470
    4. J. C. Rodríguez-Rodríguez, A. Quesada-Arencibia, R. Moreno-Díaz Jr., K. N. Leibovic
      Pages 471-481
    5. Elisa Alghisi Manganello, Germano Resconi
      Pages 482-493
    6. Roberto Moreno-Díaz, Gabriel de Blasio
      Pages 494-505
  9. Neuroinformatics and Neuroimaging

    1. Marcos Martín-Fernández, Raul San Josá-Estépar, Carl-Fredrik Westin, Carlos Alberola-López
      Pages 506-517
    2. Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin
      Pages 518-529
    3. D. Tschumperlé, R. Deriche
      Pages 530-541
    4. Rubén Cárdenes, Simon K. Warfield, Elsa M. Macías, Jose Aurelio Santana, Juan Ruiz-Alzola
      Pages 542-551

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
  • Buy this book on publisher's site