## 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. ProceedingsThis 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 |

### Other editions - View all

Computer Aided Systems Theory - Eurocast '95 Franz Pichler,Roberto Moreno-Diaz,Rudolf Albrecht No preview available - 2014 |

### Common terms and phrases

abstract action AGVs AGVs network algebra algorithm analysis application approach architecture Artificial Intelligence atomic action automata automaton behavior boolean cell complex components Computer concept configuration consider corresponding DASME defined Definition denoted described design process DEVS discrete event system domain dynamical system engineering environment equation evaluation example execution Figure finite formal Fractal function functor fuzzy genetic algorithms given hierarchy hyperincursive implementation incursive initial input interface internal language linear logic mapping method module morphism neural networks neurons node nonlinear objects operation output parameters Petri nets PID controller planning possibilistic possible problem process model processor properties protocol recursive relation represented robots rules semantic sensory service activities signal simulation software architecture solution specification step structure symbols system platforms Systemld Systems Theory task temporal trajectory transformation transition trigger graph values variables vector VHDL