## Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. ProceedingsThis volume contains a selection of papers presented at the third European Computer Aided Systems Theory workshop, EUROCAST '93, held in Spain in February 1993. The workshop emphasizes interdisciplinarity with the specificgoal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas. The contributions in this volume are strongly related to current problems in CAST research. They emphasize an engineering point of view concerning systems theory. Since the computer is an essential instrument in CAST research, there are close relations to specific topics incomputer science. The papers are grouped into parts on systems theory and systems technology, specific methods, and applications. |

### What people are saying - Write a review

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

### Contents

Applications | 4 |

Computer Aided Nonlinear System Design Based on Algebraic System | 21 |

A New ModelBased Approach to the CoDesign of Heterogeneous Systems | 42 |

The Shape of Complex Systems | 72 |

A Representation of Software Systems Evolution Based on the Theory of | 96 |

Theoretical Considerations About Subset Descriptions | 111 |

Automating the Modeling of Dynamic Systems | 160 |

Formal Methods and Their Future | 180 |

On Automatic Adjustment of the Sampling Period | 243 |

ClusterBased Modelling of Processes with Unknown Qualitative Variables | 267 |

The Role of Partitions and Functionals in Descriptor Computation | 282 |

Hierarchic Representation for Spatial Knowledge | 314 |

Probabilistic Models in Qualitative Simulation | 331 |

Integration of Expert Systems with | 347 |

Technical Applications of KnowledgeBased Systems | 399 |

ComputerAided Analysis and Design of Sequential Control | 440 |

CAST Tools for Intelligent Control in Manufacturing Automation | 203 |

An Algebraic Transformation of the Minimum Automaton Identification | 220 |

### Other editions - View all

### Common terms and phrases

abstract algebraic algorithm analysis application approach Artificial Intelligence attributes automata automaton basic behavior bundle graph category theory cell cluster colimit component models Computer-Aided concepts congruence relation coupling defined Definition denotes described diagram discrete event discrete event simulation dynamical systems elements environment equations evolution example finite finite state machine formal Fuzzy Sets Grafcet hardware hierarchical implementation input integrated interface internal knowledge linear machines mathematical matrix methods modules neuronal nodes nonlinear object operations output parameters partitions passive polynomial possibilistic possible problem processor protocol qualitative reactive system relation representation represented requirements robots sampling period sequence shift register shift register realization signals simulation SIOPs Smalltalk software engineering software systems solution solving specification structure subset system design Systems Theory task Theorem transfer function transformation transition function updating values variables vector Wiener process workcell workstation