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

Last update Sun May 19 22:13:18 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page