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
Conference proceedings EUROCAST 2007

DOI: 10.1007/978-3-540-75867-9

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

Table of contents (153 papers)

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

    1. On Evolutionary Systems
      Rudolf F. Albrecht
      Pages 1-9
    2. Logistic Regression as a Computational Tool for Dealing with Intransitivity
      María Isabel Rodríguez-Galiano, Jacinto González-Pachón
      Pages 42-49
    3. Synoptic Maps Forecast Using Spatio-temporal Models
      J. L. Crespo, P. Bernardos, M. E. Zorrilla, E. Mora
      Pages 50-56
    4. Ontology-Based Modelling of Session Management Policies for Groupware Applications
      Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
      Pages 57-64
    5. Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft
      A. Pérez de Madrid, P. Ruipérez, M. Romero, C. Mañoso, R. Hernández
      Pages 65-72
    6. A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks
      P. Caballero-Gil, C. Caballero-Gil, J. Molina-Gil, A. Quesada-Arencibia
      Pages 73-81
    7. An Open Modular System for Monitoring Remote Sensors
      Ignacio Solinis-Camalich, Alexis Quesada-Arencibia, Jose Carlos Rodríguez-Rodríguez, Roberto Moreno-Díaz jr
      Pages 82-89
    8. A Structure for Generalized Space-Time Processing: The Feedforward Visual Case
      R. Moreno-Díaz, A. Moreno-Díaz, G. De Blasio, D. Freire-Obregón
      Pages 90-96
    9. Arrays and Continuous Attributes
      Margaret Miró-Julià
      Pages 97-104
    10. Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?
      J. Rodríguez-Millán, A. Patete, C. González
      Pages 121-129
    11. An Object-Oriented and Generic Compiler Generator
      Michael Pitzer, Heinz Dobler
      Pages 130-137
    12. A k-NN Based Perception Scheme for Reinforcement Learning
      José Antonio Martín H., Javier de Lope
      Pages 138-145
  3. Computation and Simulation in Modelling Biological Systems

    1. On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes
      A. G. Nobile, E. Pirozzi, L. M. Ricciardi
      Pages 146-153

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

  • 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