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
2 Design Environments and Tools
- 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
3 Complex Systems Design
- 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
4 Specific Applications
- 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
Copyright © Fri Nov 13 01:22:02 2009
by Michael Ley (ley@uni-trier.de)