9783540607489

This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995.The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.

On the Structure of Discrete Systems	p. 3
Identification and Recognition through Shape in Complex Systems	p. 19
A Logical Approach to System Construction	p. 30
Task Management System	p. 48
Toward a unified theory of discrete event systems	p. 62
Intersensorial Transformations: General Systems Description and Implications	p. 73
Proving System Properties by Means of Trigger-Graph and Petri Nets	p. 88
Refinement Mapping for General (Discrete Event) Systems Theory	p. 103
A System-Theoretic Approach to Planning and Programming	p. 117
Equality of Functions in CAST	p. 129
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques	p. 137
Temporal and Functional Verification of a Symbolic Representation of Complex Systems	p. 151
Modelling Differential Equations by Basic Information Technology Means	p. 163
System Theoretic Aspects of Software Architectures	p. 175
A Language for Describing Complex-Evolutive Software Systems	p. 181
An Architecture for Process Modeling and Execution Support	p. 201
A Formal Semantics for a Graphical Model Representation in System Design	p. 217
A User-Interface for a Microsystems High-level Simulator	p. 228
CAST Extensions to DASME to Support Generalized Information Theory	p. 237
Symbolic Computing Aided Design of Nonlinear PID Controllers	p. 253
Discrete Event Simulation in an Environment for Temporal Expert Systems	p. 271
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets	p. 283
Hybrid Evolutionary Programming: the Tools for CAST	p. 289
Automatic Induction of DEVS Structures	p. 305
Systems Engineering and Infrastructures for Open Computer Based Systems	p. 317
Object-Oriented High Level Modeling of Complex Systems	p. 332
Multifacetted, Object Oriented Modeling in the Transportation Domain	p. 341
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems	p. 358
Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools	p. 375
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning	p. 386
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?	p. 403
High-Performance Parallel Computing for Analyzing Urban Air Pollution	p. 417
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model	p. 423
Computer Aided Rule Extraction from Examples	p. 437
Cast Methods for Generation of Non-Orthogonal Complete Transforms	p. 447
Cast System Approach for Visual Inspection	p. 459
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications	p. 465
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion	p. 477
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles	p. 494
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data	p. 511
Training Simulator for Garona Nuclear Power Plant	p. 523
Supervisory Control and Data Acquisition System for the Gas Flow Networks	p. 530
List of Authors	p. 539
Table of Contents provided by Blackwell. All Rights Reserved.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Amazon no longer offers textbook rentals. We do!

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

Computer Aided Systems Theory--Eurocast '95

354060748X

Summary

Table of Contents

Supplemental Materials

Rewards Program