Advertisement

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
    8. José A. Troyano, Víctor J. Díaz, Fernando Enríquez, Vicente Carrillo, Fermín Cruz
      Pages 150-158
    9. Jesús Aransay, Clemens Ballarin, Julio Rubio
      Pages 159-168
    10. Francisco J. Ribadas, Jesús Vilares, Miguel A. Alonso
      Pages 169-178
    11. E. F. Combarro, J. Ranilla, R. Mones, N. Vázquez, I. Díaz, E. Montañés
      Pages 179-188
    12. Francisco Guil, Antonio Bailón, Alfonso Bosch, Roque Marín
      Pages 189-198
  4. Information Applications Components

    1. I. J. García del Amo, M. García Torres, B. Melián Batista, J. A. Moreno Pérez, J. M. Moreno Vega, Raquel Rivero Martín
      Pages 199-204
    2. M. E. Zorrilla, E. Menasalvas, D. Marín, E. Mora, J. Segovia
      Pages 205-210
    3. F. J. Orellana, F. Guil, I. M. del Aguila, S. Túnez
      Pages 217-222
    4. M. V. Hurtado, N. Medina, L. García-Cabrera, M. L. Rodríguez
      Pages 223-228
    5. Javier de la Mata, Jose A. Olivas, Jesús Serrano-Guerrero
      Pages 229-234
    6. Germano Resconi, Javier Alonso, Raul Izquierdo
      Pages 235-240
    7. J. M. Juarez, J. Palma, M. Campos, J. Salort, A. Morales, R. Marin
      Pages 241-246
    8. Joaquín Borrego-Díaz, Antonia M. Chávez-González
      Pages 247-253
    9. Abraham Rodríguez-Rodríguez, Francisca Quintana-Domínguez
      Pages 263-268
    10. Alfonso Bosch, Francisco Guil, Roque Marin
      Pages 269-274
    11. Milan Češka, Bohuslav Křena, Tomáš Vojnar
      Pages 275-280
    12. Manfred Mauerkirchner, Gerhard Hoefer
      Pages 281-290
  5. Cryptography and Spectral Analysis

    1. Ekaterina Pogossova, Karen Egiazarian, Atanas Gotchev, Jaakko Astola
      Pages 291-300
    2. Janusz Biernat, Maciej Nikodem
      Pages 327-336
    3. Juan David González Cobas, José Antonio López Brugos
      Pages 337-345
    4. Pino Caballero-Gil, Candelaria Hernández-Goya
      Pages 346-354
    5. Pino Caballero-Gil, Amparo Fúster-Sabater
      Pages 355-364
    6. Dieter Gollmann
      Pages 365-372
  6. Computer Vision

    1. Jose Antonio Piedra, Francisco Guindos, Alberto Molina, Manuel Canton
      Pages 373-378
    2. Néstor Falcón, Carlos M. Travieso, Jesús B. Alonso, Miguel A. Ferrer
      Pages 379-385

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/11556985
  • 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
  • Buy this book on publisher's site