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. Proceedings

Front Cover
Springer Science & Business Media, Jan 28, 1994 - Computers - 449 pages
This 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

Bibliographic information