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.
Author(s): Rudolf F. Albrecht (auth.), Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht (eds.)
Series: Lecture Notes in Computer Science 1030
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 547
Tags: Computer-Aided Engineering (CAD, CAE) and Design; Simulation and Modeling; Artificial Intelligence (incl. Robotics); Processor Architectures; Special Purpose and Application-Based Systems
On the structure of discrete systems....Pages 1-18
Identification and recognition through shape in complex systems....Pages 19-29
A logical approach to system construction....Pages 30-47
Task management system....Pages 48-61
Toward a unified theory of discrete event systems....Pages 62-72
Intersensorial transformations: General systems description and implications....Pages 73-87
Proving system properties by means of trigger-graph and Petri nets....Pages 88-102
Refinement mapping for general (discrete event) systems theory....Pages 103-116
A system-theoretic approach to planning and programming....Pages 117-128
Equality of functions in CAST....Pages 129-136
Basins of attraction estimation through symbolic graphical computing techniques....Pages 137-150
Temporal and functional verification of a symbolic representation of complex systems....Pages 151-162
Modelling differential equations by basic information technology means....Pages 163-174
System theoretic aspects of software architectures....Pages 175-180
A language for describing complex-evolutive software systems....Pages 181-197
An architecture for process modelling and execution support....Pages 199-216
A formal semantics for a graphical model representation in system design....Pages 217-227
A user-interface for a microsystems high-level simulator....Pages 228-236
CAST extensions to DASME to support Generalized Information Theory....Pages 237-252
Symbolic computing aided design of nonlinear PID controllers....Pages 253-270
Discrete Event simulation in an environment for Temporal Expert Systems....Pages 271-282
TOMSPIN — a tool for modelling with stochastic petri nets....Pages 283-288
Hybrid evolutionary programming: The tools for CAST....Pages 289-304
Automatic induction of DEVS structures....Pages 305-313
Systems Engineering and infrastructures for open computer based systems....Pages 315-331
Object-oriented high level modeling of complex systems....Pages 332-340
Multifacetted, object oriented modeling in the transportation domain....Pages 341-357
EaSy-Sim: A tool environment for the design of complex, real-time systems....Pages 358-374
Systems level specification and modelling of reactive systems: Concepts, methods, and tools....Pages 375-385
DEVS-based endomorphic agents: Control through deliberative and reactive planning....Pages 386-402
Software processes, work flow and work cell design — Separated by a common paradigm?....Pages 403-414
High-performance parallel computing for analyzing urban air pollution....Pages 415-422
Performance analysis of a dual robot system using a geometric concurrency model....Pages 423-436
Computer aided rule extraction from examples....Pages 437-446
Cast methods for generation of non-orthogonal complete transforms....Pages 447-458
Cast system approach for visual inspection....Pages 459-464
Finite dimensional generalized baker dynamical systems for cryptographic applications....Pages 465-476
Introduction of the Aristotle's final causation in CAST concept and method of incursion and hyperincursion....Pages 477-493
A semantic logic for CAST related to Zuse, Deutsch and McCulloch and Pitts computing principles....Pages 494-510
Validation of a model of an AGVs scheduling heuristic using radio-taxi data....Pages 511-522
Training simulator for Garoña Nuclear Power Plant....Pages 523-529
Supervisory control and data acquisition system for the gas flow networks....Pages 530-538
