Computer Aided Systems Theory - EUROCAST 2007

1. Front Matter

   PDF

2. Systems Theory and Simulation: Formal Approaches

   1. On Evolutionary Systems

      • Rudolf F. Albrecht

      Pages 1-9

   2. A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions

      • Josef Scharinger

      Pages 10-17

   3. Modelling an Activity in Wireless Sensors Network

      • Jan Nikodem

      Pages 18-25

   4. Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan’s Paradox

      • Germano Resconi, Boris Kovalerchuk

      Pages 26-33

   5. Entropy-Based Modeling and Simulation of Evolution in Biological Systems

      • Stanislaw Sieniutycz

      Pages 34-41

   6. Logistic Regression as a Computational Tool for Dealing with Intransitivity

      • María Isabel Rodríguez-Galiano, Jacinto González-Pachón

      Pages 42-49

   7. Synoptic Maps Forecast Using Spatio-temporal Models

      • J. L. Crespo, P. Bernardos, M. E. Zorrilla, E. Mora

      Pages 50-56

   8. 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

   9. 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

   10. 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

   11. 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

   12. 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

   13. Arrays and Continuous Attributes

       • Margaret Miró-Julià

       Pages 97-104

   14. Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility

       • Zenon Chaczko, Perez Moses

       Pages 105-112

   15. Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot

       • Mateusz Tykierko

       Pages 113-120

   16. Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?

       • J. Rodríguez-Millán, A. Patete, C. González

       Pages 121-129

   17. An Object-Oriented and Generic Compiler Generator

       • Michael Pitzer, Heinz Dobler

       Pages 130-137

   18. 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

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

Policies and ethics