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

Front Cover
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

On the Structure of Discrete Systems
3
Identification and Recognition through Shape in Complex Systems
19
Task Management System
48
Toward a unified theory of discrete event systems
62
Proving System Properties by Means of TriggerGraph and Petri Nets
88
Refinement Mapping for General Discrete Event Systems Theory
103
A SystemTheoretic Approach to Planning and Programming
117
Basins of Attraction Estimation Through Symbolic Graphical
137
Discrete Event Simulation in an Environment for Temporal
271
the Tools for CAST
289
Automatic Induction of DEVS Structures
305
Complex Systems Design
315
ObjectOriented High Level Modeling of Complex Systems
332
A Tool Environment for the Design of Complex
358
Software Processes Work Flow and Work Cell Design
403
HighPerformance Parallel Computing for Analyzing Urban Air Pollution
417

Temporal and Functional Verification of a Symbolic Representation
151
Modelling Differential Equations by Basic Information Technology Means
163
A Language for Describing ComplexEvolutive Software Systems
181
Design Environments and Tools
199
A Formal Semantics for a Graphical Model Representation
217
CAST Extensions to DASME to Support Generalized Information Theory
237
Computer Aided Rule Extraction from Examples
437
Cast System Approach for Visual Inspection
459
A Semantic Logic for CAST Related to Zuse Deutsch and McCulloch
494
Validation of a Model of an AGVs Scheduling Heuristic
511
Supervisory Control and Data Acquisition System for
530
Copyright

Other editions - View all

Common terms and phrases