## Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, Volume 6This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications. |

### What people are saying - Write a review

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

### Contents

A System for Designing Parallel Processor Arrays | 3 |

On the Role of Architectures in Systems Engineering | 13 |

An Approach to Safety Critical Systems Design | 34 |

Extensions and Semantics of Controller State Diagrams for Practical Applications | 50 |

Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant | 58 |

Representation and Management of Memory and Decision in Evolving Software Systems | 71 |

G E M A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models | 83 |

THEORY AND METHODS | 93 |

INTELLIGENT SYSTEMS | 351 |

Architectures for Complex Behaviour Inspired in the Nervous System | 353 |

Turing Universality of Neural Nets Revisited | 361 |

Lifelong Learning Approach to Intelligent Agents Modeling | 367 |

Role of Qualitative Reasoning in a MultiAgent System | 380 |

Theoretical Issues | 394 |

A Computational Model for Visual Size Location and Movement | 406 |

LogicAlgebraic Method for a Class of Knowledge Based Systems | 420 |

Formal Representation and Proof of the Interpreted Sequential Machine Model | 95 |

Modelling of Concurrent and Embedded Systems | 108 |

A DenseTime Temporal Logic with Nice Compositionality Properties | 123 |

Introducing Planning in Discrete Event Systems | 146 |

Multirate Control of a Class of Nonlinear Systems | 160 |

Global Structural Approximate Controllability of Polynomial Nonlinear Systems | 170 |

Vectorized Simulations of Normal Processes for First CrossingTime Problems | 177 |

An Architecture for Complex Systems | 189 |

Design of Nonlinear LagLead Compensators by Extended Linearization Using Symbolic Computation Techniques | 218 |

A Numerical Computation for Declarative Expressions | 236 |

An Automatic Calculator with Penrose Diagrams | 252 |

ENGINEERING SYSTEMS | 271 |

Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept | 273 |

Fuzzy Traffic Police for Autonomous Vehicles | 285 |

ObjectOriented Model of an Open Communication Architecture for Flexible Manufacturing Control | 292 |

A Formal Model for Integrated System Development | 301 |

Moving Towards an AgentBased Engineering Environment | 314 |

Experiencing Modeling and Development of an Intelligent Autonomous Robot | 324 |

Modular Control System for Robotized Cells and Lines | 338 |

Latest Developments in Robotics | 345 |

SIGNAL PROCESSING | 429 |

Image Compression by Multilevel Polynomial Interpolation and Wavelet Texture Coding | 431 |

Image Enhancement Using an Optimum Quantizer | 444 |

On the Parametrization of Algebraic Discrete Fourier Transforms | 453 |

Learning Visual Ideals | 464 |

Multiple Representation of Complex Intensity Changes for Image Segmentation | 473 |

Design of ANN Architectures for Handling the Temporal Dimension in Signal Processing | 486 |

SPECIFIC METHODS AND APPLICATIONS | 499 |

From Sequential to Distributed Formal Proofs | 501 |

Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions | 514 |

Event Based Simulation of Software Development Project Planning | 527 |

Application of Intelligent Worldwide DSS to Optimization Problems | 541 |

System Theoretical Approach to Control and Synchronization of Teleeducation in Open Distributed Environment | 549 |

Multilevel Approach to Traffic Control System | 561 |

A Comparison of 4GL Development Tools in the Area of Metadata and Dynamic User Interfaces | 567 |

Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices | 580 |

PNtalk a Computerized Tool for Object Oriented Petri Nets Modelling | 591 |

System Level Design of Microcontroller Applications | 611 |

625 | |

### Other editions - View all

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

### Common terms and phrases

abstract action agents algebraic algorithm application approach architecture Artificial Intelligence basic behaviour case-based reasoning cell communication complex components Computer concept configuration control system coordination corresponding database defined definition denoted described detection DEVS diagrams distributed dynamic elements Engineering environment event formal FSMD function fuzzy given global graph IEEE implementation input integration intensity changes internal knowledge representation linear logical machine meta model method microcontroller mobile robot module multi-agent systems neural nodes nonlinear object obtained OOPN operation optimization output parameters Petri nets planning PNtalk problem processors product cipher properties receptive fields represent representation requirements semantics sensor sequence signal simulation solution specification structure subsystem symbolic symbolic computation Systems Theory task temporal temporal logic Theorem Theory transition updating user interface values variables vector VHDL Walsh matrices WDSS