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 BibTeX
@proceedings{DBLP:conf/eurocast/1995,
editor = {Franz Pichler and
Roberto Moreno-D\'{\i}az and
Rudolf F. Albrecht},
title = {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},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1030},
year = {1996},
isbn = {3-540-60748-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
1 Systems Theory
- Rudolf F. Albrecht:
On the Structure of Discrete Systems.
3-18 BibTeX
- Charles Rattray:
Identification and Recognition through Shape in Complex Systems.
19-29 BibTeX
- Gillian Hill:
A Logical Approach to System Construction.
30-47 BibTeX
- Yasuhiko Takahara, Xiaohong Chen:
Task Management System.
48-61 BibTeX
- Ryo Sato:
Toward a unified theory of discrete event systems.
62-72 BibTeX
- Carmen Paz Suárez Araujo, Roberto Moreno-Díaz:
Intersensorial Transformations: General Systems Description and Implications.
73-87 BibTeX
- Erwin M. Thurner:
Proving System Properties by Means of Trigger-Graph and Petri Nets.
88-102 BibTeX
- Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory.
103-116 BibTeX
- Ireneusz Sierocki:
A System-Theoretic Approach to Planning and Programming.
117-128 BibTeX
- Josep Miró, Margaret Miró-Julià:
Equality of Functions in CAST.
129-136 BibTeX
- Jesús Rodríguez-Millán:
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques.
137-150 BibTeX
- Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat:
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
151-162 BibTeX
- Maria Brielmann:
Modelling Differential Equations by Basic Information Technology Means.
163-174 BibTeX
- Franz Kapsner:
System Theoretic Aspects of Software Architectures.
175-180 BibTeX
- José Parets-Llorca, Juan Carlos Torres:
A Language for Describing Complex-Evolutive Software Systems.
181-197 BibTeX
2 Design Environments and Tools
- Christine Kocourek:
An Architecture for Process Modeling and Execution Support.
201-216 BibTeX
- Stefan Kahlert, Thomas Kruse, Dieter Monjau:
A Formal Semantics for a Graphical Model Representation in System Design.
217-227 BibTeX
- Erdmuthe Meyer zu Bexten, Claudio Moraga:
A User-Interface for a Microsystems High-Level Simulator.
228-236 BibTeX
- Cliff Joslyn, Scott Henderson:
CAST Extensions to DASME to Support Generalized Information Theory.
237-252 BibTeX
- Jesús Rodríguez-Millán, Juan Cardillo:
Symbolic Computing Aided Design of Nonlinear PID Controllers.
253-270 BibTeX
- Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo:
Discrete Event Simulation in an Environment for Temporal Expert Systems.
271-282 BibTeX
- Erwin M. Thurner, C. Wincheringer:
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets.
283-288 BibTeX
- Witold Jacak, Stephan Dreiseitl:
Hybrid Evolutionary Programming: the Tools for CAST.
289-304 BibTeX
- Ramón P. Otero, David Lorenzo, Pedro Cabalar:
Automatic Induction of DEVS Structures.
305-313 BibTeX
3 Complex Systems Design
- Gerhard Schweizer, Markus Voss:
Systems Engineering and Infrastructures for Open Computer Based Systems.
317-331 BibTeX
- Karlheinz Agsteiner, Dieter Monjau, Sören Schulze:
Object-Oriented High Level Modeling of Complex Systems.
332-340 BibTeX
- Herbert Praehofer, Franz Pichler:
Multifacetted, Object Oriented Modeling in the Transportation Domain.
341-357 BibTeX
- Christoph Schaffer, R. J. Raschhofer, A. Simma:
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems.
358-374 BibTeX
- Uwe Gläser:
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools.
375-385 BibTeX
- Lyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler:
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning.
386-402 BibTeX
- Gerhard Chroust, Witold Jacak:
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?
403-414 BibTeX
4 Specific Applications
- Achim Sydow, Thomas Lux, Ralf-Peter Schäfer:
High-Performance Parallel Computing for Analyzing Urban Air Pollution.
417-422 BibTeX
- Elzbieta Roszkowska:
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model.
423-436 BibTeX
- Petr Vysoký, Zdenek Pechal:
Computer Aided Rule Extraction from Examples.
437-446 BibTeX
- Juan Carlos Quevedo-Losada, Olga Bolívar Toledo, Roberto Moreno-Díaz:
Cast Methods for Generation of Non-Orthogonal Complete Transforms.
447-458 BibTeX
- Santiago Candela Solá, Christophe Garcia, Francisco Alayón Hernández, J. Muñoz:
Cast System Approach for Visual Inspection.
459-464 BibTeX
- Franz Pichler, Josef Scharinger:
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications.
465-476 BibTeX
- Daniel M. Dubois:
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion.
477-493 BibTeX
- Daniel M. Dubois:
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles.
494-510 BibTeX
- José Barahona da Fonseca:
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data.
511-522 BibTeX
- Francisco Bustio, Pedro Corcuera, Eduardo Mora:
Training Simulator for Garoña Nuclear Power Plant.
523-529 BibTeX
- Ryszard Klempous, Barbara Lysakowska, Jan Nikodem:
Supervisory Control and Data Acquisition System for the Gas Flow Networks.
530-538 BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
