5. EUROCAST 1995: Innsbruck, Austria

Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht (Eds.): Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings. Lecture Notes in Computer Science 1030 Springer 1996, ISBN 3-540-60748-X

1 Systems Theory

Rudolf F. Albrecht:
On the Structure of Discrete Systems. 3-18
Charles Rattray:
Identification and Recognition through Shape in Complex Systems. 19-29
Gillian Hill:
A Logical Approach to System Construction. 30-47
Yasuhiko Takahara, Xiaohong Chen:
Task Management System. 48-61
Ryo Sato:
Toward a unified theory of discrete event systems. 62-72
Carmen Paz Suárez Araujo, Roberto Moreno-Díaz:
Intersensorial Transformations: General Systems Description and Implications. 73-87
Erwin M. Thurner:
Proving System Properties by Means of Trigger-Graph and Petri Nets. 88-102
Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory. 103-116
Ireneusz Sierocki:
A System-Theoretic Approach to Planning and Programming. 117-128
Josep Miró, Margaret Miró-Julià:
Equality of Functions in CAST. 129-136
Jesús Rodríguez-Millán:
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques. 137-150
Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat:
Temporal and Functional Verification of a Symbolic Representation of Complex Systems. 151-162
Maria Brielmann:
Modelling Differential Equations by Basic Information Technology Means. 163-174
Franz Kapsner:
System Theoretic Aspects of Software Architectures. 175-180
José Parets-Llorca, Juan Carlos Torres:
A Language for Describing Complex-Evolutive Software Systems. 181-197

Christine Kocourek:
An Architecture for Process Modeling and Execution Support. 201-216
Stefan Kahlert, Thomas Kruse, Dieter Monjau:
A Formal Semantics for a Graphical Model Representation in System Design. 217-227
Erdmuthe Meyer zu Bexten, Claudio Moraga:
A User-Interface for a Microsystems High-Level Simulator. 228-236
Cliff Joslyn, Scott Henderson:
CAST Extensions to DASME to Support Generalized Information Theory. 237-252
Jesús Rodríguez-Millán, Juan Cardillo:
Symbolic Computing Aided Design of Nonlinear PID Controllers. 253-270
Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo:
Discrete Event Simulation in an Environment for Temporal Expert Systems. 271-282
Erwin M. Thurner, C. Wincheringer:
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets. 283-288
Witold Jacak, Stephan Dreiseitl:
Hybrid Evolutionary Programming: the Tools for CAST. 289-304
Ramón P. Otero, David Lorenzo, Pedro Cabalar:
Automatic Induction of DEVS Structures. 305-313

Gerhard Schweizer, Markus Voss:
Systems Engineering and Infrastructures for Open Computer Based Systems. 317-331
Karlheinz Agsteiner, Dieter Monjau, Sören Schulze:
Object-Oriented High Level Modeling of Complex Systems. 332-340
Herbert Praehofer, Franz Pichler:
Multifacetted, Object Oriented Modeling in the Transportation Domain. 341-357
Christoph Schaffer, R. J. Raschhofer, A. Simma:
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems. 358-374
Uwe Gläser:
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools. 375-385
Lyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler:
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning. 386-402
Gerhard Chroust, Witold Jacak:
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm? 403-414

Achim Sydow, Thomas Lux, Ralf-Peter Schäfer:
High-Performance Parallel Computing for Analyzing Urban Air Pollution. 417-422
Elzbieta Roszkowska:
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model. 423-436
Petr Vysoký, Zdenek Pechal:
Computer Aided Rule Extraction from Examples. 437-446
Juan Carlos Quevedo-Losada, Olga Bolívar Toledo, Roberto Moreno-Díaz:
Cast Methods for Generation of Non-Orthogonal Complete Transforms. 447-458
Santiago Candela Solá, Christophe Garcia, Francisco Alayón Hernández, J. Muñoz:
Cast System Approach for Visual Inspection. 459-464
Franz Pichler, Josef Scharinger:
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications. 465-476
Daniel M. Dubois:
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion. 477-493
Daniel M. Dubois:
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles. 494-510
José Barahona da Fonseca:
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data. 511-522
Francisco Bustio, Pedro Corcuera, Eduardo Mora:
Training Simulator for Garoña Nuclear Power Plant. 523-529
Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Supervisory Control and Data Acquisition System for the Gas Flow Networks. 530-538